matt_d's submissions | Hacker News

1.		Two mechanisms for dynamic type checks (wingolog.org)
		1 point by matt_d 9 hours ago \| past \| discuss
2.		Semantics, Operations, and Properties of P3109 Floating-Point Formats in Lean (github.com/rutgers-apl)
		1 point by matt_d 11 hours ago \| past \| discuss
3.		Oral History of Michael J. Flynn [video] (youtube.com)
		2 points by matt_d 16 hours ago \| past \| discuss
4.		Productively Programming Accelerated Computing Systems – Rohan Yadav (Stanford) [video] (youtube.com)
		2 points by matt_d 16 hours ago \| past \| discuss
5.		How to train your program verifier (risemsr.github.io)
		1 point by matt_d 17 hours ago \| past \| discuss
6.		Minimalist Design for Space Camera Flight Software (acm.org)
		3 points by matt_d 18 hours ago \| past \| discuss
7.		AMO-Lean: Towards Formally Verified Optimization via Equality Saturation in Lean (lambdaclass.com)
		1 point by matt_d 1 day ago \| past \| discuss
8.		Fine-Tuning GPT-5 for GPU Kernel Generation (arxiv.org)
		4 points by matt_d 5 days ago \| past \| discuss
9.		"Am I the only one still wondering what is the deal with linear types?" – Jon S (jonmsterling.com)
		4 points by matt_d 6 days ago \| past \| discuss
10.		Running the "Reflections on Trusting Trust" Compiler: Revisiting the Backdoor (acm.org)
		2 points by matt_d 6 days ago \| past \| discuss
11.		TileIR (ianbarber.blog)
		3 points by matt_d 6 days ago \| past \| discuss
12.		Pushing Tensor Accelerators Beyond MatMul in a User-Schedulable Language (arxiv.org)
		2 points by matt_d 6 days ago \| past \| discuss
13.		TLX: Triton-Like Simplicity, a Clear Path to Peak Performance [video] (youtube.com)
		3 points by matt_d 7 days ago \| past \| discuss
14.		Automating Inference Optimizations with NVIDIA TensorRT LLM AutoDeploy (nvidia.com)
		1 point by matt_d 7 days ago \| past \| discuss
15.		SMTLIB as a Compiler IR I (philipzucker.com)
		1 point by matt_d 9 days ago \| past \| discuss
16.		Equality Saturation Meets ML: The Next Step for Smarter Optimizing Compilers [video] (youtube.com)
		1 point by matt_d 9 days ago \| past \| discuss
17.		Silicon Photonics in the Data Center: What a CMOS Exec Needs to Know (semiengineering.com)
		3 points by matt_d 9 days ago \| past \| discuss
18.		Verifying Distributed Protocols in Veil (proofsandintuitions.net)
		1 point by matt_d 9 days ago \| past \| discuss
19.		Project Pterodactyl: Incremental Architecture (jonmsterling.com)
		1 point by matt_d 11 days ago \| past \| discuss
20.		European Lisp Symposium 2025: Talks (youtube.com)
		4 points by matt_d 12 days ago \| past \| discuss
21.		AutoOverlap: Enabling Fine-Grained Overlap of Computation and Communication (arxiv.org)
		3 points by matt_d 13 days ago \| past \| discuss
22.		Axe: A Simple Unified Layout Abstraction for Machine Learning Compilers (arxiv.org)
		1 point by matt_d 13 days ago \| past \| discuss
23.		35th ACM SIGPLAN International Conference on Compiler Construction (CC 2026) (acm.org)
		2 points by matt_d 13 days ago \| past \| discuss
24.		VFlatten: Selective Value-Object Flattening Using Hybrid Static&Dynamic Analysis [pdf] (iitb.ac.in)
		1 point by matt_d 13 days ago \| past \| discuss
25.		Agentic Proof-Oriented Programming (risemsr.github.io)
		2 points by matt_d 13 days ago \| past \| discuss
26.		MLIR-Tutor: Exercises for Learning MLIR (Originally Written for PPoPP 2026) (github.com/groverkss)
		1 point by matt_d 14 days ago \| past
27.		Fast Autoscheduling for Sparse ML Frameworks (ajroot.pl)
		1 point by matt_d 14 days ago \| past
28.		Replicate Forwards, Partial Backwards (ezyang.com)
		1 point by matt_d 15 days ago \| past
29.		Frontier-CS 1.0 Release (frontier-cs.org)
		2 points by matt_d 15 days ago \| past
30.		uops-again.info: corner-case behaviours of port assignment on Intel processors (uops-again.info)
		1 point by matt_d 15 days ago \| past \| 1 comment
		More