Stories by matt_d

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

Directionality in Low Precision

O-POPE: High-Frequency Pipelined Outer Product based GEMM acceleration

14 15 16 17 18 19 20 21 22 23