Hacker News new | ask | show | jobs
by pit 4238 days 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/CarTa...

1 comments

I'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.