hi, I'm Sagnik
I'm a software developer and tinkerer , building backend apps in Typescript and Go.
I have been independently studying PL Theory and I am currently interested in the following topics:
- Gradual Typing in Programming Languages in Racket and Typed Racket.
- Formal Verification and Construction of Mathematical Proofs using Lean.
Know more about me here: sagnikweb