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/index.xml | 26 ++++++++++++++++++++------ 1 file changed, 20 insertions(+), 6 deletions(-) (limited to 'public/index.xml') diff --git a/public/index.xml b/public/index.xml index 7bbefe0..e4dfa43 100644 --- a/public/index.xml +++ b/public/index.xml @@ -1,12 +1,26 @@ - lowest case + lowest case on lowestcase http://localhost:1313/ - Recent content on lowest case - Hugo -- gohugo.io - en - © 2024 leonardo santiago - Wed, 01 May 2024 11:53:23 -0300 + Recent content in lowest case on lowestcase + Hugo + en-US + Sat, 01 Jun 2024 15:21:30 -0300 + + + rust is not about memory safety + http://localhost:1313/rust-is-not-about-memory-safety/ + Sat, 01 Jun 2024 15:21:30 -0300 + http://localhost:1313/rust-is-not-about-memory-safety/ + most of rust discussions nowadays revolve about 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 think is the main point of the language is always glossed over: correctness. when one tries to criticize any of the aforementioned languages, one is answered with the following argument: + + + about + http://localhost:1313/about/ + Sat, 01 Jun 2024 12:12:47 -0300 + http://localhost:1313/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: + -- cgit v1.2.3