テック
IFEvalを逆利用するラチェットコード
LLMの追従バイアスはバグではなく資産だ。IFEvalが測定する指示遵守能力を決定論的フィードバックと組み合わせれば、4.5Bのローカルモデルでも正確なコードを生成する収束ループが生まれる。
yongol — AIコーディングSaaSの竜骨
バイブコーディングは200エンドポイントで崩壊する。AIが意思決定と実装の詳細を区別できないからだ。yongolはAIの作業対象をコードから10の宣言的仕様に移し、コンパイル前にレイヤー間の整合性を強制する。
Ratchet Pattern -- エージェントを最後までやり遂げさせる方法
AIエージェントに527個の関数のテストを書かせたら、40個で「完了しました」と宣言した。Ratchet Patternは完了判定を機械的なverifierに委ね、エージェントを最後まで走らせるパターンだ。
tsma — レガシーコードの回帰防御線
すべての関数をインデックスし、テストの有無を検知し、coverageを計測し、LLMエージェントにフィードバックを返すCLIツール。コマンド一つでレガシーコードに回帰防御線を構築する。
toulmin — 契約を計算するルールエンジン
ルールエンジンは60年間、検証対象を事実(fact)として扱ってきた。toulminは主張(claim)として扱う。Toulminの論証モデルをGoルールエンジンとして実装した。
filefunc — 1ファイル1コンセプト
AIコードエージェントの探索単位はファイルだ。1ファイルに1コンセプトを強制するGoコード構造のコンベンションであり、CLIツール。
Feature Chain — operationId 一つでフルスタックを追跡する
機能一つを修正するにはどのファイルを触ればいいか？ Feature Chain は operationId 一つを入力すれば、API スペックから DB スキーマ、認可ポリシー、状態図、関数実装、テストシナリオ、フロントエンドまで全範囲を自動的に抽出する。
whyso — git blame が見せないもの
git blame は誰が、いつ、何を変えたかを見せる。whyso はなぜ変えたかを見せる。Claude Code のセッションデータからファイルごとの変更履歴を自動抽出するツール。
気候変動の解決策が宇宙にあるって？ ええ、本当です。
太陽と地球の間にサンシェードを設置して気候を元に戻す方法。ダイソンミラー工場でコーティングを省けばできて、推進剤なしで自力で飛んで、撤去すれば元通り。計算が合う話。
SSaC — Service Sequences as Code
サービス関数内部のビジネスフローを宣言的ブロック(sequence)に分解する言語非依存の概念。10個の固定タイプでwhatだけを宣言すれば、コードジェンがhowを埋める。
AI思考法：第一原理で前提を壊す5ステップ
AIに答えを求めるな。前提を検証し、壊し、再構築する5段階思考法。2つの実践事例から見る第一原理AI活用。
捨てられる熱で調理する？廃熱回収型ヒートポンプ調理機器の可能性と現実
既存の調理機器のエネルギー浪費を革新的に削減する廃熱回収型高温ヒートポンプ技術、どこまで来ていて、どう補完できるのか？
砂漠の砂でダムを築き、30年後そのダムが森になる
砂漠に溢れる無用の砂をバイオ接着剤で固めて貯水タンクを作り、寿命が尽きれば肥沃な土壌に還るオアシスペレット技術を提案する。
火災ゼロの蓄電池が、捨てられた電気を肥料と暖房に変える
太陽光の出力制御で捨てられる電気を火災ゼロのエジソン電池で蓄え、水素から肥料と尿素水まで自給するエネルギー・農業融合モデル。