Preamble

Double crux is one of CFAR's newer concepts, and one that's forced a
re-examination and refactoring of a lot of our curriculum (in the same way that
the introduction of TAPs and Inner Simulator did previously). It rapidly became
a part of our organizational social fabric, and is one of our highest-EV threads
for outreach and dissemination, so it's long overdue for a public, formal
explanation.

Note that while the core concept is fairly settled, the execution remains
somewhat in flux, with notable experimentation coming from Julia Galef, Kenzi
Amodei, Andrew Critch, Eli Tyre, Anna Salamon, myself, and others. Because of
that, this post will be less of a cake and more of a folk recipe—this is long
and meandering on purpose, because the priority is to transmit the generators of
the thing over the thing itself. Accordingly, if you think you see stuff that's
wrong or missing, you're probably onto something, and we'd appreciate having
them added here as commentary.


------------------------------------…

Typized and autoassigned constructor arguments for JS