Stories by matt_d

Empirical Computation: Prompting versus Programming [pdf]

Programming Language Design and Implementation in the Era of Machine Learning [video]

Senior SWE-Bench: open-source benchmark that assesses agents as senior engineers

Software Security Analysis in 2030 and Beyond: A Research Roadmap

VeriCache: Turning Lossy KV Cache into Lossless LLM Inference

Designing GPU-Accelerated Query Engines with NVIDIA GQE

Teaching Algorithms in 2026

Pragmatic Approaches to Improving Compiler Correctness

The Expensive Fictions of Low-Level Programming Languages

On the Efficacy of PyTorch for High-Performance Computing

Accelerating LLM Inference on AMD GPUs with Low-Latency GEMMs

Agentic Hardware Design as Repository-Level Code Evolution

Reward hacking is swamping model intelligence gains

Memora: A Harmonic Memory Representation Balancing Abstraction and Specificity

Compiler-Assisted Floating-Point Error Analysis and Profiling with FPChecker

Are We Ready for an Agent-Native Memory System?

Micro-Agent: Beat Frontier Models with Collaboration Inside Model API

TraceLab: Characterizing Coding Agent Workloads for LLM Serving

It's Always the Learning Rates

Efficiency in LLMs – Part 1 – Columbia Machine Learning Summer School 2026 [video]

2 3 4 5 6 7 8 9 10 11