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 myday-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 someCSES, 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!