update blog url

author: Leonardo Santiago <[email protected]> 2024-06-01 19:13:59 -0300
committer: Leonardo Santiago <[email protected]> 2024-06-01 19:13:59 -0300
commit: bb44f9ff1b6e41c37cdf97db949aa6fbcd06237b (patch)
tree: 4cbddbb8f65740ba4a4f887d45f4881923795335 /public
parent: 52459149e25cf12e6c65675a545fd1b264c9da57 (diff)
13 files changed, 62 insertions, 62 deletions
diff --git a/public/404.html b/public/404.html
index 3155f08..8568043 100644
--- a/public/404.html
+++ b/public/404.html
@@ -1,7 +1,7 @@
 <!DOCTYPE html>
 <html lang="en-US">
 
-<head><script src="/livereload.js?mindelay=10&amp;v=2&amp;port=1313&amp;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" />
@@ -11,7 +11,7 @@
 <meta name="keywords" content="correctness,rust," />
 
 
-<meta property="og:url" content="http://localhost:1313/404.html">
+<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, purely for aesthetics">
diff --git a/public/about/index.html b/public/about/index.html
index 694346a..aea2b98 100644
--- a/public/about/index.html
+++ b/public/about/index.html
@@ -1,7 +1,7 @@
 <!DOCTYPE html>
 <html lang="en-US">
 
-<head><script src="/livereload.js?mindelay=10&amp;v=2&amp;port=1313&amp;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" />
@@ -11,7 +11,7 @@
 <meta name="keywords" content="" />
 
 
-<meta property="og:url" content="http://localhost:1313/about/">
+<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="a lower case only blog, purely for aesthetics">
diff --git a/public/blog/index.html b/public/blog/index.html
index 098a7f2..290f44d 100644
--- a/public/blog/index.html
+++ b/public/blog/index.html
@@ -1,7 +1,7 @@
 <!DOCTYPE html>
 <html lang="en-US">
 
-<head><script src="/livereload.js?mindelay=10&amp;v=2&amp;port=1313&amp;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" />
@@ -11,7 +11,7 @@
 <meta name="keywords" content="correctness,rust," />
 
 
-<meta property="og:url" content="http://localhost:1313/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">
@@ -31,7 +31,7 @@
   <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="http://localhost:1313/blog/index.xml" title="lowest case" />
+  <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;
@@ -249,7 +249,7 @@
           </time>
         </i>
       </span>
-      <a href="http://localhost:1313/blog/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>
@@ -257,9 +257,9 @@
     <small>
       <div>
         
-        <a href="http://localhost:1313/tags/correctness/">#correctness</a>&nbsp;
+        <a href="https://o-santi.github.com/tags/correctness/">#correctness</a>&nbsp;
         
-        <a href="http://localhost:1313/tags/rust/">#rust</a>&nbsp;
+        <a href="https://o-santi.github.com/tags/rust/">#rust</a>&nbsp;
         
       </div>
     </small>
diff --git a/public/blog/index.xml b/public/blog/index.xml
index 59990fb..31812ff 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>http://localhost:1313/blog/</link>
+    <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 18:59:08 -0300</lastBuildDate>
-    <atom:link href="http://localhost:1313/blog/index.xml" rel="self" type="application/rss+xml" />
+    <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/blog/rust-is-not-about-memory-safety/</link>
+      <link>https://o-santi.github.com/blog/rust-is-not-about-memory-safety/</link>
       <pubDate>Sat, 01 Jun 2024 18:59:08 -0300</pubDate>
-      <guid>http://localhost:1313/blog/rust-is-not-about-memory-safety/</guid>
+      <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/rust-is-not-about-memory-safety/index.html b/public/blog/rust-is-not-about-memory-safety/index.html
index b4e4d9a..3f12ee9 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><script src="/livereload.js?mindelay=10&amp;v=2&amp;port=1313&amp;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" />
@@ -11,7 +11,7 @@
 <meta name="keywords" content="rust,correctness," />
 
 
-<meta property="og:url" content="http://localhost:1313/blog/rust-is-not-about-memory-safety/">
+<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="a lower case only blog, purely for aesthetics">
@@ -320,9 +320,9 @@
 </content>
 <p>
   
-  <a href="http://localhost:1313/tags/rust/">#rust</a>
+  <a href="https://o-santi.github.com/tags/rust/">#rust</a>
   
