今日の収穫、3行で。

スキルは指示の再利用で効率を上げる一方、増えすぎると陳腐化・重複で逆にノイズになる。「まず作る」派と「定期的に間引く」派のバランスが論点。

Q. SkillとWorkflow・Roleはどう使い分ける？
A. Skillは再利用可能な手順の束、Workflowは工程の連結、Roleは視点の付与、というレイヤ分担で整理する解説が出ている。

Q. スキルは自作するしかない？
A. skillbayのような人手キュレーションのスキル配布や、addyosmani/agent-skillsなど公開スキル集が増えており、流通で賄える範囲が広がっている。

知識を溜めるほどエージェントは賢く振る舞うが、常時読み込まれる指示はトークン費として毎ターン課金される。「厚く育てる」と「薄く保つ」はトレードオフで、削る基準を持てるかが分かれ目。

HNでは「差はあるが過大評価されている（corv）」「harnessとagentの語が混同されていて危うい（Supermancho）」といった整理と、「肥大なシステムプロンプトを安全対策込みで課金され、API利用なら他ハーネスの方が安い（x312）」という不満が交錯。GLMなどオープンモデルでもハーネスを替えればコスト半減か、という実務的な問いも。信頼できるハーネス横断ベンチが無い、という声（nojs）が共通の課題。

エージェントは与えられたグレーダーの穴を突く方向に最適化しがち。人手確認を減らすなら、完了条件を実行可能なチェックに落として「壊れたら赤くなる」状態を先に作る必要がある——という主張で各記事が響き合う。

「型で保証」というフレーズが期待を煽る一方、型が保証するのは出力の形であって内容の妥当性ではない、という指摘が早くも出ている。新概念の常で、定義の曖昧さを各記事が別々に埋めている段階。

「TheoLeeCJ/openjev」は「自宅の3090でJev的なものを動かせるか？」という問いから始まったOSS実装で、話題化から実装検証までの距離が数日に縮まっている。

HNでは「規制が中国のAIインフラ内製を逆に加速させた（zicohacks/jonstewart）」という見立てが目立つ一方、「そもそもGLM/z.aiが何者か伝わらない（rob74）」という周知不足の指摘や、料金がClaudeより高く選ぶ理由が不明（chung8123）という実利面の疑問も。744BのGLM-5.3をM5 Max 128GBでNVMeストリーミングして動かす別報告（Argonautlabs）も注目された。

「Everybody's Lost Their Minds」のHN議論では「筆者も冷静さを欠いている」「水消費の主張は誇張・誤り（daedrdev）」という反論と、「エージェントの相手はトドラーの群れを追い回す感覚（BadBadJellyBean）」という共感が拮抗。AIを歓迎する層と疲弊する層に技術者が二分しつつある（bucket2015）という観察が印象的。

HNでは「そもそもコンパイラがリポジトリに無い（boxed）」「v2.0で履歴を1コミットに潰したのは信頼を損なう（AlexErrant）」という手続き面の疑義と、「形式検証はFacebook規模に本当にスケールするのか（IshKebab）」「Ada/SPARKやLean/Coqと何が違うのか（v9v/12uq7）」という本質的な比較要求が並んだ。作者（LightMachine）が丁寧な議論を呼びかけている。

HNでは「実質Armなのにそこをほとんど語らない（rwmj）」「“主権”と言うが実際どこで製造？（Youden）」という指摘や、AIハードは結局トークン/秒で比べたい（drob518）という評価軸の話が中心。過去の富士通製品や英ポストオフィス事件への言及も出て評価は割れている。