🔥 本日のフォーカス

日曜日の HN の主役は「AI プログラミングの本当のコスト」。Cursor が usage ページと CSV エクスポートからコスト情報を削除した（286 ポイント）ところ、コメント欄にはすぐに実測データが飛び出した。同じ agentic タスク、同じモデルでも、harness によってトークン消費量は 29 倍も違う——smol は 17 万トークンで済むのに、Claude Code は 507 万トークンも消費したという。ツールベンダーが料金を曖昧にし、ユーザーは自分の支出すら正確に測れない。この二つの出来事が同じ日に重なったのは偶然ではない。もう一つの流れは老舗システムプロジェクトのガバナンスだ。NetBSD 11.0 の正式リリース（HN 180 ポイント + Lobsters トップ）、Arch Linux による AUR パッケージ採択メカニズムの停止、そして Ruby Central の FBI 告発をめぐる論争が Lobsters で 88 ポイントまで加熱——「財団はどう統治されるべきか」が新機能より熱い話題になっている。そして三本目の流れも記録に値する。RipGrep の musl segfault バグ報告に添えられた AI 生成の長文分析が、カーネル開発者から「studious but pretty bad」と直接名指しされた。方向は正しいが本質には届いていない——コミュニティの AI コンテンツに対する姿勢は「好奇心」から「審査」へと移りつつある。

🤖 AI & LLM

  • Seedance 2.5：ワンテイク生成と柔軟なリファレンス — Seedance 2.5。60 ポイント / 19 コメント（HN）。バイトダンスの動画生成モデルのアップデート。one-take 生成と柔軟なリファレンスが売り。中国の動画モデルの進化は速く、HN では毎週のように新製品が登場している。
  • Flint：AI 時代のビジュアライゼーション言語 — Flint: A Visualization Language for the AI Era。243 ポイント / 66 コメント（HN）。マイクロソフトがエージェント向けに作ったチャート DSL。モデルが安定してチャートを生成し、SVG をでたらめに書き出さないことを目指す。💬 akst は「AI 時代になっても ggplot の API が最高のチャート API だ」と直言。williamcotton は、Wilkinson の『Grammar of Graphics』が ggplot に影響を与えたのであって、あの教科書に ggplot の記述はない——車輪の再発明をするならまず原典を読むべきだと訂正した。
  • MIT：AI の資産運用アドバイスが意外に優秀 — From MIT: AI financial advice is surprisingly good。24 ポイント / 16 コメント（HN）。ただし条件は「正しい質問をする」こと——金融アドバイスの質のボトルネックは、モデルから質問する側へと移っている。
  • 探索的モデリング：K 個の推測のうち最良のものだけを学習 — Explorative modeling: Train on the best of K guesses。69 ポイント / 21 コメント（HN）。訓練時に各サンプルに対して K 個の推測を生成し、最良の 1 つだけを勾配として返す——探索コストと引き換えに学習効率を上げるアイデア。
  • LLM は共通鍵暗号を破れない — LLMs won’t break symmetric crypto。△7 / 0 コメント（Lobsters）。「AI が AES を解読できる」という疑似科学説を冷ます解説——計算量の差は天文学的なもので、モデルの能力の問題ではない。

