Submissions from ahelwer.ca

		Let go of StackOverflow; communities must take ownership (ahelwer.ca)
		69 points by tensegrist 4 months ago \| past \| 86 comments
		A supposedly worthwhile contract I'll never do again (ahelwer.ca)
		11 points by Bogdanp 9 months ago \| past
		The current state of TLA⁺ development (ahelwer.ca)
		142 points by todsacerdoti 10 months ago \| past \| 42 comments
		Writing a TLA⁺ Tree-sitter grammar (ahelwer.ca)
		1 point by nickysielicki on April 1, 2025 \| 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

HN For You