localize bearblog, update some UI

author: Leonardo Santiago <[email protected]> 2024-06-01 17:30:03 -0300
committer: Leonardo Santiago <[email protected]> 2024-06-01 17:30:03 -0300
commit: 2ddbc2b056af0585b905606a2c6887d43f9c3b01 (patch)
tree: bfe1531d2cb9e5728c3d7038f2c086616efd539c /public/tags
parent: 735b245871d94cb6ace8913cd1370b02b5aeb28b (diff)
4 files changed, 582 insertions, 0 deletions
diff --git a/public/tags/correctness/index.html b/public/tags/correctness/index.html
new file mode 100644
index 0000000..9e25c80
--- /dev/null
+++ b/public/tags/correctness/index.html
@@ -0,0 +1,272 @@
+<!DOCTYPE html>
+<html lang="en-US">
+
+<head>
+  <meta http-equiv="X-Clacks-Overhead" content="GNU Terry Pratchett" />
+  <meta charset="utf-8">
+  <meta name="viewport" content="width=device-width, initial-scale=1.0" />
+<title>correctness | lowest case</title>
+<meta name="title" content="correctness" />
+<meta name="description" content="a lowercase only blog, purely for aesthetics" />
+<meta name="keywords" content="correctness,rust," />
+
+
+<meta property="og:url" content="https://o-santi.github.com/tags/correctness/">
+  <meta property="og:site_name" content="lowest case">
+  <meta property="og:title" content="correctness">
+  <meta property="og:description" content="a lowercase only blog, purely for aesthetics">
+  <meta property="og:locale" content="en-US">
+  <meta property="og:type" content="website">
+
+
+
+<meta name="twitter:card" content="summary"><meta name="twitter:title" content="correctness">
+<meta name="twitter:description" content="a lowercase only blog, purely for aesthetics">
+
+
+
+
+  <meta itemprop="name" content="correctness">
+  <meta itemprop="description" content="a lowercase only blog, purely for aesthetics">
+  <meta itemprop="dateModified" content="2024-06-01T17:29:17-03:00">
+<meta name="referrer" content="no-referrer-when-downgrade" />
+
+  <link rel="alternate" type="application/rss+xml" href="https://o-santi.github.com/tags/correctness/index.xml" title="lowest case" />
+  <style>
+  body {
+    font-family: Verdana, sans-serif;
+    margin: auto;
+    padding: 20px;
+    max-width: 720px;
+    text-align: left;
+    background-color: #fff;
+    word-wrap: break-word;
+    overflow-wrap: break-word;
+    line-height: 1.5;
+    color: #444;
+  }
+
+  h1,
+  h2,
+  h3,
+  h4,
+  h5,
+  h6,
+  strong,
+  b {
+    color: #222;
+  }
+
+  a {
+    color: #3273dc;
+     
+  }
+
+  .title {
+    text-decoration: none;
+    border: 0;
+  }
+
+  .title span {
+    font-weight: 400;
+  }
+
+  nav a {
+    margin-right: 10px;
+  }
+
+  textarea {
+    width: 100%;
+    font-size: 16px;
+  }
+
+  input {
+    font-size: 16px;
+  }
+
+  content {
+    line-height: 1.6;
+  }
+
+  table {
+    width: 100%;
+  }
+
+  img {
+    max-width: 100%;
+  }
+
+  code {
+    padding: 2px 5px;
+    background-color: #f2f2f2;
+  }
+
+  pre code {
+    color: #222;
+    display: block;
+    padding: 20px;
+    white-space: pre-wrap;
+    font-size: 14px;
+    overflow-x: auto;
+  }
+
+  div.highlight pre {
+    background-color: initial;
+    color: initial;
+  }
+
+  div.highlight code {
+    background-color: unset;
+    color: unset;
+  }
+
+  blockquote {
+    border-left: 1px solid #999;
+    color: #222;
+    padding-left: 20px;
+    font-style: italic;
+  }
+
+  footer {
+    padding: 25px;
+    text-align: center;
+  }
+
+  .helptext {
+    color: #777;
+    font-size: small;
+  }
+
+  .errorlist {
+    color: #eba613;
+    font-size: small;
+  }
+
+   
+  ul.blog-posts {
+    list-style-type: none;
+    padding: unset;
+  }
+
+  ul.blog-posts li {
+    display: flex;
+  }
+
+  ul.blog-posts li span {
+    flex: 0 0 130px;
+  }
+
+  ul.blog-posts li a:visited {
+    color: #8b6fcb;
+  }
+
+  @media (prefers-color-scheme: dark) {
+    body {
+      background-color: #333;
+      color: #ddd;
+    }
+
+    h1,
+    h2,
+    h3,
+    h4,
+    h5,
+    h6,
+    strong,
+    b {
+      color: #eee;
+    }
+
+    a {
+      color: #8cc2dd;
+    }
+
+    code {
+      background-color: #777;
+    }
+
+    pre code {
+      color: #ddd;
+    }
+
+    blockquote {
+      color: #ccc;
+    }
+
+    textarea,
+    input {
+      background-color: #252525;
+      color: #ddd;
+    }
+
+    .helptext {
+      color: #aaa;
+    }
+  }
+
+</style>
+<style>
+  a {
+      color:#fa8c16;
+      text-decoration: none;
+  }
+  a:hover {
+      color:#d46b08;
+      text-decoration: wavy underline;
+  }
+  ul.blog-posts li a:visited {
+      color:#ffc069;
+  }
+  code {
+      color: black;
+      background-color: #ffc069; 
+  }
+</style>
+</head>
+
+<body>
+  <header><nav>
+  <a href="/" class="title">
+    <h2 style="display:inline">lowest case</h2>
+  </a>
+<a href="/about/">about</a>
+
+
+<a href="/blog">blog</a>
+
+</nav>
+</header>
+  <main>
+<content>
+  
+  <h3 style="margin-bottom:0">filtering for "correctness"</h3>
+  <small>
+    <a href="/blog">remove filter</a>
+  </small>
+  
+  <ul class="blog-posts">
+    
+    <li>
+      <span>
+        <i>
+          <time datetime='2024-06-01' pubdate>
+            01 june, 2024
+          </time>
+        </i>
+      </span>
+      <a href="https://o-santi.github.com/blog/rust-is-not-about-memory-safety/">rust is not about memory safety</a>
+    </li>
+    
+  </ul>
+  
+  
+</content>
+
+  </main>
+  <footer><p> leonardo santiago | <a href="https://github.com/o-santi" title="github"><svg width="16px" height="16px" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M9 19c-5 1.5-5-2.5-7-3m14 6v-3.87a3.37 3.37.0 00-.94-2.61c3.14-.35 6.44-1.54 6.44-7A5.44 5.44.0 0020 4.77 5.07 5.07.0 0019.91 1S18.73.65 16 2.48a13.38 13.38.0 00-7 0C6.27.65 5.09 1 5.09 1A5.07 5.07.0 005 4.77 5.44 5.44.0 003.5 8.55c0 5.42 3.3 6.61 6.44 7A3.37 3.37.0 009 18.13V22"></path></svg></a> <a href="mailto:[email protected]" title="email"> <svg width="16px" height="16px" viewBox="0 0 1920 1920" fill="currentcolor"><path d="M0 1694.235h1920V226H0v1468.235ZM112.941 376.664V338.94H1807.06v37.723L960 1111.233l-847.059-734.57ZM1807.06 526.198v950.513l-351.134-438.89-88.32 70.475 378.353 472.998H174.042l378.353-472.998-88.32-70.475-351.134 438.89V526.198L960 1260.768l847.059-734.57Z" fill-rule="evenodd"></path></svg></a> <a href="https://linkedin.com/leonardo-ribeiro-santiago" title="linkedin"><svg xmlns="http://www.w3.org/2000/svg" x="0px" y="0px" width="16px" height="16px" viewBox="0 0 30 30" fill="currentcolor"><path d="M24,4H6C4.895,4,4,4.895,4,6v18c0,1.105,0.895,2,2,2h18c1.105,0,2-0.895,2-2V6C26,4.895,25.105,4,24,4z M10.954,22h-2.95 v-9.492h2.95V22z M9.449,11.151c-0.951,0-1.72-0.771-1.72-1.72c0-0.949,0.77-1.719,1.72-1.719c0.948,0,1.719,0.771,1.719,1.719 C11.168,10.38,10.397,11.151,9.449,11.151z M22.004,22h-2.948v-4.616c0-1.101-0.02-2.517-1.533-2.517 c-1.535,0-1.771,1.199-1.771,2.437V22h-2.948v-9.492h2.83v1.297h0.04c0.394-0.746,1.356-1.533,2.791-1.533 c2.987,0,3.539,1.966,3.539,4.522V22z"></path></svg></a> </p>
+</footer>
+
+    
+</body>
+
+</html>
diff --git a/public/tags/correctness/index.xml b/public/tags/correctness/index.xml
new file mode 100644
index 0000000..765db57
--- /dev/null
+++ b/public/tags/correctness/index.xml
@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="utf-8" standalone="yes"?>
+<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
+  <channel>
+    <title>correctness on lowest case</title>
+    <link>https://o-santi.github.com/tags/correctness/</link>
+    <description>Recent content in correctness on lowest case</description>
+    <generator>Hugo</generator>
+    <language>en-US</language>
+    <lastBuildDate>Sat, 01 Jun 2024 17:29:17 -0300</lastBuildDate>
+    <atom:link href="https://o-santi.github.com/tags/correctness/index.xml" rel="self" type="application/rss+xml" />
+    <item>
+      <title>rust is not about memory safety</title>
+      <link>https://o-santi.github.com/blog/rust-is-not-about-memory-safety/</link>
+      <pubDate>Sat, 01 Jun 2024 17:29:17 -0300</pubDate>
+      <guid>https://o-santi.github.com/blog/rust-is-not-about-memory-safety/</guid>
+      <description>most of rust discussions nowadays revolve about memory safety, and how it is safer than C / C++ / zig / go / whatever language is being trashed on twitter that day. while yes, that is true - not that the bar for most of these is particularly high - what I think is the main point of the language is always glossed over: correctness. when one tries to criticize any of the aforementioned languages, one is answered with the following argument:</description>
+    </item>
+  </channel>
+</rss>
diff --git a/public/tags/rust/index.html b/public/tags/rust/index.html
new file mode 100644
index 0000000..0fce287
--- /dev/null
+++ b/public/tags/rust/index.html
@@ -0,0 +1,272 @@
+<!DOCTYPE html>
+<html lang="en-US">
+
+<head>
+  <meta http-equiv="X-Clacks-Overhead" content="GNU Terry Pratchett" />
+  <meta charset="utf-8">
+  <meta name="viewport" content="width=device-width, initial-scale=1.0" />
+<title>rust | lowest case</title>
+<meta name="title" content="rust" />
+<meta name="description" content="a lowercase only blog, purely for aesthetics" />
+<meta name="keywords" content="correctness,rust," />
+
+
+<meta property="og:url" content="https://o-santi.github.com/tags/rust/">
+  <meta property="og:site_name" content="lowest case">
+  <meta property="og:title" content="rust">
+  <meta property="og:description" content="a lowercase only blog, purely for aesthetics">
+  <meta property="og:locale" content="en-US">
+  <meta property="og:type" content="website">
+
+
+
+<meta name="twitter:card" content="summary"><meta name="twitter:title" content="rust">
+<meta name="twitter:description" content="a lowercase only blog, purely for aesthetics">
+
+
+
+
+  <meta itemprop="name" content="rust">
+  <meta itemprop="description" content="a lowercase only blog, purely for aesthetics">
+  <meta itemprop="dateModified" content="2024-06-01T17:29:17-03:00">
+<meta name="referrer" content="no-referrer-when-downgrade" />
+
+  <link rel="alternate" type="application/rss+xml" href="https://o-santi.github.com/tags/rust/index.xml" title="lowest case" />
+  <style>
+  body {
+    font-family: Verdana, sans-serif;
+    margin: auto;
+    padding: 20px;
+    max-width: 720px;
+    text-align: left;
+    background-color: #fff;
+    word-wrap: break-word;
+    overflow-wrap: break-word;
+    line-height: 1.5;
+    color: #444;
+  }
+
+  h1,
+  h2,
+  h3,
+  h4,
+  h5,
+  h6,
+  strong,
+  b {
+    color: #222;
+  }
+
+  a {
+    color: #3273dc;
+     
+  }
+
+  .title {
+    text-decoration: none;
+    border: 0;
+  }
+
+  .title span {
+    font-weight: 400;
+  }
+
+  nav a {
+    margin-right: 10px;
+  }
+
+  textarea {
+    width: 100%;
+    font-size: 16px;
+  }
+
+  input {
+    font-size: 16px;
+  }
+
+  content {
+    line-height: 1.6;
+  }
+
+  table {
+    width: 100%;
+  }
+
+  img {
+    max-width: 100%;
+  }
+
+  code {
+    padding: 2px 5px;
+    background-color: #f2f2f2;
+  }
+
+  pre code {
+    color: #222;
+    display: block;
+    padding: 20px;
+    white-space: pre-wrap;
+    font-size: 14px;
+    overflow-x: auto;
+  }
+
+  div.highlight pre {
+    background-color: initial;
+    color: initial;
+  }
+
+  div.highlight code {
+    background-color: unset;
+    color: unset;
+  }
+
+  blockquote {
+    border-left: 1px solid #999;
+    color: #222;
+    padding-left: 20px;
+    font-style: italic;
+  }
+
+  footer {
+    padding: 25px;
+    text-align: center;
+  }
+
+  .helptext {
+    color: #777;
+    font-size: small;
+  }
+
+  .errorlist {
+    color: #eba613;
+    font-size: small;
+  }
+
+   
+  ul.blog-posts {
+    list-style-type: none;
+    padding: unset;
+  }
+
+  ul.blog-posts li {
+    display: flex;
+  }
+
+  ul.blog-posts li span {
+    flex: 0 0 130px;
+  }
+
+  ul.blog-posts li a:visited {
+    color: #8b6fcb;
+  }
+
+  @media (prefers-color-scheme: dark) {
+    body {
+      background-color: #333;
+      color: #ddd;
+    }
+
+    h1,
+    h2,
+    h3,
+    h4,
+    h5,
+    h6,
+    strong,
+    b {
+      color: #eee;
+    }
+
+    a {
+      color: #8cc2dd;
+    }
+
+    code {
+      background-color: #777;
+    }
+
+    pre code {
+      color: #ddd;
+    }
+
+    blockquote {
+      color: #ccc;
+    }
+
+    textarea,
+    input {
+      background-color: #252525;
+      color: #ddd;
+    }
+
+    .helptext {
+      color: #aaa;
+    }
+  }
+
+</style>
+<style>
+  a {
+      color:#fa8c16;
+      text-decoration: none;
+  }
+  a:hover {
+      color:#d46b08;
+      text-decoration: wavy underline;
+  }
+  ul.blog-posts li a:visited {
+      color:#ffc069;
+  }
+  code {
+      color: black;
+      background-color: #ffc069; 
+  }
+</style>
+</head>
+
+<body>
+  <header><nav>
+  <a href="/" class="title">
+    <h2 style="display:inline">lowest case</h2>
+  </a>
+<a href="/about/">about</a>
+
+
+<a href="/blog">blog</a>
+
+</nav>
+</header>
+  <main>
+<content>
+  
+  <h3 style="margin-bottom:0">filtering for "rust"</h3>
+  <small>
+    <a href="/blog">remove filter</a>
+  </small>
+  
+  <ul class="blog-posts">
+    
+    <li>
+      <span>
+        <i>
+          <time datetime='2024-06-01' pubdate>
+            01 june, 2024
+          </time>
+        </i>
+      </span>
+      <a href="https://o-santi.github.com/blog/rust-is-not-about-memory-safety/">rust is not about memory safety</a>
+    </li>
+    
+  </ul>
+  
+  
+</content>
+
+  </main>
+  <footer><p> leonardo santiago | <a href="https://github.com/o-santi" title="github"><svg width="16px" height="16px" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M9 19c-5 1.5-5-2.5-7-3m14 6v-3.87a3.37 3.37.0 00-.94-2.61c3.14-.35 6.44-1.54 6.44-7A5.44 5.44.0 0020 4.77 5.07 5.07.0 0019.91 1S18.73.65 16 2.48a13.38 13.38.0 00-7 0C6.27.65 5.09 1 5.09 1A5.07 5.07.0 005 4.77 5.44 5.44.0 003.5 8.55c0 5.42 3.3 6.61 6.44 7A3.37 3.37.0 009 18.13V22"></path></svg></a> <a href="mailto:[email protected]" title="email"> <svg width="16px" height="16px" viewBox="0 0 1920 1920" fill="currentcolor"><path d="M0 1694.235h1920V226H0v1468.235ZM112.941 376.664V338.94H1807.06v37.723L960 1111.233l-847.059-734.57ZM1807.06 526.198v950.513l-351.134-438.89-88.32 70.475 378.353 472.998H174.042l378.353-472.998-88.32-70.475-351.134 438.89V526.198L960 1260.768l847.059-734.57Z" fill-rule="evenodd"></path></svg></a> <a href="https://linkedin.com/leonardo-ribeiro-santiago" title="linkedin"><svg xmlns="http://www.w3.org/2000/svg" x="0px" y="0px" width="16px" height="16px" viewBox="0 0 30 30" fill="currentcolor"><path d="M24,4H6C4.895,4,4,4.895,4,6v18c0,1.105,0.895,2,2,2h18c1.105,0,2-0.895,2-2V6C26,4.895,25.105,4,24,4z M10.954,22h-2.95 v-9.492h2.95V22z M9.449,11.151c-0.951,0-1.72-0.771-1.72-1.72c0-0.949,0.77-1.719,1.72-1.719c0.948,0,1.719,0.771,1.719,1.719 C11.168,10.38,10.397,11.151,9.449,11.151z M22.004,22h-2.948v-4.616c0-1.101-0.02-2.517-1.533-2.517 c-1.535,0-1.771,1.199-1.771,2.437V22h-2.948v-9.492h2.83v1.297h0.04c0.394-0.746,1.356-1.533,2.791-1.533 c2.987,0,3.539,1.966,3.539,4.522V22z"></path></svg></a> </p>
+</footer>
+
+    
+</body>
+
+</html>
diff --git a/public/tags/rust/index.xml b/public/tags/rust/index.xml
new file mode 100644
index 0000000..bf11a4d
--- /dev/null
+++ b/public/tags/rust/index.xml
@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="utf-8" standalone="yes"?>
+<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
+  <channel>
+    <title>rust on lowest case</title>
+    <link>https://o-santi.github.com/tags/rust/</link>
+    <description>Recent content in rust on lowest case</description>
+    <generator>Hugo</generator>
+    <language>en-US</language>
+    <lastBuildDate>Sat, 01 Jun 2024 17:29:17 -0300</lastBuildDate>
+    <atom:link href="https://o-santi.github.com/tags/rust/index.xml" rel="self" type="application/rss+xml" />
+    <item>
+      <title>rust is not about memory safety</title>
+      <link>https://o-santi.github.com/blog/rust-is-not-about-memory-safety/</link>
+      <pubDate>Sat, 01 Jun 2024 17:29:17 -0300</pubDate>
+      <guid>https://o-santi.github.com/blog/rust-is-not-about-memory-safety/</guid>
+      <description>most of rust discussions nowadays revolve about memory safety, and how it is safer than C / C++ / zig / go / whatever language is being trashed on twitter that day. while yes, that is true - not that the bar for most of these is particularly high - what I think is the main point of the language is always glossed over: correctness. when one tries to criticize any of the aforementioned languages, one is answered with the following argument:</description>
+    </item>
+  </channel>
+</rss>
author	Leonardo Santiago <[email protected]>	2024-06-01 17:30:03 -0300
committer	Leonardo Santiago <[email protected]>	2024-06-01 17:30:03 -0300
commit	2ddbc2b056af0585b905606a2c6887d43f9c3b01 (patch)
tree	bfe1531d2cb9e5728c3d7038f2c086616efd539c /public/tags
parent	735b245871d94cb6ace8913cd1370b02b5aeb28b (diff)