local LLM review、Diracが語る数学と物理の往復

今日の注目トピック

local LLM review、空結果と失敗を分離。14B modelへ対象をdata loss、crash、security境界、raceなどに限定してJSON出力させます。

Local LLMCode ReviewOllamaReliability

これは何？Ollama上のQwen Coderへgit diffを渡し、生成codeの重大な欠陥候補だけを安価に探す個人開発のreview workflowです。

14B modelへ対象をdata loss、crash、security境界、raceなどに限定してJSON出力させます。運用後、context超過や壊れたJSONが「指摘なし」に見える問題が判明し、file・hunk単位の分割、coverage記録、終了codeの分離へ改修しました。

なぜ重要か

小さいmodelの精度だけでなく、未読範囲と処理失敗を成功扱いしないprotocol設計が重要です。AI reviewをgateに置くなら、空配列を正常性の証明にしてはいけません。

元記事トークンをケチってレビューをローカルLLMにやらせた話

Diracが語る数学と物理の往復。既知の実験を説明するための数学だけでなく、数学の内部構造が新しい物理を先導する場合を歴史的な例から説明します。

MathematicsPhysicsResearch

これは何？理論物理学者Paul Diracが、物理法則の発見で数学的な美しさと実験事実をどう扱うかを論じた講演記録です。

既知の実験を説明するための数学だけでなく、数学の内部構造が新しい物理を先導する場合を歴史的な例から説明します。一方で、抽象的な形式は最終的に観測との対応を要求されます。

なぜ重要か

modelや形式手法を採用するとき、整った表現と現実の検証を混同しない視点につながります。古い講演ですが、仮説と測定の往復という研究開発の基本を短く確認できます。

元記事 HNコメントThe Relation Between Mathematics and Physics by Paul Dirac