From 3a1272c94f43e8b71811f910517b6ac2e44b94d8 Mon Sep 17 00:00:00 2001 From: Leonardo Santiago Date: Sat, 1 Jun 2024 19:15:49 -0300 Subject: delete public/ it must be automatically generated by workflow, no need to include it --- public/tags/correctness/index.html | 272 ------------------------------------- public/tags/correctness/index.xml | 19 --- public/tags/rust/index.html | 272 ------------------------------------- public/tags/rust/index.xml | 19 --- 4 files changed, 582 deletions(-) delete mode 100644 public/tags/correctness/index.html delete mode 100644 public/tags/correctness/index.xml delete mode 100644 public/tags/rust/index.html delete mode 100644 public/tags/rust/index.xml (limited to 'public/tags') diff --git a/public/tags/correctness/index.html b/public/tags/correctness/index.html deleted file mode 100644 index b92ef7b..0000000 --- a/public/tags/correctness/index.html +++ /dev/null @@ -1,272 +0,0 @@ - - - - - - - -correctness | lowest case - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-
-
- - -

filtering for "correctness"

- - remove filter - - - - - - - -
- - - - - - diff --git a/public/tags/correctness/index.xml b/public/tags/correctness/index.xml deleted file mode 100644 index 4861a92..0000000 --- a/public/tags/correctness/index.xml +++ /dev/null @@ -1,19 +0,0 @@ - - - - correctness on lowest case - https://o-santi.github.com/tags/correctness/ - Recent content in correctness on lowest case - Hugo - en-US - Sat, 01 Jun 2024 18:59:08 -0300 - - - rust is not about memory safety - https://o-santi.github.com/blog/rust-is-not-about-memory-safety/ - Sat, 01 Jun 2024 18:59:08 -0300 - https://o-santi.github.com/blog/rust-is-not-about-memory-safety/ - 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: - - - diff --git a/public/tags/rust/index.html b/public/tags/rust/index.html deleted file mode 100644 index f79af0b..0000000 --- a/public/tags/rust/index.html +++ /dev/null @@ -1,272 +0,0 @@ - - - - - - - -rust | lowest case - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-
-
- - -

filtering for "rust"

- - remove filter - - - - - - - -
- - - - - - diff --git a/public/tags/rust/index.xml b/public/tags/rust/index.xml deleted file mode 100644 index a539f01..0000000 --- a/public/tags/rust/index.xml +++ /dev/null @@ -1,19 +0,0 @@ - - - - rust on lowest case - https://o-santi.github.com/tags/rust/ - Recent content in rust on lowest case - Hugo - en-US - Sat, 01 Jun 2024 18:59:08 -0300 - - - rust is not about memory safety - https://o-santi.github.com/blog/rust-is-not-about-memory-safety/ - Sat, 01 Jun 2024 18:59:08 -0300 - https://o-santi.github.com/blog/rust-is-not-about-memory-safety/ - 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: - - - -- cgit v1.2.3