matt_d's submissions | Hacker News

1.		Building an Open-Source Verilog Simulator with AI: 580K Lines in 43 Days (normalcomputing.com)
		2 points by matt_d 7 hours ago \| past \| discuss
2.		AgentCgroup: Understanding and Controlling OS Resources of AI Agents (github.com/eunomia-bpf)
		2 points by matt_d 17 hours ago \| past \| discuss
3.		Equality Saturation for Circuit Synthesis and Verification (imperial.ac.uk)
		2 points by matt_d 20 hours ago \| past \| discuss
4.		An Introduction to Folios (oracle.com)
		2 points by matt_d 20 hours ago \| past \| discuss
5.		Perplexity Cannot Always Tell Right from Wrong (ianbarber.blog)
		2 points by matt_d 1 day ago \| past \| discuss
6.		Ganak: The Making of a Versatile, High Performance Model Counter (msoos.org)
		1 point by matt_d 1 day ago \| past \| discuss
7.		TorchLean: Formalizing Neural Networks in Lean (leandojo.org)
		2 points by matt_d 2 days ago \| past \| discuss
8.		Fast Autoscheduling for Sparse ML Frameworks (fredrikbk.com)
		1 point by matt_d 2 days ago \| past \| discuss
9.		TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report) (ndss-symposium.org)
		1 point by matt_d 2 days ago \| past \| discuss
10.		A Reinforcement Learning Environment for Automatic Code Optimization in MLIR (arxiv.org)
		1 point by matt_d 2 days ago \| past \| discuss
11.		Metamorphic Testing for Infrastructure-as-Code Engines [pdf] (programming-group.com)
		2 points by matt_d 3 days ago \| past \| discuss
12.		K-Search: LLM Kernel Generation via Co-Evolving Intrinsic World Model (arxiv.org)
		1 point by matt_d 4 days ago \| past \| 1 comment
13.		Midtraining Bridges Pretraining and Posttraining Distributions (arxiv.org)
		1 point by matt_d 4 days ago \| past \| discuss
14.		Testing "Raw" GPU Cache Latency (clamtech.org)
		2 points by matt_d 4 days ago \| past \| discuss
15.		Hexagon-MLIR: An AI Compilation Stack for Qualcomm's NPUs (arxiv.org)
		3 points by matt_d 5 days ago \| past \| 1 comment
16.		Analyzing Latency Hiding and Parallelism in an MLIR-Based AI Kernel Compiler (arxiv.org)
		1 point by matt_d 5 days ago \| past \| discuss
17.		Argus: Automated Discovery of Test Oracles for DBMSs Using LLMs (joyemang33.github.io)
		1 point by matt_d 6 days ago \| past \| discuss
18.		A Decade of Docker Containers (acm.org)
		3 points by matt_d 6 days ago \| past \| discuss
19.		In Pursuit of High-Fidelity GPU Kernel Benchmarking (standardkernel.com)
		1 point by matt_d 6 days ago \| past \| discuss
20.		From ASPLOS to Orbit: Unikernels Twelve Years Later (gazagnaire.org)
		3 points by matt_d 7 days ago \| past \| discuss
21.		VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean (utopia-group.github.io)
		2 points by matt_d 7 days ago \| past \| discuss
22.		CSLib: The Lean Computer Science Library (arxiv.org)
		2 points by matt_d 8 days ago \| past \| discuss
23.		Heliostat: Harnessing Ray Tracing Accelerators for Page Table Walks – ISCA 2025 [video] (youtube.com)
		2 points by matt_d 8 days ago \| past \| 1 comment
24.		LDOS: Toward a Learning-Directed Operating System (sigops.org)
		3 points by matt_d 10 days ago \| past \| discuss
25.		GenAI for Systems: Recurring Challenges&Design Principles from SW to Silicon (arxiv.org)
		2 points by matt_d 10 days ago \| past \| discuss
26.		Precise exceptions in relaxed architectures [video] (youtube.com)
		2 points by matt_d 10 days ago \| past \| 1 comment
27.		BitFields API: Type-Safe Bit Packing for Lock-Free Data Structures (rocksdb.org)
		1 point by matt_d 10 days ago \| past \| discuss
28.		ThunderKittens 2.0: Even Faster Kernels for Your GPUs (stanford.edu)
		3 points by matt_d 10 days ago \| past \| 2 comments
29.		Proof Assistants in the Age of AI (leodemoura.github.io)
		1 point by matt_d 11 days ago \| past \| discuss
30.		Open Source Software Projects Are Brands (reidkleckner.dev)
		2 points by matt_d 11 days ago \| past \| discuss
		More