Here are some ideas to get you started:
- ๐ญ Iโm currently working on: My Masters degree at UCSB, my Dotfiles
- ๐ฑ Iโm currently learning: Category theory, Haskell, Rust, and various topics in Programming Languages and security
- ๐ฏ Iโm looking to collaborate on: Anything! Feel free to reach out!
- ๐ฌ Ask me about: Haskell, Nix, and Emacs!
- ๐ซ How to reach me: My school email: [email protected] or my personal email, [email protected]