matt_d's submissions | Hacker News

1.		SWE-Serve: Benchmarking Agentic Engineering for Production Inference Serving (nvidia.com)
		1 point by matt_d 2 minutes ago \| past \| discuss
2.		Building an Ultra-High Throughput AI-SQL Engine (fsdatalab.github.io)
		1 point by matt_d 40 minutes ago \| past \| discuss
3.		A perfect join algorithm? Answering queries in optimal time – Michael Arntzenius [video] (youtube.com)
		1 point by matt_d 1 hour ago \| past \| discuss
4.		Hardware-Agnostic Models in vLLM (pytorch.org)
		1 point by matt_d 1 day ago \| past \| discuss
5.		CIC + EM ⊢ Con(ZF) (arxiv.org)
		1 point by matt_d 1 day ago \| past \| discuss
6.		International Conference on Functional Programming (ICFP) 2026 talks released (youtube.com)
		25 points by matt_d 2 days ago \| past \| discuss
7.		What are KV caches really? (glennklockwood.com)
		4 points by matt_d 2 days ago \| past \| discuss
8.		XGrammar-2: Fast, Customizable Structured Generation for Tool Calling and Agents (mlc.ai)
		2 points by matt_d 2 days ago \| past \| discuss
9.		Lean Verified Transformers (srush.github.io)
		4 points by matt_d 2 days ago \| past \| discuss
10.		FloatLib: Verified Floating-Point Arithmetic in Lean (leandojo.org)
		1 point by matt_d 2 days ago \| past \| discuss
11.		Covert Caches: TLB Edition (parallelprogrammer.substack.com)
		2 points by matt_d 3 days ago \| past \| discuss
12.		Future-Proof Data Systems [pdf] (vldb.org)
		1 point by matt_d 3 days ago \| past \| discuss
13.		In Search of a Compositional Theory of Self-Stabilization (muratbuffalo.blogspot.com)
		49 points by matt_d 3 days ago \| past \| 4 comments
14.		Covert Caches: When Is a Cache, a Cache? (parallelprogrammer.substack.com)
		4 points by matt_d 3 days ago \| past \| discuss
15.		Reality Is the Final Verifier: On Two Key Gaps in Agentic Software Engineering (arxiv.org)
		3 points by matt_d 5 days ago \| past \| discuss
16.		Typing Python, Gradually [video] (youtube.com)
		2 points by matt_d 7 days ago \| past \| discuss
17.		Egglog and Equality Saturation in a Production Tensor Compiler (egraphs.org)
		1 point by matt_d 7 days ago \| past \| discuss
18.		Semantics for 2D Rasterization (arxiv.org)
		1 point by matt_d 7 days ago \| past \| discuss
19.		waterfall: Induction Proofs in Lean (samth.github.io)
		1 point by matt_d 8 days ago \| past \| discuss
20.		HarnessTax: How Much Does the Harness Matter for Coding Agents? (harnesstax.github.io)
		232 points by matt_d 8 days ago \| past \| 97 comments
21.		Breaking the 1.58-bit Barrier for Ternary LLMs (arxiv.org)
		245 points by matt_d 8 days ago \| past \| 41 comments
22.		Accurate Models of AMD Matrix Cores (arxiv.org)
		80 points by matt_d 8 days ago \| past \| 11 comments
23.		AI Compilers Are Not Just Compilers for AI (aicompilers.github.io)
		2 points by matt_d 8 days ago \| past \| 1 comment
24.		An Educational GEMM Ladder for Helios GPUs (amd.com)
		1 point by matt_d 8 days ago \| past \| discuss
25.		Verification of a Generational Garbage Collector (arxiv.org)
		2 points by matt_d 8 days ago \| past \| discuss
26.		Revisiting Soundness for Occurrence Typing, Semantically (arxiv.org)
		1 point by matt_d 8 days ago \| past \| discuss
27.		Discovering Interpretable Algorithms by Decompiling Transformers to RASP [video] (youtube.com)
		2 points by matt_d 9 days ago \| past \| discuss
28.		Branch Divergence in SIMT Machines: From CFG to Compiler Divergence Analysis [pdf] (hsmahesha.github.io)
		1 point by matt_d 9 days ago \| past \| discuss
29.		Neuro-Formal Verification: Agentic Language-Agnostic Formal Program Reasoning (arxiv.org)
		3 points by matt_d 9 days ago \| past \| discuss
30.		Into the CUDA Multiverse of Runtime Compilation: GPU DBMS Kernel Fusion [pdf] (vldb.org)
		2 points by matt_d 9 days ago \| past \| discuss
		More