Hacker News
- Wrangling Monotonic Systems in TLA+ https://ahelwer.ca/post/2023-11-01-tla-finite-monotonic/ 7 comments
- Inlining SVGs for Dark Mode https://ahelwer.ca/post/2023-04-06-dark-mode/ 16 comments
- Google Groups has been left to die https://ahelwer.ca/post/2023-03-08-google-groups/ 294 comments
- Checking Firewall Equivalence with Z3 (2018) https://ahelwer.ca/post/2018-02-13-z3-firewall/ 13 comments
- Can sanitizers find the two bugs I wrote in C++? https://ahelwer.ca/post/2023-02-07-cpp-bugs-sanitized/ 192 comments
- Two C++ bugs I found https://ahelwer.ca/post/2023-02-04-cpp-bugs/ 2 comments
- Writing a TLA⁺ tree-sitter grammar: my foray into free software https://ahelwer.ca/post/2023-01-11-tree-sitter-tlaplus/ 3 comments
- How do you reason about a probabilistic distributed system? https://ahelwer.ca/post/2020-04-15-probabilistic-distsys/ 15 comments
- Taking my home work setup seriously: ergonomics and setting in for the long haul https://ahelwer.ca/post/2020-08-09-home-ergonomics/ 2 comments
- Doing a math assignment with the Lean theorem prover https://ahelwer.ca/post/2020-04-05-lean-assignment/ 29 comments
Lobsters
- FOSS I Love: Local game streaming with Sunshine and Moonlight https://ahelwer.ca/post/2023-04-29-sunshine-moonlight/ 4 comments games
- Inlining SVGs for Dark Mode https://ahelwer.ca/post/2023-04-06-dark-mode/ 7 comments css
- Using TLA⁺ at Work: Designing a Snapshot Coordination System https://ahelwer.ca/post/2023-04-05-checkpoint-coordination/ 13 comments distributed , formalmethods
- Pseudocode Showdown: Python vs. PlusCal & TLA+ https://ahelwer.ca/post/2023-03-30-pseudocode/ 2 comments formalmethods
- Google Groups has been left to die https://ahelwer.ca/post/2023-03-08-google-groups/ 52 comments culture
- Can sanitizers find the two bugs I wrote in C++? https://ahelwer.ca/post/2023-02-07-cpp-bugs-sanitized/ 19 comments c , c++
- Two C++ bugs I found https://ahelwer.ca/post/2023-02-04-cpp-bugs/ 13 comments c , c++
- Writing a TLA⁺ tree-sitter grammar: my foray into free software https://ahelwer.ca/post/2023-01-11-tree-sitter-tlaplus/ 13 comments formalmethods
- What's the difference between a computer and a rock? https://ahelwer.ca/post/2022-10-19-defining-computation/ 21 comments philosophy
- How do you reason about a probabilistic distributed system? https://ahelwer.ca/post/2020-04-15-probabilistic-distsys/ 2 comments distributed , formalmethods
- Taking my home work setup seriously: ergonomics and settling in for the long haul https://ahelwer.ca/post/2020-08-09-home-ergonomics/ 38 comments hardware
- Doing a math assignment with the Lean theorem prover https://ahelwer.ca/post/2020-04-05-lean-assignment/ 3 comments formalmethods , math
- Simulating physical reality with a quantum computer https://ahelwer.ca/post/2019-12-21-quantum-chemistry/ 6 comments compsci
- Inlining SVGs for Dark Mode https://ahelwer.ca/post/2023-04-06-dark-mode/ 3 comments programming
- Google Groups has been left to die https://ahelwer.ca/post/2023-03-08-google-groups/ 23 comments technology
- Google Groups has been left to die https://ahelwer.ca/post/2023-03-08-google-groups/ 236 comments programming
- Can sanitizers find the two bugs I wrote in C++? https://ahelwer.ca/post/2023-02-07-cpp-bugs-sanitized/ 18 comments programming
- The Missing Prelude to The Little Typer's Trickiest Chapter https://ahelwer.ca/post/2022-10-13-little-typer-ch9/ 2 comments programming