https://www.hillelwayne.com/tags/practices/ Recent content in Practices on Hillel Wayne Hugo -- gohugo.io en-us Mon, 15 Jul 2024 00:00:00 +0000 https://www.hillelwayne.com/post/toolbox-languages/ Mon, 15 Jul 2024 00:00:00 +0000 https://www.hillelwayne.com/post/toolbox-languages/ A toolbox language is a programming language that’s good at solving problems without requiring third party packages. My default toolbox languages are Python and shell scripts, which you probably already know about. Here are some of my more obscure ones. AutoHotKey Had to show up! Autohotkey is basically “shell scripting for GUIs”. Just a fantastic tool to smooth over using unprogrammable applications. It’s Windows-only but similar things exist for Mac and Linux. https://www.hillelwayne.com/post/using-formal-methods/ Mon, 11 Mar 2019 00:00:00 +0000 https://www.hillelwayne.com/post/using-formal-methods/ A few people have told me that they’ve enjoyed learning formal methods but aren’t sure how to actually use it. They’re mostly doing short sprints at work and aren’t building new systems from scratch. This tells me there’s some confusion about what makes specifications useful, and that we need a resource on applying them in practice. This is a short guide to using specifications at work in a way that’s accessible to beginners, applicable in many contexts, and provides solid business value.