From 2ddbc2b056af0585b905606a2c6887d43f9c3b01 Mon Sep 17 00:00:00 2001 From: Leonardo Santiago Date: Sat, 1 Jun 2024 17:30:03 -0300 Subject: localize bearblog, update some UI --- 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 insertions(+) create mode 100644 public/tags/correctness/index.html create mode 100644 public/tags/correctness/index.xml create mode 100644 public/tags/rust/index.html create 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 new file mode 100644 index 0000000..9e25c80 --- /dev/null +++ b/public/tags/correctness/index.html @@ -0,0 +1,272 @@ + + + + + + + +correctness | lowest case + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+
+
+ + +

filtering for "correctness"

+ + remove filter + + + + + + + +
+ + + + + + 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 @@ + + + + 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 17:29:17 -0300 + + + rust is not about memory safety + https://o-santi.github.com/blog/rust-is-not-about-memory-safety/ + Sat, 01 Jun 2024 17:29:17 -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 new file mode 100644 index 0000000..0fce287 --- /dev/null +++ b/public/tags/rust/index.html @@ -0,0 +1,272 @@ + + + + + + + +rust | lowest case + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+
+
+ + +

filtering for "rust"

+ + remove filter + + + + + + + +
+ + + + + + 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 @@ + + + + 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 17:29:17 -0300 + + + rust is not about memory safety + https://o-santi.github.com/blog/rust-is-not-about-memory-safety/ + Sat, 01 Jun 2024 17:29:17 -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