Stories by matt_d

Two mechanisms for dynamic type checks

Semantics, Operations, and Properties of P3109 Floating-Point Formats in Lean

Oral History of Michael J. Flynn [video]

Productively Programming Accelerated Computing Systems – Rohan Yadav (Stanford) [video]

How to train your program verifier

Minimalist Design for Space Camera Flight Software

AMO-Lean: Towards Formally Verified Optimization via Equality Saturation in Lean

Fine-Tuning GPT-5 for GPU Kernel Generation

"Am I the only one still wondering what is the deal with linear types?" – Jon S

Running the "Reflections on Trusting Trust" Compiler: Revisiting the Backdoor

TileIR

Pushing Tensor Accelerators Beyond MatMul in a User-Schedulable Language

TLX: Triton-Like Simplicity, a Clear Path to Peak Performance [video]

Automating Inference Optimizations with NVIDIA TensorRT LLM AutoDeploy

SMTLIB as a Compiler IR I

Equality Saturation Meets ML: The Next Step for Smarter Optimizing Compilers [video]

Silicon Photonics in the Data Center: What a CMOS Exec Needs to Know

Verifying Distributed Protocols in Veil

Project Pterodactyl: Incremental Architecture

European Lisp Symposium 2025: Talks

17 18 19 20 21 22 23 24 25 26