🛠️ 開発者ツールとインフラ

  • Cursor が usage ページと CSV エクスポートからコスト情報を削除 — Cursor removed cost information from the usage page and CSV export。286 ポイント / 123 コメント（HN）。ユーザーが、usage ページにトークン数だけが残り金額が見えなくなったことに気づき、批判が一気に噴出した。💬 tosh が実測データを投稿：同じモデルで同じタスクを実行した場合、harness によってトークン消費量は smol の 17.3 万から Claude Code の 507 万まで、29 倍もの差が出る——「人気の harness はコンテキストウィンドウに大量に流し込んでいる」。kelnos は、トークン消費が少ない方の harness はタスク結果の質も同じなのかと問いかけたが、誰も答えられなかった。
  • RipGrep の musl バイナリが大規模検索時に偶発的にセグメンテーションフォルト — RipGrep musl binaries occasionally segfault during very-large searches。235 ポイント / 160 コメント（HN）。160 コメントが付くバグ報告。問題は想像以上に深い。💬 ndesaulniers がカーネルメーリングリストを引用：このバグに「勤勉だがかなり酷い（studious but pretty bad）」AI 生成分析が添えられた——方向はおおむね正しいが、真の問題を特定できていない。gruntled-worker は、2 年前ならこうした分析はコミュニティへの貢献として歓迎されただろうが、今はそれが 6 セント分のトークンに過ぎないと皆が知っていると感慨を述べる。Orphis と masklinn は musl の mallocng アロケータの競合問題を議論——ripgrep の 64 ビット musl ビルドは、実はすでに全体が jemalloc に切り替わっている。
  • Pgtestdb のテンプレートクローン方式のテスト手法 — Pgtestdb’s template cloning approach to testing is fast。57 ポイント / 35 コメント（HN）。著者本人が投稿。Postgres のテンプレートデータベースのクローンでマイグレーションの逐次実行を置き換え、テスト DB の初期化を分単位から秒単位に短縮した。
  • ESP32 上で Linux が動く — Linux on ESP32。86 ポイント / 32 コメント（HN）。ESP32-S3 への Linux 移植。MMU のないチップでフルカーネルを動かすのはソフトウェアエミュレーションによるもので、性能は推して知るべし——だが「動く」こと自体が成果だ。
  • レジスタ不足：強制的な不足下でのスピルと実行時オーバーヘッド — Register deprivation: spills and runtime under forced register scarcity。22 ポイント / 4 コメント（HN）。利用可能なレジスタ数を人為的に制限し、スピルが実行時に与える影響を観察する——コンパイラバックエンドの教学レベルの実験で、データはしっかりしている。
  • wiff：Wez による新しい git ワークフローツール — wiff。△28 / 7 コメント（Lobsters）。Wez Furlong（wezterm 作者）による新しい VCS ツール。タグには practices/vcs/vibecoding が付いている。git ワークフローツールがいまだに発明され続けているのは、現状が終着点ではない証拠だ。
  • Guix shell が Emacs の中でも使えるように — Guix shell now inside Emacs。△23 / 5 コメント（Lobsters）。Emacs 内で直接 Guix shell 環境を開ける。宣言的環境の最後の一マイルはエディタ統合だ。
  • 開発パイプライン自体が本番システム — The development pipeline is a production system。△10 / 0 コメント（Lobsters）。CI・ビルド・デプロイの一連の流れを本番システムとして扱う——監視、アラート、SLO はどれも欠かせない。目新しい主張ではないが、実行までできている人は少ない。

💻 プログラミング言語とシステム設計

  • NetBSD 11.0 リリース — NetBSD 11.0 released。180 ポイント / 80 コメント（HN）+ △45 / 5 コメント（Lobsters）。両プラットフォームで同時にトップに立った老舗 BSD のメジャーリリース。💬 mvanveen は、NetBSD のモットーは「of course it runs NetBSD」であり、pkgsrc は macOS/Linux/BSD を同時にサポートする唯一のパッケージエコシステムだと指摘。mghackerlady は三者の位置づけを要約する：OpenBSD は最もセキュア、FreeBSD は最も堅牢、NetBSD のニッチは「GCC がサポートするプラットフォームなら何でも動く」こと。
  • Arch Linux が AUR パッケージの採択メカニズムを停止 — Arch Linux disables AUR package adoption。△32 / 7 コメント（Lobsters）。AUR の「adoption（採択）」エントリが閉鎖された——ガバナンス縮小のシグナル。コミュニティメンテナのエコシステムが抱える古典的ジレンマ：入口を開けば開くほど審査の負担は重くなる。
  • Arch Linux からの辞任 — Resigning from Arch Linux。△3 / 0 コメント（Lobsters）。前の記事と同じ日に公開。メンテナの離脱とメカニズムの締め付けを並べて見ると、Arch のガバナンス圧力の両面が見えてくる。
  • Rust の引数解析をめぐる新旧の議論 — An old-new take on argument parsing in Rust。△16 / 2 コメント（Lobsters）。jmmv が Rust 向けの引数解析ライブラリを書き、getopt 式の古典的設計への回帰を主張——clap が一人勝ち状態の Rust エコシステムへの反省を促す一編。
  • なぜ rand をフォークしたのか — Why I forked rand。△64 / 22 コメント（Lobsters）。Rust 公式 rand crate のトレイト過負荷に不満を抱き、自前で簡素化版をフォークした。💬 matklad は問題提起には同意するが、Random<impl Rng + Clone> というジェネリクス設計には反対——アプリ全体が型パラメータに汚染され、コンパイル時間が破滅的になる。具体的な型にデフォルト引数を付けることを提案。elihunter173 は Rust の「trait soup」文化を嘆き、自分のデータベースの中核データ型には 15 個ものトレイトが必要だと語った。
  • Lean カーネルの健全性バグ #14576 の事後分析 — Postmortem for Kernel Soundness Bug #14576。97 ポイント / 34 コメント（HN）。Lean 定理証明器カーネルの健全性（soundness）脆弱性の総括——証明器自身のカーネルに soundness バグが発生したのは、通常のソフトウェアバグより一段深刻だ。
  • 64 ビットアセンブリの芸術（第 2 版） — The Art of 64-bit Assembly。168 ポイント / 79 コメント（HN）。No Starch の古典的教科書が v2 に。79 コメントという数字は、「アセンブリからコンピュータを理解し直す」ことが AI 時代にむしろ希少なスキルになっていることを示している。

