matt_d

11 ms·

301.
Loop Unrolling in the ML Era(hiraditya.github.io)
2 points by matt_d 4mo ago|0 comments
302.
System call instrumentation on Linux/x86‑64 using memory‑indirect calls, part I(humprog.org)
41 points by matt_d 4mo ago|29 comments
303.
Fearless Concurrency on the GPU(arxiv.org)
1 points by matt_d 4mo ago|0 comments
304.
Using Task Graph Caching to Accelerate TVM Code Generation(dl.acm.org)
1 points by matt_d 4mo ago|0 comments
305.
Google's Training Supercomputers from TPU v2 to Ironwood: Five Generations(arxiv.org)
1 points by matt_d 4mo ago|0 comments
306.
The Return of Rigorous Full-System Timing Simulation(sigarch.org)
46 points by matt_d 4mo ago|0 comments
307.
Language integrated LLMs as an OCaml function(anil.recoil.org)
4 points by matt_d 4mo ago|1 comments
308.
Using OxCaml to implement type-safe reference counting between OCaml and Python(blog.janestreet.com)
3 points by matt_d 4mo ago|0 comments
309.
Scalable GPU Acceleration of Scalar Functions in Analytical Databases(microsoft.com)
2 points by matt_d 4mo ago|0 comments
310.
Compiling Strassen-Like Matrix Multiplication Algorithms to Fast CUDA Kernels(dl.acm.org)
3 points by matt_d 4mo ago|0 comments
311.
Programming Language Design and Implementation (PLDI) 2026 Live Streams(pldi26.sigplan.org)
4 points by matt_d 4mo ago|0 comments
312.
Puzzling Success of Overparameterization: Lottery Tickets or Escape Dimensions?(infoscience.epfl.ch)
2 points by matt_d 4mo ago|0 comments
313.
One More Type in the Tiny Type Theory(jcreedcmu.github.io)
3 points by matt_d 4mo ago|0 comments
314.
A Galois Field Arithmetic Primer(tomverbeure.github.io)
7 points by matt_d 4mo ago|0 comments
315.
An O(x)Caml book that runs(kcsrk.info)
3 points by matt_d 4mo ago|0 comments
316.
Type Theory Forall #62 – Dependent Haskell – Vladislav Zavialov [video](youtube.com)
8 points by matt_d 4mo ago|0 comments
317.
Trip report: June 2026 ISO C++ standards meeting (Brno, Czechia)(herbsutter.com)
13 points by matt_d 4mo ago|5 comments
318.
UnpredictaBench: A Benchmark for Evaluating Distributional Randomness in LLMs(arxiv.org)
2 points by matt_d 4mo ago|0 comments
319.
Linear Algebra Kernels for the Age of Research(gpumode.com)
2 points by matt_d 4mo ago|0 comments
320.
Latent learning: episodic memory complements parametric learning(openreview.net)
3 points by matt_d 4mo ago|0 comments
321.
NEURA: A Unified and Retargetable Compilation Framework for CGRAs(dl.acm.org)
1 points by matt_d 4mo ago|0 comments
322.
System Call Stack Alignment(humprog.org)
2 points by matt_d 4mo ago|0 comments
323.
Making FlashAttention-4 faster for inference(modal.com)
2 points by matt_d 4mo ago|0 comments
324.
Precision Matters in Block Scales(constantinides.net)
1 points by matt_d 4mo ago|0 comments
325.
Agents' Last Exam(arxiv.org)
2 points by matt_d 4mo ago|0 comments
326.
Does the Harness Matter? Lessons from Ale-Claw on Agents' Last Exam(agents-last-exam.org)
2 points by matt_d 4mo ago|0 comments
327.
Demystifying NVSHMEM: System-Level: Symmetric Memory, Device-Initiated Ops(arxiv.org)
1 points by matt_d 4mo ago|0 comments
328.
Enumerating Ill-Typed Programs for Testing Type Analyzers(dl.acm.org)
1 points by matt_d 4mo ago|0 comments
329.
Agentic Memory Management for GPU Code Generation(ucbskyadrs.github.io)
1 points by matt_d 4mo ago|0 comments
330.
CommBench: Can LLMs Write Correct and Efficient GPU Communication Code?(uccl-project.github.io)
1 points by matt_d 4mo ago|0 comments

More ›