Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
sprinkly-dust
9 days ago
|
parent
|
context
|
favorite
| on:
The internet discovers TLA+. Now what?
F-Star and Dijkstra Monads (which are apparently not really monads?) might get you to what you're looking for
help
Consider applying for YC's Winter 2027 batch!
Applications
are open till November 2.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
