From 2ddbc2b056af0585b905606a2c6887d43f9c3b01 Mon Sep 17 00:00:00 2001 From: Leonardo Santiago Date: Sat, 1 Jun 2024 17:30:03 -0300 Subject: localize bearblog, update some UI --- public/index.xml | 30 +++++++++++++++--------------- 1 file changed, 15 insertions(+), 15 deletions(-) (limited to 'public/index.xml') diff --git a/public/index.xml b/public/index.xml index e4dfa43..de69796 100644 --- a/public/index.xml +++ b/public/index.xml @@ -1,26 +1,26 @@ - lowest case on lowestcase - http://localhost:1313/ - Recent content in lowest case on lowestcase + home on lowest case + https://o-santi.github.com/ + Recent content in home on lowest case 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: - + Sat, 01 Jun 2024 17:29:17 -0300 + about - http://localhost:1313/about/ - Sat, 01 Jun 2024 12:12:47 -0300 - http://localhost:1313/about/ + https://o-santi.github.com/about/ + Sat, 01 Jun 2024 17:29:17 -0300 + https://o-santi.github.com/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: + + rust is not about memory safety + https://o-santi.github.com/blog/rust-is-not-about-memory-safety/ + Sat, 01 Jun 2024 17:29:17 -0300 + https://o-santi.github.com/blog/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: + -- cgit v1.2.3