matt_d's submissions | Hacker News

1.		Fungible Memories for Automated Technology Mapping and Retargeting: PLDI'26 Talk [video] (youtube.com)
		1 point by matt_d 5 hours ago \| past \| discuss
2.		Compilers 2.0: AI as stochastic optimizer (twitter.com/cdleary)
		2 points by matt_d 9 hours ago \| past \| discuss
3.		TEAS: Tracking Evolving AI and Systems – cost, accuracy, performance, energy (teasbench.com)
		1 point by matt_d 9 hours ago \| past \| discuss
4.		A Deep Dive into LDS Optimizations on AMD Instinct MI450 GPUs (amd.com)
		2 points by matt_d 1 day ago \| past \| discuss
5.		LangLib: Esoteric Programming Languages, Formally (github.com/ilyasergey)
		3 points by matt_d 1 day ago \| past \| discuss
6.		Adaptation Fidelity of SPEC CPU2026 (arxiv.org)
		2 points by matt_d 1 day ago \| past \| discuss
7.		Functional State Machines in Rust: Typestate and Newtype Patterns (acm.org)
		125 points by matt_d 3 days ago \| past \| 49 comments
8.		Chunky Agents (ianbarber.blog)
		3 points by matt_d 4 days ago \| past \| discuss
9.		I accidentally turned LLM memory into program analysis (pwning.systems)
		302 points by matt_d 4 days ago \| past \| 85 comments
10.		Accel-SIM 2.0: Validated GPU Simulation with Full Hopper Support (github.com/accel-sim)
		1 point by matt_d 4 days ago \| past \| discuss
11.		Terminal-Bench-Science: Evaluating AI agents on scientific research workflows (terminal-bench-science.ai)
		117 points by matt_d 5 days ago \| past \| 36 comments
12.		XPress: Parallel Refinement for Diffusion Drafters in Speculative Decoding (supercomputing-system-ai-lab.github.io)
		2 points by matt_d 5 days ago \| past \| discuss
13.		SoK: Multi-Layer Indirect Call Analysis in the Real World [pdf] (brown.edu)
		2 points by matt_d 5 days ago \| past \| discuss
14.		Composition and Modular Verification of TLA+ Specs (muratbuffalo.blogspot.com)
		3 points by matt_d 6 days ago \| past \| discuss
15.		IncSFS: Incremental Full-Sparse Flow-Sensitive Pointer Analysis for C/C++ (arxiv.org)
		2 points by matt_d 6 days ago \| past \| discuss
16.		Maia 200: A Software Defined Dataflow System for Large-Scale AI Acceleration (arxiv.org)
		3 points by matt_d 6 days ago \| past \| discuss
17.		Mold: A Massively Parallel Linker (arxiv.org)
		186 points by matt_d 6 days ago \| past \| 30 comments
18.		Change MIR to use block arguments instead of phis – LLVM Code Generation RFC (llvm.org)
		20 points by matt_d 6 days ago \| past \| discuss
19.		A Thread-Register Decoupled GPU Execution Model for Efficient Tensor Computation (arxiv.org)
		20 points by matt_d 6 days ago \| past \| discuss
20.		From LLM Inference to Agentic Workloads: Characterization and Implications (arxiv.org)
		2 points by matt_d 6 days ago \| past \| discuss
21.		Flat vs. segmented memory – it's recursive (humprog.org)
		3 points by matt_d 6 days ago \| past \| discuss
22.		Escaping the Quicksand: A Call to Arms (arxiv.org)
		2 points by matt_d 6 days ago \| past \| discuss
23.		Memory Ordering in CPUs (fgiesen.wordpress.com)
		21 points by matt_d 7 days ago \| past \| 3 comments
24.		A Verified Generational GC for OCaml (risemsr.github.io)
		2 points by matt_d 8 days ago \| past \| discuss
25.		Machine-Generated and Checked Proofs for a Verified Compiler (Experience Report) (acm.org)
		2 points by matt_d 8 days ago \| past \| discuss
26.		Evaluating Shrinking (Experience Report) (acm.org)
		2 points by matt_d 8 days ago \| past \| discuss
27.		Lean: Postmortem for the Kernel Soundness Bug Hunt (leodemoura.github.io)
		3 points by matt_d 8 days ago \| past \| discuss
28.		Portability of Fortran's 'do concurrent' on GPUs II (arxiv.org)
		3 points by matt_d 8 days ago \| past \| 1 comment
29.		Tmp.0ut Volume 5 (tmpout.sh)
		3 points by matt_d 9 days ago \| past \| discuss
30.		Formal Perf. and Compile Time Guarantees for Compiler Optimization Heuristics (arxiv.org)
		2 points by matt_d 10 days ago \| past \| discuss
		More