#compiler

GCC 16では、C++のエラーメッセージが階層構造の箇条書きで表示されるのがデフォルトになった 以前より、どこで何が食い違っているのかが見つけやすい `-fno-diagnostics-show-nesting` や `-fdiagnostics-plain-output` で旧来表示に戻せる SARIF（機械が読める診断結果フォーマット）出力も更新された 文字だけのエラー表示から、ツール連携しやすい診断情報へ進化しているのが面白い GCC 16の話題として、地味だけどかなりうれしい改善が入っています。 それは、エラーメッセージが読みやすくなったこと、そしてSARIF出力が強化されたことです。 正直、コンパイラの改善って派手さはないんですが、実際にコードを書いている人にとってはかなり効きます。 特にC++は、template や const の違いみたいな“ちょっとしたズレ”が、わりと大げさで分かりにくいエラーになりがちです。ここが少しでも見やすくなるなら、開発体験はかなり変わると思います。 --- 元記事では、GCCのエラーメッセージ

jank が 独自の custom IR（中間表現） を導入した これまでの LLVM IR では、Clojure 的な意味をうまく表せず最適化しづらかった 新しい IR は Clojure の semantics に寄せた高レベル設計 で、最適化の余地を増やす狙いがある IR は SSA形式 と CFG（制御フローグラフ） で表現され、解析しやすい まずは recursive fibonacci をベンチマークに、jank を JVM 版 Clojure に近づける作戦 この記事時点ではまだ最適化パスは本格稼働していないが、土台は整った Clojure系の言語を作っている jank が、自前の IR（Intermediate Representation / 中間表現） を持つようになった、というのがこの記事の主題です。 IRというのは、ざっくり言うと「ソースコードをそのまま機械語にする前に、一度コンパイラが扱いやすい形に変換したもの」です。 ちょっと難しく聞こえますが、要するに 翻訳の途中にある“整理された下書き” み

AI coding loop では、「プロンプトで守れ」は意外と弱い 代わりに、compiler や type checker のような機械が拒否する仕組みを入れると強い 元記事は、Shen という言語とコード生成で権限チェックを構造化する方法を紹介している 多段の証明チェーンで「認証済み」「tenant の member」「resource の所有確認」をつなげる テストは大事だが、書いたケースしか見られない。構造的な gate はもっと広く効く ただし、完全無敵ではなく、信頼境界や bypass の余地は残る AI にコードを書かせるとき、「もっと賢くなれ」より「間違えにくい土台を作れ」のほうが効く、という主張です。 これ、かなり筋がいいと思います。というのも、AI の性能をいくら上げても、最後に壊れるのはたいてい「うっかり忘れた権限チェック」みたいな地味な部分だからです。地味だけど、事故るとめちゃくちゃ痛い。そこを prompt の気合いで守るのは、正直かなり心もとないです。 元記事の冒頭は、かなり本質的です。 > 「あるユーザーが別の tenant のデ