diff options
Diffstat (limited to 'public/tags')
| -rw-r--r-- | public/tags/correctness/index.html | 10 | ||||
| -rw-r--r-- | public/tags/correctness/index.xml | 12 | ||||
| -rw-r--r-- | public/tags/rust/index.html | 10 | ||||
| -rw-r--r-- | public/tags/rust/index.xml | 12 |
4 files changed, 22 insertions, 22 deletions
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&v=2&port=1313&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&v=2&port=1313&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> |