i’m leonardo santiago, a software engineer based in brazil. my interests are in compiler design, programming tools (emacs), functional programming, and proof languages. i’m most comfortable in nix and rust, but i know a fair share of other languages.

currently, i work as a software engineer @ Mixrank, and you can find my curriculum here.

if you feel like smugly responding to any of my posts (or just want to kindly send me a message), these are my socials:

• linkedin
• github

this blog was built using emacs’ excellent org-mode and hugo (with the bearblog theme), and it’s source code is openly available here.