🔒 セキュリティ / プライバシー / 政策

  • カナダが国連サイバー犯罪条約に署名：監視条約の変装 — A Surveillance Treaty in Disguise: Canada Signs UN Cybercrime Convention。247 ポイント / 133 コメント（HN）。Geist の長文が、UN Cybercrime Convention の越境証拠収集条項が監視ツールになり得ると警告。💬 miki123211 の一言が核心を突く：「HN の政治も普通の政治と同じだ。『銃を取り上げる』が『root 権限を取り上げる』に変わっただけ」。
  • Apple スクリーン共有の事前認証 RCE — Apple Screen Sharing Pre-Auth RCE。△13 / 2 コメント（Lobsters）。macOS のスクリーン共有サービスにおける事前認証リモートコード実行。Apple のリモート管理面は今も攻撃研究の宝庫だ。
  • CISA 警告：水道部門の PLC が標的型攻撃を受ける — CISA Alert: Water Sector PLC Targeting。40 ポイント / 22 コメント（HN）。Censys が CISA と連携して水塔 PLC を狙う攻撃を公開。重要インフラの OT 攻撃面——コメント欄では恒例の「これは国家レベルの行動か」論争が繰り広げられた。
  • HuggingFace の訓練データ 7.6 PB をスキャンして秘密鍵を探す — Scanning 7.6 Petabytes of HuggingFace Training Data for Secrets。29 ポイント / 8 コメント（HN）。Truffle Security が HuggingFace 上の 7.6 PB のデータセットをスキャンして漏洩した秘密鍵を探索。訓練データに本番環境の秘密がどれだけ埋まっているか——その数字自体が答えだ。
  • origin trial で Email Verification Protocol をテスト — Test the Email Verification Protocol with an origin trial。△17 / 14 コメント（Lobsters）。Chrome がメール検証プロトコルに origin trial を開設——ブラウザがメールの認証レイヤーに手を出そうとしている。14 コメントは「これがまた別のスパム対策の中央集権的バックドアになるのでは」と議論している。

🏢 テック企業と業界

  • Ruby Central の破壊的遺産 — Ruby Central’s Destructive Legacy。△88 / 32 コメント（Lobsters）。Andre Arko の長文が Ruby Central のガバナンスを批判。Lobsters 本日の最高得点。💬 schneems が重要な事実を整理：FBI への告発は Ruby Central が自ら行ったのではなく、同財団が雇用した Linux Foundation の弁護士が独自の判断で行ったもの。steveklabnik は即座に「弁護士がなぜ事情を知っていたのか——法律業務を依頼したからだろう」と追及。yorickpeterse は「クライアントに知らせずに告発する弁護士に、クライアントが留まるはずがない」と直言。当事者が直接応酬し、情報量は原文以上だ。
  • シリコンバレー創業者のミートグラインダー — The Silicon Valley Founder Meat Grinder。179 ポイント / 111 コメント（HN）。VC エコシステムが創業者を消耗品として扱う仕組みの分析。111 コメント——半分は共感、半分は「サバイバー・ナラティブ」への反論。
  • RamenHaus — RamenHaus。212 ポイント / 103 コメント（HN）。212 ポイントの謎の新サイト。103 コメントが「これが何なのか」を推測している。ドメインとラーメン一杯だけでこれだけの議論を生んだのは、マーケティングとして大成功だ。
  • 死んだソフトウェアはまだ歩いている：relayd(8) と httpd(8) の進化 — Dead Software Walking: The ongoing evolution of relayd(8) and httpd(8)。△37 / 11 コメント（Lobsters）。OpenBSD の「死んだソフトウェア」は実は今も少しずつ進化している。死を宣告されたプロジェクトがメンテナンスされ続けていること自体が、「ソフトウェアライフサイクル」という物語への最良の反論だ。

