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
Los Angeles Dodgers
Arizona Diamondbacks
New York Yankees
Philadelphia Phillies
Houston Astros
New York Mets
Seattle Mariners
Atlanta Braves
Toronto Blue Jays
Boston Red Sox
Chicago Cubs
Milwaukee Brewers
San Diego Padres
Athletics (formerly Oakland Athletics)
Baltimore Orioles
Chicago White Sox
Cincinnati Reds
Cleveland Guardians
Detroit Tigers
Kansas City Royals
Los Angeles Angels
Miami Marlins
Minnesota Twins
San Francisco Giants
St. Louis Cardinals
Tampa Bay Rays
Texas Rangers
Washington Nationals
Colorado Rockies
Pittsburgh Pirates
8
7
6
5
4
3
2
1
