matt_d

16 ms·

511.
Fundamentals of CuTe Layout Algebra and Category-Theoretic Interpretation [video](youtube.com)
1 points by matt_d 6mo ago|0 comments
512.
OSS code review, in the era of LLMs(blog.ezyang.com)
3 points by matt_d 6mo ago|0 comments
513.
Proteus: Heterogeneous FPGA Virtualization [pdf](dse.in.tum.de)
2 points by matt_d 6mo ago|0 comments
514.
Trevex: A Black-Box Detection Framework for Data-Flow Transient Execution Vulns(roots.ec)
2 points by matt_d 6mo ago|0 comments
515.
From SIMT to Systolic Part 2: A Kernel Author's Field Report(twitter.com)
2 points by matt_d 6mo ago|0 comments
516.
Machine Generated and Checked Proofs for a Verified Compiler (Experience Report)(arxiv.org)
4 points by matt_d 6mo ago|0 comments
517.
Machine-Generated Code Deserves Machine-Checked Proofs(zoep.github.io)
3 points by matt_d 6mo ago|0 comments
518.
What Happens to Software When Proof Is Cheap? Allen School Distinguished Lecture [video](youtube.com)
2 points by matt_d 6mo ago|0 comments
519.
TileTensor Part 1 – Safer, More Efficient GPU Kernels(modular.com)
1 points by matt_d 6mo ago|0 comments
520.
EuroLLVM 2026 Round Table Summary: MLIR Canonicalization(discourse.llvm.org)
1 points by matt_d 6mo ago|0 comments
521.
nanomem: An Simple, Inference-Time Memory Module(openanonymity.ai)
1 points by matt_d 6mo ago|0 comments
522.
Building an Unverified Compiler with Agents(basis.ai)
1 points by matt_d 6mo ago|0 comments
523.
WybeCoder: Verified Imperative Code Generation(facebookresearch.github.io)
1 points by matt_d 6mo ago|0 comments
524.
Parcae: Doing More with Fewer Parameters Using Stable Looped Models(sandyresearch.github.io)
2 points by matt_d 6mo ago|0 comments
525.
Characterizing the Impact of Congestion in Modern HPC Interconnects(arxiv.org)
1 points by matt_d 6mo ago|0 comments
526.
Tessera: Unlocking Heterogeneous GPUs Through Kernel-Granularity Disaggregation(arxiv.org)
1 points by matt_d 6mo ago|0 comments
527.
From SIMT to Systolic: A Foundation for GPU and TPU Architecture(twitter.com)
2 points by matt_d 6mo ago|0 comments
528.
Packrat Parsing at the Speed of Wasm [video](youtube.com)
2 points by matt_d 6mo ago|0 comments
529.
Sparser, Faster, Lighter Transformer Language Models(arxiv.org)
3 points by matt_d 6mo ago|0 comments
530.
When GPUs Fail Quietly: Observability-Aware Early Warning Beyond Telemetry(arxiv.org)
1 points by matt_d 6mo ago|0 comments
531.
Stupid RCU Tricks: Corner-Case RCU Implementations(people.kernel.org)
3 points by matt_d 6mo ago|0 comments
532.
How Many Compilers Is Too Many? V8's History, Tradeoffs, and Architecture [video](youtube.com)
1 points by matt_d 6mo ago|0 comments
533.
Fully-Automatic Type Inference for Borrows with Lifetimes(al.radbox.org)
1 points by matt_d 6mo ago|0 comments
534.
The GNU libc atanh is correctly rounded(inria.hal.science)
119 points by matt_d 6mo ago|29 comments
535.
MMU Handbook: Memory Management Units and TLBs(kalairajah-personal.github.io)
1 points by matt_d 6mo ago|0 comments
536.
PEP 831 – Frame Pointers Everywhere: Enabling System-Level Observability(peps.python.org)
2 points by matt_d 6mo ago|0 comments
537.
UpDown: Efficient Manycore based on Many Threading & Scalable Memory Parallelism(people.cs.uchicago.edu)
13 points by matt_d 6mo ago|1 comments
538.
Reflections on 30 years of HPC programming(chapel-lang.org)
146 points by matt_d 6mo ago|123 comments
539.
Recent lld/ELF performance improvements(maskray.me)
1 points by matt_d 6mo ago|0 comments
540.
Circuit Transformations, Loop Fusion, and Inductive Proof(natetyoung.github.io)
45 points by matt_d 6mo ago|3 comments

More ›