z486: A 486-Class Pipelined FPGA CPU with Integrated Floating-Pointnand2mario.github.io·20 pts·matt_d·8
Specula: Scaling formal specs for autonomous model checking of system codemuratbuffalo.blogspot.com·6 pts·matt_d·0
A Preliminary Study on Simultaneous Coscheduling for Discrete GPU vs. Fused GPUarxiv.org·1 pts·matt_d·0
EvoHarnessRL: Learning Self-Evolving Runtime Harness for Long-Horizon LLM Agentsarxiv.org·3 pts·matt_d·0
Optimizing an NVFP4 Blockscaled GEMM on RTX Pro 6000 Blackwell GPU (SM120)research.colfax-intl.com·2 pts·matt_d·0
Reducing Graphics API Complexity: A Clean Slate Design for Modern GPUs [video]youtube.com·4 pts·matt_d·0
ACM Europe Summer School on MLIR 2026: Streamed Live, August 10-14mlir-school.github.io·12 pts·matt_d·0