| | Let go of StackOverflow; communities must take ownership (ahelwer.ca) |
| 69 points by tensegrist 83 days ago | past | 86 comments |
|
| | A supposedly worthwhile contract I'll never do again (ahelwer.ca) |
| 11 points by Bogdanp 7 months ago | past |
|
| | The current state of TLA⁺ development (ahelwer.ca) |
| 142 points by todsacerdoti 9 months ago | past | 42 comments |
|
| | Writing a TLA⁺ Tree-sitter grammar (ahelwer.ca) |
| 1 point by nickysielicki 10 months ago | past |
|
| | TLA⁺ is more than a DSL for breadth-first search (ahelwer.ca) |
| 9 points by ahelwer on Sept 18, 2024 | past | 2 comments |
|
| | TLA⁺ Unicode support: Learning to work with others in open source (ahelwer.ca) |
| 3 points by ahelwer on May 28, 2024 | past |
|
| | Wrangling Monotonic Systems in TLA+ (ahelwer.ca) |
| 67 points by ahelwer on Nov 1, 2023 | past | 7 comments |
|
| | FOSS I Love: Local game streaming with Sunshine and Moonlight (ahelwer.ca) |
| 7 points by ahelwer on April 29, 2023 | past | 1 comment |
|
| | Inlining SVGs for Dark Mode (ahelwer.ca) |
| 51 points by ahelwer on April 6, 2023 | past | 16 comments |
|
| | Using TLA+ at Work: Designing a Snapshot Coordination System (ahelwer.ca) |
| 11 points by ahelwer on April 5, 2023 | past |
|
| | Pseudocode Showdown: Python vs. PlusCal and TLA+ (ahelwer.ca) |
| 5 points by ahelwer on March 30, 2023 | past |
|
| | Google Groups has been left to die (ahelwer.ca) |
| 507 points by ahelwer on March 8, 2023 | past | 294 comments |
|
| | How do you reason about a probabilistic distributed system? (2020) (ahelwer.ca) |
| 3 points by abiro on March 4, 2023 | past |
|
| | Checking Firewall Equivalence with Z3 (2018) (ahelwer.ca) |
| 84 points by rrampage on Feb 25, 2023 | past | 13 comments |
|
| | Can sanitizers find the two bugs I wrote in C++? (ahelwer.ca) |
| 138 points by signa11 on Feb 8, 2023 | past | 192 comments |
|
| | Can sanitizers find the two bugs I wrote in C++? (ahelwer.ca) |
| 4 points by ahelwer on Feb 7, 2023 | past |
|
| | Two C++ bugs I wrote (ahelwer.ca) |
| 1 point by xrayarx on Feb 6, 2023 | past |
|
| | Two C++ bugs I found (ahelwer.ca) |
| 3 points by ahelwer on Feb 5, 2023 | past | 2 comments |
|
| | Writing a TLA⁺ tree-sitter grammar: my foray into free software (ahelwer.ca) |
| 131 points by ahelwer on Jan 12, 2023 | past | 3 comments |
|
| | Checking Firewall Equivalence with Z3 (ahelwer.ca) |
| 2 points by weitzj on Jan 3, 2023 | past |
|
| | What's the difference between a computer and a rock? (ahelwer.ca) |
| 1 point by ahelwer on Oct 19, 2022 | past |
|
| | The Missing Prelude to the Little Typer's Trickiest Chapter (ahelwer.ca) |
| 2 points by ahelwer on Oct 13, 2022 | past |
|
| | Two pictures of quantum computation (2020) (ahelwer.ca) |
| 2 points by mooreds on March 14, 2022 | past |
|
| | Regexes in the Z3 Theorem Prover: Analyzing Teleport RBAC (ahelwer.ca) |
| 2 points by ahelwer on Jan 24, 2022 | past |
|
| | Two Pictures of Quantum Computation (ahelwer.ca) |
| 1 point by ahelwer on Dec 10, 2020 | past |
|
| | Walking the faster-than-light tightrope: quantum entanglement and the CHSH game (ahelwer.ca) |
| 1 point by ahelwer on Sept 14, 2020 | past |
|
| | How do you reason about a probabilistic distributed system? (ahelwer.ca) |
| 112 points by ahelwer on Sept 11, 2020 | past | 15 comments |
|
| | Meditation: Sadly my only weapon against the attention economy (ahelwer.ca) |
| 4 points by ahelwer on Aug 30, 2020 | past | 1 comment |
|
| | Taking my home work setup seriously: ergonomics and setting in for the long haul (ahelwer.ca) |
| 22 points by ahelwer on Aug 15, 2020 | past | 2 comments |
|
| | Doing a math assignment with the Lean theorem prover (ahelwer.ca) |
| 141 points by ahelwer on April 6, 2020 | past | 29 comments |
|
|
| More |
