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 via fat-tail statistics: LPPLS, EVT, Hill estimator, Kappa (Rust + Python/PyO3)
• regimeshift. Market regime signals: tail-risk, VRP, and liquidity/impact proxies (Rust + Python)
• 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
• 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

X · Blog · Email