summaryrefslogtreecommitdiffhomepage
path: root/blog.org
diff options
context:
space:
mode:
authorLeonardo Santiago <[email protected]>2024-10-24 20:28:00 -0300
committerLeonardo Santiago <[email protected]>2024-10-24 20:28:19 -0300
commitdaca93760b5e4b250eabe026e35865d2932937ec (patch)
tree30ef0ff1ac5162f9d360e621142cf7ccee3d52c5 /blog.org
parentdabdc2f6be7d7ec853263f64ea2acc11536f801f (diff)
remove mailto link, add mail to the footer
Diffstat (limited to 'blog.org')
-rw-r--r--blog.org3
1 files changed, 2 insertions, 1 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:[email protected]][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)