Tech Digest

AIは数学者より深く思考しているのではなく、より多くを記憶しているだけだと論じた記事。

Codexを用いた自動リサーチにより、GPUカーネルを232倍高速化した過程を紹介した記事。

AIと共に開発する体験は、コーディングというよりリーダーシップに近いと論じた記事。

他の主要ブラウザが拡張機能の仕組みを変える中、Firefoxがまだ uBlock Origin をサポートする最後の主要ブラウザになったと報じる記事。

暗号化を巡る法執行機関によるハッキングと、通信が『見えなくなる（go dark）』時代の到来を論じた記事。

HaskellコンパイラGHCへの依存型（Dependent Types）実装に取り組む技術連載の第5回。

プロセッサの性能向上の頭打ちが並行プログラミングへの転換を迫ると論じた2005年の古典的論文。

RISC-VのRVA23プロファイルとARMv9を、実際のベンチマークを通じて比較した小実験の報告。

形式手法 TLA+ を用いてシステムの安全性・信頼性を高める手法を解説した記事。

2004年のRuneScapeが56kダイヤルアップ回線にマルチプレイヤーRPGを収めた通信最適化の工夫を解説。

NESエミュレータの実行だけに特化した最小限のOSカーネル『nek』の紹介。

ChatGPT・Codex・Claude Code を使うなら導入すべき Agent Skill を4つ紹介する記事。

localhost を .test ドメインにマッピングし、HTTPS/SSL証明書やWebSocket・HMRに対応する開発サーバー用ツール『slim』の紹介。

セールス主導開発（Sales-Driven Development）が陥りやすい問題を論じた記事の翻訳・解説。

AIの助言に触れ続けると、人間も『分からない』と言いづらくなるという研究結果を紹介した記事。

MySQL・PostgreSQL・SQL Server・MongoDB・SQLite など複数のDBを無料で操作できる、SQL/noSQL両対応のデータベース管理ツール『DbGate』の紹介。

キオクシア製 PCIe 5.0 SSD『EXCERIA G3』4TBモデルのレビュー。読込10GB/s・書込9.6GB/sの速度を実現。

米国で、人間の目には空白に見える隠しプロンプトを裁判所提出書類に仕込みAIを操作した事例を扱ったまとめ。