https://www.hillelwayne.com/page/ Recent content in Pages on Hillel Wayne Hugo -- gohugo.io en-us https://www.hillelwayne.com/projects/ Mon, 01 Jan 0001 00:00:00 +0000 https://www.hillelwayne.com/projects/ Teaching Projects I primarily focus on formal methods, the discipline of proving software and systems correct. I work to make these tools more accessible and usable to mainstream industrial computing. While I focus on two tools, TLA+ and Alloy, I’ve also done considerable work for other languages. TLA+ I also wrote the Learn TLA+ website, arguably the best introduction to TLA+ and industrial formal methods available. Before that I wrote Practical TLA+, which was published under Apress. https://www.hillelwayne.com/consulting/ Mon, 01 Jan 0001 00:00:00 +0000 https://www.hillelwayne.com/consulting/ Contact me here. Services: Workshops Talks Spec pairing and review Retainer services Workshops If you’re building complex, expensive systems, my workshops on software modeling can help you save hundreds of thousands in saved developer time and maintenance work. With my training you’ll learn how to Catch complex bugs that would take weeks or months to fix, and fix them before you start writing code. Build complicated systems quickly and with confidence. https://www.hillelwayne.com/open-invite/ Mon, 01 Jan 0001 00:00:00 +0000 https://www.hillelwayne.com/open-invite/ I love chatting tech and helping people with problems. So I’m gonna follow in the footsteps of much smarter people than me and have an open invite to email me. If you have something to talk about or questions on anything, feel free to reach out! Some of the things I can help with: If you’re curious about empirical data on software practices, I might happen to know where to find it, or at least where to start looking. https://www.hillelwayne.com/about/ Mon, 01 Jan 0001 00:00:00 +0000 https://www.hillelwayne.com/about/ Hi, I’m Hillel. I specialize in formal methods for businesses. You can read more about some of the work I’ve done here. This blog is a mix of deep dives into formal methods and programming topics I find interesting. Currently I’m not looking for full employment but am available for consulting opportunities. You can reach me at h at hillelwayne dot com. Open Invite I love chatting tech and helping people with problems. https://www.hillelwayne.com/books/ Mon, 01 Jan 0001 00:00:00 +0000 https://www.hillelwayne.com/books/ I’ve written several books. All titles are links to the purchasing page. Practical TLA+ In my opinion, the best book available on learning formal specification. From the page title: Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource on TLA+ programming with rich, complex examples. Practical TLA+ shows you how to use TLA+ to specify a complex system and test the design itself for bugs.