Tag: #lean
Writing on GPUs, LLMs, MLOps, Kubernetes — and mindset · 2 posts
Trading Bots & Quant Tools 2026 Deep Dive - Lean (QuantConnect), Backtrader, Zipline, freqtrade, Hummingbot, NautilusTrader, vectorbt, Jesse ♪ Listenable
Mapping the 2026 landscape of algorithmic trading and quant tools. Open-source backtesting and live frameworks (Lean, Backtrader, Zipline, vectorbt, NautilusTrader, freqtrade, Jesse, Hummingbot), data sources (Polygon, A
2026-05-16 · 20 min read #english#trading-bots#quantitative-finance#lean#backtraderLean 4 & Proof Assistants 2026 — mathlib / Rocq (formerly Coq) / Agda / Isabelle / FStar / AlphaProof / AIMO Deep Dive ♪ Listenable
In 2026, proof assistants are no longer a secret weapon of academia. Lean 4 has exploded since Leonardo de Moura moved to AWS; mathlib has crossed one million theorems and become a daily tool for first-rank mathematician
2026-05-16 · 24 min read #lean-4#lean#mathlib#rocq#coq