← Tags #compiler

21 notes

AI エージェント向けエラーメッセージ（型エラーアブレーション） aillmcompilertype-theoryerror-handling Almide languagellmcompilerrustwasm Almide コンパイラエラー体験 almidecompilerdxerror-handling Almide の list in-place mutation (push/pop) 設計 almidecompilermemory-management Almide 差分ゲート (differential gate) almidecompilertesting almide-kernel — 検証付き高性能カーネル almidecompilerformal-methodsoptimization almide-repl almidereplclicompiler ANF パスとクロージャリフティングのバグ事例 almidecompilerdebugging Dead Code Elimination (DCE) computer-sciencecompileroptimizationwasm Equality Saturation computer-sciencecompileroptimizationalgorithm Exo — exocompilation languagecompileroptimizationhardwareformal-methods github.com/tinygo-org/tinygo gocompilerwebassembly HOF インライン融合とクロージャ変換 almidecompileroptimization Perceus computer-sciencememory-managementreference-countingcompiler Region Inference computer-sciencememory-managementtype-theorycompiler Ryū (最短往復の float→文字列変換) computer-sciencecompiler Stream Fusion computer-sciencecompileroptimizationfunctional-programming TinyGo gocompilerembeddedwebassembly コード生成の走査網羅性 (traversal/site totality) almidecompilerverification コンパイルの決定性 (Determinism/Purity Belt) almidecompilerbuild-systems ビルドキャッシュとプリコンパイル済み stdlib compilerbuild-systemscomputer-science