diff options
Diffstat (limited to 'public/index.xml')
| -rw-r--r-- | public/index.xml | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/public/index.xml b/public/index.xml index d93f655..865aaf4 100644 --- a/public/index.xml +++ b/public/index.xml @@ -2,24 +2,24 @@ <rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"> <channel> <title>home on lowest case</title> - <link>http://localhost:1313/</link> + <link>https://o-santi.github.com/</link> <description>Recent content in home on lowest case</description> <generator>Hugo</generator> <language>en-US</language> <lastBuildDate>Sat, 01 Jun 2024 18:59:08 -0300</lastBuildDate> - <atom:link href="http://localhost:1313/index.xml" rel="self" type="application/rss+xml" /> + <atom:link href="https://o-santi.github.com/index.xml" rel="self" type="application/rss+xml" /> <item> <title>about</title> - <link>http://localhost:1313/about/</link> + <link>https://o-santi.github.com/about/</link> <pubDate>Sat, 01 Jun 2024 18:59:08 -0300</pubDate> - <guid>http://localhost:1313/about/</guid> + <guid>https://o-santi.github.com/about/</guid> <description>i&rsquo;m leonardo santiago, a software engineer based in brazil. my interests are in compiler design, programming tools (emacs), functional programming, and proof languages. i&rsquo;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:</description> </item> <item> <title>rust is not about memory safety</title> - <link>http://localhost:1313/blog/rust-is-not-about-memory-safety/</link> + <link>https://o-santi.github.com/blog/rust-is-not-about-memory-safety/</link> <pubDate>Sat, 01 Jun 2024 18:59:08 -0300</pubDate> - <guid>http://localhost:1313/blog/rust-is-not-about-memory-safety/</guid> + <guid>https://o-santi.github.com/blog/rust-is-not-about-memory-safety/</guid> <description>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:</description> </item> </channel> |