It looks like you're visiting with Chromium. Consider using small Firefox logo instead.

Why in general? Why now? I'm using Edge, Brave, etc. Why am I getting this?

Hemant Sai Gouni


Explaining higher-rank and impredicative polymorphism, simply

From insights gained writing a type checker

Sun, 20 Aug 2023

I adopted a cat!

Meet Katya 😊

Sun, 18 Dec 2022