back
user profile

matt_d

21,161karma·3,275submissions·April 21, 2014
recent activity (3,275 total)
3 pts
petite-vllm Part 2: KV Cache & Paged Attention(kristenmcintosh.dev)
1mo ago·discuss
2 pts
Analyzing Bytes: Pre-Disassembly Static Binary Analysis(research.google)
1mo ago·discuss
2 pts
Terminal-Bench Challenges: long-horizon, token-intensive, single-task benchmarks(tbench.ai)
1mo ago·discuss
3 pts
Dana Scott: Lambda Calculus, Forcing and the Foundations of Math: #14 aboutlogic [video](youtube.com)
1mo ago·discuss
2 pts
SE Radio 725: Danny Yang and Sam Goldman on the Pyrefly Type Checker(se-radio.net)
1mo ago·discuss
11 pts
Integer Quantization: Deep Dive(hello-fri-end.github.io)
1mo ago·2 comments
3 pts
M* (M-Star): A Modular, Extensible, Serving System for Multimodal Models(mstar.stanford.edu)
1mo ago·discuss
3 pts
From Minutes to Seconds: LLM-Guided Autotuning for Helion Kernels(pytorch.org)
1mo ago·discuss
3 pts
Zigzag Decoding with AVX-512(zeux.io)
1mo ago·discuss
1 pts
GenDB – LLM-Powered Generative Query Engine(solidlao.github.io)
1mo ago·discuss
53 pts
AI Compute Extensions (ACE) Specification(x86ecosystem.org)
1mo ago·25 comments
2 pts
Loop Unrolling in the ML Era(hiraditya.github.io)
1mo ago·discuss
41 pts
System call instrumentation on Linux/x86‑64 using memory‑indirect calls, part I(humprog.org)
2mo ago·29 comments
1 pts
Fearless Concurrency on the GPU(arxiv.org)
2mo ago·discuss
1 pts
Using Task Graph Caching to Accelerate TVM Code Generation(dl.acm.org)
2mo ago·discuss
1 pts
Google's Training Supercomputers from TPU v2 to Ironwood: Five Generations(arxiv.org)
2mo ago·discuss
46 pts
The Return of Rigorous Full-System Timing Simulation(sigarch.org)
2mo ago·discuss
4 pts
Language integrated LLMs as an OCaml function(anil.recoil.org)
2mo ago·1 comments
3 pts
Using OxCaml to implement type-safe reference counting between OCaml and Python(blog.janestreet.com)
2mo ago·discuss
2 pts
Scalable GPU Acceleration of Scalar Functions in Analytical Databases(microsoft.com)
2mo ago·discuss
3 pts
Compiling Strassen-Like Matrix Multiplication Algorithms to Fast CUDA Kernels(dl.acm.org)
2mo ago·discuss
4 pts
Programming Language Design and Implementation (PLDI) 2026 Live Streams(pldi26.sigplan.org)
2mo ago·discuss
2 pts
Puzzling Success of Overparameterization: Lottery Tickets or Escape Dimensions?(infoscience.epfl.ch)
2mo ago·discuss
3 pts
One More Type in the Tiny Type Theory(jcreedcmu.github.io)
2mo ago·discuss
7 pts
A Galois Field Arithmetic Primer(tomverbeure.github.io)
2mo ago·discuss
3 pts
An O(x)Caml book that runs(kcsrk.info)
2mo ago·discuss
8 pts
Type Theory Forall #62 – Dependent Haskell – Vladislav Zavialov [video](youtube.com)
2mo ago·discuss
13 pts
Trip report: June 2026 ISO C++ standards meeting (Brno, Czechia)(herbsutter.com)
2mo ago·5 comments
2 pts
UnpredictaBench: A Benchmark for Evaluating Distributional Randomness in LLMs(arxiv.org)
2mo ago·discuss
2 pts
Linear Algebra Kernels for the Age of Research(gpumode.com)
2mo ago·discuss