Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
ahelwer | Dark Hacker News
user:
ahelwer
created:
December 11, 2011
karma:
9.1k
about:
TLA⁺ core developer
ahelwer.ca
submissions
comments
1.
TLA⁺ is more than a DSL for breadth-first search
(ahelwer.ca)
9 points
by
ahelwer
1 year ago
|
2 comments
2.
TLA⁺ Unicode support: Learning to work with others in open source
(ahelwer.ca)
3 points
by
ahelwer
1 year ago
|
0 comments
3.
Wrangling Monotonic Systems in TLA+
(ahelwer.ca)
67 points
by
ahelwer
2 years ago
|
7 comments