
Minecraft breeding via the Leslie matrix Tuesday September 10 2024

Formalizing Cantor’s theorem Tuesday July 23 2024

Refuse to forfeit impractical thinking Thursday July 11 2024

Two things you can’t get back Thursday July 4 2024

Autoprosecution Thursday July 4 2024

Goals vs behavior Wednesday July 3 2024

Project 2025 scary Tuesday July 2 2024

What makes full? Monday July 1 2024

Existential disturbance Monday July 1 2024

Assume you will survive Friday June 28 2024

The mathematical autocoder🤖⌨️☑️ Sunday June 23 2024

Book compressing Thursday June 20 2024

Nocturnal panic feels Wednesday June 19 2024

Are corporations not already superintelligent AI? Tuesday June 18 2024

Important footage Thursday June 13 2024

Being stupid Wednesday June 12 2024

Existential panic Wednesday June 12 2024

Future thinking Wednesday May 29 2024

Idea and being Tuesday May 28 2024

One in a million chance Tuesday May 14 2024

Public key encryption: a quicky in diagrams Thursday May 9 2024

AI therapy Monday May 6 2024

2020s vibes Thursday May 2 2024

Selfconvincing Wednesday May 1 2024

Pointlessness Monday April 29 2024

What are language models good for? Sunday April 28 2024

Panic relief Sunday April 28 2024

Cyberattacks! Friday April 26 2024

Grad school illusion Thursday April 18 2024

Simple flow kick system Wednesday April 10 2024

All stories are stories about people Friday April 5 2024

Notes on percolation Sunday March 31 2024

Dijkstra’s generalized pigeonhole principle for bags Friday March 22 2024

Multicellularity Wednesday March 20 2024

Why does gimbal lock happen? Wednesday March 13 2024

Vakil’s easy exercise Wednesday March 13 2024

Reversible subsystem Wednesday March 13 2024

Particle collision in cellular automata Tuesday March 12 2024

Solipsistic theorem Thursday March 7 2024

Short tour of dynamical systems Tuesday March 5 2024

Dynamical systems tour Tuesday March 5 2024

4 types of categories to know about Thursday February 29 2024

Autoprovers > autoformalizers? Wednesday February 28 2024

Discretetime birthdeath process from dynamical system Monday February 26 2024

Social constructs in biology Thursday February 8 2024

What is a social construct? Wednesday February 7 2024

Learned communication theorem Friday February 2 2024

Language agents Thursday February 1 2024

Birthdeath 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 replicatormutator equation is a nonlocal reactiondiffusion equation (??!) Thursday December 28 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

Local language model server Sunday September 10 2023

Monoids versus semigroups Sunday May 28 2023

Boolenriched categories are preorders Saturday April 1 2023

Equivariant dynamics theorem Friday March 3 2023

the power set functor Thursday March 2 2023

Autoformalization hard Friday February 3 2023

Uniqueness of products Monday January 9 2023

🚧Life as a coupled map lattice Sunday November 20 2022

How to into webdev Sunday November 6 2022