-
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 auto-coder🤖⌨️☑️ 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
-
Self-convincing 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
-
Discrete-time birth-death 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
-
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 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
-
Bool-enriched 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