From 3a1272c94f43e8b71811f910517b6ac2e44b94d8 Mon Sep 17 00:00:00 2001 From: Leonardo Santiago Date: Sat, 1 Jun 2024 19:15:49 -0300 Subject: delete public/ it must be automatically generated by workflow, no need to include it --- public/about/index.html | 268 ------------------------------------------------ 1 file changed, 268 deletions(-) delete mode 100644 public/about/index.html (limited to 'public/about') diff --git a/public/about/index.html b/public/about/index.html deleted file mode 100644 index aea2b98..0000000 --- a/public/about/index.html +++ /dev/null @@ -1,268 +0,0 @@ - - - - - - - -about | lowest case - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-
-
- - -

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), and it’s source code is openly available here.

- - -

- -

- -
- - - - - - -- cgit v1.2.3