I'm over at https://danilafe.com https://danilafe.com. It's a blog, where I write about compilers, formal verification, and programming languages mostly. Occas

I'm over at https://danilafe.com https://danilafe.com. It's a blog, where I write about compilers, formal verification, and programming languages mostly. Occasionally some web design (with Hugo) sneaks in.