Buenos Aires | Founder of Ergodic Group | Creator of LambdaClass
Ergodic Group builds companies in distributed systems, cryptography, and AI. LambdaClass builds software that is fast and provably correct: Ethereum clients, ZK provers, and verified compilers.
- 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
- lambda_ethereum_consensus. Ethereum consensus client in Elixir
- options_backtester. Options trading backtester
- erlings. Erlang exercises, rustlings-style
- 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
- Friction as Luxury: What We Lose When AI Gives Us What We Want
- Is Consciousness a Network Effect?
- Transforming the Future with ZK Proofs, FHE and New Distributed Systems
- the_bayes_way. Bayesian statistics and probabilistic programming
- learning_economics. Papers and books on monetary theory, volatility, ergodicity economics, complexity
- learning_systems_and_security. Assembly, reverse engineering, distributed systems, compilers, cryptography
- learning_mathematics. Linear algebra, analysis, topology, algebra, and more
- learning_saas. Guide for building production-ready SaaS with Elixir/Phoenix and React/TS
- learning_nutrition_and_health. Peer-reviewed papers on fasting, supplements, and metabolic health
- learning_data_science. Data science etudes and statistical explorations
- learning_luxury. Philosophy, business strategy, and craft: frameworks for thinking about luxury, desire, scarcity, and quality
- learning_leptokurtic. Fat-tailed distributions, kurtosis, and why Gaussian models fail
- learning_network_protocols. Network protocols, RFCs, and internet infrastructure
- learning_programming_language_theory. Type systems, semantics, parsing, and compiler design
- learning_game_theory. Game theory, mechanism design, and strategic interaction
- learning_information_theory. Entropy, coding theory, and channel capacity
- learning_formal_verification. Theorem proving with Lean and specifying systems with TLA+
- learning_history_and_philosophy_of_science. Scientific revolutions, epistemology, and the history of ideas
- learning_complex_systems. Emergence, nonlinear dynamics, power laws, and networks
- learning_biology. Molecular biology, genetics, evolution, and computational biology