add deployment workflow

author: Leonardo Santiago <[email protected]> 2024-06-01 19:01:14 -0300
committer: Leonardo Santiago <[email protected]> 2024-06-01 19:01:14 -0300
commit: 52459149e25cf12e6c65675a545fd1b264c9da57 (patch)
tree: f70892d1af8e572eb7095b49891c969d40488c3e /public
parent: 2ddbc2b056af0585b905606a2c6887d43f9c3b01 (diff)
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&amp;v=2&amp;port=1313&amp;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&amp;v=2&amp;port=1313&amp;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&rsquo; 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&rsquo; 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&rsquo;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&amp;v=2&amp;port=1313&amp;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>&nbsp;
+        <a href="http://localhost:1313/tags/correctness/">#correctness</a>&nbsp;
         
-        <a href="https://o-santi.github.com/tags/rust/">#rust</a>&nbsp;
+        <a href="http://localhost:1313/tags/rust/">#rust</a>&nbsp;
         
       </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&amp;v=2&amp;port=1313&amp;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&#160;<a href="#fnref:2" class="footnote-backref" role="doc-backlink">&#x21a9;&#xfe0e;</a></p>
 </li>
 <li id="fn:3">
-<p>through the use of external tools like Coq&rsquo;s <a href="https://vst.cs.princeton.edu/veric/">verifiable C series</a>&#160;<a href="#fnref:3" class="footnote-backref" role="doc-backlink">&#x21a9;&#xfe0e;</a></p>
+<p>through the use of external tools like coq&rsquo;s <a href="https://vst.cs.princeton.edu/veric/">verifiable C series</a>&#160;<a href="#fnref:3" class="footnote-backref" role="doc-backlink">&#x21a9;&#xfe0e;</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&amp;v=2&amp;port=1313&amp;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&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 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&amp;v=2&amp;port=1313&amp;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&amp;v=2&amp;port=1313&amp;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>
author	Leonardo Santiago <[email protected]>	2024-06-01 19:01:14 -0300
committer	Leonardo Santiago <[email protected]>	2024-06-01 19:01:14 -0300
commit	52459149e25cf12e6c65675a545fd1b264c9da57 (patch)
tree	f70892d1af8e572eb7095b49891c969d40488c3e /public
parent	2ddbc2b056af0585b905606a2c6887d43f9c3b01 (diff)