Sep 1, 2023 Creating Trackback Requests for Static Sites Jan 2, 2023 The Art of LaTeX: Common Mistakes, and Advice for Typesetting Beautiful, Delightful Proofs Aug 8, 2022 Solving Genshin Impact's Ancient Azure Stars quest in Linear Time Jan 11, 2022 Universal types, and your type checker doesn't suck as much as you think Dec 21, 2021 Why you can't create a value with the Bottom type (and why it's still useful) May 18, 2021 Writing a DPLL SAT Solver Aug 2, 2020 Breaking CMU's Bomblab with Angr for Fun and Profit - Part 7 Aug 2, 2020 Breaking CMU's Bomblab with Angr for Fun and Profit - Part 6 Aug 2, 2020 Breaking CMU's Bomblab with Angr for Fun and Profit - Part 5 Aug 1, 2020 Breaking CMU's Bomblab with Angr for Fun and Profit - Part 3 Jul 31, 2020 Breaking CMU's Bomblab with Angr for Fun and Profit - Part 2 Jul 30, 2020 Breaking CMU's Bomblab with Angr for Fun and Profit - Part 1 Jul 21, 2020 UIUCTF20 Accounting Accidents Pwn Writeup Dec 24, 2019 Persisting Xserver Multimonitor Setup Jan 5, 2019 Dev Cheat Sheets Jan 3, 2019 My Involvement in the Autolab Project Sep 1, 2018 SSH to Andrew File System (AFS) Without Credentials Jun 25, 2018 Creating A Deploy Script For Jekyll With Rsync Jun 24, 2018 Welcome To My Blog