| 1. | | TLA⁺ is more than a DSL for breadth-first search (ahelwer.ca) |
| 9 points by ahelwer on Sept 18, 2024 | past | 2 comments |
|
| 2. | | TLA⁺ Unicode support: Learning to work with others in open source (ahelwer.ca) |
| 3 points by ahelwer on May 28, 2024 | past |
|
| 3. | | Wrangling Monotonic Systems in TLA+ (ahelwer.ca) |
| 67 points by ahelwer on Nov 1, 2023 | past | 7 comments |
|
| 4. | | FOSS I Love: Local game streaming with Sunshine and Moonlight (ahelwer.ca) |
| 7 points by ahelwer on April 29, 2023 | past | 1 comment |
|
| 5. | | Nintendo hacker Gary Bowser will be in debt to the company for rest of his life (eurogamer.net) |
| 7 points by ahelwer on April 18, 2023 | past | 1 comment |
|
| 6. | | Inlining SVGs for Dark Mode (ahelwer.ca) |
| 51 points by ahelwer on April 6, 2023 | past | 16 comments |
|
| 7. | | Using TLA+ at Work: Designing a Snapshot Coordination System (ahelwer.ca) |
| 11 points by ahelwer on April 5, 2023 | past |
|
| 8. | | Pseudocode Showdown: Python vs. PlusCal and TLA+ (ahelwer.ca) |
| 5 points by ahelwer on March 30, 2023 | past |
|
| 9. | | Google Groups has been left to die (ahelwer.ca) |
| 507 points by ahelwer on March 8, 2023 | past | 294 comments |
|
| 10. | | How Big Tech rewrote the nation’s first cell phone repair law (grist.org) |
| 2 points by ahelwer on Feb 8, 2023 | past |
|
| 11. | | Can sanitizers find the two bugs I wrote in C++? (ahelwer.ca) |
| 4 points by ahelwer on Feb 7, 2023 | past |
|
| 12. | | Two C++ bugs I found (ahelwer.ca) |
| 3 points by ahelwer on Feb 5, 2023 | past | 2 comments |
|
| 13. | | Writing a TLA⁺ tree-sitter grammar: my foray into free software (ahelwer.ca) |
| 131 points by ahelwer on Jan 12, 2023 | past | 3 comments |
|
| 14. | | What's the difference between a computer and a rock? (ahelwer.ca) |
| 1 point by ahelwer on Oct 19, 2022 | past |
|
| 15. | | Formal Methods at Microsoft – Nikolaj Bjørner (youtube.com) |
| 2 points by ahelwer on Oct 18, 2022 | past |
|
| 16. | | The Missing Prelude to the Little Typer's Trickiest Chapter (ahelwer.ca) |
| 2 points by ahelwer on Oct 13, 2022 | past |
|
| 17. | | Microsoft Quantum team reports observation of a 30 μEV topological gap (microsoft.com) |
| 3 points by ahelwer on March 14, 2022 | past |
|
| 18. | | Ask HN: Why have chorded keyboards not become popular among software engineers? |
| 17 points by ahelwer on March 1, 2022 | past | 11 comments |
|
| 19. | | Multi-Paxos in Python, Tested with Jepsen (emptysqua.re) |
| 3 points by ahelwer on Feb 18, 2022 | past |
|
| 20. | | Russian Stove (wikipedia.org) |
| 3 points by ahelwer on Feb 16, 2022 | past | 1 comment |
|
| 21. | | Biden splitting frozen funds for Afghan relief, 9/11 victims (apnews.com) |
| 1 point by ahelwer on Feb 11, 2022 | past |
|
| 22. | | What’s Next for Psychology’s Embattled Field of Social Priming (2019) (nature.com) |
| 1 point by ahelwer on Feb 10, 2022 | past |
|
| 23. | | Tell HN: Twitter is growing increasingly unusable without an account |
| 313 points by ahelwer on Jan 28, 2022 | past | 242 comments |
|
| 24. | | Regexes in the Z3 Theorem Prover: Analyzing Teleport RBAC (ahelwer.ca) |
| 2 points by ahelwer on Jan 24, 2022 | past |
|
| 25. | | A Man Who Ended History: A Documentary [pdf] (kenliu.name) |
| 2 points by ahelwer on Jan 15, 2022 | past |
|
| 26. | | Model-Based Testing (johanneslink.net) |
| 26 points by ahelwer on Nov 18, 2021 | past | 2 comments |
|
| 27. | | Operator precedence: we can do better (adamant-lang.org) |
| 1 point by ahelwer on April 18, 2021 | past |
|
| 28. | | Rockfall destroys pipeline to USA's oldest operating hydroelectric power plant (durangoherald.com) |
| 2 points by ahelwer on March 23, 2021 | past |
|
| 29. | | Edmund M. Clarke, recipient of 2007 Turing Award, passes away from Covid-19 (linkedin.com) |
| 19 points by ahelwer on Dec 24, 2020 | past | 2 comments |
|
| 30. | | Two Pictures of Quantum Computation (ahelwer.ca) |
| 1 point by ahelwer on Dec 10, 2020 | past |
|
|
| More |
