A startup in a programming language derived from homotopy type theory raises $10M by 2030
17
1kṀ5272030
25%
chance
1H
6H
1D
1W
1M
ALL
Resolves to `yes` if by Jan 1st 2030:
1. A startup is building a product in programming language X ("PLX")
2. PLX _cites_ a paper or book associated with the HoTT movement in its whitepaper or otherwise in its documentation.
2.1. Designers or contributors of/to PLX verbally/twitterly claiming that they're influenced by ideas in HoTT doesn't count. The influence must be substantial and clear enough that citations are happening.
3. That startup raises at least $10M in funding
This question is managed and resolved by Manifold.
Get 
1,000 to start trading!
1,000People are also trading
Related questions
10B valuation for company founded by a 2023 Thiel Fellow by 2030
33% chance
1B valuation for company founded by a 2023 Thiel Fellow by 2030
55% chance
Will OpenAI have >$10 billion in revenue by 2030?
93% chance
A least twenty Thiel fellow founded companies are estimated to be worth >1B USD before 2034
67% chance
Will Marc Andreessen start a new company (not an investment firm) by 2026?
43% chance