Hacker Neus
What TLA+ can and can't check
(buttondown.com)
113 points
by b-man
8 hours ago |
27 comments
