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
Get the latest stories live on any device.
Top Stories
