leanprover/lean4
alpkeskin/mosint
opendatalab/MinerU
TIL that Jamie Hyneman was an early competitor in Robot Wars, where people design robots that fight each other, but his robot Blendo was deemed too dangerous for competition
Dude following Shaolin monk training
The Financial Consequences of Legalized Sports Gambling
