matt_d

17 ms·

601.
Generalized Dot-Product Attention: Tackling Real-World Challenges in GPU Kernels(pytorch.org)
1 points by matt_d 7mo ago|0 comments
602.
M^2RNN: Non-Linear RNNs with Matrix-Valued States for Scalable Language Modeling(arxiv.org)
2 points by matt_d 7mo ago|0 comments
603.
Tools of the Trade: C2C Activation Offloading on Grace Blackwell(poolside.ai)
1 points by matt_d 7mo ago|0 comments
604.
EsoLang-Bench: Evaluating Genuine Reasoning in LLMs via Esoteric Languages(esolang-bench.vercel.app)
99 points by matt_d 7mo ago|59 comments
605.
Speed-Of-Light ExecBench: A benchmark of real-world DL kernel problems(github.com)
1 points by matt_d 7mo ago|0 comments
606.
Equality Saturation and Symbolic Regression(egraphs.org)
2 points by matt_d 7mo ago|0 comments
607.
NCCL EP: Towards a Unified Expert Parallel Communication API for NCCL(arxiv.org)
3 points by matt_d 7mo ago|0 comments
608.
Vectorization of Verilog Designs and its Effects on Verification and Synthesis(arxiv.org)
35 points by matt_d 7mo ago|6 comments
609.
LATTE ’26: Workshop on Languages, Tools, and Techniques for Accelerator Design(capra.cs.cornell.edu)
2 points by matt_d 7mo ago|0 comments
610.
Read Less, Steer More(blog.ezyang.com)
4 points by matt_d 7mo ago|0 comments
611.
The Data Structures of Roads(sandboxspirit.com)
2 points by matt_d 7mo ago|0 comments
612.
Verifying Move Borrow Checker in Lean:An Experiment in AI-Assisted PL Metatheory(proofsandintuitions.net)
4 points by matt_d 7mo ago|1 comments
613.
Real or Slop? – Programming Languages Papers Edition(slop.zackg.me)
6 points by matt_d 7mo ago|2 comments
614.
Mamba-3(together.ai)
300 points by matt_d 7mo ago|55 comments
615.
EvoX: Letting AI Evolve Its Own Evolution Process(skydiscover-ai.github.io)
1 points by matt_d 7mo ago|0 comments
616.
Native DSLs Ops in PyTorch(ianbarber.blog)
1 points by matt_d 7mo ago|0 comments
617.
Flash-KMeans: Fast and Memory-Efficient Exact K-Means(arxiv.org)
185 points by matt_d 7mo ago|14 comments
618.
Gluon: Explicit Performance(lei.chat)
22 points by matt_d 7mo ago|0 comments
619.
Block Number Formats are (Still!) Direction Preservers(constantinides.net)
2 points by matt_d 7mo ago|0 comments
620.
cuTile Rust: a safe, tile-based kernel programming DSL for Rust(github.com)
4 points by matt_d 7mo ago|0 comments
621.
KernelBlaster: A framework for in context learning for code optimization(github.com)
1 points by matt_d 7mo ago|0 comments
622.
Demystifying and Improving Lazy Promotion in Cache Eviction [pdf](vldb.org)
1 points by matt_d 8mo ago|0 comments
623.
Journeying through Optimization with Heuristics [video](youtube.com)
2 points by matt_d 8mo ago|0 comments
624.
To Sparsify or to Quantize: A Hardware Architecture View(sigarch.org)
2 points by matt_d 8mo ago|1 comments
625.
Efficient sparse computations using linear algebra aware compilers (2025)(osti.gov)
64 points by matt_d 8mo ago|7 comments
626.
A Field Guide to Reward Hacking in AI Kernel Generation(wafer.ai)
2 points by matt_d 8mo ago|1 comments
627.
AI and the Mixed-Consistency Future(jhellerstein.github.io)
2 points by matt_d 8mo ago|0 comments
628.
FIDES: End-to-end Compartments for Mixed-language Systems [pdf](kcsrk.info)
3 points by matt_d 8mo ago|0 comments
629.
Practical Type Inference: High‑Throughput Recovery of Real‑World Types(arxiv.org)
1 points by matt_d 8mo ago|0 comments
630.
Idempotent Slices with Applications to Code-Size Reduction(arxiv.org)
2 points by matt_d 8mo ago|0 comments

More ›