520gのWindows XPマシン http://www.vaio.sony.co.jp/Products/UX1/
↓1世代前のシリーズ SONY VAIO Uシリーズの新作超小型Note?PC。
写真で見る「VAIO type U」【PC Watch】 http://pc.watch.impress.co.jp/docs/2004/0511/sony.htm
文書の一覧 JTC1/SC22/WG21 - Papers 2024 mailing2024-02 全部で112本あります。 もくじ P0493R5 Atomic maximum/minimum P0843R10 inplace_vector P0876R15 fiber_context - fibers without scheduler P1061R7 Structured Bindings can introduce a Pack P1144R10 std::is_trivially_relocatable P1729R4 Text Parsing P2047R7 An allocato…
install SQL Server to Oracle Linux 8 - end0tknr's kipple - web写経開発 先日の上記entryの続きです。 今回は、SQL Server 2022 for Linux に対し、 utf-8で記載されたcsvファイルをbcpコマンドでインポートします。 目次 utf-8のデータベース作成と、その確認 ログインユーザとデータベースユーザの追加 ロールへのユーザの追加 インポート先のテーブル作成と確認 /opt/mssql/lib/mssql-conf/mssqlsettingsmanager.py の編集 utf-8で記載されたcsvファ…
github.com Assignment1 eBPFプログラムが再ロードされた場合、xdp_statsプログラムでそれを検知して、mapを再取得するというもの。 解いてみる 誤ったファイルディスクリプタを使っていないかbpfマップを検証する関数を実装する 問題文に書いてある通り、新しいbpfプログラムが再ロードされたら、bpfマップのidが変わるので、それを利用して、誤ったファイルディスクリプタを使っていないか検証できる。 xdp_stats.c @@ -180,6 +180,16 @@ static bool map_collect(int fd, __u32 map_type, __u3…
github.com Assignment 1 現状の実装にbyteカウンタの機能を追加するというもの。 解いてみる xdp_stats_mapのエントリの構造体にbyteカウンタのフィールドを追加する eBPFマップは以下のように定義されている。 struct { __uint(type, BPF_MAP_TYPE_ARRAY); __type(key, __u32); __type(value, struct datarec); __uint(max_entries, XDP_ACTION_MAX); } xdp_stats_map SEC(".maps"); エントリの構造体であるdat…
Mathematics in Lean4の数論の章の3つ目のセクションではいよいよ「自然数には素数が無限個ある」ことを形式化して証明します。 証明方法として3つのやり方が説明されています。それぞれの形式化も異なるので下記に記載してみました。 ある自然数nに対して必ずnよりも大きな素数が存在する(作れる)ことを示す。theorem primes_infinite : ∀ n, ∃ p > n, Nat.Prime p := by... 素数が有限個しかないとして、それらの積に1を足した数を考えるとその素因数が元の素数の集合に含まれることから矛盾を導く(ユークリッド)。theorem primes…
お久しぶりです,トモニテ開発部でSoftware Engineer(SE)をしている鈴木です. 私が普段実装しているトモニテ相談室のフロントエンドはTypeScriptを採用しているのですが,トモニテ相談室の実装中にTypeScriptでは検出することが出来ないミスをしてしまい,原因解明までに時間を要した経験があります. この経験からTypeScriptを普段より少し型安全にする手法を学んだので,本記事で具体例を交えながら紹介させていただこうと思います. はじめに TypeScriptは型を区別するための方式として構造的型付けを採用しています. したがって,type宣言子による宣言は単に構造に…
mysqlのinformation_schema.tablesによるテーブルサイズの表示 - 改 - end0tknr's kipple - web写経開発 以前の上記entryにある通り、mysqlでは information_schema.tables に対しての select sqlで取得できますが、 sybase db の場合 select convert(varchar(30),o.name) AS table_name ,row_count(db_id(), o.id) AS row_count ,data_pages(db_id(), o.id, 0) * (@@maxpages…
メモ:全 Temporal Table を無効化するクエリ - お だ のスペース をテーブル削除まで含めてスキーマ対応したやつ。 依存関係無視してるので、全部 drop されるまで連打してください。 ※段々消えてって最終的に全部 drop される is_ms_shipped = 0 の条件入れたので、SQL Server のシステムテーブルは消えないはず。*1 declare @sql nvarchar(max) select @sql = concat(@sql, N'alter table ', schema_name([schema_id]), '.', [name], N' set …
はじめに hacomonoのIoT部マネージャーの岩貞(さとちゃん)です。 最近hacomonoの影響もあってか、サウナにちょっとずつハマっています。 友人の結婚祝いで名古屋に行くことがあったので SENSE sauna 行ってきました。大衆浴場のサウナしか行ったことがなかったので、小スペースで友人だけと会話しながら入れるサウナはすごく良かったです。 良いサウナ場をこれからも探そうと思います笑 今回の話 技適がついに通ったラズパイ5。少し静観してたのですが、スイッチサイエンスに4GBモデルの在庫があるということでIoTのSW開発メンバーを中心に研究開発目的で購入してお配りしました。 あわせて自…
Angenieux(アンジェニュー)は1935年にフランスのサン=テアンで誕生しました。社名ならびにレンズ名のAngenieuxは創業者のPierre Angenieuxに由来し、レンズにはP.Angenieuxの文字が刻まれています。 Angenieuxは創業当初、主に業務用シネレンズの受注販売をしていたようです。実際にシリアルナンバー15000以下のレンズを市場で見かけるのは極稀で、戦争の影響もあり現存しているモノは少ないのではないかと考察できます。 AngenieuxはErnst Leitz Gmbh Wetzlar. 製造のレンズとは方向性が異なり、儚く写ります。Ernst Leitz…
環境 実行 準備 推論 結果 ログ 環境 L4 GPU(GPU RAM 24GB) 実行 モデルをロードしてから、推論を実行します 準備 # llama.cppのmixtralブランチをクローン(mergeが済んだら「-b mixtral」不要) !git clone -b mixtral https://github.com/ggerganov/llama.cpp %cd llama.cpp !make #!make LLAMA_CUBLAS=1 #GPUオフロードする場合 # モデルのダウンロード(Q4_K_M-GGUF) !wget https://huggingface.co/TheB…
この記事はScala Advent Calendar 2023の12日目だ!Scala 3のマクロを書く上で役に立つ, メタれたTipsたちを紹介するぜ! 勢いに任せて書いていくからサンプルコードがちゃんと動かなかったらごめんな. 一応, Scala 3.3.1を想定しているぞ.
ずいぶん前からSi4732/35チップを使ったエアバンド受信機を作ろうとしています。Si4732/35チップを手掛ける前に、マルタ島のJasonさんが回路設計し、Arduinoのスケッチは共同設計したR909(TA2003を2個使い+Si5351a局発)で色々勉強しました。そのR909回路方式から影響もあり、Si4732を使うエアバンド受信機の構成はTA2003ミキサー、親ラジオSi4732と言うことになりました。 The new airband radio configured with Si4732&TA2003&Si5351a is depending on R909 design. R…
数年運用しているシステムの開発DB(SQL Server)の動作が怪しい部分があったため、DBを利用するミドルウェアの開発元に問合せたところインデックスの再構成を試してほしいとの依頼が。しかし、現時点でSQL Server Management Studioの「データベース」のツリーが表示されない状態(恐らくデータベースの1つが破損しているか管理情報が壊れている……)のため、SQL文で処理する必要があります。ちょっと検索したところ、ASCIIのサイトで良さげなSQLが紹介されていたので利用させてもらいました。ascii.jpインデックスの断片化率などを一覧にし、さらに、パーセンテージに応じて「…
自作アウト・オブ・オーダRISC-Vコアについて。 幾つか改造して、整数側の物理レジスタのサイズと、浮動小数点側の物理レジスタのサイズを変えることができるように変更した。 localparam XPR_FLIST_SIZE = XPR_PRF_SIZE_PER_GRP; localparam FPR_FLIST_SIZE = FPR_PRF_SIZE_PER_GRP; localparam XPR_RNID_SIZE = XPR_FLIST_SIZE * DISP_SIZE + 32; localparam XPR_RNID_W = $clog2(XPR_RNID_SIZE); localpa…