Tag
The tweet discusses the early stage of hierarchy of loops in AI agents, highlighting verification as a key primitive for reliable semi-long-horizon work.
This article by Marshall Lochbaum discusses the philosophy behind choosing primitives in the BQN array programming language, arguing that primitives should be discovered rather than invented, and contrasts symbols versus names.
A tweet asking if anyone has seen an elegant primitive for implementing stateful agents, decision traces, and context graphs.