I founded Ergodic Group and LambdaClass.
Ergodic Group is a permanent capital firm that builds and holds companies across software, finance, culture, and craft — from Ethereum infrastructure and ZK provers to animation studios, game development, a vineyard, and a sushi restaurant. LambdaClass is the software arm: protocol engineering, compilers, and formal verification in Rust, Erlang, and Lean.
During the day I work on formal systems, proofs, and verified kernels — domains where correctness can be checked rather than argued. At night I read thinkers who say certainty is impossible. Rigor when building, ambiguity when thinking.
- ethrex. Ethereum execution client in Rust, L1 and L2
- lambdaworks. SNARK and STARK prover implementations
- cairo-vm. Rust implementation of the Cairo VM
- cairo_native. Cairo Sierra to MLIR compiler
- options_portfolio_backtester. Options trading backtester
- concrete. Simple programming language for creating highly scalable, reliable, and easy to maintain systems
- erlings. Erlang exercises, rustlings-style
Quantitative Finance
- fatcrash. Crash detection and market regime signals: LPPLS, EVT, Hill estimator, Kappa, VRP, liquidity, credit spreads (Rust + Python/PyO3)
- forex-centuries. Historical exchange rate data spanning centuries, for volatility research
- finance_research. Research notebooks for options backtesting, tail hedging, and multi-asset carry strategies Tools
- stoa. Native AI research platform: send prompts to multiple models in parallel, compare side-by-side, diff responses, track costs — Rust + GPU, no Electron
- holdco. Open source holding company management: corporate structure, assets, custody, tax, financials
- readtube. Turn YouTube videos into beautifully typeset ebooks using Claude Code
- media-server. Self-hosted media server stack with Docker Compose
- DNA. Genetic health analysis pipeline
- Data Science in Julia for Hackers. Open book on applied data science
- Cryptography in Rust for Hackers. Hands-on crypto implementations
- Distributed Consensus in Rust for Hackers. Consensus protocols from scratch
- Spawned Shelter. Erlang & Elixir learning path
- Practical Cryptography & Distributed Ledgers. ZK proofs, FHE, consensus
- The Tail Hedge Debate: Spitznagel Is Right, AQR Is Answering the Wrong Question
- Detecting Crashes with Fat-Tail Statistics
- Nine Centuries of Exchange Rates
- The Concrete Programming Language: Systems Programming for Formal Reasoning
- Friction as Luxury: What We Lose When AI Gives Us What We Want
- China Commoditizing the Complement
- Type Systems: From Generics to Dependent Types
- Building a SaaS with Elixir/Phoenix and React
Math & Statistics
- the_bayes_way. Bayesian statistics and probabilistic programming
- learning_mathematics. Linear algebra, analysis, topology, algebra, and more
- learning_leptokurtic. Fat-tailed distributions, kurtosis, and why Gaussian models fail
- learning_data_science. Data science etudes and statistical explorations
- learning_statistical_mechanics. Statistical mechanics, thermodynamics, phase transitions, and connections to information theory
- learning_information_theory. Entropy, coding theory, and channel capacity
CS & Engineering
- learning_systems_and_security. Assembly, reverse engineering, distributed systems, compilers, cryptography
- learning_programming_language_theory. Type systems, semantics, parsing, and compiler design
- learning_formal_verification. Theorem proving with Lean and specifying systems with TLA+
- learning_network_protocols. Network protocols, RFCs, and internet infrastructure
- learning_saas. Guide for building production-ready SaaS with Elixir/Phoenix and React/TS
Economics & Strategy
- learning_economics. Papers and books on monetary theory, volatility, ergodicity economics, complexity
- learning_game_theory. Game theory, mechanism design, and strategic interaction
- learning_decision_theory. Decision theory, rationality under uncertainty, bounded rationality, and growth-optimal strategies
- learning_history_and_geopolitics. Economic history, grand strategy, geopolitics, and the forces that shape civilizations
Science & Ideas
- learning_complex_systems. Emergence, nonlinear dynamics, power laws, and networks
- learning_biology. Molecular biology, genetics, evolution, and computational biology
- learning_history_and_philosophy_of_science. Scientific revolutions, epistemology, and the history of ideas
- learning_nutrition_and_health. Peer-reviewed papers on fasting, supplements, and metabolic health
- learning_luxury. Philosophy, business strategy, and craft: frameworks for thinking about luxury, desire, scarcity, and quality