From 31bc6a2f54d86a4978be063f5e614881c625c597 Mon Sep 17 00:00:00 2001 From: Leonardo Santiago Date: Wed, 29 May 2024 08:44:12 -0300 Subject: new blog using hugo again --- public/index.html | 565 ++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 565 insertions(+) create mode 100644 public/index.html (limited to 'public/index.html') diff --git a/public/index.html b/public/index.html new file mode 100644 index 0000000..46d256e --- /dev/null +++ b/public/index.html @@ -0,0 +1,565 @@ + + + + + + + + + + + lowest case + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ ↓skip to main content +
+ + +
+ +
+ + +
+ + + + + + + + + + + + + + + +
+
+
+ + +
+
+ + + + + + + + +
+
+ + + +
+ +
+

lowest case

+
+ +

a lower case only blog, purely for aesthetics.

+

here I talk about discrete mathematics (mostly computer science), including compilers, language theory, type theory, computability theory, software correctness, formal verification, and any other (entirely theoretical almost non-applicable) nerd topic you can think of.

+
+
+
+ + + + + + +

recent

+ + + + + +
+ +
+ + + + + + +
+ + + +
+ + +
+ + + + +
+ + + + +
+ + + +

+ © + 2024 + leonardo santiago +

+ + + + +

+ + + powered by Hugo & Blowfish +

+ + +
+ + + + + + +
+ +
+ + + -- cgit v1.2.3