OptionProbability
Grover Project w/ Or
[James's system of equations for multichoice mechanism versions](https://manifold.markets/JamesGrugett/solve-these-equations-for-a-simpler#pcfde0bgc1)
Formalizing "Categorical Composable Cryptography"
SNARK project w/ Sanjam
Data availability phase changes
`nazg`: Proving Ring Equalities Done Wrong
Post-quantum backdoorable VDFs
Iuvenes Project w/ Or
Mechanism design to incentivize `mathlib` contribution
Optimal sampling for statistical democracy w/ Surya
Formal Proof for Marlin w/ Pratyush
Eigenlayer Project w/ Or
NeRF the world
TEE via physics/materials science w/ Sylvain
Krugman's Interstellar trade redux
Solving Hanabi
Automated Market Maker Monte Carlo w/ @EvanDaniel
Quantum cowry shells
range saturation tactic
Mixing for slow traders
Homotopy theory DeFi
Violating classical consensus impossibility results with quantum
Poisson average-case TSP
Efficient polynomial multiplication for mathlib
Paradoxical hiding in ROM
100
66
25
24
23
22
21
20
19
18
17
16
15
14
13
[Posted] Analysis of "Relative Brier Score"
[Posted] Prediction Market Thoughts pt 3: The Holy Trinity of Bots
Prediction Market Thoughts pt 4: Convexity of Preference
Kessler Syndrome is Self-Defeating
Kessler Syndrome Mitigation through Ley Lines
Quantum Commodities
Surface-Orbiting Megastructures
Krugman Interstellar Trade Redux: The Economic Twin Paradox
The Quantum Milkman
The Production of Outer Space: Communism in Orbit
Quantum GMW Transform
[Posted] A High School Math Program Got Me Through Grad School
52
50
48