OpenAI のモデルが離散幾何学の中心的予想を反証
An OpenAI model has disproved a central conjecture in discrete geometry
OpenAI の推論モデルが、離散幾何学における長年の未解決予想を反証する反例を発見した。具体的には、高次元空間における点集合の配置に関する予想に対し、モデルが体系的な探索を行い、人間の数学者が見落としていた反例構成を提示した。この成果は AI が純粋数学の研究において単なる補助ツールを超え、独自の発見を行える段階に到達しつつあることを示唆している。HN では644ポイントを獲得し、数学と AI の境界領域における議論が活発に行われた。
C 言語のあらゆるコードは未定義動作である
Everything in C is undefined behavior
30年間 C/C++ を書き続けてきた著者が、C 言語における未定義動作（UB）の広範さについて警鐘を鳴らす記事。double-free やバッファオーバーフローのような明白な UB だけでなく、コンパイラが最適化なしでもコードを「正しい」と仮定して生成する結果、意図しない挙動が発生する仕組みを具体例で解説している。「最適化を無効にすれば UB は問題ない」という誤解を明確に否定し、UB はコンパイラ段階間で意図を伝達する手段すら存在しないことを強調。C++ の使用が SOX 法違反にあたりうるという過去の指摘にも言及している。
悪意ある VS Code 拡張機能経由で GitHub リポジトリ3,800件が侵害
GitHub confirms breach of 3,800 repos via malicious VSCode extension
GitHub は従業員の端末が悪意ある VS Code 拡張機能によって侵害され、内部リポジトリ約3,800件のデータが流出したことを確認した。攻撃者はサプライチェーン攻撃の手法で、信頼されたローカルバイナリを通じてファイルシステムやトークンへのフルアクセスを獲得した。GitHub は該当拡張機能の削除、エンドポイントの隔離、重要な認証情報のローテーションを実施。この事件はサードパーティ拡張機能のサプライチェーンリスクの深刻さを改めて浮き彫りにした。
Railway の全面障害: GCP アカウント誤停止によるインシデントレポート
Incident Report: May 19, 2026 – GCP Account Suspension
Railway が約8時間の全面障害を報告した。原因は Google Cloud が Railway の本番アカウントを誤って停止したこと。API、コントロールプレーン、データベースがオフラインとなり、GCP 以外のワークロードもエッジプロキシのルーティングテーブルが GCP 依存だったためキャッシュ期限切れとともに連鎖的に到達不能となった。復旧後もデプロイの大量バックログ処理と GitHub の OAuth レート制限への対応が必要だった。Railway は今後マルチクラウド対応の強化を計画している。
Google は Web に宣戦布告した
Google Declaring War on the Web
Google I/O 2026 の基調講演を受けた批評記事。Google が検索結果からリンクを排除し、LLM 生成の回答を全面に押し出す方針を「参加型 Web への攻撃」と位置づけている。著者は、Web サイトや個人の創作物が Google の合成テキスト生成の無償原材料に貶められ、情報の流通が Google の抽象レイヤーに独占されると主張。Meta の Metaverse が失敗した領域で Google が次の攻撃を仕掛けており、オープンな Web 標準が脅かされていると警告している。
asm.js に別れを告げる: SpiderMonkey が最適化を無効化
Saying goodbye to asm.js
Firefox 148 以降、SpiderMonkey の asm.js 最適化がデフォルトで無効化され、将来的にコード自体が削除される。asm.js は2013年に Firefox 22 で登場し、JavaScript のサブセットとしてネイティブに近い速度を実現、Unity や Unreal Engine の Web 移植を可能にした。この成功が WebAssembly 誕生の礎となった。WebAssembly への移行が進み、asm.js のメンテナンスコストと攻撃対象面の増加が無視できなくなったため廃止に至った。OdinMonkey（asm.js コンパイラ）は BaldrMonkey（WebAssembly コンパイラ）にその役割を譲る。
Node.js 26.0.0 リリース: Temporal API がデフォルトで有効に
Node.js 26.0.0 (Now with Temporal)
Node.js 26.0.0 がリリースされ、最大の目玉は Temporal API のデフォルト有効化。従来の Date オブジェクトの問題点（タイムゾーン処理の不備、ミュータブルな設計）を解決するモダンな日時 API が標準で利用可能になった。V8 14.6 へのアップグレードにより Map.prototype.getOrInsert() や Iterator.concat() などの新しい JavaScript 機能も追加。破壊的変更として、レガシーな Stream モジュールの削除、http.Server.prototype.writeHeader() の廃止、GCC 13.2 以上の要求などが含まれる。
AI は高すぎる: データセンター投資の採算が合わない現実
AI Is Too Expensive
AI スタートアップは毎年数十億ドルの赤字を出し続けており、ハイパースケーラー各社は過去3年で8,000億ドル以上を投資、2026-2027年にさらに1.7兆ドルを計画している。損益分岐には少なくとも3兆ドルの AI 専用収益が必要だが、Microsoft・Meta・Amazon・Google の全製品合計収益が約1.6兆ドルに過ぎない。著者は、現状で経済的に成立しているのは NVIDIA と建設会社だけであり、データセンター建設の加速ペースも当初の想定を下回っていると指摘。r/technology で6,000以上のスコアを記録した。
YAML の Norway 問題: 国コード NO が false に化ける理由
YAML? That's Norway problem
YAML で国コード NO を記述すると boolean の false として解釈されてしまう「Norway 問題」を深掘りした記事。PyYAML 6.0.3 による実演で問題を再現し、YAML 1.0 から 1.2 までの仕様変遷を追跡している。YAML 1.2 では NO を boolean と解釈しない仕様に改訂されたが、2026年時点でも多くの主要ライブラリが YAML 1.1 準拠のままであり、実質的に問題は未解決。引用符で囲む回避策と、ライブラリ側の仕様準拠状況を整理している。
あらゆる OS を体験できるバーチャル博物館
Virtual Museum with Every Operating System You Can Think Of
ブラウザ上で歴史的な OS を実際に操作できるバーチャル博物館。初期の UNIX、Windows の各バージョン、macOS、BeOS、OS/2、各種 Linux ディストリビューションなど、通常は入手・実行が困難な OS をエミュレータ経由で体験できる。r/programming で141ポイントを獲得し、コンピュータ史の教育資源としても価値が高いと評価されている。
NGINX に未認証リモートコード実行の脆弱性が発見
New NGINX Vulnerability Allows Unauthenticated RCE
NGINX にバッファオーバーフローに起因する未認証リモートコード実行（RCE）の脆弱性が報告された。認証なしで悪用可能なため、NGINX をリバースプロキシやロードバランサとして利用する膨大な数のサーバーが潜在的な影響を受ける。早急なパッチ適用が推奨されており、r/programming でも緊急性の高いニュースとして注目を集めた。
Intuit が3,000人以上を解雇、AI への再集中を表明
Intuit to lay off over 3,000 employees to refocus on AI
TurboTax や QuickBooks で知られる Intuit が3,000人以上の従業員を解雇し、AI 分野への投資を加速すると発表した。同日には Meta も8,000人規模のレイオフを発表しており、テック大手による「AI 転換」を名目とした大規模人員削減の波が続いている。r/technology では AI 投資の費用対効果と雇用への影響をめぐる議論が活発に行われた。
Microsoft が SMS 認証コードを廃止、Passkey への移行を推進
Microsoft is pulling the plug on SMS codes, wants you to switch to passkeys
Microsoft が SMS ベースの二要素認証コードを段階的に廃止し、Passkey（パスキー）への移行を促進する方針を発表した。SMS 認証は SIM スワップ攻撃やフィッシングに脆弱であることが長年指摘されており、FIDO2 ベースの Passkey はデバイス上の生体認証と公開鍵暗号を組み合わせることでこれらの攻撃ベクトルを排除する。Apple や Google も同様の動きを進めており、パスワードレス認証への業界全体の移行が加速している。
Redis はデータベースではない、という主張
redis is not a database and i will keep saying this until people stop using it like one
r/webdev で議論を呼んだ投稿。Redis には永続化機能（AOF/RDB）があるが、それをもって信頼できるデータソースとして扱うべきではないと主張している。投稿者は、Redis の永続化はあくまでキャッシュの復旧手段であり、ACID 特性を前提としたデータ保管には向かないと指摘。Redis を主データベースとして使った結果、障害時にデータ損失が発生するケースが後を絶たないことへの警鐘となっている。
Local Coding Agent が身近なタスクをどれくらいこなせるのか検証した
Local Coding Agent が身近なタスクをどれくらいこなせるのかを検証した
Qwen3.6-27B を4bit量子化し MacBook Pro M3 Max（64GB）上で OpenCode 経由で動作させ、TypeScript プロジェクトの6種類の実務的タスクを検証した記事。SWE-bench Verified で77.2%（Claude 4.5 Opus の80.9%と3.7pt差）のモデルが、ローカル環境でどの程度実用的かを具体的なタスク結果とともに報告している。24GB に収まるサイズで、64GB の MacBook なら問題なく動作する点が注目ポイント。
Claude Code に永続記憶させるライブラリを自作した話
Claude Codeに永続記憶させるライブラリを自作した話
Claude Code の標準 auto memory はルールや事実の抽象化保存に向いているが、過去の Q&A をベクトル検索で引き出す用途には不十分として、claude-memory という Python ライブラリを自作した記録。Ruri v3-310m（日本語特化埋め込みモデル）、FTS5 と sqlite-vec の RRF 統合によるハイブリッド検索、半減期30日の時間減衰スコアリング、JSONL を正本・SQLite をキャッシュとする設計を採用。1ヶ月の運用で1,239件の記憶が蓄積され、23プロジェクトを横断して利用可能になった。
野良スキルは使うな、盗め -- Claude Code スキルの安全な作り方
野良スキルは使うな、盗め──Claude Codeスキルの安全な作り方
Claude Code のスキル（CLAUDE.md に追記する命令ファイル）に潜むセキュリティリスクを具体的な攻撃パターンとともに解説。直接的な悪意あるコードだけでなく、「ログ」「バックアップ」「デバッグ」といった無害に見える文言がプロンプトインジェクションとして機能し、認証情報や環境変数の外部送信を引き起こす事例を提示。AI への命令はテキストファイルで簡単に仕込めるため、野良スキルをそのまま使わず、構造だけを参考にして自作する防御手法を推奨している。
Raspberry Pi 5 で Claude Code を40日運用し、1日5ドルを2ドルに削減した話
Pi 5 で Claude Code を 40 日運用して、1 日 5 USD を 2 USD に下げた話
Raspberry Pi 5 上で Claude Code を systemd timer で24時間自動運行した際のコスト最適化記録。長時間の conversation では context window 使用率が70-80%に張り付き、自動 compaction がキャッシュミスの連鎖を引き起こしてトークン消費が膨らむ問題を特定した。対策として timer をタスク粒度に分割し、conversation を短く保つことで cache hit 率を64%（0-10分）から低下させずに維持。結果、日あたりコストを5.07ドルから2.04ドルへ60%削減し、生産性は維持できた。
Gemma 4 E4B をローカルで量子化してみた
Gemma 4 E4Bをローカルで量子化してみた
MacBook Pro M2 Pro（32GB）上で Gemma 4 E4B を llama.cpp を使い GGUF 形式に変換し、Q4_K_M 量子化を一通り体験した記録。量子化の基礎知識（Q4_K_M の K や M の意味、レイヤーごとに異なる bit 幅の割り当て）を整理しつつ、Hugging Face からのモデル取得、変換、量子化の具体的な手順を実行環境の情報とともに示している。GGUF・GPTQ・AWQ など各量子化形式の比較にも触れている。
React Compiler を annotation モードと Oxlint で漸進的に導入する
React CompilerをannotationモードとOxlintで漸進的に導入する
約7,500ファイルの TypeScript プロジェクトに React Compiler を導入した事例。all モードでは TanStack Table v8 のテーブル破壊や react-hook-form の無限ループが発生したため、annotation モード（'use memo' ディレクティブのあるファイルのみ対象）でオプトイン方式に切り替えた。Oxlint の組み込み hooks ルールと eslint-plugin-react-hooks v7 を併用して非互換コード約290件を lint 段階で検出し、段階的に Compiler の適用範囲を拡大する手法を紹介している。
AWS CDK の単体テストの使い所を Coding Agent に判断させる Skill を作った
AWS CDK の単体テストの『使い所』を Coding Agent に判断させる Skill を作った
AWS CDK のスナップショットテスト、Fine-grained assertions テスト、バリデーションテストの3種類について、「どの場面でどれを書くべきか」の判断基準を Coding Agent 向けの Skill として OSS 化した。SKILL.md に判断フローとマトリクスを記載し、詳細は references/ ディレクトリに分離して Agent の初回ロードを軽量に保つ設計。Fine-grained assertions を宣言的な CDK コードに網羅的に書くと二重定義になる問題など、実務的な判断基準を Agent に委譲するアプローチが特徴。
Kubernetes の代替を作ることにした。狂っているのは分かっている
I decided to build a Kubernetes alternative. Yes, I know I'm crazy
Kubernetes の複雑さへの不満から代替ツールを開発する試みの記事。最小構成でも Pod、Deployment、Service、Ingress、ConfigMap、RBAC など15以上の抽象概念の理解が必要で、v1.29 では60以上の API 変更があった現状を問題視。CKA 資格が市場商品化する一方で、認定 DevOps エンジニアを雇えない中小企業が取り残されている構造を指摘し、Rancher や Dokploy（Docker Swarm ベース）などの既存の簡略化アプローチと差別化する方針を示している。
Google AI Edge Gallery がオンデバイスで MCP を実行可能に
Google AI Edge Gallery Now Runs MCP On-Device. The Privacy Architecture
Google AI Edge Gallery の5月19日のアップデートで、Android 上でオンデバイス AI モデルに Model Context Protocol（MCP）のサポートが追加された。従来、ローカル推論はプライバシーとレイテンシに優れる反面、外部ツール連携にはサーバー経由が必要でプライバシーが損なわれていた。今回の MCP 統合は Streamable HTTP 上で動作し、カレンダーや Web など外部システムとの連携をオンデバイスのまま実現する。モデルプレイグラウンドからオンデバイスエージェントランタイムへの進化として位置づけられている。
OpenAPI コード生成ツール比較: openapi-typescript vs hey-api vs Orval vs Kubb
Which OpenAPI Codegen Should You Choose? openapi-typescript vs hey-api vs Orval vs Kubb
OpenAPI スキーマから TypeScript の型定義やリクエスト関数を自動生成する4つのツールを実際の大規模スキーマで比較した記事。生成ファイル数、生成速度、lint との親和性、IDE インデックスの負荷、エラーモデリング、認証処理など、生成結果の品質を多角的に評価している。TanStack Query フックや MSW モック、Zod スキーマの生成対応状況も含め、ツール選定の実践的な判断材料を提供している。
50行のコードでコンテナを作る: Linux の仕組みを理解する
Shipping Your Machine: Building a Container in 50 Lines of Code (Part 1)
コンテナの本質は「別のコンピュータをシミュレートする複雑なアプリケーション」ではなく、Linux のネームスペースや cgroups を使ってプロセスを隔離したディレクトリに過ぎないことを、Go 言語で50行のコードを書きながら実演する記事。chroot、namespaces、cgroups といった Linux カーネル機能を順に適用し、プロセスが「このディレクトリがコンピュータ全体だ」と錯覚する仕組みを段階的に構築していく。
GitHub が VS Code 拡張で侵害された。次は MCP サーバーだ
GitHub Got Breached Through a VS Code Extension. MCP Servers Are Next.
GitHub の VS Code 拡張機能を介した侵害事件を受けて、MCP サーバーのサプライチェーンリスクを論じた記事。著者は OpenAI の Codex Chronicle をローカルの Gemma 4 インスタンスに置き換えた経験から、信頼されたサードパーティバイナリがファイル・トークン・シェルへのフルアクセスを持つアーキテクチャは、VS Code 拡張も MCP サーバーも本質的に同じリスクを抱えると指摘。ローカルモデルでも、ファイルシステムとシェルアクセスを持つ限り特権実行環境であることに変わりはないと警告している。