matt_d's submissions | Hacker News

1.		Zigzag Decoding with AVX-512 (zeux.io)
		2 points by matt_d 9 hours ago \| past \| discuss
2.		GenDB – LLM-Powered Generative Query Engine (solidlao.github.io)
		1 point by matt_d 13 hours ago \| past \| discuss
3.		AI Compute Extensions (ACE) Specification (x86ecosystem.org)
		50 points by matt_d 13 hours ago \| past \| 20 comments
4.		Loop Unrolling in the ML Era (hiraditya.github.io)
		2 points by matt_d 16 hours ago \| past \| discuss
5.		System call instrumentation on Linux/x86‑64 using memory‑indirect calls, part I (humprog.org)
		1 point by matt_d 1 day ago \| past \| discuss
6.		Fearless Concurrency on the GPU (arxiv.org)
		1 point by matt_d 1 day ago \| past \| discuss
7.		Using Task Graph Caching to Accelerate TVM Code Generation (acm.org)
		1 point by matt_d 1 day ago \| past \| discuss
8.		Google's Training Supercomputers from TPU v2 to Ironwood: Five Generations (arxiv.org)
		1 point by matt_d 1 day ago \| past \| discuss
9.		The Return of Rigorous Full-System Timing Simulation (sigarch.org)
		44 points by matt_d 2 days ago \| past \| discuss
10.		Language integrated LLMs as an OCaml function (recoil.org)
		4 points by matt_d 2 days ago \| past \| 1 comment
11.		Using OxCaml to implement type-safe reference counting between OCaml and Python (janestreet.com)
		3 points by matt_d 2 days ago \| past \| discuss
12.		Scalable GPU Acceleration of Scalar Functions in Analytical Databases (microsoft.com)
		2 points by matt_d 2 days ago \| past \| discuss
13.		Compiling Strassen-Like Matrix Multiplication Algorithms to Fast CUDA Kernels (acm.org)
		3 points by matt_d 2 days ago \| past \| discuss
14.		Programming Language Design and Implementation (PLDI) 2026 Live Streams (sigplan.org)
		4 points by matt_d 2 days ago \| past \| discuss
15.		Puzzling Success of Overparameterization: Lottery Tickets or Escape Dimensions? (epfl.ch)
		2 points by matt_d 3 days ago \| past \| discuss
16.		One More Type in the Tiny Type Theory (jcreedcmu.github.io)
		3 points by matt_d 3 days ago \| past \| discuss
17.		A Galois Field Arithmetic Primer (tomverbeure.github.io)
		7 points by matt_d 3 days ago \| past \| discuss
18.		An O(x)Caml book that runs (kcsrk.info)
		3 points by matt_d 4 days ago \| past \| discuss
19.		Type Theory Forall #62 – Dependent Haskell – Vladislav Zavialov [video] (youtube.com)
		8 points by matt_d 4 days ago \| past \| discuss
20.		Trip report: June 2026 ISO C++ standards meeting (Brno, Czechia) (herbsutter.com)
		13 points by matt_d 4 days ago \| past \| 5 comments
21.		UnpredictaBench: A Benchmark for Evaluating Distributional Randomness in LLMs (arxiv.org)
		2 points by matt_d 5 days ago \| past \| discuss
22.		Linear Algebra Kernels for the Age of Research (gpumode.com)
		2 points by matt_d 5 days ago \| past \| discuss
23.		Latent learning: episodic memory complements parametric learning (openreview.net)
		3 points by matt_d 5 days ago \| past \| discuss
24.		NEURA: A Unified and Retargetable Compilation Framework for CGRAs (acm.org)
		1 point by matt_d 5 days ago \| past \| discuss
25.		System Call Stack Alignment (humprog.org)
		2 points by matt_d 5 days ago \| past \| discuss
26.		Making FlashAttention-4 faster for inference (modal.com)
		2 points by matt_d 6 days ago \| past \| discuss
27.		Precision Matters in Block Scales (constantinides.net)
		1 point by matt_d 6 days ago \| past \| discuss
28.		Agents' Last Exam (arxiv.org)
		2 points by matt_d 6 days ago \| past \| discuss
29.		Does the Harness Matter? Lessons from Ale-Claw on Agents' Last Exam (agents-last-exam.org)
		2 points by matt_d 6 days ago \| past \| discuss
30.		Demystifying NVSHMEM: System-Level: Symmetric Memory, Device-Initiated Ops (arxiv.org)
		1 point by matt_d 6 days ago \| past \| discuss
		More