freemonoid.xyz
index
,
posts
,
library
,
music
.
list of blog posts. Sorry it looks like sh*t under construction!đ§âđ
A simple theorem about vacuum states in spatio-temporal dynamical systems, which include PDE but also things like cellular automata and coupled map lattice
(Tuesday November 7 2023).
Discrete Greenâs function
(Saturday November 4 2023).
Posing initial/boundary value problems
(Saturday October 28 2023).
Learning Lean4 involves failure
(Friday October 27 2023).
A language model streaming API on local network written in Flask
(Sunday September 10 2023).
Monoids versus semigroups
(Sunday May 28 2023).
Bool-enriched categories are preorders
(Saturday April 1 2023).
the power set functor
(Thursday March 2 2023).
Autoformalization hard
(Friday February 3 2023).
Life as a coupled map lattice
(Sunday November 20 2022).
From âA Sand County Almanacâ by Aldo Leopold (1949)
(Saturday October 1 2022).
From âHumanist Geographyâ by Yi-Fu Tuan (2012)
(Saturday October 1 2022).