Stories by adamnemecek

Relax: JIT compiler for Rust to reduce build times

Meridian: Web Browser in Rust with GPUI and Servo

Beyond FTS5: Building Transactional Full-Text Search in TursoDB

Formalizing Nvidia PTX in Lean to Prove GPU Kernel Correctness

Glacex: GPU-Rendered UI library built from scratch in Rust

Type Server Protocol

Analog Computer Simulator in the Browser

Glacex: GPU-Rendered UI library built from scratch in Rust

Official mold linker rewrite in Rust

Microsoft/tgrep: grep with trigram indexing in Rust

Mold linker will be rewritten in Rust

Mold linker will be rewritten in Rust

Falco: Tiny browser engine written from scratch in Rust

Codexia: "IDE" for Codex and Claude Code

Building ML framework with Rust and Category Theory

CUDA-oxide: Nvidia's official Rust to CUDA compiler

Taming Symmetry: A Dive into Lie Groups with Python (2025)

Rust should have stable tail calls

Eviscerated by Rust: Overcoming C++'s 58x Standard Library Handicap

Apiark: Open-Source Postman Alternative

1 2 3 4 5 6 7 8 9 10