🦞🌯 Lobster Roll

Stories by fanf2

Type Theory and Functional Programming (1999) [pdf] (cs.cornell.edu)
HN 197 pts 87 comments by fanf2 Oct 1, 2025 Programming (General)Programming Languages / CS Theory thread
The Story of Mel, A Real Programmer, Annotated (1996) (users.cs.utah.edu)
HN 151 pts 47 comments by fanf2 Jul 12, 2025 thread
The annotations are at <a href="https:&#x2F;&#x2F;users.cs.utah.edu&#x2F;~elb&#x2F;folklore&#x2F;mel-annotated&#x2F;node2.html" rel="nofollow">https:&#x2F;&#x2F;users.cs.utah.edu&#x2F;~elb&#x2F;folklore&#x2F;mel-annotated&#x2F;node2....</a>.
Zmij: Faster floating point double-to-string conversion (vitaut.net)
HN 149 pts 43 comments by fanf2 Dec 14, 2025 thread
Why NUKEMAP isn't on Google Maps anymore (2019) (blog.nuclearsecrecy.com)
HN 134 pts 30 comments by fanf2 Jan 14, 2026 thread
The story of Squeak, a practical Smalltalk written in itself (1997) [pdf] (vpri.org)
HN 119 pts 38 comments by fanf2 Dec 24, 2025 thread
Design of the SCHEME-78 Lisp-based microprocessor (1980) (dl.acm.org)
HN 114 pts 48 comments by fanf2 Sep 26, 2025 Programming Languages / CS Theory thread
Default musl allocator considered harmful to performance (nickb.dev)
HN 104 pts 90 comments by fanf2 Sep 5, 2025 thread
Tuning async IO in PostgreSQL 18 (vondra.me)
HN 97 pts 23 comments by fanf2 Sep 29, 2025 Data / Databases / Infrastructure thread
Capsudo: Rethinking sudo with object capabilities (ariadne.space)
HN 93 pts 58 comments by fanf2 Dec 12, 2025 thread
Löb and Möb: Loops in Haskell (2013) (github.com)
HN 91 pts 16 comments by fanf2 Nov 7, 2025 Programming Languages / CS Theory thread
Einstein: NewtonOS running on other operating systems (github.com)
HN 86 pts 13 comments by fanf2 Dec 8, 2025 thread
Turning an old Amazon Kindle into a eInk development platform (2021) (blog.lidskialf.net)
HN 83 pts 13 comments by fanf2 Dec 26, 2025 thread
ARM Memory Tagging: how it improves C/C++ memory safety (2018) [pdf] (llvm.org)
HN 73 pts 47 comments by fanf2 Oct 25, 2025 Systems / Low-Level / OS thread
Scientists Uncover the Universal Geometry of Geology (2020) (quantamagazine.org)
HN 65 pts 16 comments by fanf2 Jan 1, 2026 thread
Stop 'reactions' to email by adding a postfix header (2024) (neilzone.co.uk)
HN 65 pts 70 comments by fanf2 Nov 2, 2025 thread
A Century of Noether's Theorem (arxiv.org)
HN 61 pts 11 comments by fanf2 Dec 27, 2025 Science / Math / Physics thread
Locks in PostgreSQL: 3. Other locks (2020) (habr.com)
HN 60 pts 6 comments by fanf2 Dec 7, 2025 Data / Databases / Infrastructure thread
RE#: High performance derivative-based regular expression matching (2024) (arxiv.org)
HN 55 pts 15 comments by fanf2 Jul 21, 2025 thread
Is sound gradual typing dead? Performance problems in Typed Racket (2016) (dl.acm.org)
HN 46 pts 8 comments by fanf2 Sep 27, 2025 thread
Removing macOS 26 Tahoe's unwanted menu icons (weblog.rogueamoeba.com)
HN 38 pts 3 comments by fanf2 Feb 2, 2026 Apple / macOS / iOS thread
Should CSS be a constraint system instead? (pavpanchekha.com)
HN 38 pts 1 comments by fanf2 Dec 7, 2025 Web Development thread
Optimizations in C++ compilers: a practical journey (queue.acm.org)
HN 38 pts 2 comments by fanf2 Nov 28, 2025 Systems / Low-Level / OS thread
Schubfach: The smallest floating point double-to-string impleme (vitaut.net)
HN 33 pts 3 comments by fanf2 Nov 30, 2025 thread
What the world can learn from Paris's cycling revolution (momentummag.com)
HN 32 pts 2 comments by fanf2 Jan 25, 2026 thread
Grid-scale batteries in Scotland stabilize power with grid-forming inverters (spectrum.ieee.org)
HN 26 pts 6 comments by fanf2 Sep 11, 2025 thread
Entrepreneurs don't have a special gene for risk, they come from families with m (2015) (qz.com)
HN 25 pts 53 comments by fanf2 Nov 14, 2025 thread
Beyond horizons: world-record long-distance photograph 443 km, Finestrelles, Pyr (beyondrange.wordpress.com)
HN 24 pts 0 comments by fanf2 Oct 6, 2025 thread
Rich Hickey answered that Design decisions in Clojure (gist.github.com)
HN 24 pts 0 comments by fanf2 Sep 12, 2025 Programming Languages / CS Theory thread
Teacher effects on student achievement and height: a cautionary tale (2019) (nber.org)
HN 23 pts 1 comments by fanf2 Oct 24, 2025 thread
Anaphoric macros introduce hidden bindings in Lisp (letoverlambda.com)
HN 23 pts 0 comments by fanf2 Aug 21, 2025 Programming Languages / CS Theory thread