All posts
November 2022
- Types and impredicativity — November 06, 2022
- — November 01, 2022
October 2022
- Org as a db? — October 29, 2022
- — October 29, 2022
- Build phases in NixOs — October 24, 2022
- — October 23, 2022
- Topology and set theory — October 22, 2022
- Nix Flakes — October 20, 2022
- Cursed curry howard — October 19, 2022
- Types and impradicativity — October 18, 2022
- Haskell caveats — October 18, 2022
- Progamming construct as corresponding (ir of ) logic — October 14, 2022