Archive

Reduction

Inspection Bias

Dynamical Similarity and Equivariant Symmetry

Are We Approaching Cultural Saturation?

Noether’s Theorem with Time

Is a Picture Worth a Thousand Words?

Noether’s Theorem and Geometric Controls

Controls from the Geometric Perspective

Differential Games and Stag Hunt

SINDy with Control

Learning Equilibria by Gradient Descent

Differentiable Game Canonicalization

SINDy Method for Learning Dynamical Systems

Linear Methods for Learning Dynamical Systems

Tactics Elaboration

Retrospective: Proof Assistant

Match Construct

Setting up Vector Search in AWS with Pinecone and SST

Tactics Engine

The Paradox of Taste: Borges, Preference Oracles, and the Platonic Theory of Art

Sort Hierarchy

Induction

Typing Rules

Conversion Rules

Calculus of Constructions

E-Graph Basics