This week we welcome Hillel Wayne (@Hillelogram) as our PyDev of the Week! Hillel is the author of “Learn TLA+” and is currently writing “Practical TLA+” with Apress. You should check out his website / blog as it is a good place to learn more about him. Hillel also recently spoke at PyCon US on testing. Let’s take a few moments to chat with Hillel!
Can you tell us a little about yourself (hobbies, education, etc):
I was planning on being a physicist for the longest time until my fourth year of college, when I suddenly switched to wanting to be a programmer. I spent a while as a fullstack in the Bay Area and a backend dev in Chicago, where I discovered a deep love of formal methods, or the practice of “mathematically” designing and building software. If you’ve read The Coming Software Apocalypse, that’s a really good introduction to the why and the what. I now do consulting and workshops, helping people with the how; these tools are way too powerful and useful to stay niche.
Beyond formal methods, my interests in tech are as follows:
- Software Safety: where do bugs actually come from, and how we do make them less likely?
- Empirical Software Engineering: what do we actually know is true in software engineering, and what do we just think is true?
- Software History: how did we get where we are, and what can we learn from the past?
- Weird and interesting niche ideas, languages, techniques, etc.
Outside of tech, I do a lot of juggling and cooking. I’m a super avid confectioner and chocolatier. There’s a place in Chicago that sells 10-pound bars of chocolate for 50 bucks and I usually go through about four bars a year. Continue reading PyDev of the Week: Hillel Wayne