blob: 3b369cad870c246a3c8cd183a5c658183454a113 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
+++
title = "home"
author = ["santi"]
description = "a lower case only blog, purely for aesthetics"
lastmod = 2024-06-01T19:24:40-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.
|
