Y
Hacker News
new
|
ask
|
show
|
jobs
user:
ahelwer
created:
2011-12-11
karma:
9125
TLA⁺ core developer
ahelwer.ca
submissions:
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
TLA⁺ is more than a DSL for breadth-first search
9 points
|
2 comments
TLA⁺ Unicode support: Learning to work with others in open source
3 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Wrangling Monotonic Systems in TLA+
67 points
|
7 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments