matt_d

5 ms·

91.
Hawkeye: Hardware-Aware GPU Kernel Optimization with Minimal Supervision(alphaxiv.org)
1 points by matt_d 2mo ago|0 comments
92.
Context-Aware Inlining: Using Call-Stack Profiles for Fast and Smaller Binaries(dl.acm.org)
2 points by matt_d 2mo ago|0 comments
93.
Succinct and Fast Tiny Pointer Hash Tables(arxiv.org)
3 points by matt_d 2mo ago|0 comments
94.
Cost-Aware Optimization for Agentic Query Execution(arxiv.org)
1 points by matt_d 2mo ago|0 comments
95.
Composing CRDTs Convergent by Construction(2026.splashcon.org)
2 points by matt_d 2mo ago|0 comments
96.
LoCalMem: Type-Directed Adaptive Serialization for LAM & CAM(dl.acm.org)
1 points by matt_d 2mo ago|0 comments
97.
InstrSem: Automatically Inferring Semantics of (Undocumented) CPU Instructions(roots.ec)
2 points by matt_d 2mo ago|0 comments
98.
λλ: A Programming Language for Silicon Photonics(dl.acm.org)
91 points by matt_d 2mo ago|18 comments
99.
Palomar: A registry of Lean verified mathematics(terrytao.wordpress.com)
186 points by matt_d 2mo ago|39 comments
100.
Memory Allocation for Constant-Bounded Programs(arxiv.org)
2 points by matt_d 2mo ago|0 comments
101.
Programmable Property-Based Testing(dl.acm.org)
38 points by matt_d 2mo ago|4 comments
102.
How to Parallelize a Transformer for Training(ezyang.github.io)
1 points by matt_d 2mo ago|0 comments
103.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens(arxiv.org)
1 points by matt_d 2mo ago|0 comments
104.
Proofs Promptly: Proof-Oriented Programming with AI Agents (Experience Report)(dl.acm.org)
2 points by matt_d 2mo ago|0 comments
105.
What's Better Than Binary? – Advent of Computing Episode 187(adventofcomputing.libsyn.com)
6 points by matt_d 2mo ago|1 comments
106.
Speeding Up the Plush Garbage Collector(pointersgonewild.com)
1 points by matt_d 2mo ago|0 comments
107.
[pre-RFC] Alloy formalization of LLVM IR's concurrent memory model(discourse.llvm.org)
1 points by matt_d 2mo ago|0 comments
108.
Outperforming cuBLAS on NVFP4: Blackwell(cudaforfun.substack.com)
3 points by matt_d 2mo ago|0 comments
109.
AutoDesign: Meta-Harness Optimization for Long-Horizon Agentic Design(arxiv.org)
2 points by matt_d 2mo ago|0 comments
110.
Instruction Scheduling in LLVM(harishch4.github.io)
1 points by matt_d 2mo ago|0 comments
111.
A Barrier-Free Synchronization Algorithm for Multi-Engine AI Accelerators(arxiv.org)
1 points by matt_d 2mo ago|0 comments
112.
Nested Functions with GCC and Clang(uecker.codeberg.page)
1 points by matt_d 2mo ago|0 comments
113.
z486: A 486-Class Pipelined FPGA CPU with Integrated Floating-Point(nand2mario.github.io)
20 points by matt_d 2mo ago|8 comments
114.
CAKE: Compiler-Agent Co-Design for Frontier Kernel Evolution(arxiv.org)
8 points by matt_d 2mo ago|0 comments
115.
Structured Decoding with XGrammar(aramesh10.github.io)
2 points by matt_d 2mo ago|0 comments
116.
TTT-Discover: Learning to Discover at Test Time(ucbskyadrs.github.io)
2 points by matt_d 2mo ago|0 comments
117.
Spaghettifying DRAM(github.com)
716 points by matt_d 2mo ago|175 comments
118.
Specula: Scaling formal specs for autonomous model checking of system code(muratbuffalo.blogspot.com)
6 points by matt_d 2mo ago|0 comments
119.
Principia Mathematica is modern and insightful(okmij.org)
281 points by matt_d 2mo ago|157 comments
120.
Estimating Branch Probabilities(maskray.me)
1 points by matt_d 2mo ago|0 comments

More ›