Alex Gerko

Lean, a programming language created in 2013 by Leonardo de Moura, has grown into shared infrastructure for mathematics, with its community-built Mathlib library now exceeding two million lines of mac…

Wintermute Trading Ltd. plans to invest about $1 billion in high-frequency trading and AI data center infrastructure over the next five years to diversify into traditional markets, according to Founde…