blob: 6f5920987c9b4a02d05b3311dbe9c3f5ff3e2724 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
+++
title = "about"
author = ["santi"]
lastmod = 2024-06-01T12:12:47-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)).
|
