News for hackers. Stuff that matters.

A comment on Tom Magliozzi, Co-Host of NPR's 'Car Talk,' Dies at 77.

Re:Tom Magliozzi, Co-Host of NPR's 'Car Talk,' Dies at 77 by pit on Monday November 03, 2014 @03:46PM (#8553372)
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...

[ Parent | on HN ]
Re:Tom Magliozzi, Co-Host of NPR's 'Car Talk,' Dies at 77 by adt2bt on Monday November 03, 2014 @06:34PM (#8554267)
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.

[ Parent | on HN ]