Tag
Lasm compiles Lean 4 programs ahead of time to WebAssembly, enabling formally verified web apps that deploy to Node, serverless, and edge platforms from a single code base, with 117 proved theorems in its flagship Conduit example.
Modular CEO Chris Lattner delivered a keynote at Qualcomm's Snapdragon Summit advocating for a unified AI software stack spanning kernel to cloud to edge, from Snapdragon to Dragonfly. The full talk recording is now available on Modular's YouTube channel.
Mojo 是 Modular 推出的统一设备加速器语言，其开源栈中的其余组件（图编译器、MLRT）近期已在 GitHub 上开放。
A personal blog post explaining Pratt parsing by walking through the shunting yard algorithm, a simple C implementation, and the author's notes from reading Pratt's original paper while building a C expression parser that may grow into a compiler.
A GitHub repository and video exploring the origin of the 'else' keyword, suggesting it may be a literal translation from German, tied to early programming language history.
Mojo v1.2.0 has been released, marking a new version update for the Mojo programming language developed by Modular.
A blog post walking through the paper 'Flow Typing: A New Lens on Linearity', which uses the theory of lenses to solve the threading problem in linear type systems without complicating the core language, plus the author's implementation experiments in a new language called Laminar.
作者分享了在一周内用 AI 辅助但不盲信 AI 的方法，安全删除约 19000 行编译器死代码的经验：先用静态分析界定范围，再让 LLM 标记 RED/BLUE 函数，并用独立的调用图工具交叉验证标记完整性，最终实现零回滚、零修复提交的清理。
PyTorch Conference North America's Demo Theater features 14 sponsor presentations covering training, inference, compilers, and deployment, including demos from IBM, Datadog, Modal, Arm, and Red Hat.
Live from PyTorchCon 2026, Chris Lattner of Qualcomm shows how developers can extend PyTorch with MAX and Mojo, offering a shared foundation for running code across hardware from multiple vendors. Mojo blends Pythonic code with systems-level speed, while MAX provides model authoring and a graph compiler targeting diverse hardware.
Futhark 博客解释了有符号整数除法中 x/-1 溢出（最小负数无对应正值）导致的极端罕见 bug，以及为修复它在编译器中引入的性能开销与取舍。
OOPSLA 2026 paper introducing statewalk DP, a new extraction algorithm for effectful e-graphs that enforces effect ordering without external ILP solvers, achieving order-of-magnitude speedups in the eggcc prototype compiler.
A deep technical blog post introducing a novel reverse-walking borrow checker for the Valen programming language, which traverses functions backward through time to verify memory safety while optionally relaxing shared-xor-mutable rules.
A developer reports that Gemini 4 Argon made many mistakes when building on the With compiler, while Meta Muse Wonder Full completed a similar test without errors, suggesting Muse is better suited for developing the compiler.
C++26 introduces a new <debugging> header with std::breakpoint(), std::is_debugger_present(), and std::breakpoint_if_debugging(), standardized via papers P2546R5 and P2810R4 to replace platform-specific debugging macros.
Rust 1.99.1 发布，这是一个修复性点版本，解决了 wcslen 符号缺失、x86_64 上 FFI bool 返回值误编译以及 macOS 上 rustlld 无法加载 libLLVM 三项回归问题。
一份面向模拟器开发者的实用指南，介绍如何编写静态二进制翻译器（SBT），将特定架构的程序翻译为可在其他架构上更快运行的二进制文件，并提及 Orion 多目标静态翻译项目。
jinx 是一个将 Nix 编译为 TypeScript 的转译器，能够在浏览器中评估完整的 nixpkgs（231,777 个属性）并生成与 Nix 完全一致的 drvPath，从而让前端开发者在不安装 Nix 的情况下探索存储模型。
A deep-dive debugging writeup showing how antcc's -O2 pessimization made a Lua benchmark 1.4x slower than the unoptimized build, tracing the 2.4x code-size blowup in luaV_execute past inlining heuristics and IR expansion into instruction selection and register allocation.
一篇技术博客文章，列举了标准 C 与 gcc/clang + glibc/musl 实际行为之间的多种不兼容之处，包括 asm 关键字、FLT_ROUNDS、标准 pragma 未实现以及 initstate 错误处理等问题。