matt_d

26 ms·

751.
Terminal-Bench: Benchmarking Agents on Hard, Realistic Tasks in CLIs(arxiv.org)
2 points by matt_d 9mo ago|0 comments
752.
Multi-Modal Program Verification in Velvet(proofsandintuitions.net)
1 points by matt_d 9mo ago|0 comments
753.
by matt_d 9mo ago
Worth adding on that note: From JAX to VLIW: Tracing a Computation Through the TPU Compiler Stack, https://patricktoulme.substack.com/p/from-jax-to-vliw-tracin... Google’s Training Chips Revealed: TPUv2 and TPUv3, HotC
754.
Python, Is It Being Killed by Incremental Improvements?(stefan-marr.de)
2 points by matt_d 9mo ago|0 comments
755.
Terabyte-Scale Analytics in the Blink of an Eye(arxiv.org)
2 points by matt_d 10mo ago|0 comments
756.
What Is Control Flow Analysis for Lambda Calculus? – Iowa Type Theory Commute(rss.buzzsprout.com)
14 points by matt_d 10mo ago|1 comments
757.
Benchmarking a Baseline Fully-in-Place Functional Language Compiler [pdf](trendsfp.github.io)
41 points by matt_d 10mo ago|5 comments
758.
Trends in Functional Programming (TFP) 2026(trendsfp.github.io)
4 points by matt_d 10mo ago|0 comments
759.
Categorical Foundations for CuTe Layouts(arxiv.org)
3 points by matt_d 10mo ago|0 comments
760.
StackWarp: Exploiting Stack Layout Vulnerabilities in Modern Processors(roots.ec)
3 points by matt_d 10mo ago|0 comments
761.
Cloud RAM(mikekohn.net)
32 points by matt_d 10mo ago|10 comments
762.
Triton Linear Layout: Examples(lei.chat)
1 points by matt_d 10mo ago|0 comments
763.
When XLA Isn't Enough: From Pallas to VLIW with Splash Attention on TPU(patricktoulme.substack.com)
1 points by matt_d 10mo ago|0 comments
764.
Warp Specialization in Triton: Design and Roadmap(pytorch.org)
2 points by matt_d 10mo ago|0 comments
765.
Challenges and Research Directions for Large Language Model Inference Hardware(arxiv.org)
2 points by matt_d 10mo ago|0 comments
766.
Library Liberation-Competitive Performance Through Compiler-Composed Nanokernels(arxiv.org)
2 points by matt_d 10mo ago|0 comments
767.
Non-Traditional Profiling: "you can just put whatever you want in a jitdump"(mgaudet.ca)
2 points by matt_d 10mo ago|0 comments
768.
Triton Extensions: a framework for developing and building compiler extensions(github.com)
2 points by matt_d 10mo ago|0 comments
769.
FlashInfer-Bench: Building the Virtuous Cycle for AI-Driven LLM Systems(arxiv.org)
1 points by matt_d 10mo ago|0 comments
770.
High-Performance DBMSs with io_uring: When and How to use it(arxiv.org)
194 points by matt_d 10mo ago|49 comments
771.
Are DBMS Researchers Making Correct Assumptions about Transaction Workloads?(muratbuffalo.blogspot.com)
4 points by matt_d 10mo ago|0 comments
772.
vLLM: An Efficient Inference Engine for Large Language Models(www2.eecs.berkeley.edu)
2 points by matt_d 10mo ago|0 comments
773.
Microarchitecture: What Happens Beneath – Matt Godbolt [video](youtube.com)
4 points by matt_d 10mo ago|0 comments
774.
SMTMSMT: Gluing Together CVC5 and Z3 Nelson Oppen Style(philipzucker.com)
1 points by matt_d 10mo ago|0 comments
775.
Tilus: A Tile-Level GPGPU Programming Language for Low-Precision Computation(dl.acm.org)
2 points by matt_d 10mo ago|0 comments
776.
Optimal Software Pipelining and Warp Specialization for Tensor Core GPUs(arxiv.org)
2 points by matt_d 10mo ago|0 comments
777.
Oral History of Jeffrey Ullman [video](youtube.com)
1 points by matt_d 10mo ago|0 comments
778.
CPU Autoscaling with a Kernel of Truth(dl.acm.org)
1 points by matt_d 10mo ago|0 comments
779.
ACM Transactions on Programming Languages & Systems: New Year, New Paper Tracks(dl.acm.org)
4 points by matt_d 10mo ago|0 comments
780.
An Empirical Study of Bugs in the rustc Compiler (OOPSLA 2025) [video](youtube.com)
2 points by matt_d 10mo ago|0 comments

More ›