- 4 types of categories to know (Thursday February 29 2024).
- Proof synthesis (Wednesday February 28 2024).
- Discrete-time birth-death process from dynamical system (Monday February 26 2024).
- Learned communication theorem (Friday February 2 2024).
- Language agents (Thursday February 1 2024).
- Birth-death system (Monday January 29 2024).
- The public goods game is a generalization of the prisoner’s dilemma (Sunday January 7 2024).
- Monoids on Lean (Thursday December 28 2023).
- The replicator-mutator equation is a non-local reaction-diffusion system (Thursday December 28 2023).
- Cute semiautomoton diagram (Thursday December 21 2023).
- Spatiotemporal system lemma (Tuesday November 7 2023).
- Why free monoid? (Sunday November 5 2023).
- Posing initial/boundary value problems (Saturday October 28 2023).
- Learning Lean4 involves failure (Friday October 27 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).
- How to into webdev (Sunday November 6 2022).