back
user profile

matt_d

21,159karma·3,275submissions·April 21, 2014
recent activity (3,275 total)
1 pts
AdaMAST: Adaptive Failure Taxonomies for Improving LLM Agents(multi-agent-systems-failure-taxonomy.github.io)
16d ago·discuss
74 pts
k-Coloring is Faster than Computing the Chromatic Number(arxiv.org)
16d ago·23 comments
3 pts
x86 AMX/ACE with >8 tiles(lore.kernel.org)
16d ago·discuss
2 pts
RSI: Recursive Self-Improvement(github.com)
16d ago·discuss
3 pts
Specula: Scaling formal specs for autonomous model checking of system code(arxiv.org)
16d ago·discuss
3 pts
NVIDIA-labs OO Agents: Native Python Object-Oriented Agents(github.com)
16d ago·discuss
1 pts
At-the-Roofline Sparse Tensor Contractions on Vector Processors for Inference(arxiv.org)
16d ago·discuss
27 pts
Characterizing Warp Divergence from Pascal to Blackwell(arxiv.org)
16d ago·1 comments
3 pts
Why Higher-Order Logic Is a Good Foundation for Deep Verification(sequent.inc)
17d ago·discuss
2 pts
Fleet: Hierarchical Task-Based Abstraction for Megakernels on Multi-Die GPUs(arxiv.org)
17d ago·discuss
2 pts
Fuzzing with Agents? Generators Are All You Need(arxiv.org)
17d ago·discuss
81 pts
Kuna: Decompiler Development in the Age of Coding Agents(noelo.org)
17d ago·20 comments
2 pts
PyCuTe: Reference implementation and examples of the CuTe Layout(github.com)
17d ago·discuss
80 pts
PyTorch: A Reference Language(docs.pytorch.org)
19d ago·8 comments
4 pts
Tracked Capabilities for Safer Agents(martinodersky.substack.com)
19d ago·discuss
71 pts
Attention Decode on AMD MI450 GPUs: A Gluon Kernel Optimization Guide(rocm.blogs.amd.com)
19d ago·11 comments
1 pts
Don't Use Ordinary Software to Contain Software-Hacking Agents(verse.systems)
19d ago·discuss
2 pts
A practical partitioner for distributed simulations on sparse dynamic domains(dl.acm.org)
20d ago·discuss
2 pts
NVLink, NVSwitch, and All That(blog.doubleword.ai)
21d ago·discuss
2 pts
Continuation-Centric Computing with Arca(usenix.org)
22d ago·discuss
3 pts
AutoCO: An Online Continuous Optimization System for Phase-Changing DB Workloads(dl.acm.org)
22d ago·discuss
4 pts
Reusing Buffers in Multicore OCaml(gazagnaire.org)
22d ago·discuss
11 pts
Mohabi: Disaggregating and Sandboxing the Firefox JavaScript Engine(usenix.org)
23d ago·discuss
2 pts
Automated Discovery Has No Universally Superior Harness(arxiv.org)
24d ago·discuss
2 pts
Drawn Apart: Remote GPU Fingerprinting(orenlab.cis.bgu.ac.il)
24d ago·discuss
5 pts
ICFP Programming Contest 2026(icfpcontest2026.com)
24d ago·discuss
2 pts
Optimization of SASS Stall Counts(redplait.blogspot.com)
24d ago·discuss
1 pts
Characterizing Metastable Faults and Failures(muratbuffalo.blogspot.com)
25d ago·discuss
2 pts
Every Microsecond Matters:Achieving Near SpeedOfLight Latency in GPU Collectives(arxiv.org)
26d ago·discuss