検証可能性とテスト可能性を考慮してvibeコーディングのワークフローを設計する面白い点は、モデルを切り替えてパフォーマンスに影響するだけで、ローカルモデルへの切り替えも含まれます

なぜか私のフィードはインディーゲームで溢れていて、とても良いエネルギーです

AIが大量の数学やコードを生成し、形式的検証を使って正しい証明を生成する面白い例えの一つは、まるでNP感覚の時代に移行しているかのようで、命題は数学/コードで、証人がこれらの証明であるという点です