back
user profile

matt_d

21,168karma·3,275submissions·April 21, 2014
recent activity (3,275 total)
2 pts
How Do LLM Agents Think Through SQL Join Orders?(ucbskyadrs.github.io)
3mo ago·discuss
2 pts
Gluon&Linear Layouts Deep-Dive:Tile-Based GPU Programming with Low-Level Control [video](youtube.com)
3mo ago·discuss
2 pts
SonicMoE: A HW-Efficient and SW-Extensible Blueprint for Fine-Grained MoEs(dao-lab.ai)
3mo ago·discuss
2 pts
SAW-INT4: System-Aware 4-Bit KV-Cache Quantization for Real-World LLM Serving(arxiv.org)
3mo ago·discuss
1 pts
DIRT: Database-Integrated Random Testing(arxiv.org)
3mo ago·discuss
2 pts
Scaling Test-Time Compute for Agentic Coding(arxiv.org)
3mo ago·discuss
1 pts
An Algorithmic Reconstruction of Normalisation by Evaluation(yangzhixuan.github.io)
3mo ago·discuss
3 pts
Faster LLM Inference via Sequential Monte Carlo(arxiv.org)
3mo ago·discuss
4 pts
Pure Borrow: Linear Haskell Meets Rust-Style Borrowing(arxiv.org)
3mo ago·discuss
2 pts
SSA without Dominance for Higher-Order Programs(arxiv.org)
3mo ago·discuss
3 pts
Spotting Specification Gaps with Small Proof-Oriented Tests(risemsr.github.io)
3mo ago·discuss
2 pts
Theseus, a Static Windows Emulator(neugierig.org)
3mo ago·discuss
1 pts
Advent of Computing: Episode 179 – Programming Block by Block(adventofcomputing.libsyn.com)
3mo ago·discuss
2 pts
Agentic Context Engineering:Evolving Contexts for Self-Improving Language Models(arxiv.org)
3mo ago·discuss
44 pts
Prefill-as-a-Service:KVCache of Next-Generation Models Could Go Cross-Datacenter(arxiv.org)
3mo ago·1 comments
1 pts
Fundamentals of CuTe Layout Algebra and Category-Theoretic Interpretation [video](youtube.com)
4mo ago·discuss
3 pts
OSS code review, in the era of LLMs(blog.ezyang.com)
4mo ago·discuss
2 pts
Proteus: Heterogeneous FPGA Virtualization [pdf](dse.in.tum.de)
4mo ago·discuss
2 pts
Trevex: A Black-Box Detection Framework for Data-Flow Transient Execution Vulns(roots.ec)
4mo ago·discuss
2 pts
From SIMT to Systolic Part 2: A Kernel Author's Field Report(twitter.com)
4mo ago·discuss
4 pts
Machine Generated and Checked Proofs for a Verified Compiler (Experience Report)(arxiv.org)
4mo ago·discuss
3 pts
Machine-Generated Code Deserves Machine-Checked Proofs(zoep.github.io)
4mo ago·discuss
2 pts
What Happens to Software When Proof Is Cheap? Allen School Distinguished Lecture [video](youtube.com)
4mo ago·discuss
1 pts
TileTensor Part 1 – Safer, More Efficient GPU Kernels(modular.com)
4mo ago·discuss
1 pts
EuroLLVM 2026 Round Table Summary: MLIR Canonicalization(discourse.llvm.org)
4mo ago·discuss
1 pts
nanomem: An Simple, Inference-Time Memory Module(openanonymity.ai)
4mo ago·discuss
1 pts
Building an Unverified Compiler with Agents(basis.ai)
4mo ago·discuss
1 pts
WybeCoder: Verified Imperative Code Generation(facebookresearch.github.io)
4mo ago·discuss
2 pts
Parcae: Doing More with Fewer Parameters Using Stable Looped Models(sandyresearch.github.io)
4mo ago·discuss
1 pts
Characterizing the Impact of Congestion in Modern HPC Interconnects(arxiv.org)
4mo ago·discuss