| | TLA⁺ is more than a DSL for breadth-first search (ahelwer.ca) |
|
9 points by ahelwer 12 days ago | past | 2 comments
|
|
| | TLA⁺ Unicode support: Learning to work with others in open source (ahelwer.ca) |
|
3 points by ahelwer 4 months ago | past
|
|
| | Wrangling Monotonic Systems in TLA+ (ahelwer.ca) |
|
67 points by ahelwer 11 months ago | 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
|
|
| | Simulating physical reality with a quantum computer (ahelwer.ca) |
|
2 points by ahelwer on Dec 26, 2019 | past
|
|
