Stories by matt_d

LeanDB: A strongly typed SQL Front end

OSDI '26 – μShell: A Microkernel-Based FPGA Shell Architecture [video]

SWE-Bench Multimodal: Do AI Systems Generalize to Visual Software Domains?

RoofLang: Enabling AI-Driven Architecting of LLM Inference Systems

Gauss-Seidel is faster than Jacobi. Or is it?

Hitting a NERVE with attacks on AI-powered brain-computer interfaces

FLARE: Verifying MILP Reformulations with LLM-Based Theorem Proving

JSON parsing in OxCaml: fast, but not too fast

Data races and the limits of ThreadSanitizer in C and Go

Developing provably correct Rust code with Verus

Teaching Novice Computing and Programming in the Agentic AI Era

Building Specialized Systems We Can Trust with Agents

CascadeLUT: Info.-Ordered Streaming Inference for Bandwidth-Constrained FPGAs

QueryBrew: System-Agnostic SQL-to-SQL Query Optimization [pdf]

Trustworthy Human-AI Collab in a Live Type-Theoretic Computational Commons

Computing Against the Odds: Processor Architectures for Batteryless Devices [video]

MLIR Project Lighthouse – Update

On Binary Translation and Its Consequences

On Next-Gen Transformer: Loops Are Not What You Need

AutoResearchExam: Measuring agents' ability to improve and generalize

1 2 3 4 5 6 7 8 9 10