AIテスト
AIが見つけた数学の反例：Claude Fableが示したコード検証の未来
Claude Fableが87年越しの数学の難問、ヤコビアン予想の反例を見つけ出し、AIの推論能力を証明しました。この出来事がソフトウェアテストとバグ検出に示唆することを分析し、開発者がAIを活用してエッジケースを自動発掘する方法を紹介します。
md-log ブログ
AI バイブコーディングを、レビュー可能な開発へ
AI エージェント・コードレビュー・ドキュメント・MCP — AI 主導の開発ワークフローの流れを整理します。各記事は、人が AI の作業を検証し不変バージョンとして残す md-log の視点を反映しています。
AIエージェント
デスクトップAIエージェントが変える開発者の一日：Kimi Workが提示するコーディング以上の業務革新
Kimi Workは単純なコードアシスタントを超え、プロジェクト管理、文書作成、ブラウジングまで統合するデスクトップAIエージェントです。Moonshot AIのKimi K3モデルをベースにしたこのツールが、開発者のコンテキストスイッチングを減らし、バイブコーディングを拡張する方法を探ります。セキュリティとプライバシーの問題、そしてOS統合の未来にも触れます。
セキュリティ
25ドルとGPTで見つけたゼロデイ：AIが変えるセキュリティ脆弱性発見の現実
AIツールを活用してわずか25ドルで致命的なゼロデイ脆弱性を発見した事例を分析し、これが開発者のセキュリティワークフローとDevSecOpsに与える影響を考察します。
AIコーディング
不安定なOpenCodeが明かすAIコーディングの現実：生産性ツールか、罠か
OpenCodeの度重なる誤作動事例を通じて、AIコーディングツールの華やかな可能性の裏に潜む不安定性と予測不可能性が開発者の生産性と信頼に与える影響を診断し、実践的なリスク管理戦略を提示します。