path: root/content/about.md



+++
title = "about"
author = ["santi"]
description = "a lower case only blog, purely for aesthetics"
lastmod = 2024-06-01T18:59:08-03:00
draft = false
menu = "main"
+++

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 confortable in nix and rust, but i know a fair share of other languages.

currently, i work as a software engineer @ [Mixrank](https://mixrank.com), and you can find my curriculum [here](/cv.pdf).

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

-   [email](mailto:[email protected])
-   [linkedin](https://www.linkedin.com/in/leonardo-ribeiro-santiago/)
-   [github](https://github.com/o-santi)

this blog was built using emacs' excelent org-mode and [hugo](https://github.com/gohugoio/hugo) (with the [bearblog theme](https://github.com/janraasch/hugo-bearblog)), and it's source code is openly available [here](https://github.com/o-santi/blog).
+++
title = "about"
author = ["santi"]
description = "a lower case only blog, purely for aesthetics"
lastmod = 2024-06-01T18:59:08-03:00
draft = false
menu = "main"
+++

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 confortable in nix and rust, but i know a fair share of other languages.

currently, i work as a software engineer @ [Mixrank](https://mixrank.com), and you can find my curriculum [here](/cv.pdf).

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

-   [email](mailto:[email protected])
-   [linkedin](https://www.linkedin.com/in/leonardo-ribeiro-santiago/)
-   [github](https://github.com/o-santi)

this blog was built using emacs' excelent org-mode and [hugo](https://github.com/gohugoio/hugo) (with the [bearblog theme](https://github.com/janraasch/hugo-bearblog)), and it's source code is openly available [here](https://github.com/o-santi/blog).