🦞🌯 Lobster Roll

Stories by matt_d

Algorithms for Modern Processor Architectures (lemire.github.io)
HN 290 pts 58 comments by matt_d Jul 22, 2025 Science / Math / Physics thread
Test Results for AMD Zen 5 (agner.org)
HN 255 pts 79 comments by matt_d Jul 26, 2025 thread
High-Performance DBMSs with io_uring: When and How to use it (arxiv.org)
HN 194 pts 49 comments by matt_d Jan 6, 2026 thread
Evolving the OCaml Programming Language (2025) [pdf] (kcsrk.info)
HN 159 pts 48 comments by matt_d Sep 5, 2025 Programming (General)Programming Languages / CS Theory thread
FlashAttention-T: Towards Tensorized Attention (dl.acm.org)
HN 116 pts 57 comments by matt_d Feb 3, 2026 thread
TorchLean: Formalizing Neural Networks in Lean (leandojo.org)
HN 104 pts 20 comments by matt_d Mar 1, 2026 AI / Machine Learning thread
Slicing Is All You Need: Towards a Universal One-Sided Distributed MatMul (arxiv.org)
HN 99 pts 8 comments by matt_d Nov 19, 2025 thread
Demystifying ARM SME to Optimize General Matrix Multiplications (arxiv.org)
HN 88 pts 19 comments by matt_d Jan 31, 2026 thread
How to Think About GPUs (jax-ml.github.io)
HN 88 pts 1 comments by matt_d Aug 19, 2025 thread
Safepoints and Fil-C (fil-c.org)
HN 87 pts 44 comments by matt_d Sep 16, 2025 thread
Gluon: a GPU programming language based on the same compiler stack as Triton (github.com)
HN 83 pts 24 comments by matt_d Sep 17, 2025 Systems / Low-Level / OSProgramming (General) thread
How to train your program verifier (risemsr.github.io)
HN 80 pts 16 comments by matt_d Feb 18, 2026 Programming (General) thread
A Generalized Algebraic Theory of Directed Equality (jacobneu.phd)
HN 63 pts 26 comments by matt_d Sep 18, 2025 thread
Still Asking: How Good Are Query Optimizers, Really? [pdf] (vldb.org)
HN 60 pts 13 comments by matt_d Aug 31, 2025 thread
Decompiling the Synergy: Human–LLM Teaming in Reverse Engineering [pdf] (zionbasque.com)
HN 53 pts 1 comments by matt_d Dec 17, 2025 AI / Machine Learning thread
Identity Types (bartoszmilewski.com)
HN 49 pts 41 comments by matt_d Sep 22, 2025 thread
Ga68, a GNU Algol 68 Compiler (fosdem.org)
HN 48 pts 23 comments by matt_d Feb 3, 2026 Systems / Low-Level / OS thread
Clang: -Wexperimental-lifetime-safety: Experimental C++ Lifetime Safety Analysis (github.com)
HN 42 pts 1 comments by matt_d Jul 14, 2025 Systems / Low-Level / OS thread
Benchmarking a Baseline Fully-in-Place Functional Language Compiler [pdf] (trendsfp.github.io)
HN 41 pts 5 comments by matt_d Jan 16, 2026 Systems / Low-Level / OS thread
Dependent Types: Universes, or types of types (jonmsterling.com)
HN 41 pts 2 comments by matt_d Aug 27, 2025 Programming Languages / CS Theory thread
Transforming recursion into iteration for LLVM loop optimizations (dspace.mit.edu)
HN 35 pts 7 comments by matt_d Sep 21, 2025 Systems / Low-Level / OS thread
<a href="https:&#x2F;&#x2F;dspace.mit.edu&#x2F;bitstream&#x2F;handle&#x2F;1721.1&#x2F;162684&#x2F;cuevas-eliec-meng-eecs-2025-thesis.pdf?sequence=1&amp;isAllowed=y" rel="nofollow">https:&#x2F;&#x2F;dspace.mit.edu&#x2F;bitstream&#x2F;handle&#x2F;1721.1&#x2F;162684&#x2F;cuevas...</a>
Cloud RAM (mikekohn.net)
HN 32 pts 10 comments by matt_d Jan 12, 2026 thread
IRHash: Efficient Multi-Language Compiler Caching by IR-Level Hashing (usenix.org)
HN 32 pts 11 comments by matt_d Sep 5, 2025 Systems / Low-Level / OS thread
Computing Sharding with Einsum (blog.ezyang.com)
HN 27 pts 0 comments by matt_d Jan 25, 2026 thread
Draw high dimensional tensors as a matrix of matrices (blog.ezyang.com)
HN 25 pts 3 comments by matt_d Oct 25, 2025 thread
A Clash Course in Solving Sudoku (Functional Pearl) [pdf] (unsafeperform.io)
HN 22 pts 2 comments by matt_d Aug 21, 2025 thread
Optimizing a 6502 image decoder – part II: assembly (colino.net)
HN 21 pts 4 comments by matt_d Oct 4, 2025 Systems / Low-Level / OS thread
Converting Binary Floating-Point Numbers to Shortest Decimal Strings (onlinelibrary.wiley.com)
HN 20 pts 5 comments by matt_d 5d ago thread
Wafer-Scale AI Compute: A System Software Perspective (sigops.org)
HN 20 pts 1 comments by matt_d Oct 25, 2025 AI / Machine Learning thread
SE Radio 708: Jens Gustedt on C in 2026 (se-radio.net)
HN 16 pts 1 comments by matt_d Feb 20, 2026 Maker / DIY / Hardware thread