Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
spin_fan
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
spin_fan
2y ago
Spin is a great learning tool. Spin is so much more accessible than TLA+ Toolbox, for instance. But for really serious work, there are much more modern approaches that exploit SMT solvers like Z3 (as TLA+ does) for vastly more powerful mod
2.
▲
by
spin_fan
2y ago
Spin is my new favorite thing. It helped me learn Paxos by model checking the algorithm. My writeup/getting started guide here (for checking Paxos) https://github.com/glycerine/spin_paxos It is kind of awesome tha