back
user profile

matt_d

21,157karma·3,275submissions·April 21, 2014
recent activity (3,275 total)
1 pts
Nested Functions with GCC and Clang(uecker.codeberg.page)
12h ago·discuss
20 pts
z486: A 486-Class Pipelined FPGA CPU with Integrated Floating-Point(nand2mario.github.io)
1d ago·8 comments
8 pts
CAKE: Compiler-Agent Co-Design for Frontier Kernel Evolution(arxiv.org)
1d ago·discuss
2 pts
Structured Decoding with XGrammar(aramesh10.github.io)
2d ago·discuss
2 pts
TTT-Discover: Learning to Discover at Test Time(ucbskyadrs.github.io)
2d ago·discuss
709 pts
Spaghettifying DRAM(github.com)
3d ago·174 comments
6 pts
Specula: Scaling formal specs for autonomous model checking of system code(muratbuffalo.blogspot.com)
3d ago·discuss
278 pts
Principia Mathematica is modern and insightful(okmij.org)
3d ago·155 comments
1 pts
Estimating Branch Probabilities(maskray.me)
4d ago·discuss
58 pts
A SAT Attack on Tarski's High School Algebra Problem(arxiv.org)
4d ago·19 comments
1 pts
What Evolves When We Talk About Harness Evolution?(wenwen-d.github.io)
4d ago·discuss
1 pts
LSPs for LLMs(ianbarber.blog)
4d ago·discuss
3 pts
mmiotic: Latency x-ray for undocumented hardware(github.com)
4d ago·discuss
2 pts
The Unseen Delta: Characterizing the Compiler Optimization Landscape(arxiv.org)
4d ago·discuss
2 pts
Don't Stall Me Now: Hiding Memory Latency in eBPF(dl.acm.org)
4d ago·discuss
1 pts
A Preliminary Study on Simultaneous Coscheduling for Discrete GPU vs. Fused GPU(arxiv.org)
4d ago·discuss
comment
Context: https://hachyderm.io/@rjmccall/117073259835476299 "We've been thinking about a lot about the language design of expressing lifetime restrictions and dependenc…
5d ago·view thread
3 pts
Scope and Lifetime Restrictions in Swift(github.com)
5d ago·1 comments
1 pts
RISC-V: Public Review for the RVA23.1 and RVB23.1 Profiles(groups.google.com)
5d ago·discuss
1 pts
Cylic Trait Implementations: Motivation(smallcultfollowing.com)
5d ago·discuss
50 pts
Moving integer division to floating-point is trivial(marc-b-reynolds.github.io)
5d ago·20 comments
1 pts
Optimizing GEMM and Activation on CDNA4 with TLX(amd.com)
5d ago·discuss
3 pts
EvoHarnessRL: Learning Self-Evolving Runtime Harness for Long-Horizon LLM Agents(arxiv.org)
5d ago·discuss
2 pts
Optimizing an NVFP4 Blockscaled GEMM on RTX Pro 6000 Blackwell GPU (SM120)(research.colfax-intl.com)
5d ago·discuss
2 pts
Let's Stop Calling Everything "Linear Attention"(htor.inf.ethz.ch)
6d ago·discuss
1 pts
Scaling Logical Reasoning on Modern HPC Hardware(surface.syr.edu)
6d ago·discuss
1 pts
HCCL: Collective Communication for Meta Training and Inference Accelerators(arxiv.org)
6d ago·discuss
18 pts
How do programming languages impact token efficiency and correctness?(danluu.com)
6d ago·1 comments
4 pts
Reducing Graphics API Complexity: A Clean Slate Design for Modern GPUs [video](youtube.com)
7d ago·discuss
12 pts
ACM Europe Summer School on MLIR 2026: Streamed Live, August 10-14(mlir-school.github.io)
7d ago·discuss