タグ: #compiler
GPU・LLM・MLOps・Kubernetes、そしてマインドセット · 40 件
準同型暗号コンパイラHEIRとコストという条件 — 発表文にない数字をコメントが埋めた事例
Googleが準同型暗号向けのオープンソースコンパイラツールチェーンHEIRを公開しました。ここでの本当のニュースは暗号ではなくコンパイラです。これまで準同型暗号の実配備を阻んできたのは数学ではなく、暗号の専門家にしかできなかったパラメータ選択の作業だったからです。ただし発表文はオーバーヘッドの数値を1つも示しておらず、その空欄をこの分野を研究したコメント投稿者たちが埋めました。どのワークロードが適用対象で、どれがまだそうでないかをその
2026-08-14 · 14 分で読めます #cryptography#privacy#compiler#machine-learning#security型検査を通った二つのサービスが互いを待って止まるとき — コレオグラフィという別のアプローチ
メモリ安全を保証する言語を使っても、二つのサービスが互いのメッセージを待って止まることは防げません。型検査器の視野がプロセスひとつで終わるからです。コレオグラフィプログラミングはシステム全体をひとつのプログラムとして書き、コンパイラにノードごとのコードを取り出させることで、この境界自体をなくします。最近公開されたWyzerを手がかりに、エンドポイント射影とは何か、なぜデッドロックが設計上消えるのか、そしてこの言語がいまどの段階にあるのか
2026-08-09 · 14 分で読めます #programming-languages#compiler#distributed-systems#type-systems#concurrencyカーネルを書く三つの層 — CUDA C++、Triton、CUTLASSを同じ問題で比較する
同じGPUカーネルを、手で書くCUDA C++、Pythonでタイル単位に書くTriton、テンプレートで組み立てるCUTLASSとCuTeでそれぞれ書いたとき、何が変わるのかを比較します。行単位のsoftmaxをCUDA C++とTritonで実際に書いてコード量と性能を並べて測り、その差がどこから来るのかをコンパイルパイプラインのレベルで説明します。Tritonがカスタムアテンションカーネルの事実上の標準になった理由とあわせて、Tr
2026-08-02 · 28 分で読めます #triton#cuda#cutlass#gpu-kernel#compilerGPUコンパイラとフレームワークの地形図 — グラフからカーネルを作るという一つの問題、層ごとに違う答え
NVCCとPTXからLLVM、MLIR、Triton、torch.compile、XLA、IREE、TVMまでを一枚の地図に載せました。名前も所属も違いますが、これらはすべて同じ問題を解いています。演算グラフを受け取り、実行可能なカーネルを作るという仕事です。各層がその問題のどの部分を切り取ったのか、なぜ層がこれほど増えたのか、そしてエンジニアがどんな状況でどの層まで降りるべきかを整理しました。2026年8月2日に確認したバージョンと公
2026-08-02 · 38 分で読めます #gpu#compiler#mlir#triton#pytorchZig 0.16.0 — I/Oをインターフェースにしたリリース、その請求書
2026年4月14日に発表されたZig 0.16.0は、標準ライブラリのあらゆる入出力がIoインスタンスを引数として受け取るように変わりました。Allocatorを引数として渡すZigの古い習慣を、そのままI/Oに適用したもので、同じソースコードがスレッドベースの実装の上でもイベントループの上でも動くようにする設計です。しかしリリースノートを実際に読むと、完成した実装はIo.Threadedひとつだけで、iouringバックエンドはネッ
2026-07-16 · 42 分で読めます #zig#systems-programming#async-io#compilerZJITのLightweight Frames — Ruby 4.1でメソッドフレームプッシュを消す方法とその代償
Ruby 4.0は2025年12月25日にZJITを搭載しましたが、有効にしないまま出荷しました — バイナリにコンパイルされているだけで、デフォルトのJITは依然としてYJITです。公式リリースノートの文言は「ZJITはインタプリタより速いが、まだYJITほど速くはない」であり、その直後の文が「Ruby 4.1のZJITにご期待ください」でした。その4.1を狙った作業の中心にあるのがLightweight Framesです — メソッ
2026-07-16 · 34 分で読めます #ruby#zjit#yjit#jit#compilerTriton Gluon — コンパイラが隠していたレイアウトを手で書く言語
Gluonは、Tritonと同じコンパイラスタックの上に載る下位レベルGPU言語で、Tritonが隠していたレイアウト・共有メモリ・ワープ特殊化をカーネル作成者にそのまま渡します。存在理由は明快です — Tritonコンパイラがうまくコードを出せない場面に出会ったとき、今まで打つ手がなかったからです。本稿ではGluonが何を露出するか、BlockedLayoutが実際に何を意味するか、そして上流のチュートリアルがGB200で記録した測定
2026-07-16 · 32 分で読めます #gpu#triton#kernel#compiler#performanceRust 1.97 が Volta 以前の GPU を切り捨てた — nvptx64 ベースライン引き上げの内幕
Rust 1.97(2026年7月9日)は、nvptx64-nvidia-cuda ターゲットの最小要件を PTX ISA 7.0(CUDA 11 ドライバー以上)と SM 7.0(Volta 以上)に引き上げました。Maxwell・Pascal 世代の GPU と CUDA 10 以下のドライバーは、もはや対象外です。本稿では、実際に変わった数字、コンパイラチームが根拠として挙げた三つの具体的な欠陥(デバッグシンボル・アトミック順序・
2026-07-16 · 21 分で読めます #rust#cuda#gpu#compiler#nvidiaTypeScript 7 が GA になった — 8~12倍は本物だが、今日移行できない人たちがいる
2026年7月8日、TypeScript 7.0がGAになりました。Goで書き直されたネイティブポートはもはや別バイナリではなく、ただのtscです — npm install -D typescriptをすればそれが入ります。Microsoftが報告した全体のビルド速度向上は8~12倍で、VS Codeコードベース基準で125.7秒から10.6秒に落ちました。しかし見出しが隠す二つのコストがあります。第一に、TypeScript 6で廃
2026-07-16 · 32 分で読めます #typescript#compiler#tooling#build-systems#compile-timesReact Compiler が Rust に移植された — マージされたもの、まだのもの、そしてその「10倍」という数字
2026年6月9日、React CompilerをRustに移植したPR 36173がfacebook/react mainにマージされました。461ファイル、12万行を超えるコードが入り、「Babelプラグインとして3倍、変換ロジック自体は約10倍速い」という数字がすぐに生態系を駆け巡り始めました。ところがPR本文で著者のJoseph Savona本人は、その数字について「性能数値はAIが出したもので、ベンチマーク設定の検証にはあまり
2026-07-16 · 32 分で読めます #react#rust#compiler#performance#frontendKotlin Swift export が Alpha になった — Objective-C の橋を撤去中だが、まだ渡ってはいけない
Kotlin Multiplatform が iOS で払ってきた最大の税は Objective-C の橋でした。Kotlin コードが Swift に渡るには必ず Objective-C ヘッダーを経由する必要があり、その過程で Int? は KotlinInt にボクシングされ、ジェネリクスはクラスにしか残らず、suspend 関数はコンプリーションハンドラーになりました。Swift export はその中間の橋をなくし、Kotli
2026-07-16 · 30 分で読めます #kotlin#kotlin-multiplatform#swift#ios#compilerElixir 1.20 の漸進型システム — アノテーションなしで「検証済みバグ」を見つけるということの実際
2026年6月3日にリリースされたElixir v1.20は、2022年に始まった集合論的型システムの最初のマイルストーンを完了させました。これでElixirの全プログラムが、型アノテーションを一行も書かずに漸進的に型チェックされ、コンパイラがガード・関数本体・節の間で型を推論して「実行すれば必ずランタイムで落ちる」違反とデッドコードを見つけます。核心はdynamic()型で、他言語のany()が型情報を捨てるのとは違い、Elixirの
2026-07-16 · 32 分で読めます #elixir#type-system#beam#compiler#static-analysisClang 22 の MSVC ABI 変更 — vector deleting destructor と、22.1.x にまだ残る delete[] ヒープ破壊
Clang 22.1.0(2026-02-24)は、MSVC ABI をターゲットにするときのデストラクタコード生成を2箇所変更しました。一つは ::delete の処理を MSVC に合わせたこと、もう一つは2014年に開かれたイシューを11年7ヶ月かけて閉じた vector deleting destructor のサポートです。どちらも本物のバグを直す変更ですが、vftable スロットに入るシンボルが変わる ABI 変更のため、
2026-07-16 · 30 分で読めます #llvm#clang#cpp#compiler意見のあるツール — gofmt、gofumpt とコードスタイルの政治学
コードフォーマットはなぜ論争の対象だったのか、そして gofmt はどうやってその論争を終わらせたのか。gofmt とより厳格な gofumpt、さらに prettier や black など他言語のツールと比較しながら、意見のあるツールがチームとコードベースに与える影響を深く見ていきます。
2026-06-25 · 40 分で読めます #compiler#go#gofmt#gofumpt#formatterGPU vs TPU vs ASIC — 2026年の推論戦争
2026年の推論ワークロードをめぐるGPU・TPU・ASICの競争を比較します。Google TPU v6 TrilliumとIronwood、急成長するクラウド自社推論ASIC、スループット・遅延・コスト・電力のトレードオフ、そしてCUDAとXLAに分かれるコンパイラスタックまで扱います。
2026-06-16 · 42 分で読めます #gpu#tpu#asic#inference#ai-hardware小さな言語の魅力 — Janet、Luaと組み込みスクリプティングの世界
エッセイ Why Janet が再びHNの上位に登場し、小さな組み込み可能言語への関心が復活しています。Luaの成功事例からJanetの設計哲学、C言語への組み込み実践例、DSL設計入門、プロダクション導入時の考慮事項まで、小さな言語の世界を深く探検します。
2026-06-12 · 25 分で読めます #janet#lua#embedded-scripting#dsl#programming-languagesコンパイラと現代言語ランタイム — LLVM, JIT, GC, V8 TurboFan/Maglev, Inline Caching, Escape Analysis, Rust Monomorphization 完全ガイド (2025)
1行のコードがCPUで実行されるまでに起きるすべて。LLVMの支配、V8の4階層JIT、Hidden ClassとInline Caching、Escape Analysis、Mark & SweepからZGCまでのGC系譜、Goのwork-stealingスケジューラ、Rust Monomorphization、Python 3.13 Specializing Interpreter、WASMランタイム比較まで。言語が『どうやって』速
2026-04-15 · 15 分で読めます #compiler#runtime#llvm#jit#garbage-collectionコンパイラとリンカの内部完全解説 — #include から実行ファイルになるまで ELF、シンボル、静的/動的リンク、再配置、LTO (2025)
"hello.c" が実行ファイルになる旅を原子レベルで追跡する。前処理 / コンパイル / アセンブル / リンクの 4 段階、ELF ファイルレイアウト、symbol table と relocation、static library のアーカイブ構造、dynamic linker ld.so の GOT/PLT の仕掛け、C++ name mangling の混沌、LTO がなぜ "whole-program optimizati
2026-04-15 · 28 分で読めます #compiler#linker#elf#symbol#static-linkingコンパイラ & インタプリタ設計完全ガイド2025：Lexer、Parser、AST、コード生成
コンパイラ/インタプリタ設計の全て！Lexer（トークン化）、Parser（構文解析/再帰下降/Pratt）、AST（抽象構文木）、意味解析（型チェック）、IR（中間表現）、コード生成（LLVM/WebAssembly）、最適化（定数畳み込み/インライン化/ループ）、実践ミニ言語実装。
2026-04-14 · 31 分で読めます #compiler#interpreter#lexer#parser#astコンパイラとインタプリタ：コードが実行される仕組み — 開発者が知るべき言語処理のすべて
コードが実行される仕組みを完全解剖！レキシング→パーシング→AST→IR→コード生成、コンパイラ vs インタプリタ vs JIT、V8エンジン(JS)、CPython(Python)、JVM(Java)、GCC/LLVM、GraalVM — 開発者のパフォーマンス直感を鍛えるCS核心知識。
2026-03-23 · 23 分で読めます #compiler#interpreter#lexer#parser#ast