home on lowest case

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

nix flakes are great. they provide a fairly integrated experience of both standardizing structured attributes, like packages, devShells, nixosConfigurations, while also making it fairly easy to integrate other flakes as inputs, and do provide a much better

I’ve known since forever that google is not to be trusted, and that they whimsically create and destroy products like no one else.

most of rust discussions nowadays revolve around memory safety, and how it is safer than C / C++ / zig / go / whatever language is being trashed on twitter that day. while yes, that is true - not that the bar for most of these is particularly high - what I