matt_d

21,674 karmajoined April 21, 2014On HN

Recent submissions

Trustworthy Human-AI Collab in a Live Type-Theoretic Computational Commons janestreet.com
1matt_d36mdiscuss
Computing Against the Odds: Processor Architectures for Batteryless Devices [video]youtube.com
1matt_d39mdiscuss
MLIR Project Lighthouse – Update discourse.llvm.org
1matt_d1hdiscuss
On Binary Translation and Its Consequences chipsandcheese.com
3matt_d22hdiscuss
On Next-Gen Transformer: Loops Are Not What You Need zartbot.github.io
26matt_d1d1 comment
AutoResearchExam: Measuring agents' ability to improve and generalize benchmarks.bespokelabs.ai
3matt_d1ddiscuss
A Design Space Exploration of Async/Await cel.cs.brown.edu
3matt_d1ddiscuss
Not in My Git Yard: Catching Backdoors at Commit and Release Time arxiv.org
3matt_d2d1 comment
Performance Foundations of Parallel and Distributed Reasoning Language Models arxiv.org
1matt_d2ddiscuss
Testing race conditions with memory access tracing & stack-based delay injection projectzero.google
4matt_d3ddiscuss
A preview of the future Intel Architecture documentation intel.github.io
2matt_d3ddiscuss
Scaling AI: The Communication Wall aaravwattal.com
2matt_d7ddiscuss
Linked Lists in the Linux Kernel 0xax.dev
2matt_d7ddiscuss
Performance Characterization of SPEC CPU 2026 on AMD EPYC 9755 "Zen 5" Processor arxiv.org
2matt_d7ddiscuss
Lost Bytes at the Crossroads Between User- and Kernel-Level Memory Allocation [pdf]ibr.cs.tu-bs.de
1matt_d8ddiscuss
After Reflection: The Runtime Story – Saksham Sharma – C++Now 2026 [video]youtube.com
2matt_d8ddiscuss
Rust Standard Library Verification Contest Scaled Past Manual Proof Engineering rustfoundation.org
2matt_d8ddiscuss
Test Time Training ianbarber.blog
2matt_d8ddiscuss
Metastability as a failed conditional discharge of rely-guarantee composition muratbuffalo.blogspot.com
2matt_d8ddiscuss
Squeezing Performance Out of eBPF bitbison.io
2matt_d8ddiscuss
Fungible Memories for Automated Technology Mapping and Retargeting: PLDI'26 Talk [video]youtube.com
1matt_d9ddiscuss
Compilers 2.0: AI as stochastic optimizer twitter.com
2matt_d9ddiscuss
TEAS: Tracking Evolving AI and Systems – cost, accuracy, performance, energy teasbench.com
1matt_d9ddiscuss
A Deep Dive into LDS Optimizations on AMD Instinct MI450 GPUs rocm.blogs.amd.com
2matt_d10ddiscuss
LangLib: Esoteric Programming Languages, Formally github.com/ilyasergey
3matt_d10ddiscuss
Adaptation Fidelity of SPEC CPU2026 arxiv.org
2matt_d10ddiscuss
Functional State Machines in Rust: Typestate and Newtype Patterns dl.acm.org
125matt_d13d50 comments
Chunky Agents ianbarber.blog
3matt_d13ddiscuss
I accidentally turned LLM memory into program analysis pwning.systems
302matt_d13d86 comments
Accel-SIM 2.0: Validated GPU Simulation with Full Hopper Support github.com/accel-sim
1matt_d14ddiscuss

All submissions and comments on Hacker News.