diff options
Diffstat (limited to 'content')
| -rw-r--r-- | content/_index.md | 2 | ||||
| -rw-r--r-- | content/about.md | 4 | ||||
| -rw-r--r-- | content/blog/rust-is-not-about-memory-safety.md | 4 |
3 files changed, 5 insertions, 5 deletions
diff --git a/content/_index.md b/content/_index.md index a4f9a56..ff54223 100644 --- a/content/_index.md +++ b/content/_index.md @@ -2,7 +2,7 @@ title = "home" author = ["santi"] description = "a lower case only blog, purely for aesthetics" -lastmod = 2024-06-01T17:29:17-03:00 +lastmod = 2024-06-01T18:59:08-03:00 draft = false +++ diff --git a/content/about.md b/content/about.md index 5ca6f1b..d5f5fef 100644 --- a/content/about.md +++ b/content/about.md @@ -2,7 +2,7 @@ title = "about" author = ["santi"] description = "a lower case only blog, purely for aesthetics" -lastmod = 2024-06-01T17:29:17-03:00 +lastmod = 2024-06-01T18:59:08-03:00 draft = false menu = "main" +++ @@ -17,4 +17,4 @@ if you feel like smugly responding to any of my posts (or just want to kindly se - [linkedin](https://www.linkedin.com/in/leonardo-ribeiro-santiago/) - [github](https://github.com/o-santi) -this blog was built using emacs' excelent org-mode and [hugo](https://github.com/gohugoio/hugo) (with the [bearblog theme](https://github.com/janraasch/hugo-bearblog)). +this blog was built using emacs' excelent org-mode and [hugo](https://github.com/gohugoio/hugo) (with the [bearblog theme](https://github.com/janraasch/hugo-bearblog)), and it's source code is openly available [here](https://github.com/o-santi/blog). diff --git a/content/blog/rust-is-not-about-memory-safety.md b/content/blog/rust-is-not-about-memory-safety.md index e794a39..d73e4ab 100644 --- a/content/blog/rust-is-not-about-memory-safety.md +++ b/content/blog/rust-is-not-about-memory-safety.md @@ -2,7 +2,7 @@ title = "rust is not about memory safety" author = ["santi"] description = "a lower case only blog, purely for aesthetics" -lastmod = 2024-06-01T17:29:17-03:00 +lastmod = 2024-06-01T18:59:08-03:00 tags = ["rust", "correctness"] draft = false +++ @@ -91,4 +91,4 @@ i really think software developers should strive for that kind of resilience, wh [^fn:1]: formally they are defined as a sequence of tokens in certain alphabet that the automata closures over. normally we think of "words" as the whole program that we're parsing. [^fn:2]: the excellent software foundations book [explains thoroughly](https://softwarefoundations.cis.upenn.edu/lf-current/IndProp.html) how one might formally write one possible regex matcher, and prove that the implementation is correct -[^fn:3]: through the use of external tools like Coq's [verifiable C series](https://vst.cs.princeton.edu/veric/) +[^fn:3]: through the use of external tools like coq's [verifiable C series](https://vst.cs.princeton.edu/veric/) |