Skip to content

Top New Best Ask Show Jobs

ahelwer | Better HN

ahelwer

9,125 karmaJoined December 11, 20111,798 submissions

TLA⁺ core developer

ahelwer.ca

Recent submissions

1

TLA⁺ is more than a DSL for breadth-first search (opens in new tab)

(ahelwer.ca)

9ahelwer1y ago2

2

TLA⁺ Unicode support: Learning to work with others in open source (opens in new tab)

(ahelwer.ca)

3ahelwer1y ago0

3

Wrangling Monotonic Systems in TLA+ (opens in new tab)

(ahelwer.ca)

67ahelwer2y ago7