matt_d's submissions | Hacker News

1.		AutoResearchExam: Measuring agents' ability to improve and generalize (bespokelabs.ai)
		3 points by matt_d 13 hours ago \| past \| discuss
2.		A Design Space Exploration of Async/Await (brown.edu)
		3 points by matt_d 19 hours ago \| past \| discuss
3.		Not in My Git Yard: Catching Backdoors at Commit and Release Time (arxiv.org)
		3 points by matt_d 1 day ago \| past \| 1 comment
4.		Performance Foundations of Parallel and Distributed Reasoning Language Models (arxiv.org)
		1 point by matt_d 1 day ago \| past \| discuss
5.		Testing race conditions with memory access tracing & stack-based delay injection (projectzero.google)
		4 points by matt_d 2 days ago \| past \| discuss
6.		A preview of the future Intel Architecture documentation (intel.github.io)
		2 points by matt_d 2 days ago \| past \| discuss
7.		Scaling AI: The Communication Wall (aaravwattal.com)
		2 points by matt_d 6 days ago \| past \| discuss
8.		Linked Lists in the Linux Kernel (0xax.dev)
		2 points by matt_d 6 days ago \| past \| discuss
9.		Performance Characterization of SPEC CPU 2026 on AMD EPYC 9755 "Zen 5" Processor (arxiv.org)
		2 points by matt_d 6 days ago \| past \| discuss
10.		Lost Bytes at the Crossroads Between User- and Kernel-Level Memory Allocation [pdf] (tu-bs.de)
		1 point by matt_d 6 days ago \| past \| discuss
11.		After Reflection: The Runtime Story – Saksham Sharma – C++Now 2026 [video] (youtube.com)
		2 points by matt_d 6 days ago \| past \| discuss
12.		Rust Standard Library Verification Contest Scaled Past Manual Proof Engineering (rustfoundation.org)
		2 points by matt_d 7 days ago \| past \| discuss
13.		Test Time Training (ianbarber.blog)
		2 points by matt_d 7 days ago \| past \| discuss
14.		Metastability as a failed conditional discharge of rely-guarantee composition (muratbuffalo.blogspot.com)
		2 points by matt_d 7 days ago \| past \| discuss
15.		Squeezing Performance Out of eBPF (bitbison.io)
		2 points by matt_d 7 days ago \| past \| discuss
16.		Fungible Memories for Automated Technology Mapping and Retargeting: PLDI'26 Talk [video] (youtube.com)
		1 point by matt_d 8 days ago \| past \| discuss
17.		Compilers 2.0: AI as stochastic optimizer (twitter.com/cdleary)
		2 points by matt_d 8 days ago \| past \| discuss
18.		TEAS: Tracking Evolving AI and Systems – cost, accuracy, performance, energy (teasbench.com)
		1 point by matt_d 8 days ago \| past \| discuss
19.		A Deep Dive into LDS Optimizations on AMD Instinct MI450 GPUs (amd.com)
		2 points by matt_d 9 days ago \| past \| discuss
20.		LangLib: Esoteric Programming Languages, Formally (github.com/ilyasergey)
		3 points by matt_d 9 days ago \| past \| discuss
21.		Adaptation Fidelity of SPEC CPU2026 (arxiv.org)
		2 points by matt_d 9 days ago \| past \| discuss
22.		Functional State Machines in Rust: Typestate and Newtype Patterns (acm.org)
		125 points by matt_d 11 days ago \| past \| 50 comments
23.		Chunky Agents (ianbarber.blog)
		3 points by matt_d 12 days ago \| past \| discuss
24.		I accidentally turned LLM memory into program analysis (pwning.systems)
		302 points by matt_d 12 days ago \| past \| 86 comments
25.		Accel-SIM 2.0: Validated GPU Simulation with Full Hopper Support (github.com/accel-sim)
		1 point by matt_d 13 days ago \| past \| discuss
26.		Terminal-Bench-Science: Evaluating AI agents on scientific research workflows (terminal-bench-science.ai)
		117 points by matt_d 13 days ago \| past \| 36 comments
27.		XPress: Parallel Refinement for Diffusion Drafters in Speculative Decoding (supercomputing-system-ai-lab.github.io)
		3 points by matt_d 13 days ago \| past \| discuss
28.		SoK: Multi-Layer Indirect Call Analysis in the Real World [pdf] (brown.edu)
		2 points by matt_d 13 days ago \| past \| discuss
29.		Composition and Modular Verification of TLA+ Specs (muratbuffalo.blogspot.com)
		3 points by matt_d 14 days ago \| past
30.		IncSFS: Incremental Full-Sparse Flow-Sensitive Pointer Analysis for C/C++ (arxiv.org)
		2 points by matt_d 14 days ago \| past
		More