matt_d

14 ms·

481.
Reimagining Kernel Generation at the PTX Layer(standardkernel.com)
3 points by matt_d 6mo ago|0 comments
482.
A Deductive System for (Hardware-Software) Contract Satisfaction Proofs(arxiv.org)
1 points by matt_d 6mo ago|0 comments
483.
Tile Kernels: An optimized GPU kernels library written in TileLang(github.com)
2 points by matt_d 6mo ago|0 comments
484.
AMD's Zen: Coming Back from the Dead(clamtech.org)
1 points by matt_d 6mo ago|1 comments
485.
Learning to Repair Lean Proofs from Compiler Feedback(arxiv.org)
1 points by matt_d 6mo ago|0 comments
486.
RLix: A scheduling layer for concurrent LLM RL(github.com)
2 points by matt_d 6mo ago|0 comments
487.
Primus Projection: Estimate Memory and Performance Before You Train(rocm.blogs.amd.com)
2 points by matt_d 6mo ago|0 comments
488.
PRowhammer: Propagating Bit-flips from CPU to GPU [pdf](cse.iitb.ac.in)
2 points by matt_d 6mo ago|0 comments
489.
The Quantization Robustness of Diffusion Language Models in Coding Benchmarks(arxiv.org)
3 points by matt_d 6mo ago|0 comments
490.
Different Perspectives of Memory System Simulation(arxiv.org)
2 points by matt_d 6mo ago|0 comments
491.
Adding Compilation Metadata to Binaries to Make Disassembly Decidable(arxiv.org)
4 points by matt_d 6mo ago|0 comments
492.
ICLR 2026 Outstanding Papers(blog.iclr.cc)
1 points by matt_d 6mo ago|0 comments
493.
Decoupled DiLoCo for Resilient Distributed Pre-Training(arxiv.org)
3 points by matt_d 6mo ago|0 comments
494.
by matt_d 6mo ago
Pretty nifty work; more details (full type system specification, including type inference rules, collective signatures, and forward-backward pairs): https://github.com/meta-pytorch/spmd_types/blob/main/DE
495.
spmd_types: A type system for distributed (SPMD) tensor computations in PyTorch(github.com)
2 points by matt_d 6mo ago|1 comments
496.
How Do LLM Agents Think Through SQL Join Orders?(ucbskyadrs.github.io)
2 points by matt_d 6mo ago|0 comments
497.
Gluon&Linear Layouts Deep-Dive:Tile-Based GPU Programming with Low-Level Control [video](youtube.com)
2 points by matt_d 6mo ago|0 comments
498.
SonicMoE: A HW-Efficient and SW-Extensible Blueprint for Fine-Grained MoEs(dao-lab.ai)
2 points by matt_d 6mo ago|0 comments
499.
SAW-INT4: System-Aware 4-Bit KV-Cache Quantization for Real-World LLM Serving(arxiv.org)
2 points by matt_d 6mo ago|0 comments
500.
DIRT: Database-Integrated Random Testing(arxiv.org)
1 points by matt_d 6mo ago|0 comments
501.
Scaling Test-Time Compute for Agentic Coding(arxiv.org)
2 points by matt_d 6mo ago|0 comments
502.
An Algorithmic Reconstruction of Normalisation by Evaluation(yangzhixuan.github.io)
1 points by matt_d 6mo ago|0 comments
503.
Faster LLM Inference via Sequential Monte Carlo(arxiv.org)
3 points by matt_d 6mo ago|0 comments
504.
Pure Borrow: Linear Haskell Meets Rust-Style Borrowing(arxiv.org)
4 points by matt_d 6mo ago|0 comments
505.
SSA without Dominance for Higher-Order Programs(arxiv.org)
2 points by matt_d 6mo ago|0 comments
506.
Spotting Specification Gaps with Small Proof-Oriented Tests(risemsr.github.io)
3 points by matt_d 6mo ago|0 comments
507.
Theseus, a Static Windows Emulator(neugierig.org)
2 points by matt_d 6mo ago|0 comments
508.
Advent of Computing: Episode 179 – Programming Block by Block(adventofcomputing.libsyn.com)
1 points by matt_d 6mo ago|0 comments
509.
Agentic Context Engineering:Evolving Contexts for Self-Improving Language Models(arxiv.org)
2 points by matt_d 6mo ago|0 comments
510.
Prefill-as-a-Service:KVCache of Next-Generation Models Could Go Cross-Datacenter(arxiv.org)
44 points by matt_d 6mo ago|1 comments

More ›