Blog

エラーを否定すると許可に化ける判定と、上限確認・記録の間で起きる競合をZ3とTLCで検査。実行できるモデル、反例、修正前後の結果から仕様の決め方を追う。

Claude Code向けスキルimozuruの探索手順を読む。用語と資料の地図、証拠による停止条件、抜き書きの照合から、要約を急がない調べ方を見ていく。

「How to be more ambitious」が示す高度・深さ・広さの考え方から、AIへの依頼を単なる時短で終わらせない方法と、そのための検証環境を整理します。

Denoランタイムは1年間の保守後に開発元による開発を終了し、Deployは6か月後に停止へ。JSRの継続と、celld・workerdを軸にしたセルフホストの方針を整理します。

ggml上で音声合成・認識を動かすspeech.cpp。Irodori-TTSの分割デコードと、音声対話へ組み込むときに確認したい制約を読みます。

Rust製のオープンソース制作ツール群Crafting Apps。PhotoCraftの公式資料から、PSDの保存と描画の違い、CLI・MCPの設計、乗り換え前に確認したい制約を整理します。

piyologの注意喚起まとめを例に、複数機関の公表を読み比べる方法を紹介。出典、更新日、断定の範囲を確認し、自分のシステムの点検につなげます。

Clefは状態と質問のスキーマから選択肢ごとの確率を返す27Bモデル。質問の型、生成モデルとの違い、公開実装とWorkers AIで異なる入力条件を整理します。

セルフホスト型のAIワークスペースOpenDots。Dotごとの実行環境と文書管理の仕組み、会話保存に必要な外部基盤、導入前に確認したい制約を整理します。

ufのサンプルCommonplaceを読み、Flowで画面の状態分岐とコンポーネントの組み合わせをどう型に表すかを整理します。

禁止語の置換だけでは残る読みにくさに、yomiyasuは主述や修飾の点検で向き合う。開発記事とv1.0.7までの公開資料から、推敲の手順と意味を変えないための制約を読む。

MiniSNSの脆弱版と安全版を比較する公開PDFを読む。認可のテスト行列、拒否後のデータ確認、教材環境の制約から、セキュリティ修正の確かめ方を整理する。

公開スライド「AI臭い文章とは何なのか」を読み、抽象的な動詞や省略をどう見直すか、文章レビューの観点を整理します。