Masanao Igarashi

プログラマ,gentoo linux好き,
ネットワークスペシャリスト試験合格,
情報処理安全確保支援士試験合格

[Masanao Igarashi @msnoigrs]

自分が理解しようとしまいと、賛成しようが反対しようが、許容しようがしまいが、すでに存在しているってことばかりよ。自分の判断や価値観などとるに足らないものよ。という認識。

[matsuu @matsuu]

Rustで書かれたTeXエンジン実装。READMEを見る限り日本語もいけるもよう。おーすごい。 / “GitHub - leoliu0/ratex” https://t.co/m2pO41ZFsc

[matsuu @matsuu]

「encoding/json/v2 の安定性を享受しつつ、必要な場面ではサードパーティ並みの速さを手に入れられるツール odjson」ほう / “encoding/json/v2 を最速の JSON エンコーダ/デコーダにする” https://t.co/yo4cH8UOup

[uehaj @uehaj]

Jevのキラーアプリ、「意味で探す grep」を作った。

semgrep -e "顧客が怒っている" と打つと、"angry" も「怒」も含まない行まで拾ってきます。

正規表現の代わりに、TypeSafe AI の Jev（System One モデル）に 1 行ずつ「この行は○○の意味に合うか」を yes/no 確率で答えさせる。Jevの特性を活かして30 行をまとめて 1 リクエスト、200 行のログが 1 秒弱で返ります。依存ゼロ、Node 1 ファイル。

grepに準じるオプション体系。

・-e A -e B で OR、-a で AND、-v で AND NOT
・-r で再帰、-l でファイル名だけ、-A/-B/-C で前後の行、--color
・確率の閾値は --level loose / strict で調整

ベクトル検索と何が違うかというと、否定検索もできるし、話題の近さではなく「命題が成り立つか」を見るところです。「返金してほしい」と「返金処理が完了しました」は埋め込みではほぼ同じ距離ですが、「顧客が返金を求めている」という意味で引くと 0.98 と 0.10 に分かれます。だから AND や NOT がそのままブール演算として効きます。「返金の話だが要求ではない行」なども 1 コマンドで検索できます。

問合せは「意味」でおこなうので、多言語検索が普通に可能。日本語と英語の区別もフランス語もロシア語も、その混在文書からも検索できます。仏・露・独・西・中・韓14行を4言語（日・英・仏・露）の意味クエリで検証した結果、取りこぼしも誤爆もゼロで、どの言語で意味を書いても同様に機能します。

以下で試せます。
npx @uehaj/semgrep -e "ネットワーク障害" app.log

GitHub: https://t.co/4ynBSTU2JI

#Jev #TypeSafe #grep #ClaudeCode

[matsuu @matsuu]

Rustで再実装されたEmacs。GNU Emacsとの互換性は95%ほどらしい。WASM版もあります。 / “GitHub - eval-exec/neomacs: NEO Emacs (WIP): GPU powered Emacs written in Rust with a modern display engine. Aiming for modern design & multi-threaded Elisp, 10x performa…” https://t.co/m5pAxJcBom

[柴田 淳 - 「みんなのPython」の著者・機械学習講師 @ats]

Unicode 18.0では1万3007文字が追加された。しかし今回の更新は、「文字が増えた」という話だけではない。

Unicode 18.0が公開され、収録文字数は17万2808文字になった。今回の追加では、小篆や女真文字、原楔形文字の数字など、歴史的な文字体系が大きな割合を占めている。とくに小篆は1万字規模で追加され、Unicodeが現代の文字コードであるだけでなく、人類が使ってきた文字文化をデジタル上に保存する基盤でもあることを印象づける更新になった。

ただ、プログラマーにとって重要なのは、新しい文字そのものより、その文字をどう扱うかという部分だ。Unicode 18.0では、文字列の並べ替えを定義するCollation Algorithmや、見た目の似た文字を悪用した攻撃などに関わるSecurity Mechanismsも更新されている。改行、識別子、リンク検出など、普段は意識しにくい文字列処理のルールにも変更が入っている。

Unicodeは、単に文字と番号を対応させる表ではない。文字を比較するときにどちらを先に置くのか、同じように見える文字をどう区別するのか、どこで改行できるのか、といった処理まで含めて初めて「世界中の文字を同じソフトウェアで扱える」状態になる。

https://t.co/a9MweTOCxJ

[takano32 @takano32]

C++ は合理的な仕様の決断の痕跡が多数あってそれ自体は素晴らしい。

ただし、C++ は低水準な箇所をふくめて仕様にしているので、高水準な箇所だけが仕様になっている言語に比べると仕様の理解が大変だという話をしています。

それがいいことであるのか、そうでないのかは別の話ですね。

[ハルカエル @Harukael_ver2]

