Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
qznc
on May 25, 2023
|
parent
|
context
|
favorite
| on:
Implementing a distributed key-value store on top ...
I think you should try TLA+. I found it surprisingly easy:
https://beza1e1.tuxen.de/tla-plus.html
Still haven’t found an opportunity to use it professionally though.
thdespou
on May 27, 2023
[–]
It's not easy. if it was easy, everyone would be using it. I think it's more like thought provoking.
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
Still haven’t found an opportunity to use it professionally though.