diff options
Diffstat (limited to 'public')
| -rw-r--r-- | public/404.html | 4 | ||||
| -rw-r--r-- | public/about/index.html | 16 | ||||
| -rw-r--r-- | public/blog/index.html | 14 | ||||
| -rw-r--r-- | public/blog/index.xml | 12 | ||||
| -rw-r--r-- | public/blog/rust-is-not-about-memory-safety/index.html | 18 | ||||
| -rw-r--r-- | public/index.html | 10 | ||||
| -rw-r--r-- | public/index.xml | 18 | ||||
| -rw-r--r-- | public/robots.txt | 2 | ||||
| -rw-r--r-- | public/sitemap.xml | 12 | ||||
| -rw-r--r-- | public/tags/correctness/index.html | 8 | ||||
| -rw-r--r-- | public/tags/correctness/index.xml | 8 | ||||
| -rw-r--r-- | public/tags/rust/index.html | 8 | ||||
| -rw-r--r-- | public/tags/rust/index.xml | 8 |
13 files changed, 69 insertions, 69 deletions
diff --git a/public/404.html b/public/404.html index 8568043..3155f08 100644 --- a/public/404.html +++ b/public/404.html @@ -1,7 +1,7 @@ <!DOCTYPE html> <html lang="en-US"> -<head> +<head><script src="/livereload.js?mindelay=10&v=2&port=1313&path=livereload" data-no-instant defer></script> <meta http-equiv="X-Clacks-Overhead" content="GNU Terry Pratchett" /> <meta charset="utf-8"> <meta name="viewport" content="width=device-width, initial-scale=1.0" /> @@ -11,7 +11,7 @@ <meta name="keywords" content="correctness,rust," /> -<meta property="og:url" content="https://o-santi.github.com/404.html"> +<meta property="og:url" content="http://localhost:1313/404.html"> <meta property="og:site_name" content="lowest case"> <meta property="og:title" content="404 Page not found"> <meta property="og:description" content="a lowercase only blog, purely for aesthetics"> diff --git a/public/about/index.html b/public/about/index.html index 44fd5dc..694346a 100644 --- a/public/about/index.html +++ b/public/about/index.html @@ -1,7 +1,7 @@ <!DOCTYPE html> <html lang="en-US"> -<head> +<head><script src="/livereload.js?mindelay=10&v=2&port=1313&path=livereload" data-no-instant defer></script> <meta http-equiv="X-Clacks-Overhead" content="GNU Terry Pratchett" /> <meta charset="utf-8"> <meta name="viewport" content="width=device-width, initial-scale=1.0" /> @@ -11,15 +11,15 @@ <meta name="keywords" content="" /> -<meta property="og:url" content="https://o-santi.github.com/about/"> +<meta property="og:url" content="http://localhost:1313/about/"> <meta property="og:site_name" content="lowest case"> <meta property="og:title" content="about"> <meta property="og:description" content="a lower case only blog, purely for aesthetics"> <meta property="og:locale" content="en-US"> <meta property="og:type" content="article"> <meta property="article:section" content=""> - <meta property="article:published_time" content="2024-06-01T17:29:17-03:00"> - <meta property="article:modified_time" content="2024-06-01T17:29:17-03:00"> + <meta property="article:published_time" content="2024-06-01T18:59:08-03:00"> + <meta property="article:modified_time" content="2024-06-01T18:59:08-03:00"> @@ -31,9 +31,9 @@ <meta itemprop="name" content="about"> <meta itemprop="description" content="a lower case only blog, purely for aesthetics"> - <meta itemprop="datePublished" content="2024-06-01T17:29:17-03:00"> - <meta itemprop="dateModified" content="2024-06-01T17:29:17-03:00"> - <meta itemprop="wordCount" content="96"> + <meta itemprop="datePublished" content="2024-06-01T18:59:08-03:00"> + <meta itemprop="dateModified" content="2024-06-01T18:59:08-03:00"> + <meta itemprop="wordCount" content="104"> <meta name="referrer" content="no-referrer-when-downgrade" /> <style> @@ -251,7 +251,7 @@ <li><a href="https://www.linkedin.com/in/leonardo-ribeiro-santiago/">linkedin</a></li> <li><a href="https://github.com/o-santi">github</a></li> </ul> -<p>this blog was built using emacs’ excelent org-mode and <a href="https://github.com/gohugoio/hugo">hugo</a> (with the <a href="https://github.com/janraasch/hugo-bearblog">bearblog theme</a>).</p> +<p>this blog was built using emacs’ excelent org-mode and <a href="https://github.com/gohugoio/hugo">hugo</a> (with the <a href="https://github.com/janraasch/hugo-bearblog">bearblog theme</a>), and it’s source code is openly available <a href="https://github.com/o-santi/blog">here</a>.</p> </content> <p> diff --git a/public/blog/index.html b/public/blog/index.html index d136f7b..098a7f2 100644 --- a/public/blog/index.html +++ b/public/blog/index.html @@ -1,7 +1,7 @@ <!DOCTYPE html> <html lang="en-US"> -<head> +<head><script src="/livereload.js?mindelay=10&v=2&port=1313&path=livereload" data-no-instant defer></script> <meta http-equiv="X-Clacks-Overhead" content="GNU Terry Pratchett" /> <meta charset="utf-8"> <meta name="viewport" content="width=device-width, initial-scale=1.0" /> @@ -11,7 +11,7 @@ <meta name="keywords" content="correctness,rust," /> -<meta property="og:url" content="https://o-santi.github.com/blog/"> +<meta property="og:url" content="http://localhost:1313/blog/"> <meta property="og:site_name" content="lowest case"> <meta property="og:title" content="blog"> <meta property="og:description" content="a lowercase only blog, purely for aesthetics"> @@ -28,10 +28,10 @@ <meta itemprop="name" content="blog"> <meta itemprop="description" content="a lowercase only blog, purely for aesthetics"> - <meta itemprop="dateModified" content="2024-06-01T17:29:17-03:00"> + <meta itemprop="dateModified" content="2024-06-01T18:59:08-03:00"> <meta name="referrer" content="no-referrer-when-downgrade" /> - <link rel="alternate" type="application/rss+xml" href="https://o-santi.github.com/blog/index.xml" title="lowest case" /> + <link rel="alternate" type="application/rss+xml" href="http://localhost:1313/blog/index.xml" title="lowest case" /> <style> body { font-family: Verdana, sans-serif; @@ -249,7 +249,7 @@ </time> </i> </span> - <a href="https://o-santi.github.com/blog/rust-is-not-about-memory-safety/">rust is not about memory safety</a> + <a href="http://localhost:1313/blog/rust-is-not-about-memory-safety/">rust is not about memory safety</a> </li> </ul> @@ -257,9 +257,9 @@ <small> <div> - <a href="https://o-santi.github.com/tags/correctness/">#correctness</a> + <a href="http://localhost:1313/tags/correctness/">#correctness</a> - <a href="https://o-santi.github.com/tags/rust/">#rust</a> + <a href="http://localhost:1313/tags/rust/">#rust</a> </div> </small> diff --git a/public/blog/index.xml b/public/blog/index.xml index 8839517..59990fb 100644 --- a/public/blog/index.xml +++ b/public/blog/index.xml @@ -2,17 +2,17 @@ <rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"> <channel> <title>blog on lowest case</title> - <link>https://o-santi.github.com/blog/</link> + <link>http://localhost:1313/blog/</link> <description>Recent content in blog on lowest case</description> <generator>Hugo</generator> <language>en-US</language> - <lastBuildDate>Sat, 01 Jun 2024 17:29:17 -0300</lastBuildDate> - <atom:link href="https://o-santi.github.com/blog/index.xml" rel="self" type="application/rss+xml" /> + <lastBuildDate>Sat, 01 Jun 2024 18:59:08 -0300</lastBuildDate> + <atom:link href="http://localhost:1313/blog/index.xml" rel="self" type="application/rss+xml" /> <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 17:29:17 -0300</pubDate> - <guid>https://o-santi.github.com/blog/rust-is-not-about-memory-safety/</guid> + <link>http://localhost:1313/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> <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> diff --git a/public/blog/rust-is-not-about-memory-safety/index.html b/public/blog/rust-is-not-about-memory-safety/index.html index b6dc2bc..b4e4d9a 100644 --- a/public/blog/rust-is-not-about-memory-safety/index.html +++ b/public/blog/rust-is-not-about-memory-safety/index.html @@ -1,7 +1,7 @@ <!DOCTYPE html> <html lang="en-US"> -<head> +<head><script src="/livereload.js?mindelay=10&v=2&port=1313&path=livereload" data-no-instant defer></script> <meta http-equiv="X-Clacks-Overhead" content="GNU Terry Pratchett" /> <meta charset="utf-8"> <meta name="viewport" content="width=device-width, initial-scale=1.0" /> @@ -11,15 +11,15 @@ <meta name="keywords" content="rust,correctness," /> -<meta property="og:url" content="https://o-santi.github.com/blog/rust-is-not-about-memory-safety/"> +<meta property="og:url" content="http://localhost:1313/blog/rust-is-not-about-memory-safety/"> <meta property="og:site_name" content="lowest case"> <meta property="og:title" content="rust is not about memory safety"> <meta property="og:description" content="a lower case only blog, purely for aesthetics"> <meta property="og:locale" content="en-US"> <meta property="og:type" content="article"> <meta property="article:section" content="blog"> - <meta property="article:published_time" content="2024-06-01T17:29:17-03:00"> - <meta property="article:modified_time" content="2024-06-01T17:29:17-03:00"> + <meta property="article:published_time" content="2024-06-01T18:59:08-03:00"> + <meta property="article:modified_time" content="2024-06-01T18:59:08-03:00"> <meta property="article:tag" content="rust"> <meta property="article:tag" content="correctness"> @@ -33,8 +33,8 @@ <meta itemprop="name" content="rust is not about memory safety"> <meta itemprop="description" content="a lower case only blog, purely for aesthetics"> - <meta itemprop="datePublished" content="2024-06-01T17:29:17-03:00"> - <meta itemprop="dateModified" content="2024-06-01T17:29:17-03:00"> + <meta itemprop="datePublished" content="2024-06-01T18:59:08-03:00"> + <meta itemprop="dateModified" content="2024-06-01T18:59:08-03:00"> <meta itemprop="wordCount" content="2456"> <meta itemprop="keywords" content="rust,correctness"> <meta name="referrer" content="no-referrer-when-downgrade" /> @@ -312,7 +312,7 @@ <p>the excellent software foundations book <a href="https://softwarefoundations.cis.upenn.edu/lf-current/IndProp.html">explains thoroughly</a> how one might formally write one possible regex matcher, and prove that the implementation is correct <a href="#fnref:2" class="footnote-backref" role="doc-backlink">↩︎</a></p> </li> <li id="fn:3"> -<p>through the use of external tools like Coq’s <a href="https://vst.cs.princeton.edu/veric/">verifiable C series</a> <a href="#fnref:3" class="footnote-backref" role="doc-backlink">↩︎</a></p> +<p>through the use of external tools like coq’s <a href="https://vst.cs.princeton.edu/veric/">verifiable C series</a> <a href="#fnref:3" class="footnote-backref" role="doc-backlink">↩︎</a></p> </li> </ol> </div> @@ -320,9 +320,9 @@ </content> <p> - <a href="https://o-santi.github.com/tags/rust/">#rust</a> + <a href="http://localhost:1313/tags/rust/">#rust</a> - <a href="https://o-santi.github.com/tags/correctness/">#correctness</a> + <a href="http://localhost:1313/tags/correctness/">#correctness</a> </p> diff --git a/public/index.html b/public/index.html index 0a3ba87..875efee 100644 --- a/public/index.html +++ b/public/index.html @@ -2,7 +2,7 @@ <html lang="en-US"> <head> - <meta name="generator" content="Hugo 0.125.3"> + <meta name="generator" content="Hugo 0.125.3"><script src="/livereload.js?mindelay=10&v=2&port=1313&path=livereload" data-no-instant defer></script> <meta http-equiv="X-Clacks-Overhead" content="GNU Terry Pratchett" /> <meta charset="utf-8"> <meta name="viewport" content="width=device-width, initial-scale=1.0" /> @@ -12,7 +12,7 @@ <meta name="keywords" content="correctness,rust," /> -<meta property="og:url" content="https://o-santi.github.com/"> +<meta property="og:url" content="http://localhost:1313/"> <meta property="og:site_name" content="lowest case"> <meta property="og:title" content="home"> <meta property="og:description" content="a lower case only blog, purely for aesthetics"> @@ -29,12 +29,12 @@ <meta itemprop="name" content="home"> <meta itemprop="description" content="a lower case only blog, purely for aesthetics"> - <meta itemprop="datePublished" content="2024-06-01T17:29:17-03:00"> - <meta itemprop="dateModified" content="2024-06-01T17:29:17-03:00"> + <meta itemprop="datePublished" content="2024-06-01T18:59:08-03:00"> + <meta itemprop="dateModified" content="2024-06-01T18:59:08-03:00"> <meta itemprop="wordCount" content="42"> <meta name="referrer" content="no-referrer-when-downgrade" /> - <link rel="alternate" type="application/rss+xml" href="https://o-santi.github.com/index.xml" title="lowest case" /> + <link rel="alternate" type="application/rss+xml" href="http://localhost:1313/index.xml" title="lowest case" /> <style> body { font-family: Verdana, sans-serif; diff --git a/public/index.xml b/public/index.xml index de69796..d93f655 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>https://o-santi.github.com/</link> + <link>http://localhost:1313/</link> <description>Recent content in home on lowest case</description> <generator>Hugo</generator> <language>en-US</language> - <lastBuildDate>Sat, 01 Jun 2024 17:29:17 -0300</lastBuildDate> - <atom:link href="https://o-santi.github.com/index.xml" rel="self" type="application/rss+xml" /> + <lastBuildDate>Sat, 01 Jun 2024 18:59:08 -0300</lastBuildDate> + <atom:link href="http://localhost:1313/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 17:29:17 -0300</pubDate> - <guid>https://o-santi.github.com/about/</guid> + <link>http://localhost:1313/about/</link> + <pubDate>Sat, 01 Jun 2024 18:59:08 -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> <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 17:29:17 -0300</pubDate> - <guid>https://o-santi.github.com/blog/rust-is-not-about-memory-safety/</guid> + <link>http://localhost:1313/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> <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> diff --git a/public/robots.txt b/public/robots.txt index dc6b1c1..1a142c1 100644 --- a/public/robots.txt +++ b/public/robots.txt @@ -1,2 +1,2 @@ User-Agent: * -Sitemap: https://o-santi.github.com/sitemap.xml +Sitemap: http://localhost:1313/sitemap.xml diff --git a/public/sitemap.xml b/public/sitemap.xml index d640e7b..d5425e5 100644 --- a/public/sitemap.xml +++ b/public/sitemap.xml @@ -2,22 +2,22 @@ <urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9" xmlns:xhtml="http://www.w3.org/1999/xhtml"> <url> - <loc>https://o-santi.github.com/about/</loc> + <loc>http://localhost:1313/about/</loc> <lastmod>2024-06-01T17:29:17-03:00</lastmod> </url><url> - <loc>https://o-santi.github.com/blog/</loc> + <loc>http://localhost:1313/blog/</loc> <lastmod>2024-06-01T17:29:17-03:00</lastmod> </url><url> - <loc>https://o-santi.github.com/tags/correctness/</loc> + <loc>http://localhost:1313/tags/correctness/</loc> <lastmod>2024-06-01T17:29:17-03:00</lastmod> </url><url> - <loc>https://o-santi.github.com/</loc> + <loc>http://localhost:1313/</loc> <lastmod>2024-06-01T17:29:17-03:00</lastmod> </url><url> - <loc>https://o-santi.github.com/tags/rust/</loc> + <loc>http://localhost:1313/tags/rust/</loc> <lastmod>2024-06-01T17:29:17-03:00</lastmod> </url><url> - <loc>https://o-santi.github.com/blog/rust-is-not-about-memory-safety/</loc> + <loc>http://localhost:1313/blog/rust-is-not-about-memory-safety/</loc> <lastmod>2024-06-01T17:29:17-03:00</lastmod> </url> </urlset> diff --git a/public/tags/correctness/index.html b/public/tags/correctness/index.html index 9e25c80..bcd365a 100644 --- a/public/tags/correctness/index.html +++ b/public/tags/correctness/index.html @@ -1,7 +1,7 @@ <!DOCTYPE html> <html lang="en-US"> -<head> +<head><script src="/livereload.js?mindelay=10&v=2&port=1313&path=livereload" data-no-instant defer></script> <meta http-equiv="X-Clacks-Overhead" content="GNU Terry Pratchett" /> <meta charset="utf-8"> <meta name="viewport" content="width=device-width, initial-scale=1.0" /> @@ -11,7 +11,7 @@ <meta name="keywords" content="correctness,rust," /> -<meta property="og:url" content="https://o-santi.github.com/tags/correctness/"> +<meta property="og:url" content="http://localhost:1313/tags/correctness/"> <meta property="og:site_name" content="lowest case"> <meta property="og:title" content="correctness"> <meta property="og:description" content="a lowercase only blog, purely for aesthetics"> @@ -31,7 +31,7 @@ <meta itemprop="dateModified" content="2024-06-01T17:29:17-03:00"> <meta name="referrer" content="no-referrer-when-downgrade" /> - <link rel="alternate" type="application/rss+xml" href="https://o-santi.github.com/tags/correctness/index.xml" title="lowest case" /> + <link rel="alternate" type="application/rss+xml" href="http://localhost:1313/tags/correctness/index.xml" title="lowest case" /> <style> body { font-family: Verdana, sans-serif; @@ -254,7 +254,7 @@ </time> </i> </span> - <a href="https://o-santi.github.com/blog/rust-is-not-about-memory-safety/">rust is not about memory safety</a> + <a href="http://localhost:1313/blog/rust-is-not-about-memory-safety/">rust is not about memory safety</a> </li> </ul> diff --git a/public/tags/correctness/index.xml b/public/tags/correctness/index.xml index 765db57..00fe426 100644 --- a/public/tags/correctness/index.xml +++ b/public/tags/correctness/index.xml @@ -2,17 +2,17 @@ <rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"> <channel> <title>correctness on lowest case</title> - <link>https://o-santi.github.com/tags/correctness/</link> + <link>http://localhost:1313/tags/correctness/</link> <description>Recent content in correctness on lowest case</description> <generator>Hugo</generator> <language>en-US</language> <lastBuildDate>Sat, 01 Jun 2024 17:29:17 -0300</lastBuildDate> - <atom:link href="https://o-santi.github.com/tags/correctness/index.xml" rel="self" type="application/rss+xml" /> + <atom:link href="http://localhost:1313/tags/correctness/index.xml" rel="self" type="application/rss+xml" /> <item> <title>rust is not about memory safety</title> - <link>https://o-santi.github.com/blog/rust-is-not-about-memory-safety/</link> + <link>http://localhost:1313/blog/rust-is-not-about-memory-safety/</link> <pubDate>Sat, 01 Jun 2024 17:29:17 -0300</pubDate> - <guid>https://o-santi.github.com/blog/rust-is-not-about-memory-safety/</guid> + <guid>http://localhost:1313/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> diff --git a/public/tags/rust/index.html b/public/tags/rust/index.html index 0fce287..e31850c 100644 --- a/public/tags/rust/index.html +++ b/public/tags/rust/index.html @@ -1,7 +1,7 @@ <!DOCTYPE html> <html lang="en-US"> -<head> +<head><script src="/livereload.js?mindelay=10&v=2&port=1313&path=livereload" data-no-instant defer></script> <meta http-equiv="X-Clacks-Overhead" content="GNU Terry Pratchett" /> <meta charset="utf-8"> <meta name="viewport" content="width=device-width, initial-scale=1.0" /> @@ -11,7 +11,7 @@ <meta name="keywords" content="correctness,rust," /> -<meta property="og:url" content="https://o-santi.github.com/tags/rust/"> +<meta property="og:url" content="http://localhost:1313/tags/rust/"> <meta property="og:site_name" content="lowest case"> <meta property="og:title" content="rust"> <meta property="og:description" content="a lowercase only blog, purely for aesthetics"> @@ -31,7 +31,7 @@ <meta itemprop="dateModified" content="2024-06-01T17:29:17-03:00"> <meta name="referrer" content="no-referrer-when-downgrade" /> - <link rel="alternate" type="application/rss+xml" href="https://o-santi.github.com/tags/rust/index.xml" title="lowest case" /> + <link rel="alternate" type="application/rss+xml" href="http://localhost:1313/tags/rust/index.xml" title="lowest case" /> <style> body { font-family: Verdana, sans-serif; @@ -254,7 +254,7 @@ </time> </i> </span> - <a href="https://o-santi.github.com/blog/rust-is-not-about-memory-safety/">rust is not about memory safety</a> + <a href="http://localhost:1313/blog/rust-is-not-about-memory-safety/">rust is not about memory safety</a> </li> </ul> diff --git a/public/tags/rust/index.xml b/public/tags/rust/index.xml index bf11a4d..0609275 100644 --- a/public/tags/rust/index.xml +++ b/public/tags/rust/index.xml @@ -2,17 +2,17 @@ <rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"> <channel> <title>rust on lowest case</title> - <link>https://o-santi.github.com/tags/rust/</link> + <link>http://localhost:1313/tags/rust/</link> <description>Recent content in rust on lowest case</description> <generator>Hugo</generator> <language>en-US</language> <lastBuildDate>Sat, 01 Jun 2024 17:29:17 -0300</lastBuildDate> - <atom:link href="https://o-santi.github.com/tags/rust/index.xml" rel="self" type="application/rss+xml" /> + <atom:link href="http://localhost:1313/tags/rust/index.xml" rel="self" type="application/rss+xml" /> <item> <title>rust is not about memory safety</title> - <link>https://o-santi.github.com/blog/rust-is-not-about-memory-safety/</link> + <link>http://localhost:1313/blog/rust-is-not-about-memory-safety/</link> <pubDate>Sat, 01 Jun 2024 17:29:17 -0300</pubDate> - <guid>https://o-santi.github.com/blog/rust-is-not-about-memory-safety/</guid> + <guid>http://localhost:1313/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> |