Sagnik Chatterjee

Hi, this is Sagnik - the owner and “gardener” of this site - maintaining the knowledge of this corner of the internet; I’m also a self-confessed fan of mathematical logic, proof-oriented, and functional programming.

Skills and Expertise

I am very skilled in building fullstack software using the following stack:

• Svelte / Sveltekit (for performance oriented websites)
• Astro (for content driven websites) (website like this !)
• Python (for general scripting and backend web development)
• Rust (for writing performance sensitive code)

Additionally I have been exploring other programming languages, during nights and weekends:

• Haskell -> to learn about concrete type system programming languages and to write purely functional programming languages.
• Agda -> for writing proof oriented programming languages.

Apart from work, I also talk tech with friends at:

• Reason/OCaml India Group
• Effect.ts Group.
• PLTea

Feel free to say hi to me in you join up : sagnikcw#5614.