📚 ライト / おもしろ

  • エレベータのスケジューリングアルゴリズムのインタラクティブ解説 — Elevators。△52 / 6 コメント（Lobsters）。昨日 HN でトップになったインタラクティブなエレベータ解説が Lobsters でも引き続き話題に。💬 vbernat は destination dispatch の実務上の落とし穴を指摘：全員が行き先階を選ばないと、システムはどれだけの大きさの籠を手配すべきか分からない。luchs はカードキー連携の体験は良いが、下りはいつも待たされるとコメント。mitsuhiko が追い打ちをかける：「複雑な kiosk 型配車システムは実世界では体験が最悪で、間違ったエレベータに乗る人の方が正しく乗る人より多い」。
  • Google はどうやって RSS の普及を台無しにしたのか（2023） — How Google helped destroy adoption of RSS feeds (2023)。295 ポイント / 90 コメント（HN）。本日の HN 最高得点。2023 年の過去記事が再びトップに。コメント欄は恒例の二派に分かれた：オープンウェブを懐かしむ派 vs 2000 年のインターネットコンテンツは現在の 0.001% しかなかったと指摘する派。mathieudombrock の観察が最も実用的：「ほとんどの RSS フィードはタイトルと要約だけで、全文を読むには結局ページを開く必要がある——RSS が広告を支えられないという論点は成立しない」。
  • Manual：句読点の組版アート — Manual: •.,:;…!?·。108 ポイント / 23 コメント（HN）。type.today による句読点の組版ディテール解説。108 ポイントという数字は、組版ディテール愛好家の層が想像以上に厚いことを示している。
  • 組み紐群の Burau 表現は n=4 で忠実 — The Burau representation of the braid group is faithful for n = 4。35 ポイント / 17 コメント（HN）。純粋数学の証明が HN のトップに。数学の論文としては 35 ポイントは十分にホットだ。
  • Macy’s の真ん中に建つ立ち退き拒否の小ビルが再び姿を現す — The tiny holdout building in the middle of Macy’s is back in view。193 ポイント / 58 コメント（HN）。100 年以上も広告看板に隠されていたニューヨークの holdout（立ち退き拒否）ビルが、看板の撤去で再び姿を現した。都市史ファンが大喜び。58 コメントはすべてマンハッタン不動産の奇談で持ちきり。
  • ルイス・キャロルの夜間筆記暗号 Nyctography — Nyctography: A substituton cypher by Lewis Carroll。33 ポイント / 2 コメント（HN）。『不思議の国のアリス』の作者が発明した夜間筆記暗号——暗闇でテンプレートを使って手紙を書くヴィクトリア朝の暗号術。
  • Kenji の 30 分圧力鍋ベトナムフォー — Kenji/Serious Eats – 30-Min Pressure Cooker Pho Ga。65 ポイント / 48 コメント（HN）。Serious Eats のレシピが HN に登場。48 コメントが圧力鍋フォーが 8 時間かけてじっくり煮込んだ味に勝てるのかを議論。フードエンジニアリングは永遠に需要がある。
  • ノルウェー最古のアドベンチャーゲームたち — Norway’s first adventure games。△15 / 0 コメント（Lobsters）。ノルウェー産アドベンチャーゲームの歴史考証。ゲーム考古学のマニアックな楽しみ。
  • ディスクに入っていても未来に遊べるとは限らない — Just because a game is on disc doesn’t mean it will work in the future。67 ポイント / 58 コメント（HN）。パッケージ版ゲームが増えるほど「ディスクは単なるランチャー」化している。58 コメントがデジタル時代のコレクションの意味を議論。
  • 最初の冪等キー — The First Idempotency Key。△1 / 2 コメント（Lobsters）。Hatchet が冪等キーの歴史的起源を考証。決済システムエンジニアのルーツ探し。

📝 まとめ

今日の必読トップ 3：Cursor のコスト情報削除 + tosh による harness 別トークン消費量の比較（AI プログラミングの本当のコストに初めて定量的な断面が示され、29 倍の差はどんな価格表よりも衝撃的）、NetBSD 11.0（両プラットフォーム同時トップという異例の扱い。老舗システムプロジェクトがメジャーリリースで健在を示した）、Ruby Central 論争（当事者が直接応酬。財団ガバナンスの透明性問題は技術問題より解くのが難しい）。横断的なシグナル：RipGrep の AI 分析がカーネル開発者に名指しされ、Go 1.27 ツアーが LLM 生成ではないかと疑われ、Flint のコメント欄では「ggplot こそ最高のチャート API」と論戦——三つの出来事は同じトレンドを指している。コミュニティの AI 生成コンテンツへの態度は「おおっ」から「調べる」へ変わり、審査コストが新たなデフォルトの負担になりつつある。日曜日は総じてシステムとガバナンス寄りで、モデル層のニュース（Seedance 2.5）はむしろ二線に退いた。