» Tag
compilers
46 postsScriptc by Vercel compiles TypeScript straight to native, no JS engine
Vercel's scriptc compiles real TypeScript into native binaries with no JS engine, matching Node byte-for-byte while cutting startup time and memory use.
Gherkin Labs Reverse-Engineers Google's TPU Driver Protocol
Gherkin Labs reverse engineers Google's TPU driver protocol, building a cycle-accurate simulator for the real TPU software stack.
Headstart patches cut Rust build/check times by up to 54%
Headstart patches let rustc emit early metadata, speeding up cargo check by up to 54% and cargo build by up to 42% with no regressions.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.comRust Enables Next-Gen Trait Solver by Default on Nightly
Rust's next-generation trait solver is now default on nightly, fixing 200+ bugs and delivering major compile-time performance gains.
Inside Nvidia B200 Pipeline Hazards: Why Static Analysis Falls Short
An empirical study of Nvidia B200 pipeline hazards, exposing a predicate under-stall bug and measured RAW latency floors for FFMA and DFMA.
DOOM runs inside the Linux kernel via unmodified eBPF
BPF Capsule compiles DOOM and other complex C/C++/Rust programs into standard eBPF, running them unmodified through the stock Linux verifier and JIT.
Rust Moves Toward Stabilizing Polonius Alpha Borrow Checker
Rust's Polonius alpha borrow checker nears stabilization, fixing NLL limitations with new tests, a formal model, and performance validation.
@ttsc/graph: A Compiler-Built Code Graph MCP for AI Agents
@ttsc/graph is an MCP server using the TypeScript compiler's own type-check to build a code graph, cutting AI agent token use by about 90%.
Lucen parallelizes Python loops via two comments, bit-identical results
Lucen parallelizes Python for loops via two comments, guaranteeing bit-identical results versus sequential execution. Rust-accelerated, v1.1, Apache-2.0.
Proof-Carrying-BPF Programs Aim to Expand eBPF Verifier Acceptance
A SOSP '26 paper proposes proof-carrying-BPF programs, letting the eBPF verifier accept complex programs it previously rejected via formal proofs.