AlephZero enters development

a permanent, numbered catalog for serious writing across mathematics, programming, computer-science theory, and artificial intelligence.