🦞🌯 Lobster Roll

Stories by matt_d

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
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV) (siglog.org)
HN 45 pts 13 comments by matt_d Jun 21, 2025 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
A mechanically verified garbage collector for OCaml [pdf] (kcsrk.info)
HN 40 pts 4 comments by matt_d Feb 27, 2025 Systems / Low-Level / OSProgramming 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>
EDAN: Towards Understanding Memory Parallelism and Latency Sensitivity in HPC [pdf] (spcl.inf.ethz.ch)
HN 34 pts 1 comments by matt_d Jun 10, 2025 thread
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
Chapter 2: Serializability Theory (1987 Concurrency Control Book) (muratbuffalo.blogspot.com)
HN 32 pts 0 comments by matt_d May 15, 2025 Culture / Philosophy / History / Reading thread
Potential and Limitation of High-Frequency Cores and Caches (2024) (arch.cs.ucdavis.edu)
HN 30 pts 12 comments by matt_d Jun 5, 2025 thread
Scanning HTML at Gigabytes per Second on Arm Processors (onlinelibrary.wiley.com)
HN 29 pts 1 comments by matt_d Mar 17, 2025 Web Development 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
The Algebra of Patterns (Extended Version) (arxiv.org)
HN 25 pts 2 comments by matt_d May 3, 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
A Comprehensive Proposal Overviewing Blocks, Nested Functions, and Lambdas for C (thephd.dev)
HN 17 pts 3 comments by matt_d Jul 8, 2025 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
Disaggregation: A New Architecture for Cloud Databases (muratbuffalo.blogspot.com)
HN 16 pts 0 comments by matt_d Sep 8, 2025 Data / Databases / Infrastructure thread
Telescopes Are Tries: A Dependent Type Shellac on SQLite (philipzucker.com)
HN 16 pts 0 comments by matt_d Jun 23, 2025 Programming Languages / CS TheoryData / Databases / Infrastructure thread
Oodle 2.9.14 and Intel 13th/14th gen CPUs (fgiesen.wordpress.com)
HN 16 pts 1 comments by matt_d May 22, 2025 thread
Evolving the OCaml programming language – CSE Bytes: K C Sivaramakrishnan [video] (youtube.com)
HN 15 pts 0 comments by matt_d Jan 31, 2026 Programming (General)Programming Languages / CS Theory thread
3rd Largest Element: SIMD Edition (parallelprogrammer.substack.com)
HN 15 pts 0 comments by matt_d Sep 30, 2025 thread
What Is Control Flow Analysis for Lambda Calculus? – Iowa Type Theory Commute (rss.buzzsprout.com)
HN 14 pts 1 comments by matt_d Jan 16, 2026 Programming Languages / CS TheoryScience / Math / Physics thread
Analyzing Control Flow More Like a Human [video] (wonks.github.io)
HN 14 pts 1 comments by matt_d Aug 6, 2025 thread