+++
title = "lowest case"
author = ["santi"]
lastmod = 2024-05-01T11:53:23-03:00
draft = false
+++

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.