これよくある間違い（というか教科書やメディアが誤った切り抜きしている）ですが、福沢諭吉は「天は人の上に人をつくらず人の下に人をつくらず」のあとに「でも、現実として社会には上下関係があるよね。この差は勉強したかどうかなんだ。だから豊かになるためには勉強しないといけないよ」と説いているのです。
この文章の前文だけが切り取られて有名になってしまったせいで、あたかも人はみな無条件に平等みたいに解釈されていますが、福沢諭吉が伝えたかったのはむしろその後の部分だと思います。

[Masanao Igarashi @msnoigrs]

tree-sitterを0.27に上げたら、不調。0.26にダウングレードして対処。

[Masanao Igarashi @msnoigrs]

@skoba @daichi_genshiai 地域連携クリティカルパス？

[AIDB @ai_database]

誰も指示していないのにLLMエージェント同士が「人間には読めない言語」を勝手に作り始める現象が新たに観測されました。

彼らの世界でも、言葉が少数から集団全体に広がりうるのです。
研究者らはこれを「文化の積み重ね」の"芽"と見ています。

テキサス大学オースティン校やエディンバラ大学などの研究者らによると、この現象は面白いと同時に、エージェント同士のやり取りをどう見張るかという安全面の課題が出てくる話でもあるとのこと。

なお、今回の実験は「遠隔の専門家と現場の観察者がメッセージを交わしながら、弱っている架空の生き物を救う」協力ゲーム。
言語を作れという指示は一切なく、やり取りできる文字数に制限をかけただけです。

AIは途中から既存の言語を捨て、「TONE61g12 bell-ring」のような暗号めいた言葉で通じ合うようになりました。
この言葉は単なる略語ではなく、部品を組み替えて新しい表現を作れる、文法を持った言語になっていたそうです。

ちなみに、強いAIが作った言語を、弱いAI（自分では言語を作れない）が見よう見まねである程度覚えて使えるようになることも分かっています。

なお、言語が生まれる条件はラウンド間の振り返り時間を与えたときのようです。

[ぎーち(ブレイク兄) @BREAK_BROTHER]

R14が焼けてたら先方による逆接続確定みたいな、証拠を回路上で残すことの重要性を感じます。

ワイとこの基板も、逆接続したらダイオードが壊れるようにしているので、何もしてないけど壊れましたって言ってきた人には、証拠を見せたら実は…みたいな話になって責任の所在が明確になるからおすすめ。

[Masanao Igarashi @msnoigrs]

@naota344 …ヘルシーではな…

[情報の灯台 @joho_no_todai]

PCが起動しなくなったときUSBメディアなしで復旧できる手段がWindows 11に加わった。

Cloud rebuildは回復環境からWindows Updateに接続してOSイメージとドライバを一括で落としまっさらな状態に戻す。
https://t.co/QSwdY0ykTv

壊れた現行OSの状態に依存しない。

「PCをリセット」のクラウドダウンロードとの違いはドライバまで含む点と起動不能な状態からでも使える点。

Insider Betaビルドで利用可能になった。

[~/Funada/ @sentoki]

電子書籍リーダーを自作したくてGeminiに相談したんです。複数の案を検討の結果、Surface Goの中古を買ってUbuntuを入れるのが正解ですよ、という現実的な路線を強く推奨され、素直に実行中。このGo2は6900円でした。バッテリーサイクル70回。

[O'Reilly Japan @oreilly_japan]

11/5(木)発売予定の新刊『データ指向アプリケーションデザイン 第2版 ―信頼性、拡張性、保守性の高い分散システム設計の原理』の情報をAmazonおよび楽天ブックスで公開開始しました！
2020年代の基本書のひとつが待望の改訂版となって登場です！
https://t.co/xTpSKCcmAO

[ぁらどる@Uber🐸茨城水戸🛵💨 @aradol3]

ガチで販売してくれねーかな、このゲーム

[syumai @__syumai]

実は最近、スピーカー付きのスマートディスプレイみたいなデバイスを3000円くらいで買って、そこに自家製のホームアシスタントAndroidアプリを突っ込んで使ってみてるのですが、思った以上にいい感じになってると言う話をどこかに書くかも

[Masanao Igarashi @msnoigrs]

連日の雨天で夕食後の散歩ができない日々。

[Masanao Igarashi @msnoigrs]

激詰めする方に共感してる人たち、追加でなんでなんでって発信してるのが観察できる。ほんとに理解できないから聞いてる、悪意はない（から責められる謂れはない）、答えないやつは不誠実であるって主張（から固執して離れられない様子）。

[Akira Takahashi @cpp_akira]

cpprefjpがC++98〜C++29まで「完成」しました。15年かけてようやく最新に (ほぼ) 完全に追従しました。
今後に向けて、C++入門や言語機能のリファレンスなどcpprefjpが扱う範囲を広げる相談を始めました
https://t.co/o9ATEXhXvA