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.
- Webhook notifications on systemd service failure (2024.09.04)
- Writing Unit Tests in Lean 4 (2024.08.05)
- Polymorphic Functions w/ Wildcard Matching in Lean 4 (2024.08.04)
- Modifying JSON in Rust (2024.08.03)
- Accessing Homelab Services Remotely with mTLS (2024.07.21)
View more: brandonrozek.com/blog