H1

We're building ~astrophotography tools to find, classify, and harness useful objects in infinite spaces. We'll sweep up low hanging fruit with recent advances in cubical type theory and program representation, using scalable software on commodity hardware.

H2

Exploit hardware acceleration and cloud storage to create an efficient, distributed, and persistent "particle accelerator" for program synthesis. Can we reduce the cost of large searches by sharing intermediate and partial results?

H3

Please connect with our mailbox: root at our hostname.