path: root/public/index.xml



                                                            
                                      
                                            
                                                                    

                               
                                                                  
                                                                                                   

                          
                                                    
                                                        
                                                    

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        

                                                    
                                                                                   
                                                        
                                                                                   

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           

            
<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>home on lowest case</title>
    <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="https://o-santi.github.com/index.xml" rel="self" type="application/rss+xml" />
    <item>
      <title>about</title>
      <link>https://o-santi.github.com/about/</link>
      <pubDate>Sat, 01 Jun 2024 18:59:08 -0300</pubDate>
      <guid>https://o-santi.github.com/about/</guid>
      <description>i&amp;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&amp;rsquo;m most confortable in nix and rust, but i know a fair share of other languages.&#xA;currently, i work as a software engineer @ Mixrank, and you can find my curriculum here.&#xA;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>https://o-santi.github.com/blog/rust-is-not-about-memory-safety/</link>
      <pubDate>Sat, 01 Jun 2024 18:59:08 -0300</pubDate>
      <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>
</rss>
<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>home on lowest case</title>
    <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="https://o-santi.github.com/index.xml" rel="self" type="application/rss+xml" />
    <item>
      <title>about</title>
      <link>https://o-santi.github.com/about/</link>
      <pubDate>Sat, 01 Jun 2024 18:59:08 -0300</pubDate>
      <guid>https://o-santi.github.com/about/</guid>
      <description>i&amp;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&amp;rsquo;m most confortable in nix and rust, but i know a fair share of other languages.&#xA;currently, i work as a software engineer @ Mixrank, and you can find my curriculum here.&#xA;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>https://o-santi.github.com/blog/rust-is-not-about-memory-safety/</link>
      <pubDate>Sat, 01 Jun 2024 18:59:08 -0300</pubDate>
      <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>
</rss>