Stories by matt_d

The Future of Python: Evolution or Succession – Brett Slatkin – PyCascades 2026 [video]

SlopCodeBench: Benchmarking How Coding Agents Degrade over Long-Horizon Tasks

AutoRocq: Agentic Theorem Prover for Verification

Wax: Optimizing Data Center Applications with Stale Profile

Dijkstra's Shortest-Path Algorithm: A visual exploration, following Sedgewick

Speculative Decoding: Performance or Illusion?

Goedel-Code-Prover: Hierarchical Proof Search for Open SotA Code Verification

MLSys 2026 Papers

An Efficient Heterogeneous Co-Design for Fine-Tuning on a Single GPU

Specula: A framework for finding deep bugs in system code using TLA+

Equality Saturation for Optimizing High-Level Julia IR

UniTe: A Universal Tensor Abstraction for Capturing Spatial Relationships

Co-Design of B+-Tree Index with Emerging Zone Interfaces for Small KV Pairs

CounterPoint: Using Hardware Counters to Refute and Refine µarch Assumptions

PivotRL: High Accuracy Agentic Post-Training at Low Compute Cost

SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems

What Is Coordination, Really?

Idempotent Slices with Applications to Code-Size Reduction

Microsoft Rust Training Books: Beginner, advanced, expert level material

LUMINA: LLM-Guided GPU Architecture Exploration via Bottleneck Analysis

1 2 3 4 5 6 7 8 9 10