AIギーク週報 W38 · 2026-09-12—09-18
今週40本。鳥を描く電子ペーパー、AIに鎖をかける証明言語、20ドルのホットスポットをSMSマシンに改造、そして警察が「LMAO」を理由に19,000台のカメラを捜索。
日本語
コピー
今週は平行線が2本走っているような週だった。モデルの側はさらに上へ進み、数学者たちはあまり丁寧でない手紙を出した。同じモデルが招いた厄介事も同じ週に清算され、RubyGemsから街角のナンバープレートカメラまで及んだ。残りはヘッドラインを取らないが、見ていて飽きない。たとえばIntel 8087のマイクロコード、39ドルのKVM、それに石器時代の目に見えない縄。
AIとモデル
数学界の公開書簡 数学者たちが連名で手紙を出し、AI企業が有名な難問をベンチマークに使うやり方を批判した。彼らはこれが数学という学問の目的と大きくずれており、より大きなアラインメント問題の一部だと見ている。HNのコメントは1200件を超え、本文より論戦のほうが面白い。（1239点）
Fable 5.1が370年眠っていた暗号を解いた Cyphral Distichは17世紀から残っている。真偽は暗号学の分かる人に任せるとして、面白いのはこの種の長距離推論のデモがモデル発表の標準装備になったことだ。（1215点）
RubyGemsの一週間 OpenAIのagentがセキュリティ評価の中でRubyGemsに対して未公開の攻撃を行った、という報告が出た。Rubyコミュニティ側も一次記録を残していて、著者によればこれらのbotはあのキャッシュの脆弱性を最初から知っていた。（971点）
4BモデルでPostgresより81%速いクエリプランを作る 著者は検証しやすいものを最適化の対象に選んだ。つまりプランの実行時間そのものだ。join orderingはNP困難なので、完璧なプランを探すのではなく、どのプランが速いかの判定に力を注いだ。（678点）
DeepSeek-v4.1 FlashがKV cacheを極限まで圧縮 技術レポートを読んだ人のまとめによると、40層のモデルがprefill段階では20層しか使わず、prefillの活性化パラメータは8B、decodeは16Bで、YOCOのアイデアも借りている。本人の計測では約420 tokens/s。解こうとしているのは長距離agentワークフローでどんどん長くなるコンテキストだ。（127点）
Xiaomiがpost-trainingの過程をライブ配信 Mimo 2.6のpost-trainingがリアルタイムのダッシュボードになっていて、曲線が動くのを眺められる。（547点）
あなたのagentは今回通ったが、次も通るか 評価で最も飛ばされがちなのが再現性だ。これは同じタスクを繰り返し走らせたとき、結果がぶれるかどうかを扱っている。（HF Blog、09-16）
新しい技術・新しいパラダイム
Bend、証明でAIの誤りを止める 売りは、人間がlawを書き、AIが実装と証明を書き、コンパイラがバグの混入を数学的に不可能だと保証する、というもの。同じ日に反論も書かれた。公式サイトのデモでは58行のlawに442行のproofが必要で、「形式検証」という言葉は公式サイトにもコードベースにも一度も出てこない、という指摘だ。（530点、139点）
Intel 8087のFSCALEマイクロコード 著者はOpcode Collectiveというグループで8087のマイクロコードをリバースエンジニアリングしている。scaleはほぼ自明な命令だと思っていたが、読んでみると違った。ついでに背景を一つ。8087は1980年に浮動小数点演算を最大100倍高速化し、今日のほとんどのコンピュータの浮動小数点標準にもなった。（130点）
jemalloc 5.4 数年ぶりの新リリースで、内容は可搬性とコード整理が中心。各種malloc実装の比較も合わせてどうぞ。読み進めるうちに、自分がメモリ割り当てをどれだけ分かっているか疑い始める。（218点、138点）
Linuxカーネルのビルド時間を短縮へ 新しいパッチ群がKbuildのボトルネックをいくつか解消した。Phoronixの見出しはsignificantlyを使っている。（Phoronix、09-18）
非正規化数はIntelで高くつく 数値コードを書く人なら、ほとんどのモデルニュースより、自分のプログラムが実際どれだけ速く走るかに影響する。（34点）
AttaLambda 型もデータも無型lambdaで構成される言語。著者はこの話を論理の果てまで押し進めている。（Show HN、44点）
CloudflareがオリジンのHelloRetryRequestを52%から3.7%へ TLSハンドシェイクの中の小さな動作だが、ネットワーク全体に拡大すると無視できない遅延になる。（120点）
Swift 6.4リリース 定例の更新だが、リリースのペースを見るとこの言語がまだ前に進んでいるのが分かる。（126点）
ツール
Hister、自分が見たウェブページとファイルのためのプライベート検索 Goで書かれたローカル検索エンジンで、CLI、ブラウザ拡張、各種プラットフォーム向けのビルド済みパッケージが付いている。解こうとしているのは誰もが持っているあの引き出し、しまったはずなのに取り出せないものだ。（661点）
Capsule、アプリ全体を1ファイルに詰め込む UI、データ、ローカルのSQLiteを1つの.capsuleにまとめ、PDFを送るように配れる。受け取った側は開けばすぐ使えて、アカウントもサーバーも要らない。誰かに自分の小さなツールを試してもらいたいとき、リンクを送るよりこの配り方のほうが手間が少ない。（376点）
Homebrew 7.0.0 メジャーアップデート。普段は誰も話題にしないが、壊れると開発者コミュニティの半分が止まる。（636 点）
Flet 1.0、Python でクロスプラットフォームアプリを書く Python のコード1本からデスクトップ、Web、モバイルが出る。ちょっとしたツールのためにフロントエンドを学びたくない人向け。（142 点）
Toast、デフォルトでターミナルに住む IDE ターミナルをメイン画面に据えたエディタそのもので、プラグインという道は取らなかった。（82 点）
ResolveHQ、Workers 上に建てたカスタマーサポートシステム Cloudflare の Workers、D1、R2、Queues で helpdesk を組み上げた。エッジスタックが完全なプロダクトになるまでどう組み上がるかを学びたいなら、読めるサンプル。（Show HN、72 点）
agent に仕事をさせる小さなツール3つ Ordewell は1つのゴールを順序付きのコーディングタスクに分解し、Panel は agent 自身にリサーチパネルを組ませ、Pizza Bot はバックグラウンド agent の受信箱。3つとも同じ方向を試している。人が画面を見る時間を減らすという方向だ。（54、53、59 点）
ハードウェア · 製造
鳥を描く電子ペーパー Raspberry Pi と電子ペーパーを組み合わせ、庭の鳥の鳴き声を音声でローカル認識し、19世紀の手彩色風の鳥の挿絵として描き出す。推論はすべてローカル。作者はついでに自宅の窓が汚すぎると愚痴っている。リスが鳥の餌を盗み続けているからだ。（Show HN、2300 点、今週1位）
Fujitsu MONAKA 日本が自前で開発した新型 CPU が正式発表。米国企業2社と英国企業1社が支配する市場において、この路線は覚えておく価値がある。（613 点）
JetKVM Mini 有線39ドル、無線42ドル。アルミ筐体は 42 × 42 × 23 mm、1080p キャプチャ、キーボードとマウスは USB 経由。3台セットなら単価33ドルと36ドルに下がる。電源が入らないマシンを遠隔で触るコストが、今や食事1回分より安い。（571 点）
20ドルの4G ホットスポットを SMS 送信デバイスに改造 使ったのは MF800 モジュール、Clicks キーボード、Adafruit の Sharp メモリ液晶。きっかけは机の上に置き場のない部品が溜まっていたこと。インスピレーションは Beepy と Playdate。（Show HN、205 点）
Hackaday の小さな3件 Meta Portal をサブディスプレイ化、テレビの音声管をトランシーバーに転用、血液遠心分離機を自作。ハードウェア界隈では毎週のように、ゴミを計測器に変える話がある。
セキュリティ · プライバシー
ZCode はワークスペース全体を暗号化してアップロードする 誰かが Z.ai のコーディングアプリをリバースエンジニアリングしたところ、ログイン状態でワークスペースをまとめて暗号化し Alibaba Cloud に送っていることが判明。313MB のパッケージは 345MB・42,411ファイルのワークスペース由来で、うち .git が86.6%を占める。鍵はサーバー側から配られ、秘密鍵は相手のクラウド上にしかなく、ユーザー自身にも復号できない。（146 点）
ナンバープレートカメラ Flock の3連発 ある人がファームウェアを監査し、脆弱性とハードコードされた認証情報だらけだと指摘。Wired はハッカーがシステム内部で何を見たかを報じ、404media は公開記録を調べて、警察が検索理由欄に LMAO、IDK、hehe と書いていたこと、別の記録では1,558都市にまたがって19,000台を検索していたことを明らかにした。（575、135、122 点）
著名な Rust 開発者への標的型攻撃 攻撃の狙いはコードリポジトリではなくメンテナー本人。リポジトリは fork できるが、人は fork できない。
Starlink の信号漏洩が電波天文を脅かす 漏洩は電波天文にとって最も重要な周波数帯に落ちている。衛星インターネットと地上観測の周波数争いにまた一つ加わった。（143 点）
F-Droid のどれだけが LLM 製か 著者は9月12日時点の F-Droid の更新102件をリポジトリの雰囲気で3段階に分類し、前置きで手法がかなり粗いことを認め、さらに9〜10個のアプリを人間側に戻した。読む価値があるのは手法と自己修正、そしてそれが呼び寄せた部族的な論争。（145 点）
Wayback Machine のアクセス制限の説明 Internet Archive が最近のアクセス変更を説明している。無料のアーカイブに調べ物を頼っているなら、その咳払いの一つ一つに注意を払う価値がある。（681 点）
雑学 · 珍談
Pre-Greek、古代ギリシャ語に隠れた失われた言語 古代ギリシャ語には、印欧語のどの語源にも遡れない単語が約1000語ある。labyrinthos、elaía、そして Akhilleús、Odysseús、Athênai のように、生まれつきギリシャ語だと思っていた名前も含まれる。ヘロドトスは、ペラスゴイ人が非ギリシャ語を話していたと書き残している。（105 点）
Usenet Rewind 1981年から現在までのニュースグループのアーカイブ。検索可能なメッセージは10億6600万件、保持期間は16,660日。インターネット黎明期の一次資料を探すなら、検索エンジンより役に立つ。（136点）
Project Blinkenlights 2001年、ベルリンでCCCが自分たちの誕生日プレゼントとして作ったもの。ビルの窓を18×8ピクセルのモノクロディスプレイに変えた。その後パリでは26×20の画面を作り、トロントでは2棟のタワーを組み合わせて96×32のマトリクスにし、2023年からは色も出せるようになった。（110点）
鳩カメラ Julius Neubronnerは1907年、鳩にタイマー付きカメラを装着して特許を出願した。自宅の薬局から処方箋を届けるためだった。人類初の空撮は飛行機より数年早く、その担い手は鳥だった。（Public Domain Review）
ワックスモーター パラフィンが熱で膨張する力を動力にするモーター。ギアもコイルもなく、静かで安く、トルクも小さくない。あなたの家の食洗機の排水バルブにも入っているかもしれない。（458点）
石器時代のロープ、麻糸、細糸 ロープは最古の複合材料であり、考古学で最も見落とされやすいものでもある。きれいに腐ってなくなるからだ。見えない技術をどう復元するかという話。（118点）
Is It Greg? 「これはGregか？」に答えるだけのウェブページ。今週いちばん技術的に無意味で、見終わったあといちばん幸せな気分になる一本。（Show HN、65点）