matt_d | Dark Hacker News

user:	matt_d
created:	April 21, 2014
karma:	21.2k

1.	Nested Functions with GCC and Clang(uecker.codeberg.page) 1 points by matt_d 15 hours ago \| 0 comments
2.	z486: A 486-Class Pipelined FPGA CPU with Integrated Floating-Point(nand2mario.github.io) 20 points by matt_d 1 day ago \| 8 comments
3.	CAKE: Compiler-Agent Co-Design for Frontier Kernel Evolution(arxiv.org) 8 points by matt_d 2 days ago \| 0 comments
4.	Structured Decoding with XGrammar(aramesh10.github.io) 2 points by matt_d 2 days ago \| 0 comments
5.	TTT-Discover: Learning to Discover at Test Time(ucbskyadrs.github.io) 2 points by matt_d 3 days ago \| 0 comments
6.	Spaghettifying DRAM(github.com) 709 points by matt_d 3 days ago \| 174 comments
7.	Specula: Scaling formal specs for autonomous model checking of system code(muratbuffalo.blogspot.com) 6 points by matt_d 3 days ago \| 0 comments
8.	Principia Mathematica is modern and insightful(okmij.org) 278 points by matt_d 3 days ago \| 155 comments
9.	Estimating Branch Probabilities(maskray.me) 1 points by matt_d 4 days ago \| 0 comments
10.	A SAT Attack on Tarski's High School Algebra Problem(arxiv.org) 69 points by matt_d 4 days ago \| 26 comments
11.	What Evolves When We Talk About Harness Evolution?(wenwen-d.github.io) 1 points by matt_d 4 days ago \| 0 comments
12.	LSPs for LLMs(ianbarber.blog) 1 points by matt_d 4 days ago \| 0 comments
13.	mmiotic: Latency x-ray for undocumented hardware(github.com) 3 points by matt_d 4 days ago \| 0 comments
14.	The Unseen Delta: Characterizing the Compiler Optimization Landscape(arxiv.org) 2 points by matt_d 4 days ago \| 0 comments
15.	Don't Stall Me Now: Hiding Memory Latency in eBPF(dl.acm.org) 2 points by matt_d 4 days ago \| 0 comments
16.	A Preliminary Study on Simultaneous Coscheduling for Discrete GPU vs. Fused GPU(arxiv.org) 1 points by matt_d 5 days ago \| 0 comments
17.	Scope and Lifetime Restrictions in Swift(github.com) 3 points by matt_d 5 days ago \| 1 comment
18.	RISC-V: Public Review for the RVA23.1 and RVB23.1 Profiles(groups.google.com) 1 points by matt_d 5 days ago \| 0 comments
19.	Cylic Trait Implementations: Motivation(smallcultfollowing.com) 1 points by matt_d 5 days ago \| 0 comments
20.	Moving integer division to floating-point is trivial(marc-b-reynolds.github.io) 50 points by matt_d 5 days ago \| 21 comments
21.	Optimizing GEMM and Activation on CDNA4 with TLX(amd.com) 1 points by matt_d 5 days ago \| 0 comments
22.	EvoHarnessRL: Learning Self-Evolving Runtime Harness for Long-Horizon LLM Agents(arxiv.org) 3 points by matt_d 5 days ago \| 0 comments
23.	Optimizing an NVFP4 Blockscaled GEMM on RTX Pro 6000 Blackwell GPU (SM120)(research.colfax-intl.com) 2 points by matt_d 6 days ago \| 0 comments
24.	Let's Stop Calling Everything "Linear Attention"(htor.inf.ethz.ch) 2 points by matt_d 6 days ago \| 0 comments
25.	Scaling Logical Reasoning on Modern HPC Hardware(surface.syr.edu) 1 points by matt_d 6 days ago \| 0 comments
26.	HCCL: Collective Communication for Meta Training and Inference Accelerators(arxiv.org) 1 points by matt_d 6 days ago \| 0 comments
27.	How do programming languages impact token efficiency and correctness?(danluu.com) 18 points by matt_d 6 days ago \| 1 comment
28.	Reducing Graphics API Complexity: A Clean Slate Design for Modern GPUs [video](youtube.com) 4 points by matt_d 7 days ago \| 0 comments
29.	ACM Europe Summer School on MLIR 2026: Streamed Live, August 10-14(mlir-school.github.io) 12 points by matt_d 8 days ago \| 0 comments