HNHacker News
TopNewBestAskShowJobs

ahelwer

9,190 karma · joined December 11, 2011

ahelwer.ca
submissionscomments

Can we have reachability properties in TLA⁺?

ahelwer.ca·2 pts·ahelwer·
0

Book review: Is parallel programming hard, and, if so, what can you do about it?

ahelwer.ca·149 pts·ahelwer·
65

The changing role of finite-state model checking

ahelwer.ca·4 pts·ahelwer·
0

TLA⁺ is more than a DSL for breadth-first search

ahelwer.ca·9 pts·ahelwer·
2

TLA⁺ Unicode support: Learning to work with others in open source

ahelwer.ca·3 pts·ahelwer·
0

Wrangling Monotonic Systems in TLA+

ahelwer.ca·67 pts·ahelwer·
7

FOSS I Love: Local game streaming with Sunshine and Moonlight

ahelwer.ca·7 pts·ahelwer·
1

Nintendo hacker Gary Bowser will be in debt to the company for rest of his life

eurogamer.net·7 pts·ahelwer·
1

Inlining SVGs for Dark Mode

ahelwer.ca·51 pts·ahelwer·
16

Using TLA+ at Work: Designing a Snapshot Coordination System

ahelwer.ca·11 pts·ahelwer·
0

Pseudocode Showdown: Python vs. PlusCal and TLA+

ahelwer.ca·5 pts·ahelwer·
0

Google Groups has been left to die

ahelwer.ca·507 pts·ahelwer·
294

How Big Tech rewrote the nation’s first cell phone repair law

grist.org·2 pts·ahelwer·
0

Can sanitizers find the two bugs I wrote in C++?

ahelwer.ca·4 pts·ahelwer·
0

Two C++ bugs I found

ahelwer.ca·3 pts·ahelwer·
2

Writing a TLA⁺ tree-sitter grammar: my foray into free software

ahelwer.ca·131 pts·ahelwer·
3

What's the difference between a computer and a rock?

ahelwer.ca·1 pts·ahelwer·
0

Formal Methods at Microsoft – Nikolaj Bjørner

youtube.com·2 pts·ahelwer·
0

The Missing Prelude to the Little Typer's Trickiest Chapter

ahelwer.ca·2 pts·ahelwer·
0

Microsoft Quantum team reports observation of a 30 μEV topological gap

microsoft.com·3 pts·ahelwer·
0

Ask HN: Why have chorded keyboards not become popular among software engineers?

17 pts·ahelwer·
11

Multi-Paxos in Python, Tested with Jepsen

emptysqua.re·3 pts·ahelwer·
0

Russian Stove

en.wikipedia.org·3 pts·ahelwer·
1

Biden splitting frozen funds for Afghan relief, 9/11 victims

apnews.com·1 pts·ahelwer·
0

What’s Next for Psychology’s Embattled Field of Social Priming (2019)

nature.com·1 pts·ahelwer·
0

Tell HN: Twitter is growing increasingly unusable without an account

313 pts·ahelwer·
242

Regexes in the Z3 Theorem Prover: Analyzing Teleport RBAC

ahelwer.ca·2 pts·ahelwer·
0

A Man Who Ended History: A Documentary [pdf]

kenliu.name·2 pts·ahelwer·
0

Model-Based Testing

johanneslink.net·26 pts·ahelwer·
2

Operator precedence: we can do better

blog.adamant-lang.org·1 pts·ahelwer·
0
Page 1 of 3Next →