Skip to content

Top Best Ask Show New 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)

3ahelwer2y ago0

3

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

(ahelwer.ca)

67ahelwer2y ago7

4

FOSS I Love: Local game streaming with Sunshine and Moonlight (opens in new tab)

(ahelwer.ca)

7ahelwer3y ago1