add deployment workflow

18 files changed, 156 insertions, 76 deletions

diff --git a/.github/workflows/hugo.yaml b/.github/workflows/hugo.yaml
new file mode 100644
index 0000000..25b1b66
--- /dev/null
+++ b/.github/workflows/hugo.yaml
@@ -0,0 +1,80 @@
+# Sample workflow for building and deploying a Hugo site to GitHub Pages
+name: Deploy Hugo site to Pages
+
+on:
+  # Runs on pushes targeting the default branch
+  push:
+    branches:
+      - main
+
+  # Allows you to run this workflow manually from the Actions tab
+  workflow_dispatch:
+
+# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
+# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
+# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
+concurrency:
+  group: "pages"
+  cancel-in-progress: false
+
+# Default to bash
+defaults:
+  run:
+    shell: bash
+
+jobs:
+  # Build job
+  build:
+    runs-on: ubuntu-latest
+    env:
+      HUGO_VERSION: 0.126.0
+    steps:
+      - name: Install Hugo CLI
+        run: |
+          wget -O ${{ runner.temp }}/hugo.deb https://github.com/gohugoio/hugo/releases/download/v${HUGO_VERSION}/hugo_extended_${HUGO_VERSION}_linux-amd64.deb \
+          && sudo dpkg -i ${{ runner.temp }}/hugo.deb          
+      - name: Install Dart Sass
+        run: sudo snap install dart-sass
+      - name: Checkout
+        uses: actions/checkout@v4
+        with:
+          submodules: recursive
+          fetch-depth: 0
+      - name: Setup Pages
+        id: pages
+        uses: actions/configure-pages@v4
+      - name: Install Node.js dependencies
+        run: "[[ -f package-lock.json || -f npm-shrinkwrap.json ]] && npm ci || true"
+      - name: Build with Hugo
+        env:
+          # For maximum backward compatibility with Hugo modules
+          HUGO_ENVIRONMENT: production
+          HUGO_ENV: production
+          TZ: America/Los_Angeles
+        run: |
+          hugo \
+            --gc \
+            --minify \
+            --baseURL "${{ steps.pages.outputs.base_url }}/"          
+      - name: Upload artifact
+        uses: actions/upload-pages-artifact@v3
+        with:
+          path: ./public
+
+  # Deployment job
+  deploy:
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    runs-on: ubuntu-latest
+    needs: build
+    steps:
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v4
+
diff --git a/blog.org b/blog.org
index 5f0cfba..c1b8267 100644
--- a/blog.org
+++ b/blog.org
@@ -30,7 +30,7 @@ if you feel like smugly responding to any of my posts (or just want to kindly se
 - [[https://www.linkedin.com/in/leonardo-ribeiro-santiago/][linkedin]]
 - [[https://github.com/o-santi][github]]
 
-this blog was built using emacs' excelent org-mode and [[https://github.com/gohugoio/hugo][hugo]] (with the [[https://github.com/janraasch/hugo-bearblog][bearblog theme]]).
+this blog was built using emacs' excelent org-mode and [[https://github.com/gohugoio/hugo][hugo]] (with the [[https://github.com/janraasch/hugo-bearblog][bearblog theme]]), and it's source code is openly available [[https://github.com/o-santi/blog][here]].
 
 * blog
 :PROPERTIES:
@@ -92,7 +92,7 @@ what the regex example makes clear is that the key to correctness is to make you
 
 you, as the programmer, is then in charge of ensuring that the resulting regex program actually solves the problem you have at hands. want to match 3 words of 2 digit numbers followed by a capital letter? great, they can do that. want to match balanced parenthesized expressions? sadly, regex is incapable of ever solving that, because that language [[https://en.wikipedia.org/wiki/Pumping_lemma_for_regular_languages#Use_of_the_lemma_to_prove_non-regularity][is not regular]], so no matter how hard you try it will never solve it.
 
-in a way, there's a beauty in how C sidesteps this: it defines one of the possible program outputs as being /undefined/, and it is on the programmers behalf to tightly ensure that the program has 0 paths to /undefined behavior/. in fact, it is probably one of the most [[https://www.open-std.org/jtc1/sc22/wg14/www/docs/n1256.pdf][well specified languages]], which is what makes it suitable for writing formally verifiable programs [fn::through the use of external tools like Coq's [[https://vst.cs.princeton.edu/veric/][verifiable C series]]].
+in a way, there's a beauty in how C sidesteps this: it defines one of the possible program outputs as being /undefined/, and it is on the programmers behalf to tightly ensure that the program has 0 paths to /undefined behavior/. in fact, it is probably one of the most [[https://www.open-std.org/jtc1/sc22/wg14/www/docs/n1256.pdf][well specified languages]], which is what makes it suitable for writing formally verifiable programs [fn::through the use of external tools like coq's [[https://vst.cs.princeton.edu/veric/][verifiable C series]]].
 
 the main strength of rust, and where it differs from all mainstream languages, is that it has a very clear focus on program *correctness*. the raison d'être of the borrow checker is statically assuring that all references are pointing to valid memory, such that it is literally impossible for any borrow be null or to point to some freed memory (modulus [[https://github.com/Speykious/cve-rs][implementation errors of course]]). this completely rules out this possibility of bugs from the language we're trying to "parse". remember the C excerpt from above, where i said that the compiler should rule out the program as invalid? well, it is literally impossible to write that sort of program in rust, because one cannot construct a ~NULL~ reference.
 
diff --git a/content/_index.md b/content/_index.md
index a4f9a56..ff54223 100644
--- a/content/_index.md
+++ b/content/_index.md
@@ -2,7 +2,7 @@
 title = "home"
 author = ["santi"]
 description = "a lower case only blog, purely for aesthetics"
-lastmod = 2024-06-01T17:29:17-03:00
+lastmod = 2024-06-01T18:59:08-03:00
 draft = false
 +++
 
diff --git a/content/about.md b/content/about.md
index 5ca6f1b..d5f5fef 100644
--- a/content/about.md
+++ b/content/about.md
@@ -2,7 +2,7 @@
 title = "about"
 author = ["santi"]
 description = "a lower case only blog, purely for aesthetics"
-lastmod = 2024-06-01T17:29:17-03:00
+lastmod = 2024-06-01T18:59:08-03:00
 draft = false
 menu = "main"
 +++
@@ -17,4 +17,4 @@ if you feel like smugly responding to any of my posts (or just want to kindly se
 -   [linkedin](https://www.linkedin.com/in/leonardo-ribeiro-santiago/)
 -   [github](https://github.com/o-santi)
 
-this blog was built using emacs' excelent org-mode and [hugo](https://github.com/gohugoio/hugo) (with the [bearblog theme](https://github.com/janraasch/hugo-bearblog)).
+this blog was built using emacs' excelent org-mode and [hugo](https://github.com/gohugoio/hugo) (with the [bearblog theme](https://github.com/janraasch/hugo-bearblog)), and it's source code is openly available [here](https://github.com/o-santi/blog).
diff --git a/content/blog/rust-is-not-about-memory-safety.md b/content/blog/rust-is-not-about-memory-safety.md
index e794a39..d73e4ab 100644
--- a/content/blog/rust-is-not-about-memory-safety.md
+++ b/content/blog/rust-is-not-about-memory-safety.md
@@ -2,7 +2,7 @@
 title = "rust is not about memory safety"
 author = ["santi"]
 description = "a lower case only blog, purely for aesthetics"
-lastmod = 2024-06-01T17:29:17-03:00
+lastmod = 2024-06-01T18:59:08-03:00
 tags = ["rust", "correctness"]
 draft = false
 +++
@@ -91,4 +91,4 @@ i really think software developers should strive for that kind of resilience, wh
 
 [^fn:1]: formally they are defined as a sequence of tokens in certain alphabet that the automata closures over. normally we think of "words" as the whole program that we're parsing.
 [^fn:2]: the excellent software foundations book [explains thoroughly](https://softwarefoundations.cis.upenn.edu/lf-current/IndProp.html) how one might formally write one possible regex matcher, and prove that the implementation is correct
-[^fn:3]: through the use of external tools like Coq's [verifiable C series](https://vst.cs.princeton.edu/veric/)
+[^fn:3]: through the use of external tools like coq's [verifiable C series](https://vst.cs.princeton.edu/veric/)
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>