https://www.hillelwayne.com/tags/projects/ Recent content in Projects on Hillel Wayne Hugo -- gohugo.io en-us Mon, 21 Aug 2023 00:00:00 +0000 https://www.hillelwayne.com/post/ahk-scripts-project/ Mon, 21 Aug 2023 00:00:00 +0000 https://www.hillelwayne.com/post/ahk-scripts-project/ tl;dr annotated AHK scripts here. Anybody who’s spent time with me knows how much I love AutoHotKey, the flat-out best Windows automation tool in the world. Anybody’s who’s tried to use AutoHotKey knows how intimidating it can be. So to help with that, I’m sharing (almost) all of my scripts along with extensive explanations. There’s fourteen files in total, covering (among other things): Fast open specific folders on your computer Fast insertion of the current date, em-dashes, and ¯\_(ツ)_/¯s How to extend any program with new hotkeys A modal hotkey system if you’re a vim fan like me A simple GUI demo A script to convert any timestamp into UTC and your local time: This is also an example of an educational codebase, a codebase designed specifically from people to learn from. https://www.hillelwayne.com/post/lpl/ Wed, 16 Nov 2022 00:00:00 +0000 https://www.hillelwayne.com/post/lpl/ img {border-style: groove;} Someone recently told me a project isn’t real until you do a retrospective, so I think it’s time to do one for Let’s Prove Leftpad. Short explanation: it’s a repository of proofs of leftpad, in different proof systems. Long explanation: the rest of this post. Background I’m into formal methods, the discipline of proving software correct. Consider the following contrived code: def add(x: int, y: int): int { if(x == 12976 && y == 14867) { return x - y; } return x + y; } This typechecks, and any black-box unit test would find that add(x, y) == x + y.