7 ms·
That's too bad, those guys were hilarious. Here's Leslie Lamport solving one of the Car Talk puzzles with TLA+: https://github.com/fintler/tlaplus/raw/master/
by pit 12y ago
That's too bad, those guys were hilarious. Here's Leslie Lamport solving one of the Car Talk puzzles with TLA+:
https://github.com/fintler/tlaplus/raw/master/examples/CarTalkPuzzle/CarTalkPuzzle.pdf https://github.com/fintler/tlaplus/raw/master/examples/CarTa...
- adt2bt 12y agoI'm busy reading his article on Paxos & of course I find this here. Feels like a classic case of the Baader-Meinhof Phenomenon. Regardless, oh my goodness. When you see the solution spit out you just wanna drop your head on the desk. It's that "ahaaa" moment we probably don't feel often enough.