-  <a href="http://localhost:1313/tags/correctness/">#correctness</a>
+  <a href="https://o-santi.github.com/tags/correctness/">#correctness</a>
   
 </p>
 
diff --git a/public/index.html b/public/index.html
index 875efee..7893007 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"><script src="/livereload.js?mindelay=10&amp;v=2&amp;port=1313&amp;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" />
@@ -12,7 +12,7 @@
 <meta name="keywords" content="correctness,rust," />
 
 
-<meta property="og:url" content="http://localhost:1313/">
+<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">
@@ -34,7 +34,7 @@
   <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="lowest case" />
+  <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;
diff --git a/public/index.xml b/public/index.xml
index d93f655..865aaf4 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>http://localhost:1313/</link>
+    <link>https://o-santi.github.com/</link>
     <description>Recent content in home on lowest case</description>
     <generator>Hugo</generator>
     <language>en-US</language>
     <lastBuildDate>Sat, 01 Jun 2024 18:59:08 -0300</lastBuildDate>
-    <atom:link href="http://localhost:1313/index.xml" rel="self" type="application/rss+xml" />
+    <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>
+      <link>https://o-santi.github.com/about/</link>
       <pubDate>Sat, 01 Jun 2024 18:59:08 -0300</pubDate>
-      <guid>http://localhost:1313/about/</guid>
+      <guid>https://o-santi.github.com/about/</guid>
       <description>i&amp;rsquo;m leonardo santiago, a software engineer based in brazil. my interests are in compiler design, programming tools (emacs), functional programming, and proof languages. i&amp;rsquo;m most confortable in nix and rust, but i know a fair share of other languages.&#xA;currently, i work as a software engineer @ Mixrank, and you can find my curriculum here.&#xA;if you feel like smugly responding to any of my posts (or just want to kindly send me a message), these are my socials:</description>
     </item>
     <item>
       <title>rust is not about memory safety</title>
-      <link>http://localhost:1313/blog/rust-is-not-about-memory-safety/</link>
+      <link>https://o-santi.github.com/blog/rust-is-not-about-memory-safety/</link>
       <pubDate>Sat, 01 Jun 2024 18:59:08 -0300</pubDate>
-      <guid>http://localhost:1313/blog/rust-is-not-about-memory-safety/</guid>
+      <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/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 d5425e5..59734f0 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/about/</loc>
-    <lastmod>2024-06-01T17:29:17-03:00</lastmod>
+    <loc>https://o-santi.github.com/about/</loc>
+    <lastmod>2024-06-01T18:59:08-03:00</lastmod>
   </url><url>
-    <loc>http://localhost:1313/blog/</loc>
-    <lastmod>2024-06-01T17:29:17-03:00</lastmod>
+    <loc>https://o-santi.github.com/blog/</loc>
+    <lastmod>2024-06-01T18:59:08-03:00</lastmod>
   </url><url>
-    <loc>http://localhost:1313/tags/correctness/</loc>
-    <lastmod>2024-06-01T17:29:17-03:00</lastmod>
+    <loc>https://o-santi.github.com/tags/correctness/</loc>
+    <lastmod>2024-06-01T18:59:08-03:00</lastmod>
   </url><url>
-    <loc>http://localhost:1313/</loc>
-    <lastmod>2024-06-01T17:29:17-03:00</lastmod>
+    <loc>https://o-santi.github.com/</loc>
+    <lastmod>2024-06-01T18:59:08-03:00</lastmod>
   </url><url>
-    <loc>http://localhost:1313/tags/rust/</loc>
-    <lastmod>2024-06-01T17:29:17-03:00</lastmod>
+    <loc>https://o-santi.github.com/tags/rust/</loc>
+    <lastmod>2024-06-01T18:59:08-03:00</lastmod>
   </url><url>
-    <loc>http://localhost:1313/blog/rust-is-not-about-memory-safety/</loc>
-    <lastmod>2024-06-01T17:29:17-03:00</lastmod>
+    <loc>https://o-santi.github.com/blog/rust-is-not-about-memory-safety/</loc>
+    <lastmod>2024-06-01T18:59:08-03:00</lastmod>
   </url>
 </urlset>
diff --git a/public/tags/correctness/index.html b/public/tags/correctness/index.html
index bcd365a..b92ef7b 100644
--- a/public/tags/correctness/index.html
+++ b/public/tags/correctness/index.html
@@ -1,7 +1,7 @@
 <!DOCTYPE html>
 <html lang="en-US">
 
