blob: a4f9a567c91251511a78160f504e9d23cbd02d79 (
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-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.
|
