ChatGPT を武器にしたアマチュアが60年来の Erdos 予想を解決
Amateur armed with ChatGPT 'vibe-maths' a 60-year-old problem
23歳で高等数学の訓練を受けていない Liam Price が、GPT-5.4 Pro への単一プロンプトで Paul Erdos が残した60年来の未解決予想を証明した。注目すべきは AI がこの種の問題に使われたことのない全く新しい手法を用いた点で、専門家はこの LLM が発見した接続が他の問題にも応用可能と見ている。AI による数学的発見が、既知手法の適用から本質的に新しいアプローチの創出へと進化したことを示す画期的な事例。
AI エージェントが本番データベースを削除した告白
An AI agent deleted our production database. The agent's confession is below
AI エージェントが本番環境のデータベースを誤って削除したインシデントが公開された。エージェント自身による「告白」形式で経緯が語られ、自律的に SQL 操作を行うエージェントに適切な権限制御やサンドボックスが設定されていなかったことが原因。HN で404ポイント・561件のコメントを集め、AI エージェントの本番環境アクセスにおけるガードレールの重要性が改めて浮き彫りになった。
西洋はモノの作り方を忘れ、次はコードの書き方も忘れようとしている
The West forgot how to make things, now it's forgetting how to code
ウクライナのエンジニアリングチームを率いる著者が、Raytheon の Stinger ミサイル再生産の困難や EU の砲弾生産目標の未達を例に、西洋における製造能力の喪失を論じる。同じパターンがソフトウェアにも起きており、AI コーディングツールへの依存が基礎的なエンジニアリング能力を蝕むリスクを警告。HN で1080ポイント・757件のコメントを集めた。
エージェント AI がデータベース設計の暗黙の前提を破壊する
Agentic AI systems violate the implicit assumptions of database design
40年間データベース設計を支えてきた暗黙の契約「呼び出し元は人間が書いた決定的コードで、クエリは予測可能でレビュー済み」が、AI エージェントによって崩壊しつつある。エージェントは推論パスごとに異なるクエリを生成し、Postgres のクエリプランナーやキャッシュの想定を覆す。防御的データベース設計の具体的なパターンとコードを提示している。
OpenAI が SWE-bench Verified の評価を終了
SWE-bench Verified no longer measures frontier coding capabilities
OpenAI が SWE-bench Verified ベンチマークでの評価を中止すると発表。最先端モデルのスコアが飽和し、実際のコーディング能力の差を区別できなくなったことが主因。ベンチマーク汚染、タスク難易度の偏り、実務との乖離など構造的な問題を指摘し、より実践的な評価手法の必要性を訴えている。HN で232ポイント・136件のコメント。
Asahi Linux 進捗報告: Linux 7.0 対応
Asahi Linux Progress Linux 7.0
Apple Silicon 向け Linux ディストリビューション Asahi Linux が約3年ぶりの 6.x 系から 7.0 への移行を報告。インストーラのリリースプロセスが CI/CD で完全自動化され、Devicetree バインディングの改善と UEFI ブートオプションの刷新が含まれる。Apple 独自ハードウェアのリバースエンジニアリングに基づくオープンソース開発の成果が着実に積み重なっている。
GnuPG 2.5.19 リリース、ポスト量子暗号 Kyber をメインラインに統合
GnuPG – post-quantum crypto landing in mainline
GnuPG 2.5.19 がリリースされ、ポスト量子暗号アルゴリズム Kyber（ML-KEM / FIPS-203）が PQC 暗号化アルゴリズムとして正式にサポートされた。64bit Windows 向けの改善も含まれる。旧 2.4 系はあと2ヶ月でサポート終了のため早めの移行が推奨される。量子コンピュータ時代に備えた暗号インフラの実用化が着実に進んでいる。
同じアルゴリズムで16倍高速化: ベクトル検索エンジンのホットパス最適化
Same algorithm, 16x faster: optimizing a vector search engine's hot path
C++ 製ベクトル検索エンジン sembed-engine の Vamana アルゴリズムを、アルゴリズム自体を変えずにデータレイアウトの最適化だけで16倍高速化した記録。フラット配列への変換、軽量ビューの利用、二乗距離の使用、候補スコアのキャッシュにより、w2v クエリレイテンシが 25.15ms から 1.524ms に改善。Recall は 1.0 を維持。CPU のポインタチェイスと仮想メソッド呼び出しの削減が鍵。
AI データセンターの英国炭素排出量への影響、当局の予測を大幅に上回る
Officials hugely underestimated impact of AI datacentres on UK carbon emissions
英国当局が AI データセンターの電力消費と炭素排出量を実際よりも大幅に低く見積もっていたことが判明。AI ワークロードの急増に伴う電力需要の増加が当初の見積もりを大きく超え、英国の気候目標達成に深刻な影響を与える可能性がある。Reddit r/technology で792ポイントを集め、AI インフラの環境負荷への関心の高まりを示している。
Chrome 145 リリース: JPEG-XL サポートを Rust 製デコーダで復活
Chrome finally supports jxl
Google Chrome 145 がリリースされ、2022年に削除された JPEG-XL 画像フォーマットのデコードサポートが復活した。メモリ安全性のため C++ の libjxl ではなく Rust 製の jxl-rs デコーダが採用された。現時点では enable-jxl-image-format フラグで有効化が必要。他にも CSS text-justify プロパティ、IndexedDB の SQLite バックエンド、User-Agent 文字列の簡略化が含まれる。
Chrome DevTools で WebAssembly をデバッグする方法
Debugging WASM in Chrome DevTools
Scheme コンパイラの WASM バックエンド開発経験を基に、Chrome DevTools の WASM デバッガの使い方を解説。WAT から WASM にコンパイルしたコードに対し、ブレークポイントの設定、ステップ実行、メモリインスペクションの方法を具体的に示す。GC 参照を使った Scheme ペアの構築を題材にしており、WASM 開発者向けの実用的なガイド。
小屋の中で動作する RAM を自作、次はさらに野心的なプロジェクトへ
Someone built working RAM in a shed and the next project is somehow even more ambitious
個人の趣味プロジェクトとして小屋の中でスクラップ部品から動作する RAM モジュールを設計・製作した人物の紹介。トランジスタレベルからメモリセルを組み上げ、実際にデータの読み書きが可能な状態まで完成させた。コンピュータの基礎を一から理解するアプローチとして Reddit r/technology で548ポイントを獲得。
生成 AI とソフトウェアエンジニアのニヒリズムについて
生成AIとソフトウェアエンジニアのニヒリズムについて
LLM がプログラミングの「試行」としての性格を奪いつつある現状を哲学的に分析したエッセイ。生成 AI はシンタックスだけでなくパラダイム（共有された常識）も学習しており、コードの秩序化という「冒険」が自動化されることで、エンジニアのアイデンティティの根幹が揺らいでいるという問題提起。職業の存続とは別次元での「意味の喪失」を論じている。
AI の成果物に責任を取る方法
AIの成果物に責任を取る方法
AI コーディング全盛期において、開発者は「コードを書く人」から「AI という部下をマネジメントする意思決定者」に変化したという視点で、AI の成果物に対する責任の取り方を論じる。AI の出力を全て疑うのではなく、信頼関係を築きながら効率的にレビューするためのマインドセットと具体的な手法を提案している。
2026年に CGI で Web アプリを作る
2026年にCGIでWebアプリを作る
Go のシングルバイナリと SQLite を組み合わせ、レンタルサーバーの CGI 上で SPA + API サーバー + 非同期ジョブキューを動作させる実践記。月額100円台のレンタルサーバーで複数サービスを運用でき、rsync によるデプロイだけで完結する。CGI のリクエストごとのプロセス起動モデルが AWS Lambda に通じることを指摘し、古い技術の再評価を試みている。
探索的テストを進める AI エージェント QA-EXPLORER を作った
探索的テストを進めてくれるAIエージェントを作った
定型的なリグレッションテストではなく、「怪しいところ」を発見してテスト範囲を自律的に拡げる探索的テスト AI エージェント QA-EXPLORER の開発記。経験豊富なテスターの直感的な振る舞いをエージェントに再現させ、異常を検知したら関連領域に自動的にテストを展開する仕組みを実装している。
Claude Code の設定を Codex にどう対応づけるか
Claude Code の設定を Codex にどう対応づけるか
Claude Code と OpenAI Codex という2つのターミナルベースコーディングエージェントの設定を、dotfiles 上でどこまで共通化しどこから別物として扱うかを整理した実践記事。CLAUDE.md と codex-instructions.md の対応関係、MCP サーバーの設定差異、権限モデルの違いを詳細に比較している。
Microsoft 製 Agent Package Manager (APM) ハンズオン
ハーネスエンジニアリングを楽にする Microsoft 製の新ツール「APM」ハンズオン
AI エージェント向け指示書（GitHub Copilot の instructions、Claude Code の commands、Cursor の rules）や MCP サーバーが乱立する中、それらを統一管理する Microsoft 製ツール Agent Package Manager の使い方を実践的に解説。チーム内でエージェント設定を共有・再利用するための新しいアプローチを紹介している。
RubyKaigi 2026 函館参加レポート
RubyKaigi2026に行ってきました！
函館で開催された RubyKaigi 2026 の参加レポート。初日キーノートでは Ruby 4.0 で導入された Box の仕組みと開発経緯が紹介された。Box はアプリケーション空間を分離しモンキーパッチの影響範囲を制御する機能で、Ruby のモジュール性を大きく向上させる。Ractor の並行処理改善など Ruby の最新動向が幅広くカバーされている。
Spot Instance が決済サービスを停止させた47分間の障害調査記録
The Spot Instance That Killed Our Payments Service (And Why It Took Us 47 Minutes to Find It)
午前1:49に決済サービスの全3レプリカが同時に CrashLoopBackOff に陥ったインシデントのポストモーテム。最初の12分間をデプロイ履歴確認という誤った方向に費やし、実際の原因は Spot Instance の回収によるノード消失と YAML 設定の2行の問題だった。調査中の各段階での判断ミスと正解に至った経緯を分単位で率直に記録している。
5分で全てを忘れる AI のための21層メモリスタックを構築した
Building a 21-Layer Memory Stack for an AI That Forgets Every 5 Minutes
自律 AI エージェント Meridian が、LLM の各 API 呼び出しがステートレスであるという制約を克服するために構築した21層メモリアーキテクチャの詳細。高速アイデンティティ復元、タスク状態管理、長期記憶、関係性追跡を階層化し、コンテキストウィンドウの限界を超えて「継続的な自己」を実現する設計思想と実装を解説。
SLSA 仕様の完全解説: サプライチェーンセキュリティの検証レベル
SLSA Deep Dive: Securing the Supply Chain Using Verifiable Levels
SolarWinds 事件で SUNSPOT マルウェアがビルドサーバー上のソースコードを差し替え、正規の証明書で署名されたバイナリが18,000組織に配布された事例を起点に、SLSA フレームワークを徹底解説。コード署名だけでは不十分な理由と、Provenance 構造による「どのソースから、どう作られたか」の検証フローを図解付きで詳述している。
AI が技術的負債を生んだのではない、人間が許可していたのだ
Tech Debt Didn't Start with AI
AI がコードベースに低品質なコードを持ち込んでいるという議論に対し、技術的負債の本質はツールではなく組織の意思決定にあると主張。スプリント終了間際に未レビューの PR を承認し、= と === の取り違えで本番リリースをロールバックした実体験から、AI 以前から存在する「締め切りのためにコード品質を犠牲にする」文化こそが問題の根源だと論じている。
$15 の WiFi ペネトレーションテストツール HaleHound CYD の実力検証
HaleHound CYD Review: Is a $15 Pwnagotchi Alternative Actually Worth It for WiFi Pentesting? [2026]
ESP32 搭載の安価な開発ボード CYD にカスタムファームウェア HaleHound を載せた WiFi セキュリティテストツールの2週間レビュー。WPA ハンドシェイクのキャプチャやクライアントの deauth が可能で、$60以上する Pwnagotchi の代替として注目されている。ESP32 の 2.4GHz WiFi と Bluetooth を活用しタッチスクリーンで操作できるが、5GHz 非対応などの制限も率直に報告。