If you find logic puzzles interesting, take a look at "Games for Your Mind: The History and Future of Logic Puzzles" by Jason Rosenhouse. There's a whole chapter on Smullyan and his Knights and Knaves problems and is a generally good guide for getting into formal logic.
The part I enjoyed the most in the book was "The Empuzzlement of Gödel's Theorems" that uses a twist with Knights and Knaves.
I think this article does a good job in describing why I always found Tesla's tech demos so jarring.
There's a certain amount of "movie magic" that goes into any tech demo to make it work well on stage but Tesla's demos never gave me a sense that what I was seeing would actually line up with how their cars will perform in the real world.
You have to be ambitious and aim high in the tech industry, but at some point you have to level out and stop getting high on hype.
The part I enjoyed the most in the book was "The Empuzzlement of Gödel's Theorems" that uses a twist with Knights and Knaves.
https://www.goodreads.com/book/show/53232141-games-for-your-...