https://federicocarrone.com/ https://federicocarrone.com/about/ https://federicocarrone.com/anime/ https://federicocarrone.com/articles/ https://federicocarrone.com/articles/building-a-saas-with-elixir-phoenix-and-react/ 2026-01-15 https://federicocarrone.com/articles/china-commoditizing-the-complement/ 2026-01-22 https://federicocarrone.com/articles/commitllm/ 2026-04-02 https://federicocarrone.com/articles/computational-life/ 2026-03-18 https://federicocarrone.com/articles/crypto-doctrine/ 2025-09-25 https://federicocarrone.com/articles/health-guide/ 2026-03-13 https://federicocarrone.com/articles/transforming-the-future-with-zero-knowledge-proofs-fully-homomorphic-encryption-and-new-distributed-systems-algorithms/ 2023-04-13 https://federicocarrone.com/articles/type-systems/ 2026-01-01 https://federicocarrone.com/games/ https://federicocarrone.com/keywords/ https://federicocarrone.com/keywords/acceleration/ https://federicocarrone.com/keywords/ai/ https://federicocarrone.com/keywords/aqr/ https://federicocarrone.com/keywords/artificial-life/ https://federicocarrone.com/keywords/backtesting/ https://federicocarrone.com/keywords/bitcoin/ https://federicocarrone.com/keywords/bouchaud/ https://federicocarrone.com/keywords/commodity-prices/ https://federicocarrone.com/keywords/compilers/ https://federicocarrone.com/keywords/computational-biology/ https://federicocarrone.com/keywords/concrete/ https://federicocarrone.com/keywords/consciousness/ https://federicocarrone.com/keywords/coordination/ https://federicocarrone.com/keywords/crash-detection/ https://federicocarrone.com/keywords/crypto/ https://federicocarrone.com/keywords/cryptography/ https://federicocarrone.com/keywords/culture/ https://federicocarrone.com/keywords/currency-crisis/ https://federicocarrone.com/keywords/curry-howard/ https://federicocarrone.com/keywords/dfa/ https://federicocarrone.com/keywords/disruption/ https://federicocarrone.com/keywords/economy/ https://federicocarrone.com/keywords/elixir/ https://federicocarrone.com/keywords/emergence/ https://federicocarrone.com/keywords/ergodic/ https://federicocarrone.com/keywords/ergodicity-economics/ https://federicocarrone.com/keywords/ethereum/ https://federicocarrone.com/keywords/exchange-rates/ https://federicocarrone.com/keywords/extreme-value-theory/ https://federicocarrone.com/keywords/fat-tails/ https://federicocarrone.com/keywords/finance/ https://federicocarrone.com/keywords/fitness/ https://federicocarrone.com/keywords/forex/ https://federicocarrone.com/keywords/formal-verification/ https://federicocarrone.com/keywords/functional-programming/ https://federicocarrone.com/keywords/geopolitics/ https://federicocarrone.com/keywords/gold/ https://federicocarrone.com/keywords/health/ https://federicocarrone.com/keywords/hurst/ https://federicocarrone.com/keywords/individuality/ https://federicocarrone.com/keywords/induction/ https://federicocarrone.com/keywords/inference/ https://federicocarrone.com/keywords/infrastructure/ https://federicocarrone.com/keywords/interest-rates/ https://federicocarrone.com/keywords/jensen-s-inequality/ https://federicocarrone.com/keywords/julia/ https://federicocarrone.com/keywords/kelly-criterion/ https://federicocarrone.com/keywords/language-design/ https://federicocarrone.com/keywords/lean-4/ https://federicocarrone.com/keywords/lean/ https://federicocarrone.com/keywords/legibility/ https://federicocarrone.com/keywords/linear-types/ https://federicocarrone.com/keywords/llm/ https://federicocarrone.com/keywords/logarithms/ https://federicocarrone.com/keywords/logic/ https://federicocarrone.com/keywords/longevity/ https://federicocarrone.com/keywords/lppls/ https://federicocarrone.com/keywords/medieval-finance/ https://federicocarrone.com/keywords/momentum/ https://federicocarrone.com/keywords/nix/ https://federicocarrone.com/keywords/nutrition/ https://federicocarrone.com/keywords/open-data/ https://federicocarrone.com/keywords/optimization/ https://federicocarrone.com/keywords/options/ https://federicocarrone.com/keywords/peters/ https://federicocarrone.com/keywords/philosophy/ https://federicocarrone.com/keywords/phoenix/ https://federicocarrone.com/keywords/profit/ https://federicocarrone.com/keywords/programming-languages/ https://federicocarrone.com/keywords/proofs/ https://federicocarrone.com/keywords/python/ https://federicocarrone.com/keywords/react/ https://federicocarrone.com/keywords/revenue/ https://federicocarrone.com/keywords/rust/ https://federicocarrone.com/keywords/saas/ https://federicocarrone.com/keywords/self-replication/ https://federicocarrone.com/keywords/silver/ https://federicocarrone.com/keywords/sleep/ https://federicocarrone.com/keywords/sornette/ https://federicocarrone.com/keywords/sovereign-debt/ https://federicocarrone.com/keywords/spitznagel/ https://federicocarrone.com/keywords/spy/ https://federicocarrone.com/keywords/supplements/ https://federicocarrone.com/keywords/systems-programming/ https://federicocarrone.com/keywords/tacit-knowledge/ https://federicocarrone.com/keywords/tactics/ https://federicocarrone.com/keywords/tail-hedging/ https://federicocarrone.com/keywords/taleb/ https://federicocarrone.com/keywords/technology/ https://federicocarrone.com/keywords/theorem-proving/ https://federicocarrone.com/keywords/tradeoffs/ https://federicocarrone.com/keywords/trust/ https://federicocarrone.com/keywords/turing-completeness/ https://federicocarrone.com/keywords/type-systems/ https://federicocarrone.com/keywords/type-theory/ https://federicocarrone.com/keywords/verification/ https://federicocarrone.com/keywords/volatility-targeting/ https://federicocarrone.com/keywords/volatility/ https://federicocarrone.com/library/ https://federicocarrone.com/listening/ https://federicocarrone.com/movies/ https://federicocarrone.com/music/ https://federicocarrone.com/reading/ https://federicocarrone.com/series/ https://federicocarrone.com/series/concrete/ https://federicocarrone.com/series/concrete/proving-systems-code-in-lean/ 2026-03-12 https://federicocarrone.com/series/concrete/rusts-grand-vision-and-concretes-answer/ 2026-03-09 https://federicocarrone.com/series/concrete/spec/ https://federicocarrone.com/series/concrete/the-ai-training-data-trap-for-programming-languages-has-an-exit/ 2026-03-11 https://federicocarrone.com/series/concrete/the-concrete-programming-language-systems-programming-for-formal-reasoning/ 2025-12-26 https://federicocarrone.com/series/concrete/what-concrete-makes-worse/ 2026-03-24 https://federicocarrone.com/series/concrete/when-the-compiler-is-the-oracle/ 2026-03-20 https://federicocarrone.com/series/ethereum/ https://federicocarrone.com/series/ethereum/the-missing-institution-of-the-internet/ 2025-12-02 https://federicocarrone.com/series/ethereum/the-new-financial-backend-of-the-world/ 2025-12-09 https://federicocarrone.com/series/leptokurtic/ https://federicocarrone.com/series/leptokurtic/at-the-core-of-finance-lies-geometry-in-the-end-its-all-jensens-inequality/ 2026-03-01 https://federicocarrone.com/series/leptokurtic/detecting-crashes-with-fat-tail-statistics/ 2026-02-19 https://federicocarrone.com/series/leptokurtic/the-tail-hedge-debate-spitznagel-is-right/ 2026-02-26 https://federicocarrone.com/series/leptokurtic/twenty-centuries-of-financial-data/ 2026-02-12 https://federicocarrone.com/series/les-circuits-longs/ https://federicocarrone.com/series/les-circuits-longs/dissolution-without-construction/ 2026-03-06 https://federicocarrone.com/series/les-circuits-longs/friction-as-luxury/ 2026-02-05 https://federicocarrone.com/series/les-circuits-longs/legibility-kills-what-it-measures/ 2026-03-03 https://federicocarrone.com/series/les-circuits-longs/notes-on-culture-infrastructure-time-and-ergodicity/ 2025-12-15 https://federicocarrone.com/series/les-circuits-longs/the-death-of-the-inner-self/ 2025-12-23 https://federicocarrone.com/series/les-circuits-longs/unprepared/ 2026-01-08 https://federicocarrone.com/series/theorem-proving/ https://federicocarrone.com/series/theorem-proving/building-a-tiny-theorem-prover-in-python/ 2026-03-19 https://federicocarrone.com/series/theorem-proving/programming-a-mini-lean-in-julias-type-system/ 2026-03-19T12:00:00 https://federicocarrone.com/series/theorem-proving/propositions-are-types-proofs-are-programs/ 2026-03-18 https://federicocarrone.com/series/theorem-proving/writing-your-first-proofs-in-lean/ 2026-03-20 https://federicocarrone.com/sources/ https://federicocarrone.com/talks/ https://federicocarrone.com/talks/next-10-years-of-ethereum/ 2025-11-15 https://federicocarrone.com/talks/podcast-with-justin-drake/ 2025-10-01 https://federicocarrone.com/tv-series/