Will NAND To Tetris with Leah run at Proof in 2023-24?
17
127
Ṁ6.3kṀ350
resolved May 25
Resolved
YES1D
1W
1M
ALL
Technically it's called Computing Systems Design.
General policy for my markets: In the rare event of a conflict between my resolution criteria and the agreed-upon common-sense spirit of the market, I may resolve it according to the market's spirit or N/A, probably after discussion.
Get Ṁ200 play money
🏅 Top traders
# | Name | Total profit |
---|---|---|
1 | Ṁ52 | |
2 | Ṁ17 | |
3 | Ṁ9 | |
4 | Ṁ3 | |
5 | Ṁ2 |
Sort by:
Related questions
Will the Collatz Conjecture be proved true by December 2024?
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
59% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
60% chance
Will a plausible proof obfuscator be found by end of 2024?
76% chance
Will someone beat Tetris level 255 by 2030 year end?
54% chance
Will a human player reach level 255 in NES Tetris by 2027?
59% chance
Will an AI be able to convert recent mathematical results into a fully formal proofs that can be verified by a mainstream proof assistant by 2025?
23% chance
Will the Collatz Conjecture (3x+1 problem) be solved before 2030?
20% chance
Will any model pass an "undergrad proofs exam" Turing test by 2027?
74% chance
Will AI pass the Winograd schema challenge by the end of 2024?
78% chance