1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
<channel>
<title>lowest case on lowestcase</title>
<link>http://localhost:1313/</link>
<description>Recent content in lowest case on lowestcase</description>
<generator>Hugo</generator>
<language>en-US</language>
<lastBuildDate>Sat, 01 Jun 2024 15:21:30 -0300</lastBuildDate>
<atom:link href="http://localhost:1313/index.xml" rel="self" type="application/rss+xml" />
<item>
<title>rust is not about memory safety</title>
<link>http://localhost:1313/rust-is-not-about-memory-safety/</link>
<pubDate>Sat, 01 Jun 2024 15:21:30 -0300</pubDate>
<guid>http://localhost:1313/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>
<item>
<title>about</title>
<link>http://localhost:1313/about/</link>
<pubDate>Sat, 01 Jun 2024 12:12:47 -0300</pubDate>
<guid>http://localhost:1313/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>
</channel>
</rss>
|
