Waddup! Here you can see my side projects, find my social media if you're interested in my hobbies and study sessions, view a bunch of photos from my day-to-day life, and (in the future) read about some interesting CS topics.
My plan is to write about Mathematical Logic, Formal Verification, the theory behind some CSES, LeetCode, and Codeforces problems, and maybe more. I hope you enjoy them! (ﾉ◕ヮ◕)ﾉ*:･ﾟ✧
If you're interested in me or my projects, feel free to DM me here!