thoughts on programming, abstractions and logic! it's gonna be a fun ride 🫶

hey I'm Sagnik. While I work in Backend Development in IBM as my job, I'm highly interested in the domain of Functional Programming and Type Theory and their implications for Mathematics via Category Theory. To that effect I have been currently been learning Haskell(to write code in pure functional style) and Agda(to write proof oriented software).