matt_d

5 ms·

1.
In Search of a Compositional Theory of Self-Stabilization(muratbuffalo.blogspot.com)
15 points by matt_d 5d ago|0 comments
2.
Covert Caches: When Is a Cache, a Cache?(parallelprogrammer.substack.com)
4 points by matt_d 5d ago|0 comments
3.
Reality Is the Final Verifier: On Two Key Gaps in Agentic Software Engineering(arxiv.org)
3 points by matt_d 7d ago|0 comments
4.
Typing Python, Gradually [video](youtube.com)
2 points by matt_d 8d ago|0 comments
5.
Egglog and Equality Saturation in a Production Tensor Compiler(egraphs.org)
1 points by matt_d 8d ago|0 comments
6.
Semantics for 2D Rasterization(arxiv.org)
1 points by matt_d 9d ago|0 comments
7.
waterfall: Induction Proofs in Lean(samth.github.io)
1 points by matt_d 9d ago|0 comments
8.
HarnessTax: How Much Does the Harness Matter for Coding Agents?(harnesstax.github.io)
221 points by matt_d 9d ago|92 comments
9.
Breaking the 1.58-bit Barrier for Ternary LLMs(arxiv.org)
241 points by matt_d 9d ago|40 comments
10.
Accurate Models of AMD Matrix Cores(arxiv.org)
78 points by matt_d 10d ago|10 comments
11.
AI Compilers Are Not Just Compilers for AI(aicompilers.github.io)
2 points by matt_d 10d ago|1 comments
12.
An Educational GEMM Ladder for Helios GPUs(rocm.blogs.amd.com)
1 points by matt_d 10d ago|0 comments
13.
Verification of a Generational Garbage Collector(arxiv.org)
2 points by matt_d 10d ago|0 comments
14.
Revisiting Soundness for Occurrence Typing, Semantically(arxiv.org)
1 points by matt_d 10d ago|0 comments
15.
Discovering Interpretable Algorithms by Decompiling Transformers to RASP [video](youtube.com)
2 points by matt_d 10d ago|0 comments
16.
Branch Divergence in SIMT Machines: From CFG to Compiler Divergence Analysis [pdf](hsmahesha.github.io)
1 points by matt_d 10d ago|0 comments
17.
Neuro-Formal Verification: Agentic Language-Agnostic Formal Program Reasoning(arxiv.org)
3 points by matt_d 11d ago|0 comments
18.
Into the CUDA Multiverse of Runtime Compilation: GPU DBMS Kernel Fusion [pdf](vldb.org)
2 points by matt_d 11d ago|0 comments
19.
Agents Have Favorite Tools(ianbarber.blog)
1 points by matt_d 11d ago|0 comments
20.
Duplex Cue: Does a voice agent adapt while speaking?(besimple.ai)
1 points by matt_d 11d ago|0 comments
21.
LeanDB: A strongly typed SQL Front end(theoric.com)
3 points by matt_d 11d ago|0 comments
22.
OSDI '26 – μShell: A Microkernel-Based FPGA Shell Architecture [video](youtube.com)
2 points by matt_d 11d ago|0 comments
23.
SWE-Bench Multimodal: Do AI Systems Generalize to Visual Software Domains?(swebench.com)
1 points by matt_d 11d ago|0 comments
24.
RoofLang: Enabling AI-Driven Architecting of LLM Inference Systems(arxiv.org)
5 points by matt_d 11d ago|0 comments
25.
Gauss-Seidel is faster than Jacobi. Or is it?(loiseaujc.github.io)
2 points by matt_d 12d ago|0 comments
26.
Hitting a NERVE with attacks on AI-powered brain-computer interfaces(anil.recoil.org)
3 points by matt_d 12d ago|1 comments
27.
FLARE: Verifying MILP Reformulations with LLM-Based Theorem Proving(flare.henryrobbins.com)
2 points by matt_d 13d ago|0 comments
28.
JSON parsing in OxCaml: fast, but not too fast(pianykh.com)
1 points by matt_d 13d ago|0 comments
29.
Data races and the limits of ThreadSanitizer in C and Go(theconsensus.dev)
35 points by matt_d 13d ago|1 comments
30.
Developing provably correct Rust code with Verus(amazon.science)
4 points by matt_d 14d ago|0 comments

More ›