🦞🌯 Lobster Roll

Stories by ahelwer

Google Groups has been left to die (ahelwer.ca)
L 62 pts 51 comments by ahelwer Mar 8, 2023 culture Culture / Philosophy / History / Reading thread
Taking my home work setup seriously: ergonomics and settling in for the long haul (ahelwer.ca)
L 50 pts 38 comments by ahelwer Aug 15, 2020 hardware Maker / DIY / Hardware thread
A supposedly worthwhile contract I'll never do again (ahelwer.ca)
L 45 pts 11 comments by ahelwer Jul 4, 2025 formalmethods Programming Languages / CS Theory thread
AI models collapse when trained on recursively generated data (nature.com)
L 33 pts 9 comments by ahelwer Jul 24, 2024 vibecoding AI / Machine Learning thread
The Full-Source Bootstrap: Building from source all the way down (guix.gnu.org)
L 29 pts 4 comments by ahelwer Nov 25, 2023 nix Systems / Low-Level / OS thread
Seattle’s Living Computers Museum logs off for good as Paul Allen estate will auction vintage items (geekwire.com)
L 27 pts 15 comments by ahelwer Jun 25, 2024 hardware Gaming / Retro ComputingMaker / DIY / HardwareCulture / Philosophy / History / Reading thread
Building a Debugger: Write a Native x64 Debugger From Scratch (nostarch.com)
L 24 pts 9 comments by ahelwer Jun 10, 2025 c++debugging Systems / Low-Level / OSProgramming (General) thread
TLA⁺ is more than a DSL for breadth-first search (ahelwer.ca)
L 24 pts 14 comments by ahelwer Sep 18, 2024 formalmethods Programming Languages / CS Theory thread
The current state of TLA⁺ development (ahelwer.ca)
L 22 pts 6 comments by ahelwer May 15, 2025 formalmethods Programming Languages / CS Theory thread
Linux Foundation Announces Launch of TLA+ Foundation (linuxfoundation.org)
L 22 pts 12 comments by ahelwer Apr 21, 2023 formalmethods Systems / Low-Level / OSProgramming Languages / CS Theory thread
Inlining SVGs for Dark Mode (ahelwer.ca)
L 19 pts 7 comments by ahelwer Apr 6, 2023 css Web Development thread
Writing a TLA⁺ tree-sitter grammar: my foray into free software (ahelwer.ca)
L 19 pts 13 comments by ahelwer Jan 12, 2023 formalmethods Programming (General)Programming Languages / CS Theory thread
FOSS I Love: Local game streaming with Sunshine and Moonlight (ahelwer.ca)
L 18 pts 4 comments by ahelwer Apr 29, 2023 games Gaming / Retro Computing thread
Using TLA⁺ at Work: Designing a Snapshot Coordination System (ahelwer.ca)
L 18 pts 13 comments by ahelwer Apr 5, 2023 distributedformalmethods Programming Languages / CS TheoryData / Databases / Infrastructure thread
Typing "nix-env -i" should not try to install every single package [2014] (github.com)
L 17 pts 13 comments by ahelwer Jan 5, 2024 nix Systems / Low-Level / OS thread
Functional Programming in Lean (leanprover.github.io)
L 17 pts 0 comments by ahelwer Jul 8, 2023 formalmethodsprogramming Programming (General)Programming Languages / CS Theory thread
The book was completed in May 2023 so I figure this warrants a re-submission. I'm reading through it now if anybody has time and wants to work through it together.
Two C++ bugs I wrote (ahelwer.ca)
L 17 pts 13 comments by ahelwer Feb 5, 2023 cc++ Systems / Low-Level / OS thread
Doing a math assignment with the Lean theorem prover (ahelwer.ca)
L 17 pts 3 comments by ahelwer Apr 6, 2020 formalmethodsmath Programming Languages / CS TheoryScience / Math / Physics thread
Which Parsing Approach? (2020) (tratt.net)
L 16 pts 11 comments by ahelwer Jul 23, 2023 compilers Systems / Low-Level / OSProgramming Languages / CS Theory thread
What's the difference between a computer and a rock? (ahelwer.ca)
L 16 pts 21 comments by ahelwer Oct 19, 2022 philosophy Culture / Philosophy / History / Reading thread
The Missing Prelude to The Little Typer's Trickiest Chapter (ahelwer.ca)
L 16 pts 1 comments by ahelwer Oct 13, 2022 formalmethodsplt Programming Languages / CS Theory thread
TLA+ Monthly Development Update - December 2024 (foundation.tlapl.us)
L 15 pts 2 comments by ahelwer Dec 17, 2024 formalmethods Programming Languages / CS Theory thread
Can sanitizers find the two bugs I wrote in C++? (ahelwer.ca)
L 15 pts 19 comments by ahelwer Feb 7, 2023 cc++ Systems / Low-Level / OS thread
Detaching GraalVM from the Java Ecosystem Train (blogs.oracle.com)
L 13 pts 5 comments by ahelwer Sep 28, 2025 java Programming (General) thread
What implementation-independent test file formats exist for language tooling?
L 13 pts 24 comments by ahelwer Dec 1, 2024 asktesting Programming (General) thread
At some point in a programming language's life the community will want to pursue standardization. In my mind this idea is bound with multiple implementations of the language's toolset - the lexer, parser, semantic analyzer, type checker, and so forth. A large implementation-independent test corpus i...
Using the Z3 Theorem Prover to analyze RBAC (goteleport.com)
L 13 pts 0 comments by ahelwer Jan 19, 2022 formalmethods Programming Languages / CS TheoryScience / Math / Physics thread
Huawei develops 72TB SSD-tape hybrid storage device (tomshardware.com)
L 12 pts 4 comments by ahelwer Nov 15, 2024 hardware Maker / DIY / Hardware thread
This has the same energy as using an old steam locomotive boiler to drive a generator powering an electric motor. Having said that, I would buy one.
TLA⁺ Unicode support: Learning to work with others in open source (ahelwer.ca)
L 12 pts 1 comments by ahelwer May 28, 2024 formalmethods Programming (General)Programming Languages / CS Theory thread
Wrangling monotonic systems in TLA+ (ahelwer.ca)
L 12 pts 0 comments by ahelwer Nov 1, 2023 distributedformalmethods Programming Languages / CS TheoryData / Databases / Infrastructure thread
Pitfalls of Programming with Dependent Types (lean-lang.org)
L 12 pts 2 comments by ahelwer Sep 26, 2023 formalmethodsplt Programming (General)Programming Languages / CS Theory thread