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

I'm Sagnik Chatterjee, a Software Developer at IBM India, working in Backend Engineering (Java, SpringBoot) and Distributed Systems (HBase, Apache Kafka). I am interested in the domain of Programming Languages (especially the Functional Programming Paradigm) and Type Theory, and I like how gradual typing lets us create amazing software with both the sanity of typing and the flexibility of dynamically typed languages. I have also recently become interested in mathematical logic and proof-oriented systems and how they help to formally verify software.

Feel free to explore some of my coding endeavors on GitHub or follow me on X.