From 735b245871d94cb6ace8913cd1370b02b5aeb28b Mon Sep 17 00:00:00 2001 From: Leonardo Santiago Date: Sat, 1 Jun 2024 15:25:15 -0300 Subject: remove old theme, use bearblog theme instead --- public/about/index.html | 1062 ++++++++++++----------------------------------- 1 file changed, 256 insertions(+), 806 deletions(-) (limited to 'public/about') diff --git a/public/about/index.html b/public/about/index.html index 0483f54..494ed57 100644 --- a/public/about/index.html +++ b/public/about/index.html @@ -1,827 +1,277 @@ - - - - - + + + + + - - - about · lowest case - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - +about | lowestcase + + + + + + + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + - -

- ↓skip to main content -

- - -

- -

- - - - - - -

- about -

- - - - - - -

- blog -

- - - - - - - -

- tags -

+ +

lowestcase

+ -

- - - - - - - - - - - - - - - -

- - - - -

- - - - - - - - -

- - - - - - - -

blog

- -

- - -

- about -

- -

+ +

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, 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:

this blog was built using emacs’ excelent org-mode and hugo (with the bearblog theme).

- - - - - -

- - -

- blog -

- -

- - - - - - -

- - -

- tags -

- -

- - - - - -

- - - -

- -

- - - - - - - - -

- - - -

- - -

- -

- lowest case/ -
- about/ -

- - - -

- about -

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

- - - 1 May 2024·1 min - - - - -

- - - - - -

+ +

- - - - - - - - - - - - -

- - +

- - - - - - +

+ - - - - - - - - - - - - - -

- - - -

- - - - -

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

currently, software engineer @ - Mixrank.

this blog was built using - hugo, and it’s source code is openly available here: - -

- -

- - - - - - - - - - -

- o-santi/nixos -

- -

- My personal devices’ configuration in nix. -

- -

- - -

- Nix -

- - - - - - - - - - -

- 0 -