テック
reins — Quest CLIからドメインだけを残し、ratchetはフレームワークへ
how-make-questはQuest CLIを素手で建てる方法を教えた。だが二つ目のCLIを建てると、同じratchet、同じscan/next/submit、同じ集計をまた書く。reinsはその不変をフレームワークとして抜き出す — ratchet・コマンド骨格・集計・exportはreinsが供給し、あなたはドメインのゲート(gate.Definition 4メソッド)だけを実装する。ゲートはcheese防御ルールのカタログであり、toulmin defeatグラフが『なぜ負けたか、何を変えれば勝つか』という攻略集をエージェントに返す。
Quest CLIの作り方 — 完了を機械に判定させるツールを自分で建てる
AIは「やり終えました」と言う。実際には終わっていない。本稿は、その問題を解くツール — Quest CLI — を自分で建てる方法だ。原理(なぜ)からcobraコマンドのスケルトン(どうやって)まで、この一本でエージェントがGoのQuest CLIを作れるようにする。humaがそのワークド例だ。
filefunc × Hono — エージェントが一度に読むコードを60行から18行へ
スター23k超の実戦フレームワークHonoをfilefuncでリファクタリングした。テスト4419件すべて通過。そして測定してみると――エージェントが概念ひとつをreadするときに読むコードが中央値60行から18行へ71%減った。ファイル数ではなく「読む長さ」が核心だ。
GEO：AIにあなたの記事を引用させる方法
AIが生成した回答にあなたのコンテンツが引用されなければ、存在しないのと同じだ。GEO論文によると、出典明示+30%、統計+32%、引用文+41%の可視性向上。インフラ、サイトマップ、ウェイバックマシン、論文引用、ソーシャル活動——5つの軸でAI可視性を確保する。
huma -- エンドポイントを一つも漏らさないラチェット
AIエージェントに42個のエンドポイントのテストを頼むと15個目辺りで完了を宣言する。humaはエンドポイントリストをラチェットセッションに変えエージェントが一つも漏らせないようにする。scan next write verify。4コマンド設定不要。
codistill -- 既存コードからSSOTを搾り出す
yongolを使うにはSSOTをゼロから書く必要があるか？いいえ。codistillは既存のGo+Gin NestJS FastAPIコードからOpenAPI DDL sqlcクエリを自動抽出する。基礎工事ではなく耐震補強。
Hurlがバイブコーディングのドリフトを止める
バイブコーディングは3ヶ月でロジックドリフトにより崩壊する。CMU、METR、DORA、Amazonの事例がそれを証明している。HurlでAPIコントラクトをplain textで宣言しラチェットでロックすれば、AIの自由を制限することなくドリフトを構造的に抑制できる。
IFEvalを逆利用するラチェットコード
LLMのおべっかバイアスはバグではなく資産だ。IFEvalが測定する指示遵守能力を決定論的フィードバックと組み合わせれば、4.5Bのローカルモデルでも正確なコードを生成する収束ループが作れる。
yongol — AIコーディングSaaSの竜骨
バイブコーディングは200エンドポイントで崩壊する。AIが意思決定と実装詳細を区別できないからだ。yongolはAIの作業対象をコードから10種の宣言的仕様に移し、レイヤー間の整合性をコンパイル前に強制する。Harness with reins.
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年後そのダムが森になる
砂漠に溢れる無用の砂をバイオ接着剤で固めて貯水タンクを作り、寿命が尽きれば肥沃な土壌に還るオアシスペレット技術を提案する。
火災ゼロの蓄電池が、捨てられた電気を肥料と暖房に変える
太陽光の出力制御で捨てられる電気を火災ゼロのエジソン電池で蓄え、水素から肥料と尿素水まで自給するエネルギー・農業融合モデル。