1D Chess — 一次元で遊ぶチェスの変種
1D Chess
チェス盤を一次元に縮小した変種ゲーム。King、Knight、Rook の3駒だけで対戦する。二次元のチェスとは全く異なる戦略性が生まれ、最適手順を探すパズル的要素が強い。ブラウザ上で AI 対戦が可能で、見た目のシンプルさに反して白の必勝手順を見つけるのは意外と難しい。
FBI が iPhone の通知データから削除済み Signal メッセージを復元
FBI used iPhone notification data to retrieve deleted Signal messages
FBI が iPhone の通知システムに残るデータを利用して、ユーザーが削除した Signal メッセージの内容を復元したことが判明した。Signal 自体の暗号化は破られていないが、iOS の通知基盤がメッセージのプレビューをデバイス上にキャッシュしており、それがフォレンジック解析で抽出可能だった。プライバシー設定で通知プレビューを無効にすることが推奨されている。
WireGuard が Microsoft の署名問題解決を受け Windows 版の新リリースを公開
WireGuard makes new Windows release following Microsoft signing resolution
WireGuard が Windows 向けの新バージョンをリリースした。以前から Microsoft のドライバ署名ポリシー変更により Windows 版のリリースが滞っていたが、署名に関する問題が解決されたことで正式なアップデートが実現した。カーネルドライバ WireGuardNT の改善が含まれる。
GitButler が Series A で1700万ドルを調達 — Git の次を作る
We've raised $17M to build what comes after Git
GitHub 共同創設者の Scott Chacon が率いる GitButler が a16z リードで1700万ドルの Series A を調達した。Git は20年間ソフトウェア開発の基盤だったが、現在の開発プラクティスに合わせて設計されたツールではないという問題意識から、バージョン管理の次世代インフラを構築する。仮想ブランチによるマルチタスク作業フローなど、Git の制約を超える機能を開発中。
Linux kernel への AI アシスタント利用に関する公式ガイドラインが公開
AI assistance when contributing to the Linux kernel
Linux kernel の公式ドキュメントに AI コーディングアシスタントの利用に関するガイドラインが追加された。LLM を使ったコード生成は許容するが、提出者が全てのコードを理解し責任を持つこと、AI 生成であることを理由に品質基準を下げないこと、ライセンス面での注意事項などが明記されている。
Bluesky 2026年4月の障害に関するポストモーテム
Bluesky April 2026 Outage Post-Mortem
Bluesky が2026年4月に発生したサービス障害の詳細なポストモーテムを公開した。分散型 AT Protocol のリレーインフラで発生した問題の原因分析、影響範囲、復旧までの時系列、および再発防止策が記載されている。分散型ソーシャルネットワークの運用課題を浮き彫りにする内容。
JSON Formatter Chrome 拡張が乗っ取られアドウェアを注入
JSON Formatter Chrome Plugin Now Closed and Injecting Adware
人気の Chrome 拡張「JSON Formatter」がクローズドソース化され、アドウェアを注入するようになった。元の開発者がプロジェクトを手放した後、新しいオーナーが悪意あるコードを追加したとみられる。ブラウザ拡張のサプライチェーンリスクの典型例であり、開発者コミュニティでは代替拡張への移行が呼びかけられている。
フランス政府が Linux デスクトップ計画を始動 — Windows からの脱却へ
France Launches Government Linux Desktop Plan as Windows Exit Begins
フランス政府が公共部門の PC を Windows から Linux に移行する計画を正式に発表した。米国テック企業への依存を減らすデジタル主権の一環で、政府機関のデスクトップ環境を段階的に Linux ベースに切り替える。欧州における脱 Microsoft の流れが加速しており、ドイツに続くフランスの決定はオープンソースコミュニティに大きな追い風となる。
Microsoft が Copilot は「エンターテインメント目的のみ」との自社文書を否定
Microsoft denies Copilot is only for entertainment purpose, after its own document says do not trust AI
Microsoft の内部文書に Copilot を「エンターテインメント目的」と位置づけ「AI の出力を信頼しないように」と記載されていることが発覚し、同社はこれを否定する声明を出した。企業向けに AI を積極的に売り込む一方で、法的リスク回避のため利用規約では責任を限定する AI 企業の二面性が改めて注目を集めている。
Google の AI 要約機能が日常的に誤情報を生成しているとの調査報告
Google's AI Summaries Are Regularly Lying to You, Report Finds
Google 検索の AI Overview 機能が事実と異なる情報を頻繁に生成していることが調査で明らかになった。検索結果の上部に表示される AI 要約が、ソースの内容を誤解釈したり存在しない情報を捏造するケースが多数報告されている。ユーザーが AI 要約を事実として受け取るリスクが指摘されている。
科学者が架空の病気を作ったところ、AI が実在すると回答した
Scientists invented a fake disease. AI told people it was real
研究者チームが存在しない架空の病名を作成し、複数の AI チャットボットに質問したところ、いずれも実在の疾患として詳細な症状や治療法を自信満々に回答した。Nature に掲載されたこの研究は、LLM のハルシネーション問題が医療分野で深刻なリスクとなり得ることを実証的に示している。
純粋な Go で tree-sitter ランタイムを実装し11言語をパース
Parsing 11 languages in pure Go without CGO: replacing regex with a tree-sitter runtime
CGO を使わず純粋な Go だけで tree-sitter ランタイムを実装し、正規表現ベースのパーサーを置き換えた事例。Go、Python、JavaScript など11言語の構文解析に対応し、CGO のクロスコンパイル問題やビルド複雑性を排除しつつ、tree-sitter の正確なパース能力を活用できるようになった。
AWS 障害の race condition を model checker で再現する
Reproducing the AWS Outage Race Condition with a Model Checker
過去の AWS 障害の原因となった race condition を TLA+ などの model checker を使って再現・検証する試み。分散システムにおける並行性のバグがいかに微妙で、通常のテストでは検出困難であるかを示しつつ、形式検証ツールによってこうした問題を事前に発見できることを実証している。
浮動小数点演算をゼロから実装する：ハードモード
Floating point from scratch: Hard Mode
IEEE 754 浮動小数点演算をハードウェアレベルからゼロ実装する解説記事。加算、乗算、丸め処理などの各ステップを回路設計の視点で詳細に説明しており、CPU が内部でどのように浮動小数点計算を行っているかを深く理解できる内容。FPGA 実装も含まれる。
S3 Files で消えるアーキテクチャ層、生まれるアーキテクチャ
S3 Filesで消えるアーキテクチャ層、生まれるアーキテクチャ
AWS が GA した Amazon S3 Files の本質を「何が不要になり、何が可能になるか」の視点で分析している。S3 を NFS マウントできることで、従来の S3→EFS/EBS→S3 というコピー層が不要になる。FUSE ベースの Mountpoint とは異なり、EFS を介した本物の NFS セマンティクスを提供するため、バイト単位の書き込みや append 操作が可能。ML パイプラインやデータ処理アーキテクチャへのインパクトが大きい。
RAG と Agentic Search の戦争を終わらせに来た
RAGとAgentic Searchの戦争を 終わらせに来た!!!
「RAG はオワコン」論争の根本にある用語の誤解を整理した記事。RAG の定義が初出論文の「ベクトル検索前提」から「外部データを取得して LLM の回答に活用する汎用アーキテクチャ」へと拡大しており、Agentic Search は RAG の一手法と捉えるべきだと論じる。Anthropic や Karpathy の発言を踏まえつつ、ベクトル検索、Graph RAG、CAG、Agentic Search それぞれの適用場面を明確にしている。
Claude Code が書いたコードをチームのコードにするためにやったこと
Claude Codeが書いたコードを、チームのコードにするためにやったこと — 理解負債とどう向き合ったか
クラシルの開発チームで Claude Code を使い Rails の新機能2つを要件定義からリリースまで約3週間で開発した体験談。AI が生成したコードは動作するが、チームメンバーが理解していない「理解負債」が蓄積する問題に直面し、コードレビューの方法やドキュメント化の工夫でこれを解消した具体的なプラクティスを共有している。
GitHub Copilot のシステムプロンプトを覗いてエージェント開発の参考にする
エージェント開発の参考に！GitHub Copilotのシステムプロンプトを見てみよう
GitHub Copilot が内部で使用しているシステムプロンプトの構造を解析し、自社の AI エージェント開発に活かせる知見を抽出した記事。ツールのハンドリング指示、コンテキスト管理、振る舞いのルール設計など、実際のプロダクトで使われているプロンプトエンジニアリングの手法を具体的に紹介している。
国土交通省が地理空間 MCP Server（α版）を公開
国土交通省提供の『地理空間MCP Server』を使ってお手軽にClaudeからの地理空間情報連携を試してみた
国土交通省が MCP（Model Context Protocol）を活用した地理空間情報サーバーのα版を公開した。Claude などの LLM から MCP 経由で国土地理院の各種地理データにアクセスし、データ取得から分析までをシームレスに実行できる。従来は複数の API やデータソースを手動で組み合わせる必要があった地理空間データ連携が、MCP の仕組みで大幅に簡素化される。
Terraform を使わずに GitHub をコードで管理する gh-infra
Terraformを使わずにGitHubをコードで管理する
GitHub リポジトリの設定を YAML で宣言的に管理する CLI ツール gh-infra の紹介。Terraform の plan/apply ワークフローを踏襲しつつ、state ファイルや provider 設定が不要で、リポジトリ設定（merge strategy、Ruleset など）に加えて共通ファイル（LICENSE、CI ワークフロー等）の配布・同期も一元管理できる。個人 OSS の複数リポジトリ管理に最適化されている。
Vim にポップアップウィンドウの半透明機能が追加
Vim の春コーデ — 透け見せの着こなし
Vim 本体にポップアップウィンドウと補完メニューの半透明（opacity）機能が追加された。mattn 氏による実装で、CUI 環境でも動作する。termguicolors を有効にすれば opacity 0〜100 で背景の透過度を制御でき、ワイド文字の境界処理や Win32 コンソールのちらつき防止など、多数の細かいエッジケースを解決している。Neovim の winblend に対する Vim 側の回答とも言える機能。
WebGPU でブラウザ内 LLM 推論を実現する React hook
A simple React hook for running local LLMs via WebGPU
WebGPU を利用してブラウザ内でローカル LLM 推論を行う React hook ライブラリ react-brai の紹介。Web Worker への委譲、モデルキャッシュ、複数タブ間の Leader/Follower 制御を抽象化し、useLocalAI() フック一つで Llama-3.2 などの量子化モデルを実行できる。初回の1.5〜3GB ダウンロードが必要だが、API コスト削減やデータプライバシー確保が必要な B2B ユースケースに有用。
Mac を5回クラッシュさせて分かった S3 Files の macOS マウント方法
I Crashed My Mac 5 Times So You Don't Have To: Mounting S3 Files on macOS
AWS が発表した S3 Files は AWS コンピュート環境でのみ利用可能だが、ローカル Mac からもマウントする方法を48時間かけて開拓した体験談。kernel panic を5回経験し、efs-proxy のクラッシュバグを発見しながら、最終的に2コマンドで macOS から S3 Files をマウントできるツールを構築。S3 Files が FUSE ではなく EFS ベースの本物の NFS であることの技術的意味も解説している。
Rust のスレッドモデルを物語形式で学ぶ：Atomics and Locks 読書記
I Thought I Understood Threads. Then I Read Atomics and Locks.
Rust のスレッドモデルを spawn、join、move クロージャ、Arc、Mutex、Condvar の順に物語形式で解説した記事。Rust のコンパイラが参照のライフタイムを静的に検証することで、データ競合をコンパイル時に防ぐ仕組みを段階的に示している。Scoped Thread やチャネルなど、安全な並行プログラミングのパターンも紹介。
スタンドアップミーティング混沌シミュレーター
The Standup Chaos Simulator
混沌としたスタンドアップミーティングをシミュレートする Web アプリ。チームメンバーにロールを割り当て、スプリントの危機レベルを設定すると、チャット UI 上でリアルなカオス会議が展開される。Team Dysfunction Meter で機能不全度を測定し、トランスクリプトの GIF エクスポートも可能。Next.js + TypeScript で構築され、バックエンドも LLM 呼び出しも不要。
Alertmanager のルーティングルールをユニットテストする Go ツール
Unit Testing Alertmanager Routing and Inhibition Rules
Alertmanager のルーティングツリーと抑制ルールをユニットテストする Go ツールの紹介。amtool check-config では構文チェックしかできず、「アラートが間違ったチームに飛ぶ」「critical 発火中に warning が抑制されない」といったセマンティックエラーは検出できない。YAML でテストケースを記述し CI で実行することで、ルーティング変更の意図しない副作用を事前に検出できる。