matt_d's submissions | Hacker News

1.		Triton Bespoke Layouts (lei.chat)
		2 points by matt_d 9 hours ago \| past \| discuss
2.		AMD64 Bit Matrix Multiply and Bit Reversal Instructions (amd.com)
		8 points by matt_d 1 day ago \| past \| 3 comments
3.		Demystifying ARM SME to Optimize General Matrix Multiplications (arxiv.org)
		83 points by matt_d 1 day ago \| past \| 18 comments
4.		Evolving the OCaml programming language – CSE Bytes: K C Sivaramakrishnan [video] (youtube.com)
		12 points by matt_d 1 day ago \| past \| discuss
5.		Magellan: Autonomous Discovery of Compiler Optimization Heuristics w/AlphaEvolve (arxiv.org)
		4 points by matt_d 1 day ago \| past \| discuss
6.		Automatic Data Enumeration for Fast Collections (mcmichen.cc)
		1 point by matt_d 3 days ago \| past \| discuss
7.		An MLIR Lowering Pipeline for Stencils at Wafer-Scale (arxiv.org)
		1 point by matt_d 3 days ago \| past \| discuss
8.		The JAX sharding type system (ezyang.com)
		1 point by matt_d 4 days ago \| past \| discuss
9.		AutoSP: Unlocking Long-Context LLM Training via Compiler-Based SP (ICLR 2026) (openreview.net)
		1 point by matt_d 4 days ago \| past \| discuss
10.		Disentangling unification and implicit coercion (subtyping interaction problem) (jonmsterling.com)
		2 points by matt_d 5 days ago \| past \| discuss
11.		Global vs. Local SPMD (ezyang.com)
		1 point by matt_d 5 days ago \| past \| discuss
12.		ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) 2026 talks (youtube.com)
		3 points by matt_d 5 days ago \| past \| discuss
13.		Long branches in compilers, assemblers, and linkers (maskray.me)
		1 point by matt_d 6 days ago \| past \| discuss
14.		Megatron via shard_map (ezyang.com)
		1 point by matt_d 6 days ago \| past \| discuss
15.		Cloud-Hardware Co-Design for Memory Bandwidth-Bound HPC Workloads: Azure HBv5 (acm.org)
		1 point by matt_d 6 days ago \| past \| discuss
16.		CuTile on Blackwell: NVIDIA's Compiler Moat Is Already Built (patricktoulme.substack.com)
		3 points by matt_d 7 days ago \| past \| discuss
17.		Compiling Classical Sequent Calculus to Stock Hardware: Duality of Compilation [video] (youtube.com)
		1 point by matt_d 7 days ago \| past \| discuss
18.		Computing Sharding with Einsum (ezyang.com)
		26 points by matt_d 7 days ago \| past \| discuss
19.		What Is Control Flow Analysis for Lambda Calculus? [audio] (podcasts.apple.com)
		1 point by matt_d 9 days ago \| past \| 1 comment
20.		Introduction to Coinduction in Agda Part 1: Coinductive Programming (jesper.cx)
		1 point by matt_d 9 days ago \| past \| discuss
21.		Terminal-Bench: Benchmarking Agents on Hard, Realistic Tasks in CLIs (arxiv.org)
		2 points by matt_d 10 days ago \| past \| discuss
22.		Multi-Modal Program Verification in Velvet (proofsandintuitions.net)
		1 point by matt_d 11 days ago \| past \| discuss
23.		Python, Is It Being Killed by Incremental Improvements? (stefan-marr.de)
		2 points by matt_d 12 days ago \| past \| discuss
24.		Terabyte-Scale Analytics in the Blink of an Eye (arxiv.org)
		2 points by matt_d 15 days ago \| past
25.		What Is Control Flow Analysis for Lambda Calculus? – Iowa Type Theory Commute (buzzsprout.com)
		14 points by matt_d 16 days ago \| past \| 1 comment
26.		Benchmarking a Baseline Fully-in-Place Functional Language Compiler [pdf] (trendsfp.github.io)
		40 points by matt_d 16 days ago \| past \| 5 comments
27.		Trends in Functional Programming (TFP) 2026 (trendsfp.github.io)
		4 points by matt_d 16 days ago \| past
28.		Categorical Foundations for CuTe Layouts (arxiv.org)
		3 points by matt_d 17 days ago \| past
29.		StackWarp: Exploiting Stack Layout Vulnerabilities in Modern Processors (roots.ec)
		3 points by matt_d 17 days ago \| past
30.		Cloud RAM (mikekohn.net)
		32 points by matt_d 20 days ago \| past \| 10 comments
		More