検証スペクトラム：AIコーディングがバックエンドで最も効果的な理由
AIコーディングは検証の勾配に従う。バックエンドはミリ秒で検証し、Webは数分、モバイルは数時間かかる。フィードバックループがAIコーディングの有効範囲を決める。
AIモデルが単独でコードを書くこと自体は、興味深い部分ではない。興味深いのは、コードを生成した後に何が起こるかだ。モデルはどれだけ速くコードの正しさを知ることができるか？生成と検証の間のフィードバックループはどれだけ緊密か？…
validation
3 posts
バリデーション層がビジネスロジックより肥大化している
手作りのバリデーションは codebase を膨張させ、それでもエッジケースを見逃す。宣言的なスキーマで runtime contracts を enforce し、実装に干渉しない方法を解説する。
API がリクエストを受け取るたびにバリデーションを行う。外部システムから引数を受け取る関数も同様にチェックする。これを手作業で行うと、1つのエンドポイントにビジネスロジックを超える量のバリデーションコードが蓄積する。 これは runtime contracts に伴う隠れたコストだ。type system…
なぜ deep link は Vibe-coded React Native app を crash させるのか
deep link、push payload、shared URL はすべて untrusted input です。壊れた param が screen に届く前に、Expo Router boundary で validate する方法を説明します。
Vibe-coded な app の deep link bug は、たいてい退屈な input の問題から始まります。malformed な user ID、古い campaign URL、push payload に欠けた enum 値。そこから app がその input を trusted…