-<head><script src="/livereload.js?mindelay=10&amp;v=2&amp;port=1313&amp;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" />
@@ -11,7 +11,7 @@
 <meta name="keywords" content="correctness,rust," />
 
 
-<meta property="og:url" content="http://localhost:1313/tags/correctness/">
+<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">
@@ -28,10 +28,10 @@
 
   <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 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="http://localhost:1313/tags/correctness/index.xml" title="lowest case" />
+  <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;
@@ -254,7 +254,7 @@
           </time>
         </i>
       </span>
-      <a href="http://localhost:1313/blog/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>
diff --git a/public/tags/correctness/index.xml b/public/tags/correctness/index.xml
index 00fe426..4861a92 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>http://localhost:1313/tags/correctness/</link>
+    <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 17:29:17 -0300</lastBuildDate>
-    <atom:link href="http://localhost:1313/tags/correctness/index.xml" rel="self" type="application/rss+xml" />
+    <lastBuildDate>Sat, 01 Jun 2024 18:59:08 -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/blog/rust-is-not-about-memory-safety/</link>
-      <pubDate>Sat, 01 Jun 2024 17:29:17 -0300</pubDate>
-      <guid>http://localhost:1313/blog/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 18:59:08 -0300</pubDate>
+      <guid>https://o-santi.github.com/blog/rust-is-not-about-memory-safety/</guid>
       <description>most of rust discussions nowadays revolve about memory safety, and how it is safer than C / C++ / zig / go / whatever language is being trashed on twitter that day. while yes, that is true - not that the bar for most of these is particularly high - what I think is the main point of the language is always glossed over: correctness. when one tries to criticize any of the aforementioned languages, one is answered with the following argument:</description>
     </item>
   </channel>
diff --git a/public/tags/rust/index.html b/public/tags/rust/index.html
index e31850c..f79af0b 100644
--- a/public/tags/rust/index.html
+++ b/public/tags/rust/index.html
@@ -1,7 +1,7 @@
 <!DOCTYPE html>
 <html lang="en-US">
 
-<head><script src="/livereload.js?mindelay=10&amp;v=2&amp;port=1313&amp;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" />
@@ -11,7 +11,7 @@
 <meta name="keywords" content="correctness,rust," />
 
 
-<meta property="og:url" content="http://localhost:1313/tags/rust/">
+<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">
@@ -28,10 +28,10 @@
 
   <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 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="http://localhost:1313/tags/rust/index.xml" title="lowest case" />
+  <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;
@@ -254,7 +254,7 @@
           </time>
         </i>
       </span>
-      <a href="http://localhost:1313/blog/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>
diff --git a/public/tags/rust/index.xml b/public/tags/rust/index.xml
index 0609275..a539f01 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>http://localhost:1313/tags/rust/</link>
+    <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 17:29:17 -0300</lastBuildDate>
-    <atom:link href="http://localhost:1313/tags/rust/index.xml" rel="self" type="application/rss+xml" />
+    <lastBuildDate>Sat, 01 Jun 2024 18:59:08 -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/blog/rust-is-not-about-memory-safety/</link>
-      <pubDate>Sat, 01 Jun 2024 17:29:17 -0300</pubDate>
-      <guid>http://localhost:1313/blog/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 18:59:08 -0300</pubDate>
+      <guid>https://o-santi.github.com/blog/rust-is-not-about-memory-safety/</guid>
       <description>most of rust discussions nowadays revolve about memory safety, and how it is safer than C / C++ / zig / go / whatever language is being trashed on twitter that day. while yes, that is true - not that the bar for most of these is particularly high - what I think is the main point of the language is always glossed over: correctness. when one tries to criticize any of the aforementioned languages, one is answered with the following argument:</description>
     </item>
   </channel>
author	Leonardo Santiago <[email protected]>	2024-06-01 19:13:59 -0300
committer	Leonardo Santiago <[email protected]>	2024-06-01 19:13:59 -0300
commit	bb44f9ff1b6e41c37cdf97db949aa6fbcd06237b (patch)
tree	4cbddbb8f65740ba4a4f887d45f4881923795335 /public
parent	52459149e25cf12e6c65675a545fd1b264c9da57 (diff)