summaryrefslogtreecommitdiffhomepage
path: root/public
diff options
context:
space:
mode:
Diffstat (limited to 'public')
-rw-r--r--public/404.html4
-rw-r--r--public/about/index.html4
-rw-r--r--public/blog/index.html12
-rw-r--r--public/blog/index.xml8
-rw-r--r--public/blog/rust-is-not-about-memory-safety/index.html8
-rw-r--r--public/index.html6
-rw-r--r--public/index.xml12
-rw-r--r--public/robots.txt2
-rw-r--r--public/sitemap.xml24
-rw-r--r--public/tags/correctness/index.html10
-rw-r--r--public/tags/correctness/index.xml12
-rw-r--r--public/tags/rust/index.html10
-rw-r--r--public/tags/rust/index.xml12
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>
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-23 09:33:33 +0000