Writing

Articles

Density of archived Flow Lenia bodies in compactness and coverage, with the empty band outlined at high values of both.

Where Flow Lenia bodies go in shape space, and where they do not

Twelve shape measurements place 25,167 Flow Lenia bodies in a low-dimensional cloud, and once the measurement and undersampling are accounted for, one band of centrally peaked bodies that still fill their footprint stays empty across 1.35 million archived bodies.

Orbium at step 1,200 under the native rule. — Native rule

Orbium at step 1,200 under the recovered rule. — Recovered rule

Recovering the rule behind a Lenia body

One observed frame of Orbium was enough for a search to recover its rule close to the native values, and the recovered rule keeps the body coherent well past the frame it was fitted to.

A proof search tree in which two rewrites of a * (b + c) lead to proofs by ring.

Proof search with a missing tactic

We block one tactic from a successful Lean proof search and rerun it to see which proofs survive.

Lab notes