HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by whattheheckheck | Hacker News Reader
Full thread
whattheheckheck
·
Throw in some tla+, eventb, p and modp for formal guarantees
View on HN
sidharthkmenon
·
haha, we're thinking the same way:
https://dev.fast/about/
Reply on news.ycombinator.com