Don't mind me here, I'm mostly just tinkerin'. My repositories show me dabbling in:
- Reinforcement Learning Frameworks and Tools
- Programming Language Implementations
- Fun Little Tools from Books and Articles I've Read.
Outside of my repos, I contributed to a tool that generates and verifies cryptographic modes of operations and help maintain a few projects in the RAIR Lab
During the day, I'm a Computer Science PhD student at Rensselaer Polytechnic Institute. I enjoy sharing what I've learned on a regular basis (over 350 posts!) and I welcome you to check it out on my website: brandonrozek.com.
Don't hessitate to get in touch if you have any questions or even if you want to chat.
- Fedora CoreOS: First Impressions (2025.11.28)
- Flattening Cases to Avoid Nesting in Lean 4 (2025.10.05)
- Cursed Knowledge: Javascript Arrays Are Objects (2025.09.01)
- Deterministically Iterating over a set within Dafny functions (2025.07.06)
- Dealing with Web Scrapers (2025.07.02)
View more: brandonrozek.com/blog