Stories by matt_d

FP8 Is All You Need (Part 1): Debunking Hardware FP64 as the HPC Holy Grail

Modular Arithmetic Challenge

The Return of Rigorous Full-System Timing Simulation

Co-Creator of Haskell: Functional Prog., Thinking in Types, Useless Languages [video]

Types for more than memory safety in OxCaml – Stephen Dolan – VeTSS 2026 [video]

The 29th International Obfuscated C Code Contest (IOCCC) 2025 Winners

Tensor Shapes in Pyrefly – Avik Chaudhuri – PyCon US 2026 Typing Summit [video]

BenchEvolver: Frontier Task Synthesis via Solution-Centric Evolution

JITDomain: Instruction-level JIT code isolation

Serving Transformers: Lessons from the Trenches – Stanford CS25 Transformers [video]

Constrained Adaptive Rejection Sampling

Training an Agentic Router for Optimal Cost-Performance on SWE Tasks

Diagramming Program Values by Spatial Refinement

Agent Arena: Causal Evaluation of Agents in the Real World

Can LLMs Reason Structurally? Benchmarking via the Lens of Data Structures

Recent improvements to the type checker – Swift Compiler

Semantic Reification: A New Paradigm for Random Program Generation

GPU Forecasters: Language Models as Selective Surrogates for Kernel Optimization

Type-Error Ablation and AI Coding Agents

Session-Aware Agentic Routing: Continuity-Aware Model Selection for Long-Horizon

1 2 3 4 5 6 7 8 9 10