I'd be curious to learn about his work habits - have they changed over the years? Has he experienced any procrastination during his career and how he dealt with it? Any advice to those who got bored by the challenges of the modern software industry?
Only now I found that he has a blog, so it looks like I've got some new reading material: https://www.charlespetzold.com/blog/toc.html
Do you have any questions about The Annotated Turing? For me, I'm really interested in the story behind why he wrote it. As he writes in the introduction:
"Turing's original motivation in writing this paper was to solve a problem formulated by German mathematician David Hilbert ..."
I want to know Petzold's motivation for writing this. I know there's a story behind there somewhere especially given how long it took him to write the book :)
Given how old is Turing's paper and how much it was 'dissected' for the book, I would ask the following: * Any other top papers that inspired Charles (or he found them worthy of serious deep dive)? * Does he still read modern papers?
The latter is particularly interesting. I don't have academic background, but some of the people I spoke to claimed that there's lots of subpar papers produced nowadays. Obviously, amount produced in every field significantly increased lately, so it would be interesting to learn how someone with decades of experience is able to filter that out.
https://homepages.inf.ed.ac.uk/wadler/papers/propositions-as...
Page 2 gives some background in how Turing's work fit into the problems that Church and Hilbert were about.
I'd love to hear his thoughts on the current state of Windows: what's going well, what should be done differently.
I wonder if he gets nostalgic for that era of programming, and what stack he would choose if he was writing a Windows app today.
Also, for anyone needing more context on a book called "Code", MS Press has two free chapters, and the TOC, available: https://ptgmedia.pearsoncmg.com/images/9780137909100/samplep...
Not sure if asking about his take on AI will lead anywhere though as that's not really his thing. But I'll explore the area when we talk about Turing (his other book is the Annotated Turing) a bit to see if there's something on the other side that I didn't know about.
There are a lot of tools like nandgame which would integrate well....
Same thing for adaptations for school curricula, afterschool clubs, etc....
I'm not sure the right solution here, but it'd be awesome if there were some way to build from his work for specific contexts.
I would imagine that the hard part is dealing with the publisher and getting them on board with it as well. Added to my list!
https://mitpress.mit.edu/sites/default/files/sicp/full-text/... https://web.mit.edu/6.001/6.037/sicp.pdf
It's worth noting the book comes up on most top-10 CS books and sells exceptionally well. It's been translated into countless languages.
Convincing MIT Press was apparently hard the first time, but after the book sold like hotcakes, future books were easy.
https://mitpress.mit.edu/sites/default/files/titles/content/...
That might come in handy if this winds up going somewhere.
https://groups.csail.mit.edu/mac/users/gjs/
Not everything is web-based. :)
I can guarantee the author will not be offended with either a phone call or by someone dropping by. On the other hand, he's less often in the office post-COVID, so it might take a few tries.
Hal probably knows the story better, but he's a bit less drop-in-able. Jerry is super-friendly. (Hal is friendly too, but more random contacts go to /dev/null)
Dropping by would be harder to do, but a dream interview would be to put him in a room with Guido van Rossum to talk about Python and SICP.
I now need to get over my irrational fear of cold calling someone I don't know already (heck, I don't even do that with people that I do know - it's always "what's a good time to call"?)
If you wanted to talk about robust programming, quantum gravity, differential geometry, education, or a slew of other topics....
As a footnote, I love Python, but someone like Jerry outclasses Guido intellectually. Guido really only did one thing, which is Python. Jerry has done dozens of things.
I think you misunderstand my motivations for putting the two of them in the same room. If there's one thing that I've learned over my years in this world, it's that the magic happens between people, not within any one person's mind. There are three "people" in my scenario - Guido, Jerry, and the audience. Somewhere in that conversation, an idea might be sparked.
If you put Isaac Newton in the same room as George Washington, it'd be two brilliant people, but I'm not sure they'd have much to talk about. They think about different problems.
What might be interesting, come to think of it, would be a Chat Roulette, but populated with these sorts of folks.
In practice I find this rarely to be the case unless you as the facilitator are also commensurately cognitively capable (say that three times fast), otherwise you're sort of placing an excessively undue amount of pressure on them.
Has he seen any of these he thought were effective, does he think it's a useful approach?
[1] https://store.steampowered.com/app/1444480/Turing_Complete/
Some more examples:
- Silicon Zeroes, focus on clocks and speed: https://store.steampowered.com/app/684270/Silicon_Zeroes/
- Prime Mover, at a somewhat higher data packet level, freer hierarchical structure: https://store.steampowered.com/app/693700/Prime_Mover/
- ComPressure, continuous signals in steam machines! https://store.steampowered.com/app/1528120/ComPressure/
- MHRD, code in an HDL, avoids the routing issue but text can be unappealing: https://store.steampowered.com/app/576030/MHRD/
I’d like to know how did he get such deep knowledge of the foundations of computing and how he developed the talent for explaining complex topics in a simple way.
This will be a core part of what we'll be talking about. I continue to be amazed by people who can explain complex topics simply and Charles is near the top of my list of people who can do this well. Feynmann and Dave Cutler (if you can, find a copy of his NT kernel spec doc) are on that list too.
Thanks for the suggestion, looking forward to hearing the episode.