diff options
Diffstat (limited to 'public')
| -rw-r--r-- | public/404.html | 27 | ||||
| -rw-r--r-- | public/about/index.html | 45 | ||||
| -rw-r--r-- | public/blog/index.html | 49 | ||||
| -rw-r--r-- | public/blog/index.xml | 16 | ||||
| -rw-r--r-- | public/blog/rust-is-not-about-memory-safety/index.html (renamed from public/rust-is-not-about-memory-safety/index.html) | 53 | ||||
| -rw-r--r-- | public/index.html | 45 | ||||
| -rw-r--r-- | public/index.xml | 30 | ||||
| -rw-r--r-- | public/robots.txt | 2 | ||||
| -rw-r--r-- | public/sitemap.xml | 24 | ||||
| -rw-r--r-- | public/tags/correctness/index.html (renamed from public/blog/rust/index.html) | 49 | ||||
| -rw-r--r-- | public/tags/correctness/index.xml (renamed from public/blog/rust/index.xml) | 16 | ||||
| -rw-r--r-- | public/tags/rust/index.html (renamed from public/blog/correctness/index.html) | 49 | ||||
| -rw-r--r-- | public/tags/rust/index.xml (renamed from public/blog/correctness/index.xml) | 16 |
13 files changed, 202 insertions, 219 deletions
diff --git a/public/404.html b/public/404.html index 12d4704..8568043 100644 --- a/public/404.html +++ b/public/404.html @@ -1,33 +1,33 @@ <!DOCTYPE html> <html lang="en-US"> -<head><script src="/livereload.js?mindelay=10&v=2&port=1313&path=livereload" data-no-instant defer></script> +<head> <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" /> <title>404</title> <meta name="title" content="404 Page not found" /> -<meta name="description" content="a lowercase only blog" /> +<meta name="description" content="a lowercase only blog, purely for aesthetics" /> <meta name="keywords" content="correctness,rust," /> -<meta property="og:url" content="http://localhost:1313/404.html"> - <meta property="og:site_name" content="lowestcase"> +<meta property="og:url" content="https://o-santi.github.com/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"> + <meta property="og:description" content="a lowercase only blog, purely for aesthetics"> <meta property="og:locale" content="en-US"> <meta property="og:type" content="website"> <meta name="twitter:card" content="summary"><meta name="twitter:title" content="404 Page not found"> -<meta name="twitter:description" content="a lowercase only blog"> +<meta name="twitter:description" content="a lowercase only blog, purely for aesthetics"> <meta itemprop="name" content="404 Page not found"> - <meta itemprop="description" content="a lowercase only blog"> + <meta itemprop="description" content="a lowercase only blog, purely for aesthetics"> <meta name="referrer" content="no-referrer-when-downgrade" /> <style> @@ -210,7 +210,7 @@ } a:hover { color:#d46b08; - text-decoration: dotted underline; + text-decoration: wavy underline; } ul.blog-posts li a:visited { color:#ffc069; @@ -223,11 +223,10 @@ </head> <body> - <header><a href="/" class="title"> - <h2>lowestcase</h2> -</a> -<nav><a href="/">home</a> - + <header><nav> + <a href="/" class="title"> + <h2 style="display:inline">lowest case</h2> + </a> <a href="/about/">about</a> @@ -240,7 +239,7 @@ <h2>ʕノ•ᴥ•ʔノ ︵ ┻━┻</h2> </main> - <footer>leonardo santiago | <a href="https://github.com/o-santi" title="github"><svg width="16px" height="16px" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M9 19c-5 1.5-5-2.5-7-3m14 6v-3.87a3.37 3.37.0 00-.94-2.61c3.14-.35 6.44-1.54 6.44-7A5.44 5.44.0 0020 4.77 5.07 5.07.0 0019.91 1S18.73.65 16 2.48a13.38 13.38.0 00-7 0C6.27.65 5.09 1 5.09 1A5.07 5.07.0 005 4.77 5.44 5.44.0 003.5 8.55c0 5.42 3.3 6.61 6.44 7A3.37 3.37.0 009 18.13V22"></path></svg></a> <a href="mailto:[email protected]" title="email"> <svg width="16px" height="16px" viewBox="0 0 1920 1920" fill="#fa8c16"><path d="M0 1694.235h1920V226H0v1468.235ZM112.941 376.664V338.94H1807.06v37.723L960 1111.233l-847.059-734.57ZM1807.06 526.198v950.513l-351.134-438.89-88.32 70.475 378.353 472.998H174.042l378.353-472.998-88.32-70.475-351.134 438.89V526.198L960 1260.768l847.059-734.57Z" fill-rule="evenodd"></path></svg></a> + <footer><p> leonardo santiago | <a href="https://github.com/o-santi" title="github"><svg width="16px" height="16px" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M9 19c-5 1.5-5-2.5-7-3m14 6v-3.87a3.37 3.37.0 00-.94-2.61c3.14-.35 6.44-1.54 6.44-7A5.44 5.44.0 0020 4.77 5.07 5.07.0 0019.91 1S18.73.65 16 2.48a13.38 13.38.0 00-7 0C6.27.65 5.09 1 5.09 1A5.07 5.07.0 005 4.77 5.44 5.44.0 003.5 8.55c0 5.42 3.3 6.61 6.44 7A3.37 3.37.0 009 18.13V22"></path></svg></a> <a href="mailto:[email protected]" title="email"> <svg width="16px" height="16px" viewBox="0 0 1920 1920" fill="currentcolor"><path d="M0 1694.235h1920V226H0v1468.235ZM112.941 376.664V338.94H1807.06v37.723L960 1111.233l-847.059-734.57ZM1807.06 526.198v950.513l-351.134-438.89-88.32 70.475 378.353 472.998H174.042l378.353-472.998-88.32-70.475-351.134 438.89V526.198L960 1260.768l847.059-734.57Z" fill-rule="evenodd"></path></svg></a> <a href="https://linkedin.com/leonardo-ribeiro-santiago" title="linkedin"><svg xmlns="http://www.w3.org/2000/svg" x="0px" y="0px" width="16px" height="16px" viewBox="0 0 30 30" fill="currentcolor"><path d="M24,4H6C4.895,4,4,4.895,4,6v18c0,1.105,0.895,2,2,2h18c1.105,0,2-0.895,2-2V6C26,4.895,25.105,4,24,4z M10.954,22h-2.95 v-9.492h2.95V22z M9.449,11.151c-0.951,0-1.72-0.771-1.72-1.72c0-0.949,0.77-1.719,1.72-1.719c0.948,0,1.719,0.771,1.719,1.719 C11.168,10.38,10.397,11.151,9.449,11.151z M22.004,22h-2.948v-4.616c0-1.101-0.02-2.517-1.533-2.517 c-1.535,0-1.771,1.199-1.771,2.437V22h-2.948v-9.492h2.83v1.297h0.04c0.394-0.746,1.356-1.533,2.791-1.533 c2.987,0,3.539,1.966,3.539,4.522V22z"></path></svg></a> </p> </footer> diff --git a/public/about/index.html b/public/about/index.html index 494ed57..44fd5dc 100644 --- a/public/about/index.html +++ b/public/about/index.html @@ -1,46 +1,38 @@ <!DOCTYPE html> <html lang="en-US"> -<head><script src="/livereload.js?mindelay=10&v=2&port=1313&path=livereload" data-no-instant defer></script> +<head> <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" /> -<title>about | lowestcase</title> +<title>about | lowest case</title> <meta name="title" content="about" /> -<meta name="description" content="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:" /> +<meta name="description" content="a lower case only blog, purely for aesthetics" /> <meta name="keywords" content="" /> -<meta property="og:url" content="http://localhost:1313/about/"> - <meta property="og:site_name" content="lowestcase"> +<meta property="og:url" content="https://o-santi.github.com/about/"> + <meta property="og:site_name" content="lowest case"> <meta property="og:title" content="about"> - <meta property="og:description" content="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:"> + <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-01T12:12:47-03:00"> - <meta property="article:modified_time" content="2024-06-01T12:12:47-03:00"> + <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 name="twitter:card" content="summary"><meta name="twitter:title" content="about"> -<meta name="twitter:description" content="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:"> +<meta name="twitter:description" content="a lower case only blog, purely for aesthetics"> <meta itemprop="name" content="about"> - <meta itemprop="description" content="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:"> - <meta itemprop="datePublished" content="2024-06-01T12:12:47-03:00"> - <meta itemprop="dateModified" content="2024-06-01T12:12:47-03:00"> + <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 name="referrer" content="no-referrer-when-downgrade" /> @@ -224,7 +216,7 @@ if you feel like smugly responding to any of my posts (or just want to kindly se } a:hover { color:#d46b08; - text-decoration: dotted underline; + text-decoration: wavy underline; } ul.blog-posts li a:visited { color:#ffc069; @@ -237,11 +229,10 @@ if you feel like smugly responding to any of my posts (or just want to kindly se </head> <body> - <header><a href="/" class="title"> - <h2>lowestcase</h2> -</a> -<nav><a href="/">home</a> - + <header><nav> + <a href="/" class="title"> + <h2 style="display:inline">lowest case</h2> + </a> <a href="/about/">about</a> @@ -268,7 +259,7 @@ if you feel like smugly responding to any of my posts (or just want to kindly se </p> </main> - <footer>leonardo santiago | <a href="https://github.com/o-santi" title="github"><svg width="16px" height="16px" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M9 19c-5 1.5-5-2.5-7-3m14 6v-3.87a3.37 3.37.0 00-.94-2.61c3.14-.35 6.44-1.54 6.44-7A5.44 5.44.0 0020 4.77 5.07 5.07.0 0019.91 1S18.73.65 16 2.48a13.38 13.38.0 00-7 0C6.27.65 5.09 1 5.09 1A5.07 5.07.0 005 4.77 5.44 5.44.0 003.5 8.55c0 5.42 3.3 6.61 6.44 7A3.37 3.37.0 009 18.13V22"></path></svg></a> <a href="mailto:[email protected]" title="email"> <svg width="16px" height="16px" viewBox="0 0 1920 1920" fill="#fa8c16"><path d="M0 1694.235h1920V226H0v1468.235ZM112.941 376.664V338.94H1807.06v37.723L960 1111.233l-847.059-734.57ZM1807.06 526.198v950.513l-351.134-438.89-88.32 70.475 378.353 472.998H174.042l378.353-472.998-88.32-70.475-351.134 438.89V526.198L960 1260.768l847.059-734.57Z" fill-rule="evenodd"></path></svg></a> + <footer><p> leonardo santiago | <a href="https://github.com/o-santi" title="github"><svg width="16px" height="16px" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M9 19c-5 1.5-5-2.5-7-3m14 6v-3.87a3.37 3.37.0 00-.94-2.61c3.14-.35 6.44-1.54 6.44-7A5.44 5.44.0 0020 4.77 5.07 5.07.0 0019.91 1S18.73.65 16 2.48a13.38 13.38.0 00-7 0C6.27.65 5.09 1 5.09 1A5.07 5.07.0 005 4.77 5.44 5.44.0 003.5 8.55c0 5.42 3.3 6.61 6.44 7A3.37 3.37.0 009 18.13V22"></path></svg></a> <a href="mailto:[email protected]" title="email"> <svg width="16px" height="16px" viewBox="0 0 1920 1920" fill="currentcolor"><path d="M0 1694.235h1920V226H0v1468.235ZM112.941 376.664V338.94H1807.06v37.723L960 1111.233l-847.059-734.57ZM1807.06 526.198v950.513l-351.134-438.89-88.32 70.475 378.353 472.998H174.042l378.353-472.998-88.32-70.475-351.134 438.89V526.198L960 1260.768l847.059-734.57Z" fill-rule="evenodd"></path></svg></a> <a href="https://linkedin.com/leonardo-ribeiro-santiago" title="linkedin"><svg xmlns="http://www.w3.org/2000/svg" x="0px" y="0px" width="16px" height="16px" viewBox="0 0 30 30" fill="currentcolor"><path d="M24,4H6C4.895,4,4,4.895,4,6v18c0,1.105,0.895,2,2,2h18c1.105,0,2-0.895,2-2V6C26,4.895,25.105,4,24,4z M10.954,22h-2.95 v-9.492h2.95V22z M9.449,11.151c-0.951,0-1.72-0.771-1.72-1.72c0-0.949,0.77-1.719,1.72-1.719c0.948,0,1.719,0.771,1.719,1.719 C11.168,10.38,10.397,11.151,9.449,11.151z M22.004,22h-2.948v-4.616c0-1.101-0.02-2.517-1.533-2.517 c-1.535,0-1.771,1.199-1.771,2.437V22h-2.948v-9.492h2.83v1.297h0.04c0.394-0.746,1.356-1.533,2.791-1.533 c2.987,0,3.539,1.966,3.539,4.522V22z"></path></svg></a> </p> </footer> diff --git a/public/blog/index.html b/public/blog/index.html index cfe0206..d136f7b 100644 --- a/public/blog/index.html +++ b/public/blog/index.html @@ -1,37 +1,37 @@ <!DOCTYPE html> <html lang="en-US"> -<head><script src="/livereload.js?mindelay=10&v=2&port=1313&path=livereload" data-no-instant defer></script> +<head> <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" /> -<title>Blogs | lowestcase</title> -<meta name="title" content="Blogs" /> -<meta name="description" content="a lowercase only blog" /> +<title>blog | lowest case</title> +<meta name="title" content="blog" /> +<meta name="description" content="a lowercase only blog, purely for aesthetics" /> <meta name="keywords" content="correctness,rust," /> -<meta property="og:url" content="http://localhost:1313/blog/"> - <meta property="og:site_name" content="lowestcase"> - <meta property="og:title" content="Blogs"> - <meta property="og:description" content="a lowercase only blog"> +<meta property="og:url" content="https://o-santi.github.com/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"> <meta property="og:locale" content="en-US"> <meta property="og:type" content="website"> -<meta name="twitter:card" content="summary"><meta name="twitter:title" content="Blogs"> -<meta name="twitter:description" content="a lowercase only blog"> +<meta name="twitter:card" content="summary"><meta name="twitter:title" content="blog"> +<meta name="twitter:description" content="a lowercase only blog, purely for aesthetics"> - <meta itemprop="name" content="Blogs"> - <meta itemprop="description" content="a lowercase only blog"> - <meta itemprop="dateModified" content="2024-06-01T15:21:30-03:00"> + <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 name="referrer" content="no-referrer-when-downgrade" /> - <link rel="alternate" type="application/rss+xml" href="http://localhost:1313/blog/index.xml" title="lowestcase" /> + <link rel="alternate" type="application/rss+xml" href="https://o-santi.github.com/blog/index.xml" title="lowest case" /> <style> body { font-family: Verdana, sans-serif; @@ -212,7 +212,7 @@ } a:hover { color:#d46b08; - text-decoration: dotted underline; + text-decoration: wavy underline; } ul.blog-posts li a:visited { color:#ffc069; @@ -225,11 +225,10 @@ </head> <body> - <header><a href="/" class="title"> - <h2>lowestcase</h2> -</a> -<nav><a href="/">home</a> - + <header><nav> + <a href="/" class="title"> + <h2 style="display:inline">lowest case</h2> + </a> <a href="/about/">about</a> @@ -246,11 +245,11 @@ <span> <i> <time datetime='2024-06-01' pubdate> - 01-06-2024 + 01 june, 2024 </time> </i> </span> - <a href="http://localhost:1313/rust-is-not-about-memory-safety/">rust is not about memory safety</a> + <a href="https://o-santi.github.com/blog/rust-is-not-about-memory-safety/">rust is not about memory safety</a> </li> </ul> @@ -258,9 +257,9 @@ <small> <div> - <a href="http://localhost:1313/blog/correctness/">#Correctness</a> + <a href="https://o-santi.github.com/tags/correctness/">#correctness</a> - <a href="http://localhost:1313/blog/rust/">#Rust</a> + <a href="https://o-santi.github.com/tags/rust/">#rust</a> </div> </small> @@ -268,7 +267,7 @@ </content> </main> - <footer>leonardo santiago | <a href="https://github.com/o-santi" title="github"><svg width="16px" height="16px" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M9 19c-5 1.5-5-2.5-7-3m14 6v-3.87a3.37 3.37.0 00-.94-2.61c3.14-.35 6.44-1.54 6.44-7A5.44 5.44.0 0020 4.77 5.07 5.07.0 0019.91 1S18.73.65 16 2.48a13.38 13.38.0 00-7 0C6.27.65 5.09 1 5.09 1A5.07 5.07.0 005 4.77 5.44 5.44.0 003.5 8.55c0 5.42 3.3 6.61 6.44 7A3.37 3.37.0 009 18.13V22"></path></svg></a> <a href="mailto:[email protected]" title="email"> <svg width="16px" height="16px" viewBox="0 0 1920 1920" fill="#fa8c16"><path d="M0 1694.235h1920V226H0v1468.235ZM112.941 376.664V338.94H1807.06v37.723L960 1111.233l-847.059-734.57ZM1807.06 526.198v950.513l-351.134-438.89-88.32 70.475 378.353 472.998H174.042l378.353-472.998-88.32-70.475-351.134 438.89V526.198L960 1260.768l847.059-734.57Z" fill-rule="evenodd"></path></svg></a> + <footer><p> leonardo santiago | <a href="https://github.com/o-santi" title="github"><svg width="16px" height="16px" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M9 19c-5 1.5-5-2.5-7-3m14 6v-3.87a3.37 3.37.0 00-.94-2.61c3.14-.35 6.44-1.54 6.44-7A5.44 5.44.0 0020 4.77 5.07 5.07.0 0019.91 1S18.73.65 16 2.48a13.38 13.38.0 00-7 0C6.27.65 5.09 1 5.09 1A5.07 5.07.0 005 4.77 5.44 5.44.0 003.5 8.55c0 5.42 3.3 6.61 6.44 7A3.37 3.37.0 009 18.13V22"></path></svg></a> <a href="mailto:[email protected]" title="email"> <svg width="16px" height="16px" viewBox="0 0 1920 1920" fill="currentcolor"><path d="M0 1694.235h1920V226H0v1468.235ZM112.941 376.664V338.94H1807.06v37.723L960 1111.233l-847.059-734.57ZM1807.06 526.198v950.513l-351.134-438.89-88.32 70.475 378.353 472.998H174.042l378.353-472.998-88.32-70.475-351.134 438.89V526.198L960 1260.768l847.059-734.57Z" fill-rule="evenodd"></path></svg></a> <a href="https://linkedin.com/leonardo-ribeiro-santiago" title="linkedin"><svg xmlns="http://www.w3.org/2000/svg" x="0px" y="0px" width="16px" height="16px" viewBox="0 0 30 30" fill="currentcolor"><path d="M24,4H6C4.895,4,4,4.895,4,6v18c0,1.105,0.895,2,2,2h18c1.105,0,2-0.895,2-2V6C26,4.895,25.105,4,24,4z M10.954,22h-2.95 v-9.492h2.95V22z M9.449,11.151c-0.951,0-1.72-0.771-1.72-1.72c0-0.949,0.77-1.719,1.72-1.719c0.948,0,1.719,0.771,1.719,1.719 C11.168,10.38,10.397,11.151,9.449,11.151z M22.004,22h-2.948v-4.616c0-1.101-0.02-2.517-1.533-2.517 c-1.535,0-1.771,1.199-1.771,2.437V22h-2.948v-9.492h2.83v1.297h0.04c0.394-0.746,1.356-1.533,2.791-1.533 c2.987,0,3.539,1.966,3.539,4.522V22z"></path></svg></a> </p> </footer> diff --git a/public/blog/index.xml b/public/blog/index.xml index bdbd344..8839517 100644 --- a/public/blog/index.xml +++ b/public/blog/index.xml @@ -1,18 +1,18 @@ <?xml version="1.0" encoding="utf-8" standalone="yes"?> <rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"> <channel> - <title>Blogs on lowestcase</title> - <link>http://localhost:1313/blog/</link> - <description>Recent content in Blogs on lowestcase</description> + <title>blog on lowest case</title> + <link>https://o-santi.github.com/blog/</link> + <description>Recent content in blog on lowest case</description> <generator>Hugo</generator> <language>en-US</language> - <lastBuildDate>Sat, 01 Jun 2024 15:21:30 -0300</lastBuildDate> - <atom:link href="http://localhost:1313/blog/index.xml" rel="self" type="application/rss+xml" /> + <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" /> <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> + <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> <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/rust-is-not-about-memory-safety/index.html b/public/blog/rust-is-not-about-memory-safety/index.html index 72ed6a0..b6dc2bc 100644 --- a/public/rust-is-not-about-memory-safety/index.html +++ b/public/blog/rust-is-not-about-memory-safety/index.html @@ -1,42 +1,42 @@ <!DOCTYPE html> <html lang="en-US"> -<head><script src="/livereload.js?mindelay=10&v=2&port=1313&path=livereload" data-no-instant defer></script> +<head> <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" /> -<title>rust is not about memory safety | lowestcase</title> +<title>rust is not about memory safety | lowest case</title> <meta name="title" content="rust is not about memory safety" /> -<meta name="description" content="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:" /> +<meta name="description" content="a lower case only blog, purely for aesthetics" /> <meta name="keywords" content="rust,correctness," /> -<meta property="og:url" content="http://localhost:1313/rust-is-not-about-memory-safety/"> - <meta property="og:site_name" content="lowestcase"> +<meta property="og:url" content="https://o-santi.github.com/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="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:"> + <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-01T15:21:30-03:00"> - <meta property="article:modified_time" content="2024-06-01T15:21:30-03:00"> - <meta property="article:tag" content="Rust"> - <meta property="article:tag" content="Correctness"> + <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:tag" content="rust"> + <meta property="article:tag" content="correctness"> <meta name="twitter:card" content="summary"><meta name="twitter:title" content="rust is not about memory safety"> -<meta name="twitter:description" content="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:"> +<meta name="twitter:description" content="a lower case only blog, purely for aesthetics"> <meta itemprop="name" content="rust is not about memory safety"> - <meta itemprop="description" content="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:"> - <meta itemprop="datePublished" content="2024-06-01T15:21:30-03:00"> - <meta itemprop="dateModified" content="2024-06-01T15:21:30-03:00"> - <meta itemprop="wordCount" content="2453"> - <meta itemprop="keywords" content="Rust,Correctness"> + <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="2456"> + <meta itemprop="keywords" content="rust,correctness"> <meta name="referrer" content="no-referrer-when-downgrade" /> <style> @@ -219,7 +219,7 @@ } a:hover { color:#d46b08; - text-decoration: dotted underline; + text-decoration: wavy underline; } ul.blog-posts li a:visited { color:#ffc069; @@ -232,11 +232,10 @@ </head> <body> - <header><a href="/" class="title"> - <h2>lowestcase</h2> -</a> -<nav><a href="/">home</a> - + <header><nav> + <a href="/" class="title"> + <h2 style="display:inline">lowest case</h2> + </a> <a href="/about/">about</a> @@ -250,7 +249,7 @@ <p> <i> <time datetime='2024-06-01' pubdate> - 01-06-2024 + 01 june, 2024 </time> </i> </p> @@ -273,7 +272,7 @@ </span></span><span style="display:flex;"><span><span style="color:#a6e22e">foo</span>(NULL); </span></span></code></pre></div><p>i say <em>well behaved</em> because i can’t say <em>invalid</em>. it is in fact defined by the spec that when you dereference a <code>NULL</code> pointer the result is <a href="http://blog.llvm.org/2011/05/what-every-c-programmer-should-know.html"><em>undefined behavior</em></a>. and this is C’s achilles heel: instead of outright banning programs like the one above (which i’d argue is the correct approach), it will happily compile and give you garbage output.</p> <p>framing it this way really exposes the fragility of C, because undefined behavior has to always be taken into account. and, by the nature of it, there is no way to represent it other than as a black box, such that, if your code ever encounters it, then literally all you can say is that <strong>the whole result of the program</strong> is undefined - that is, it can be anything. you cannot show properties, nor say what will happen once your program enters this state, as the C specification literally does not define it. it may come to a halt, write garbage to the screen or completely delete half of the files of your program, and there’s no way to predict what will come out of it, by definition. in the lucky case, it will segfault while executing and you’ll be extremely pissed off, but that is not at all guaranteed. this is akin to having a float expression with some deep term being <code>NaN</code>, in that it eventually must evaluate to <code>NaN</code> and you can’t draw any conclusions about the result of the expression (other that it isn’t a number).</p> -<p>language designers are by no means dumb, and yes, they know much, much more than me about these problems. undefined behavior exists exactly because there must be parts of your code that your compiler <strong>must</strong> assume that aren’t possible, so that it can correctly compile. for example, let’s say that you inadvertently try to dereference a pointer that you have no knowledge about. the C compiler simply does not have enough information to know if it is <code>NULL</code>, if it is still pointing to valid memory, or if the memory has been initialized, so what it’s approach is simply emit code <strong>as if</strong> it was a valid, initialized, non-null pointer.</p> +<p>language designers and compiler developers are by no means dumb, and yes, they know much, much more than me about these problems. undefined behavior exists exactly because there must be parts of your code that your compiler <strong>must</strong> assume that aren’t possible, so that it can correctly compile. for example, let’s say that you inadvertently try to dereference a pointer that you have no knowledge about. the C compiler simply does not have enough information to know if it is <code>NULL</code>, if it is still pointing to valid memory, or if the memory has been initialized, so what it’s approach is simply emit code <strong>as if</strong> it was a valid, initialized, non-null pointer.</p> <p>it is essential to realize that this is an <strong>assumption</strong>, and in almost most cases, it simply does not care whether or not it actually was actually still valid, so writing to it may have a myriad of effects of different effects (none of which are the compiler’s concerns). sometimes, your system might correctly intercept a read/write from invalid/null memory and raise you a signal, but that is not guaranteed.</p> <p>and there are a huge number of tools to aid in finding undefined behavior, it’s just that 1. they are not by any means standards of C development (not in spec and not in standard compilers) and 2 they are fallible and will always let some undefined programs slip by.</p> <h2 id="runtime-exceptions-are-not-the-solution">runtime exceptions are not the solution</h2> @@ -321,14 +320,14 @@ </content> <p> - <a href="http://localhost:1313/blog/rust/">#Rust</a> + <a href="https://o-santi.github.com/tags/rust/">#rust</a> - <a href="http://localhost:1313/blog/correctness/">#Correctness</a> + <a href="https://o-santi.github.com/tags/correctness/">#correctness</a> </p> </main> - <footer>leonardo santiago | <a href="https://github.com/o-santi" title="github"><svg width="16px" height="16px" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M9 19c-5 1.5-5-2.5-7-3m14 6v-3.87a3.37 3.37.0 00-.94-2.61c3.14-.35 6.44-1.54 6.44-7A5.44 5.44.0 0020 4.77 5.07 5.07.0 0019.91 1S18.73.65 16 2.48a13.38 13.38.0 00-7 0C6.27.65 5.09 1 5.09 1A5.07 5.07.0 005 4.77 5.44 5.44.0 003.5 8.55c0 5.42 3.3 6.61 6.44 7A3.37 3.37.0 009 18.13V22"></path></svg></a> <a href="mailto:[email protected]" title="email"> <svg width="16px" height="16px" viewBox="0 0 1920 1920" fill="#fa8c16"><path d="M0 1694.235h1920V226H0v1468.235ZM112.941 376.664V338.94H1807.06v37.723L960 1111.233l-847.059-734.57ZM1807.06 526.198v950.513l-351.134-438.89-88.32 70.475 378.353 472.998H174.042l378.353-472.998-88.32-70.475-351.134 438.89V526.198L960 1260.768l847.059-734.57Z" fill-rule="evenodd"></path></svg></a> + <footer><p> leonardo santiago | <a href="https://github.com/o-santi" title="github"><svg width="16px" height="16px" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M9 19c-5 1.5-5-2.5-7-3m14 6v-3.87a3.37 3.37.0 00-.94-2.61c3.14-.35 6.44-1.54 6.44-7A5.44 5.44.0 0020 4.77 5.07 5.07.0 0019.91 1S18.73.65 16 2.48a13.38 13.38.0 00-7 0C6.27.65 5.09 1 5.09 1A5.07 5.07.0 005 4.77 5.44 5.44.0 003.5 8.55c0 5.42 3.3 6.61 6.44 7A3.37 3.37.0 009 18.13V22"></path></svg></a> <a href="mailto:[email protected]" title="email"> <svg width="16px" height="16px" viewBox="0 0 1920 1920" fill="currentcolor"><path d="M0 1694.235h1920V226H0v1468.235ZM112.941 376.664V338.94H1807.06v37.723L960 1111.233l-847.059-734.57ZM1807.06 526.198v950.513l-351.134-438.89-88.32 70.475 378.353 472.998H174.042l378.353-472.998-88.32-70.475-351.134 438.89V526.198L960 1260.768l847.059-734.57Z" fill-rule="evenodd"></path></svg></a> <a href="https://linkedin.com/leonardo-ribeiro-santiago" title="linkedin"><svg xmlns="http://www.w3.org/2000/svg" x="0px" y="0px" width="16px" height="16px" viewBox="0 0 30 30" fill="currentcolor"><path d="M24,4H6C4.895,4,4,4.895,4,6v18c0,1.105,0.895,2,2,2h18c1.105,0,2-0.895,2-2V6C26,4.895,25.105,4,24,4z M10.954,22h-2.95 v-9.492h2.95V22z M9.449,11.151c-0.951,0-1.72-0.771-1.72-1.72c0-0.949,0.77-1.719,1.72-1.719c0.948,0,1.719,0.771,1.719,1.719 C11.168,10.38,10.397,11.151,9.449,11.151z M22.004,22h-2.948v-4.616c0-1.101-0.02-2.517-1.533-2.517 c-1.535,0-1.771,1.199-1.771,2.437V22h-2.948v-9.492h2.83v1.297h0.04c0.394-0.746,1.356-1.533,2.791-1.533 c2.987,0,3.539,1.966,3.539,4.522V22z"></path></svg></a> </p> </footer> diff --git a/public/index.html b/public/index.html index 30dd6c4..0a3ba87 100644 --- a/public/index.html +++ b/public/index.html @@ -2,41 +2,39 @@ <html lang="en-US"> <head> - <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 name="generator" content="Hugo 0.125.3"> <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" /> -<title>lowest case | lowestcase</title> -<meta name="title" content="lowest case" /> -<meta name="description" content="a lowercase only blog" /> +<title>home | lowest case</title> +<meta name="title" content="home" /> +<meta name="description" content="a lower case only blog, purely for aesthetics" /> <meta name="keywords" content="correctness,rust," /> -<meta property="og:url" content="http://localhost:1313/"> - <meta property="og:site_name" content="lowestcase"> - <meta property="og:title" content="lowest case"> - <meta property="og:description" content="a lower case only blog, purely for aesthetics. -here I talk about discrete mathematics (mostly computer science), including compilers, language theory, type theory, computability theory, software correctness, formal verification, and any other (entirely theoretical, almost non-applicable) nerd topic you can think of."> +<meta property="og:url" content="https://o-santi.github.com/"> + <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"> <meta property="og:locale" content="en-US"> <meta property="og:type" content="website"> -<meta name="twitter:card" content="summary"><meta name="twitter:title" content="lowest case"> -<meta name="twitter:description" content="a lowercase only blog"> +<meta name="twitter:card" content="summary"><meta name="twitter:title" content="home"> +<meta name="twitter:description" content="a lower case only blog, purely for aesthetics"> - <meta itemprop="name" content="lowest case"> - <meta itemprop="description" content="a lower case only blog, purely for aesthetics. -here I talk about discrete mathematics (mostly computer science), including compilers, language theory, type theory, computability theory, software correctness, formal verification, and any other (entirely theoretical, almost non-applicable) nerd topic you can think of."> - <meta itemprop="datePublished" content="2024-06-01T10:31:58-03:00"> - <meta itemprop="dateModified" content="2024-06-01T10:31:58-03:00"> + <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="wordCount" content="42"> <meta name="referrer" content="no-referrer-when-downgrade" /> - <link rel="alternate" type="application/rss+xml" href="http://localhost:1313/index.xml" title="lowestcase" /> + <link rel="alternate" type="application/rss+xml" href="https://o-santi.github.com/index.xml" title="lowest case" /> <style> body { font-family: Verdana, sans-serif; @@ -217,7 +215,7 @@ here I talk about discrete mathematics (mostly computer science), including comp } a:hover { color:#d46b08; - text-decoration: dotted underline; + text-decoration: wavy underline; } ul.blog-posts li a:visited { color:#ffc069; @@ -230,11 +228,10 @@ here I talk about discrete mathematics (mostly computer science), including comp </head> <body> - <header><a href="/" class="title"> - <h2>lowestcase</h2> -</a> -<nav><a href="/">home</a> - + <header><nav> + <a href="/" class="title"> + <h2 style="display:inline">lowest case</h2> + </a> <a href="/about/">about</a> @@ -248,7 +245,7 @@ here I talk about discrete mathematics (mostly computer science), including comp </main> - <footer>leonardo santiago | <a href="https://github.com/o-santi" title="github"><svg width="16px" height="16px" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M9 19c-5 1.5-5-2.5-7-3m14 6v-3.87a3.37 3.37.0 00-.94-2.61c3.14-.35 6.44-1.54 6.44-7A5.44 5.44.0 0020 4.77 5.07 5.07.0 0019.91 1S18.73.65 16 2.48a13.38 13.38.0 00-7 0C6.27.65 5.09 1 5.09 1A5.07 5.07.0 005 4.77 5.44 5.44.0 003.5 8.55c0 5.42 3.3 6.61 6.44 7A3.37 3.37.0 009 18.13V22"></path></svg></a> <a href="mailto:[email protected]" title="email"> <svg width="16px" height="16px" viewBox="0 0 1920 1920" fill="#fa8c16"><path d="M0 1694.235h1920V226H0v1468.235ZM112.941 376.664V338.94H1807.06v37.723L960 1111.233l-847.059-734.57ZM1807.06 526.198v950.513l-351.134-438.89-88.32 70.475 378.353 472.998H174.042l378.353-472.998-88.32-70.475-351.134 438.89V526.198L960 1260.768l847.059-734.57Z" fill-rule="evenodd"></path></svg></a> + <footer><p> leonardo santiago | <a href="https://github.com/o-santi" title="github"><svg width="16px" height="16px" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M9 19c-5 1.5-5-2.5-7-3m14 6v-3.87a3.37 3.37.0 00-.94-2.61c3.14-.35 6.44-1.54 6.44-7A5.44 5.44.0 0020 4.77 5.07 5.07.0 0019.91 1S18.73.65 16 2.48a13.38 13.38.0 00-7 0C6.27.65 5.09 1 5.09 1A5.07 5.07.0 005 4.77 5.44 5.44.0 003.5 8.55c0 5.42 3.3 6.61 6.44 7A3.37 3.37.0 009 18.13V22"></path></svg></a> <a href="mailto:[email protected]" title="email"> <svg width="16px" height="16px" viewBox="0 0 1920 1920" fill="currentcolor"><path d="M0 1694.235h1920V226H0v1468.235ZM112.941 376.664V338.94H1807.06v37.723L960 1111.233l-847.059-734.57ZM1807.06 526.198v950.513l-351.134-438.89-88.32 70.475 378.353 472.998H174.042l378.353-472.998-88.32-70.475-351.134 438.89V526.198L960 1260.768l847.059-734.57Z" fill-rule="evenodd"></path></svg></a> <a href="https://linkedin.com/leonardo-ribeiro-santiago" title="linkedin"><svg xmlns="http://www.w3.org/2000/svg" x="0px" y="0px" width="16px" height="16px" viewBox="0 0 30 30" fill="currentcolor"><path d="M24,4H6C4.895,4,4,4.895,4,6v18c0,1.105,0.895,2,2,2h18c1.105,0,2-0.895,2-2V6C26,4.895,25.105,4,24,4z M10.954,22h-2.95 v-9.492h2.95V22z M9.449,11.151c-0.951,0-1.72-0.771-1.72-1.72c0-0.949,0.77-1.719,1.72-1.719c0.948,0,1.719,0.771,1.719,1.719 C11.168,10.38,10.397,11.151,9.449,11.151z M22.004,22h-2.948v-4.616c0-1.101-0.02-2.517-1.533-2.517 c-1.535,0-1.771,1.199-1.771,2.437V22h-2.948v-9.492h2.83v1.297h0.04c0.394-0.746,1.356-1.533,2.791-1.533 c2.987,0,3.539,1.966,3.539,4.522V22z"></path></svg></a> </p> </footer> 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 @@ <?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> + <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 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> + <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" /> <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> + <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> <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> + <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> diff --git a/public/robots.txt b/public/robots.txt index 1a142c1..dc6b1c1 100644 --- a/public/robots.txt +++ b/public/robots.txt @@ -1,2 +1,2 @@ User-Agent: * -Sitemap: http://localhost:1313/sitemap.xml +Sitemap: https://o-santi.github.com/sitemap.xml diff --git a/public/sitemap.xml b/public/sitemap.xml index ff8dc18..d640e7b 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>http://localhost:1313/blog/</loc> - <lastmod>2024-06-01T15:21:30-03:00</lastmod> + <loc>https://o-santi.github.com/about/</loc> + <lastmod>2024-06-01T17:29:17-03:00</lastmod> </url><url> - <loc>http://localhost:1313/blog/correctness/</loc> - <lastmod>2024-06-01T15:21:30-03:00</lastmod> + <loc>https://o-santi.github.com/blog/</loc> + <lastmod>2024-06-01T17:29:17-03:00</lastmod> </url><url> - <loc>http://localhost:1313/blog/rust/</loc> - <lastmod>2024-06-01T15:21:30-03:00</lastmod> + <loc>https://o-santi.github.com/tags/correctness/</loc> + <lastmod>2024-06-01T17:29:17-03:00</lastmod> </url><url> - <loc>http://localhost:1313/rust-is-not-about-memory-safety/</loc> - <lastmod>2024-06-01T15:21:30-03:00</lastmod> + <loc>https://o-santi.github.com/</loc> + <lastmod>2024-06-01T17:29:17-03:00</lastmod> </url><url> - <loc>http://localhost:1313/about/</loc> - <lastmod>2024-06-01T12:12:47-03:00</lastmod> + <loc>https://o-santi.github.com/tags/rust/</loc> + <lastmod>2024-06-01T17:29:17-03:00</lastmod> </url><url> - <loc>http://localhost:1313/</loc> - <lastmod>2024-06-01T10:31:58-03:00</lastmod> + <loc>https://o-santi.github.com/blog/rust-is-not-about-memory-safety/</loc> + <lastmod>2024-06-01T17:29:17-03:00</lastmod> </url> </urlset> diff --git a/public/blog/rust/index.html b/public/tags/correctness/index.html index d61a2ab..9e25c80 100644 --- a/public/blog/rust/index.html +++ b/public/tags/correctness/index.html @@ -1,37 +1,37 @@ <!DOCTYPE html> <html lang="en-US"> -<head><script src="/livereload.js?mindelay=10&v=2&port=1313&path=livereload" data-no-instant defer></script> +<head> <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" /> -<title>Rust | lowestcase</title> -<meta name="title" content="Rust" /> -<meta name="description" content="a lowercase only blog" /> +<title>correctness | lowest case</title> +<meta name="title" content="correctness" /> +<meta name="description" content="a lowercase only blog, purely for aesthetics" /> <meta name="keywords" content="correctness,rust," /> -<meta property="og:url" content="http://localhost:1313/blog/rust/"> - <meta property="og:site_name" content="lowestcase"> - <meta property="og:title" content="Rust"> - <meta property="og:description" content="a lowercase only blog"> +<meta property="og:url" content="https://o-santi.github.com/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"> <meta property="og:locale" content="en-US"> <meta property="og:type" content="website"> -<meta name="twitter:card" content="summary"><meta name="twitter:title" content="Rust"> -<meta name="twitter:description" content="a lowercase only blog"> +<meta name="twitter:card" content="summary"><meta name="twitter:title" content="correctness"> +<meta name="twitter:description" content="a lowercase only blog, purely for aesthetics"> - <meta itemprop="name" content="Rust"> - <meta itemprop="description" content="a lowercase only blog"> - <meta itemprop="dateModified" content="2024-06-01T15:21:30-03:00"> + <meta itemprop="name" content="correctness"> + <meta itemprop="description" content="a lowercase only blog, purely for aesthetics"> + <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="http://localhost:1313/blog/rust/index.xml" title="lowestcase" /> + <link rel="alternate" type="application/rss+xml" href="https://o-santi.github.com/tags/correctness/index.xml" title="lowest case" /> <style> body { font-family: Verdana, sans-serif; @@ -212,7 +212,7 @@ } a:hover { color:#d46b08; - text-decoration: dotted underline; + text-decoration: wavy underline; } ul.blog-posts li a:visited { color:#ffc069; @@ -225,11 +225,10 @@ </head> <body> - <header><a href="/" class="title"> - <h2>lowestcase</h2> -</a> -<nav><a href="/">home</a> - + <header><nav> + <a href="/" class="title"> + <h2 style="display:inline">lowest case</h2> + </a> <a href="/about/">about</a> @@ -240,9 +239,9 @@ <main> <content> - <h3 style="margin-bottom:0">Filtering for "Rust"</h3> + <h3 style="margin-bottom:0">filtering for "correctness"</h3> <small> - <a href="/blog">Remove filter</a> + <a href="/blog">remove filter</a> </small> <ul class="blog-posts"> @@ -251,11 +250,11 @@ <span> <i> <time datetime='2024-06-01' pubdate> - 01-06-2024 + 01 june, 2024 </time> </i> </span> - <a href="http://localhost:1313/rust-is-not-about-memory-safety/">rust is not about memory safety</a> + <a href="https://o-santi.github.com/blog/rust-is-not-about-memory-safety/">rust is not about memory safety</a> </li> </ul> @@ -264,7 +263,7 @@ </content> </main> - <footer>leonardo santiago | <a href="https://github.com/o-santi" title="github"><svg width="16px" height="16px" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M9 19c-5 1.5-5-2.5-7-3m14 6v-3.87a3.37 3.37.0 00-.94-2.61c3.14-.35 6.44-1.54 6.44-7A5.44 5.44.0 0020 4.77 5.07 5.07.0 0019.91 1S18.73.65 16 2.48a13.38 13.38.0 00-7 0C6.27.65 5.09 1 5.09 1A5.07 5.07.0 005 4.77 5.44 5.44.0 003.5 8.55c0 5.42 3.3 6.61 6.44 7A3.37 3.37.0 009 18.13V22"></path></svg></a> <a href="mailto:[email protected]" title="email"> <svg width="16px" height="16px" viewBox="0 0 1920 1920" fill="#fa8c16"><path d="M0 1694.235h1920V226H0v1468.235ZM112.941 376.664V338.94H1807.06v37.723L960 1111.233l-847.059-734.57ZM1807.06 526.198v950.513l-351.134-438.89-88.32 70.475 378.353 472.998H174.042l378.353-472.998-88.32-70.475-351.134 438.89V526.198L960 1260.768l847.059-734.57Z" fill-rule="evenodd"></path></svg></a> + <footer><p> leonardo santiago | <a href="https://github.com/o-santi" title="github"><svg width="16px" height="16px" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M9 19c-5 1.5-5-2.5-7-3m14 6v-3.87a3.37 3.37.0 00-.94-2.61c3.14-.35 6.44-1.54 6.44-7A5.44 5.44.0 0020 4.77 5.07 5.07.0 0019.91 1S18.73.65 16 2.48a13.38 13.38.0 00-7 0C6.27.65 5.09 1 5.09 1A5.07 5.07.0 005 4.77 5.44 5.44.0 003.5 8.55c0 5.42 3.3 6.61 6.44 7A3.37 3.37.0 009 18.13V22"></path></svg></a> <a href="mailto:[email protected]" title="email"> <svg width="16px" height="16px" viewBox="0 0 1920 1920" fill="currentcolor"><path d="M0 1694.235h1920V226H0v1468.235ZM112.941 376.664V338.94H1807.06v37.723L960 1111.233l-847.059-734.57ZM1807.06 526.198v950.513l-351.134-438.89-88.32 70.475 378.353 472.998H174.042l378.353-472.998-88.32-70.475-351.134 438.89V526.198L960 1260.768l847.059-734.57Z" fill-rule="evenodd"></path></svg></a> <a href="https://linkedin.com/leonardo-ribeiro-santiago" title="linkedin"><svg xmlns="http://www.w3.org/2000/svg" x="0px" y="0px" width="16px" height="16px" viewBox="0 0 30 30" fill="currentcolor"><path d="M24,4H6C4.895,4,4,4.895,4,6v18c0,1.105,0.895,2,2,2h18c1.105,0,2-0.895,2-2V6C26,4.895,25.105,4,24,4z M10.954,22h-2.95 v-9.492h2.95V22z M9.449,11.151c-0.951,0-1.72-0.771-1.72-1.72c0-0.949,0.77-1.719,1.72-1.719c0.948,0,1.719,0.771,1.719,1.719 C11.168,10.38,10.397,11.151,9.449,11.151z M22.004,22h-2.948v-4.616c0-1.101-0.02-2.517-1.533-2.517 c-1.535,0-1.771,1.199-1.771,2.437V22h-2.948v-9.492h2.83v1.297h0.04c0.394-0.746,1.356-1.533,2.791-1.533 c2.987,0,3.539,1.966,3.539,4.522V22z"></path></svg></a> </p> </footer> diff --git a/public/blog/rust/index.xml b/public/tags/correctness/index.xml index 8714ca6..765db57 100644 --- a/public/blog/rust/index.xml +++ b/public/tags/correctness/index.xml @@ -1,18 +1,18 @@ <?xml version="1.0" encoding="utf-8" standalone="yes"?> <rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"> <channel> - <title>Rust on lowestcase</title> - <link>http://localhost:1313/blog/rust/</link> - <description>Recent content in Rust on lowestcase</description> + <title>correctness on lowest case</title> + <link>https://o-santi.github.com/tags/correctness/</link> + <description>Recent content in correctness on lowest case</description> <generator>Hugo</generator> <language>en-US</language> - <lastBuildDate>Sat, 01 Jun 2024 15:21:30 -0300</lastBuildDate> - <atom:link href="http://localhost:1313/blog/rust/index.xml" rel="self" type="application/rss+xml" /> + <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" /> <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> + <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> <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/correctness/index.html b/public/tags/rust/index.html index 9c57d5a..0fce287 100644 --- a/public/blog/correctness/index.html +++ b/public/tags/rust/index.html @@ -1,37 +1,37 @@ <!DOCTYPE html> <html lang="en-US"> -<head><script src="/livereload.js?mindelay=10&v=2&port=1313&path=livereload" data-no-instant defer></script> +<head> <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" /> -<title>Correctness | lowestcase</title> -<meta name="title" content="Correctness" /> -<meta name="description" content="a lowercase only blog" /> +<title>rust | lowest case</title> +<meta name="title" content="rust" /> +<meta name="description" content="a lowercase only blog, purely for aesthetics" /> <meta name="keywords" content="correctness,rust," /> -<meta property="og:url" content="http://localhost:1313/blog/correctness/"> - <meta property="og:site_name" content="lowestcase"> - <meta property="og:title" content="Correctness"> - <meta property="og:description" content="a lowercase only blog"> +<meta property="og:url" content="https://o-santi.github.com/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"> <meta property="og:locale" content="en-US"> <meta property="og:type" content="website"> -<meta name="twitter:card" content="summary"><meta name="twitter:title" content="Correctness"> -<meta name="twitter:description" content="a lowercase only blog"> +<meta name="twitter:card" content="summary"><meta name="twitter:title" content="rust"> +<meta name="twitter:description" content="a lowercase only blog, purely for aesthetics"> - <meta itemprop="name" content="Correctness"> - <meta itemprop="description" content="a lowercase only blog"> - <meta itemprop="dateModified" content="2024-06-01T15:21:30-03:00"> + <meta itemprop="name" content="rust"> + <meta itemprop="description" content="a lowercase only blog, purely for aesthetics"> + <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="http://localhost:1313/blog/correctness/index.xml" title="lowestcase" /> + <link rel="alternate" type="application/rss+xml" href="https://o-santi.github.com/tags/rust/index.xml" title="lowest case" /> <style> body { font-family: Verdana, sans-serif; @@ -212,7 +212,7 @@ } a:hover { color:#d46b08; - text-decoration: dotted underline; + text-decoration: wavy underline; } ul.blog-posts li a:visited { color:#ffc069; @@ -225,11 +225,10 @@ </head> <body> - <header><a href="/" class="title"> - <h2>lowestcase</h2> -</a> -<nav><a href="/">home</a> - + <header><nav> + <a href="/" class="title"> + <h2 style="display:inline">lowest case</h2> + </a> <a href="/about/">about</a> @@ -240,9 +239,9 @@ <main> <content> - <h3 style="margin-bottom:0">Filtering for "Correctness"</h3> + <h3 style="margin-bottom:0">filtering for "rust"</h3> <small> - <a href="/blog">Remove filter</a> + <a href="/blog">remove filter</a> </small> <ul class="blog-posts"> @@ -251,11 +250,11 @@ <span> <i> <time datetime='2024-06-01' pubdate> - 01-06-2024 + 01 june, 2024 </time> </i> </span> - <a href="http://localhost:1313/rust-is-not-about-memory-safety/">rust is not about memory safety</a> + <a href="https://o-santi.github.com/blog/rust-is-not-about-memory-safety/">rust is not about memory safety</a> </li> </ul> @@ -264,7 +263,7 @@ </content> </main> - <footer>leonardo santiago | <a href="https://github.com/o-santi" title="github"><svg width="16px" height="16px" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M9 19c-5 1.5-5-2.5-7-3m14 6v-3.87a3.37 3.37.0 00-.94-2.61c3.14-.35 6.44-1.54 6.44-7A5.44 5.44.0 0020 4.77 5.07 5.07.0 0019.91 1S18.73.65 16 2.48a13.38 13.38.0 00-7 0C6.27.65 5.09 1 5.09 1A5.07 5.07.0 005 4.77 5.44 5.44.0 003.5 8.55c0 5.42 3.3 6.61 6.44 7A3.37 3.37.0 009 18.13V22"></path></svg></a> <a href="mailto:[email protected]" title="email"> <svg width="16px" height="16px" viewBox="0 0 1920 1920" fill="#fa8c16"><path d="M0 1694.235h1920V226H0v1468.235ZM112.941 376.664V338.94H1807.06v37.723L960 1111.233l-847.059-734.57ZM1807.06 526.198v950.513l-351.134-438.89-88.32 70.475 378.353 472.998H174.042l378.353-472.998-88.32-70.475-351.134 438.89V526.198L960 1260.768l847.059-734.57Z" fill-rule="evenodd"></path></svg></a> + <footer><p> leonardo santiago | <a href="https://github.com/o-santi" title="github"><svg width="16px" height="16px" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M9 19c-5 1.5-5-2.5-7-3m14 6v-3.87a3.37 3.37.0 00-.94-2.61c3.14-.35 6.44-1.54 6.44-7A5.44 5.44.0 0020 4.77 5.07 5.07.0 0019.91 1S18.73.65 16 2.48a13.38 13.38.0 00-7 0C6.27.65 5.09 1 5.09 1A5.07 5.07.0 005 4.77 5.44 5.44.0 003.5 8.55c0 5.42 3.3 6.61 6.44 7A3.37 3.37.0 009 18.13V22"></path></svg></a> <a href="mailto:[email protected]" title="email"> <svg width="16px" height="16px" viewBox="0 0 1920 1920" fill="currentcolor"><path d="M0 1694.235h1920V226H0v1468.235ZM112.941 376.664V338.94H1807.06v37.723L960 1111.233l-847.059-734.57ZM1807.06 526.198v950.513l-351.134-438.89-88.32 70.475 378.353 472.998H174.042l378.353-472.998-88.32-70.475-351.134 438.89V526.198L960 1260.768l847.059-734.57Z" fill-rule="evenodd"></path></svg></a> <a href="https://linkedin.com/leonardo-ribeiro-santiago" title="linkedin"><svg xmlns="http://www.w3.org/2000/svg" x="0px" y="0px" width="16px" height="16px" viewBox="0 0 30 30" fill="currentcolor"><path d="M24,4H6C4.895,4,4,4.895,4,6v18c0,1.105,0.895,2,2,2h18c1.105,0,2-0.895,2-2V6C26,4.895,25.105,4,24,4z M10.954,22h-2.95 v-9.492h2.95V22z M9.449,11.151c-0.951,0-1.72-0.771-1.72-1.72c0-0.949,0.77-1.719,1.72-1.719c0.948,0,1.719,0.771,1.719,1.719 C11.168,10.38,10.397,11.151,9.449,11.151z M22.004,22h-2.948v-4.616c0-1.101-0.02-2.517-1.533-2.517 c-1.535,0-1.771,1.199-1.771,2.437V22h-2.948v-9.492h2.83v1.297h0.04c0.394-0.746,1.356-1.533,2.791-1.533 c2.987,0,3.539,1.966,3.539,4.522V22z"></path></svg></a> </p> </footer> diff --git a/public/blog/correctness/index.xml b/public/tags/rust/index.xml index 9b91eed..bf11a4d 100644 --- a/public/blog/correctness/index.xml +++ b/public/tags/rust/index.xml @@ -1,18 +1,18 @@ <?xml version="1.0" encoding="utf-8" standalone="yes"?> <rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"> <channel> - <title>Correctness on lowestcase</title> - <link>http://localhost:1313/blog/correctness/</link> - <description>Recent content in Correctness on lowestcase</description> + <title>rust on lowest case</title> + <link>https://o-santi.github.com/tags/rust/</link> + <description>Recent content in rust on lowest case</description> <generator>Hugo</generator> <language>en-US</language> - <lastBuildDate>Sat, 01 Jun 2024 15:21:30 -0300</lastBuildDate> - <atom:link href="http://localhost:1313/blog/correctness/index.xml" rel="self" type="application/rss+xml" /> + <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" /> <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> + <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> <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> |