back
user profile

matt_d

21,160karma·3,275submissions·April 21, 2014
recent activity (3,275 total)
3 pts
Occupancy Math on the AMD MI355X GPU (CDNA4): A From-First-Principles Guide(rocm.blogs.amd.com)
1mo ago·discuss
4 pts
Intelligence Is Free, Now What? Data Systems For, Of, and by Agents(bair.berkeley.edu)
1mo ago·1 comments
2 pts
Binvariants: Register-Level Invaraint-Guided Fuzzing for Binaries(github.com)
1mo ago·discuss
2 pts
PuzzleMoE: Efficient Compression of Large Mixture-of-Experts Models(supercomputing-system-ai-lab.github.io)
1mo ago·discuss
2 pts
Ekka: Automated Diagnosis of Silent Errors in LLM Inference(syfi.cs.washington.edu)
1mo ago·discuss
2 pts
Architecture 2.0: Designing AI-Assisted Loops for Computing Systems(arch2.mlsysbook.ai)
1mo ago·discuss
2 pts
Beyond Prediction: Tail-Aware Scheduling for LLM Inference(yl3469.github.io)
1mo ago·discuss
2 pts
SOLAR: AI-Powered Speed-of-Light Performance Analysis(arxiv.org)
1mo ago·discuss
2 pts
The Verification Horizon: No Silver Bullet for Coding Agent Rewards(arxiv.org)
1mo ago·discuss
10 pts
Binary Coverage the Wrong Way(redvice.org)
1mo ago·1 comments
3 pts
Stealing 50 Years of Database Ideas for AI Agents(onewill.ai)
1mo ago·discuss
1 pts
Empirical Computation: Prompting versus Programming [pdf](mboehme.github.io)
1mo ago·discuss
2 pts
Programming Language Design and Implementation in the Era of Machine Learning [video](youtube.com)
1mo ago·discuss
186 pts
Senior SWE-Bench: open-source benchmark that assesses agents as senior engineers(senior-swe-bench.snorkel.ai)
1mo ago·120 comments
2 pts
Software Security Analysis in 2030 and Beyond: A Research Roadmap(dl.acm.org)
1mo ago·discuss
1 pts
VeriCache: Turning Lossy KV Cache into Lossless LLM Inference(arxiv.org)
1mo ago·discuss
2 pts
Designing GPU-Accelerated Query Engines with NVIDIA GQE(developer.nvidia.com)
1mo ago·discuss
2 pts
Teaching Algorithms in 2026(cs.uni.edu)
1mo ago·discuss
1 pts
Pragmatic Approaches to Improving Compiler Correctness(2026.ecoop.org)
1mo ago·discuss
1 pts
The Expensive Fictions of Low-Level Programming Languages(stng.substack.com)
1mo ago·discuss
2 pts
On the Efficacy of PyTorch for High-Performance Computing(dl.acm.org)
1mo ago·discuss
3 pts
Accelerating LLM Inference on AMD GPUs with Low-Latency GEMMs(rocm.blogs.amd.com)
1mo ago·discuss
2 pts
Agentic Hardware Design as Repository-Level Code Evolution(arxiv.org)
1mo ago·discuss
3 pts
Reward hacking is swamping model intelligence gains(cursor.com)
1mo ago·discuss
29 pts
Memora: A Harmonic Memory Representation Balancing Abstraction and Specificity(microsoft.com)
1mo ago·1 comments
32 pts
Compiler-Assisted Floating-Point Error Analysis and Profiling with FPChecker(fpanalysistools.org)
1mo ago·6 comments
2 pts
Are We Ready for an Agent-Native Memory System?(arxiv.org)
1mo ago·discuss
81 pts
Micro-Agent: Beat Frontier Models with Collaboration Inside Model API(vllm.ai)
1mo ago·22 comments
1 pts
TraceLab: Characterizing Coding Agent Workloads for LLM Serving(syfi.cs.washington.edu)
1mo ago·discuss
2 pts
It's Always the Learning Rates(ianbarber.blog)
1mo ago·discuss