+++
title = "home"
author = ["santi"]
description = "a lower case only blog, purely for aesthetics"
lastmod = 2024-06-01T17:29:17-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.