From daca93760b5e4b250eabe026e35865d2932937ec Mon Sep 17 00:00:00 2001 From: Leonardo Santiago Date: Thu, 24 Oct 2024 20:28:00 -0300 Subject: remove mailto link, add mail to the footer --- blog.org | 3 ++- layouts/partials/footer.html | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/blog.org b/blog.org index 7625611..0228336 100644 --- a/blog.org +++ b/blog.org @@ -26,7 +26,6 @@ i'm leonardo santiago, a software engineer based in brazil. my interests are in currently, i work as a software engineer @ [[https://mixrank.com][Mixrank]], and you can find my curriculum [[./static/cv.pdf][here]]. if you feel like smugly responding to any of my posts (or just want to kindly send me a message), these are my socials: -- [[mailto:leonardo.ribeiro.santiago@gmail.com][email]] - [[https://www.linkedin.com/in/leonardo-ribeiro-santiago/][linkedin]] - [[https://github.com/o-santi][github]] @@ -119,6 +118,8 @@ it is not by chance that Yang et al. could only find measly 9 bugs after 6 CPU y i really think software developers should strive for that kind of resilience, which i believe can only be achieved through properly valuing *correctness* . i don't think it is reasonable to expect that all software be built using coq and proving every little bit of it (due to business constraints) but i think that rust is a good enough language to start taking things more seriously. ** exploiting thunks for fun and profit + + * COMMENT Local Variables :ARCHIVE: # Local Variables: # eval: (org-hugo-auto-export-mode) diff --git a/layouts/partials/footer.html b/layouts/partials/footer.html index 67a73f5..09579e7 100644 --- a/layouts/partials/footer.html +++ b/layouts/partials/footer.html @@ -1 +1 @@ -

leonardo santiago |

+

leonardo [dot] ribeiro [dot] santiago [at] gmail [dot] com |

-- cgit v1.2.3