corpus.blog
41554 blogs · [ { "id": "01a08777-4c87-70a6-b6f4-cfd008580ed2", "title": "Solving Futbol Like Chess", "url": "https://federicocarrone.com/articles/solving-futbol-like-chess/", "published_at": "2026-07-05T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd0087b5ab8", "title": "Nutrition Labels for Trust", "url": "https://federicocarrone.com/series/concrete/nutrition-labels-for-trust/", "published_at": "2026-06-13T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd00970e0ae", "title": "A Proof Is Only as Good as Its Spec", "url": "https://federicocarrone.com/articles/formal-verification-moves-trust/", "published_at": "2026-06-06T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd0098882a1", "title": "Discipline Without Love Optimizes for the Wrong Variable", "url": "https://federicocarrone.com/articles/discipline-without-love/", "published_at": "2026-05-21T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd00a60d064", "title": "Blockspace Forum Cannes - Fede and Justin Drake", "url": "https://federicocarrone.com/talks/blockspace-forum-cannes-fede-and-justin-drake/", "published_at": "2026-04-22T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd00ac05805", "title": "A Fact-Producing Compiler", "url": "https://federicocarrone.com/series/concrete/a-fact-producing-compiler/", "published_at": "2026-04-09T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd00b81f0ea", "title": "CommitLLM: How to Verify an LLM Inference", "url": "https://federicocarrone.com/articles/commitllm/", "published_at": "2026-04-02T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd00b84c70c", "title": "What Concrete Makes Worse", "url": "https://federicocarrone.com/series/concrete/what-concrete-makes-worse/", "published_at": "2026-03-24T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd00c5db8c9", "title": "When the Compiler Is the Oracle", "url": "https://federicocarrone.com/series/concrete/when-the-compiler-is-the-oracle/", "published_at": "2026-03-20T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd00c75c903", "title": "Writing Your First Proofs in Lean", "url": "https://federicocarrone.com/series/theorem-proving/writing-your-first-proofs-in-lean/", "published_at": "2026-03-20T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd00ce97b11", "title": "Programming a Mini-Lean in Julia's Type System", "url": "https://federicocarrone.com/series/theorem-proving/programming-a-mini-lean-in-julias-type-system/", "published_at": "2026-03-19T12:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd00d29288f", "title": "Building a Tiny Theorem Prover in Python", "url": "https://federicocarrone.com/series/theorem-proving/building-a-tiny-theorem-prover-in-python/", "published_at": "2026-03-19T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd00da700d0", "title": "Self-Replicating Programs Emerge from Random Noise", "url": "https://federicocarrone.com/articles/computational-life/", "published_at": "2026-03-18T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd00dd1f9cc", "title": "Propositions Are Types, Proofs Are Programs", "url": "https://federicocarrone.com/series/theorem-proving/propositions-are-types-proofs-are-programs/", "published_at": "2026-03-18T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd00e4c8773", "title": "Fede's Guide to a Healthier Life", "url": "https://federicocarrone.com/articles/health-guide/", "published_at": "2026-03-13T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd00e66e9a3", "title": "Can I prove Concrete programs in Lean?", "url": "https://federicocarrone.com/series/concrete/proving-systems-code-in-lean/", "published_at": "2026-03-12T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd00ef4aebf", "title": "Designing a Programming Language for the AI Era", "url": "https://federicocarrone.com/series/concrete/the-ai-training-data-trap-for-programming-languages-has-an-exit/", "published_at": "2026-03-11T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd00f4230b6", "title": "The Rust Effects Debate and Concrete's Case for a Smaller Language", "url": "https://federicocarrone.com/series/concrete/rusts-grand-vision-and-concretes-answer/", "published_at": "2026-03-09T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd00f7dc88f", "title": "Dissolution Without Construction", "url": "https://federicocarrone.com/series/les-circuits-longs/dissolution-without-construction/", "published_at": "2026-03-06T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd01042770d", "title": "Legibility Kills What It Measures", "url": "https://federicocarrone.com/series/les-circuits-longs/legibility-kills-what-it-measures/", "published_at": "2026-03-03T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd0107de331", "title": "Finance Is Geometry, and It All Comes Back to Jensen’s Inequality", "url": "https://federicocarrone.com/series/leptokurtic/at-the-core-of-finance-lies-geometry-in-the-end-its-all-jensens-inequality/", "published_at": "2026-03-01T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd0117b50db", "title": "The Tail Hedge Debate: Spitznagel Is Right, AQR Is Answering the Wrong Question", "url": "https://federicocarrone.com/series/leptokurtic/the-tail-hedge-debate-spitznagel-is-right/", "published_at": "2026-02-26T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd011e78edb", "title": "Detecting Crashes with Fat-Tail Statistics", "url": "https://federicocarrone.com/series/leptokurtic/detecting-crashes-with-fat-tail-statistics/", "published_at": "2026-02-19T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd01217cfaa", "title": "Twenty Centuries of Financial Data: What 240 Countries and 2,000 Years Reveal", "url": "https://federicocarrone.com/series/leptokurtic/twenty-centuries-of-financial-data/", "published_at": "2026-02-12T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd01231ef23", "title": "Friction as Luxury: What We Lose When AI Gives Us What We Want", "url": "https://federicocarrone.com/series/les-circuits-longs/friction-as-luxury/", "published_at": "2026-02-05T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd012fa9727", "title": "China is trying to commoditize the complement", "url": "https://federicocarrone.com/articles/china-commoditizing-the-complement/", "published_at": "2026-01-22T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd0134b0ec0", "title": "Fede's Guide to Type Systems: From Generics to Dependent Types", "url": "https://federicocarrone.com/articles/type-systems/", "published_at": "2026-01-01T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd01356a8d0", "title": "Why Concrete Exists", "url": "https://federicocarrone.com/series/concrete/the-concrete-programming-language-systems-programming-for-formal-reasoning/", "published_at": "2025-12-26T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd01456a409", "title": "The Death of the Inner Self", "url": "https://federicocarrone.com/series/les-circuits-longs/the-death-of-the-inner-self/", "published_at": "2025-12-23T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd01492bd27", "title": "Notes on permanence, time, and ergodicity", "url": "https://federicocarrone.com/series/les-circuits-longs/notes-on-culture-infrastructure-time-and-ergodicity/", "published_at": "2025-12-15T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd014e0e0fe", "title": "The new financial backend of the world", "url": "https://federicocarrone.com/series/ethereum/the-new-financial-backend-of-the-world/", "published_at": "2025-12-09T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd015aa60fa", "title": "The missing institution of the Internet", "url": "https://federicocarrone.com/series/ethereum/the-missing-institution-of-the-internet/", "published_at": "2025-12-02T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd0167ee72f", "title": "Next 10 Years of Ethereum", "url": "https://federicocarrone.com/talks/next-10-years-of-ethereum/", "published_at": "2025-11-15T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd01683f2c8", "title": "Thank You to the Argentine Senate", "url": "https://federicocarrone.com/articles/senate-scientific-merit/", "published_at": "2025-11-12T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd016da0eef", "title": "Ethereum's Native Rollup Roadmap with Justin Drake", "url": "https://federicocarrone.com/talks/podcast-with-justin-drake/", "published_at": "2025-10-01T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd017a1faae", "title": "Crypto doctrine", "url": "https://federicocarrone.com/articles/crypto-doctrine/", "published_at": "2025-09-25T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd0182f24fe", "title": "Markets as Reflexive Fixed Points", "url": "https://federicocarrone.com/series/fixed-point-ladder/markets-as-reflexive-fixed-points/", "published_at": "2025-06-14T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd0189d2323", "title": "Life as a Double Fixed Point", "url": "https://federicocarrone.com/series/fixed-point-ladder/life-as-a-double-fixed-point/", "published_at": "2025-06-13T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd01961388a", "title": "Logic, Self-Reference, and Category Theory", "url": "https://federicocarrone.com/series/fixed-point-ladder/logic-self-reference-and-category-theory/", "published_at": "2025-06-12T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd01a116c73", "title": "Number Theory and the Arithmetic of Recurrence", "url": "https://federicocarrone.com/series/fixed-point-ladder/number-theory-and-recurrence/", "published_at": "2025-06-11T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd01aa0b6de", "title": "Power Laws, Extremistan, and Non-Ergodicity", "url": "https://federicocarrone.com/series/fixed-point-ladder/power-laws-extremistan-and-non-ergodicity/", "published_at": "2025-06-10T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd01b89b2b0", "title": "Chaos, Fractals, and Renormalization", "url": "https://federicocarrone.com/series/fixed-point-ladder/chaos-fractals-and-renormalization/", "published_at": "2025-06-09T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd01c1ec6b3", "title": "Fixed Points and Attractors", "url": "https://federicocarrone.com/series/fixed-point-ladder/fixed-points-and-attractors/", "published_at": "2025-06-08T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd01d170370", "title": "When Risk Models Create Risk", "url": "https://federicocarrone.com/series/edge-of-chaos/when-risk-models-create-risk/", "published_at": "2025-06-06T00:00:00+00:00" }, { "id": "01a08777-4c87-70a6-b6f4-cfd01d317a53", "title": "The Limits of Knowing", "url": "https://federicocarrone.com/series/edge-of-chaos/the-limits-of-knowing/", "published_at": "2025-06-05T00:00:00+00:00" }, { "id": "01a08777-4c88-7240-9c45-6ec43e442df2", "title": "Why the Calm Is Dangerous", "url": "https://federicocarrone.com/series/edge-of-chaos/why-the-calm-is-dangerous/", "published_at": "2025-06-04T00:00:00+00:00" }, { "id": "01a08777-4c88-7240-9c45-6ec43ec88d78", "title": "What Actually Moves Prices", "url": "https://federicocarrone.com/series/edge-of-chaos/what-actually-moves-prices/", "published_at": "2025-06-03T00:00:00+00:00" }, { "id": "01a08777-4c88-7240-9c45-6ec43f58d466", "title": "Reflexivity by the Numbers", "url": "https://federicocarrone.com/series/edge-of-chaos/reflexivity-by-the-numbers/", "published_at": "2025-06-02T00:00:00+00:00" }, { "id": "01a08777-4c88-7240-9c45-6ec440553b64", "title": "Faster Than Exponential: Can You See a Crash Coming?", "url": "https://federicocarrone.com/series/edge-of-chaos/faster-than-exponential-can-you-see-a-crash-coming/", "published_at": "2025-06-01T00:00:00+00:00" }, { "id": "01a08777-4c88-7240-9c45-6ec440b52b95", "title": "Sandpiles and Crashes: How Systems Tune Themselves to the Brink", "url": "https://federicocarrone.com/series/edge-of-chaos/sandpiles-and-crashes-how-systems-tune-themselves-to-the-brink/", "published_at": "2025-05-31T00:00:00+00:00" }, { "id": "01a08777-4c88-7240-9c45-6ec441aa451c", "title": "Crashes Without a Cause: Markets as Phase Transitions", "url": "https://federicocarrone.com/series/edge-of-chaos/crashes-without-a-cause-markets-as-phase-transitions/", "published_at": "2025-05-30T00:00:00+00:00" } ] posts Claim your blog
Back to federicocarrone.com
Blog · corpus.blog/blogs/federicocarrone.com/posts

federicocarrone.com

federicocarrone.com

2026

Solving Futbol Like Chessoriginal ↗
5 Jul 2026
Nutrition Labels for Trustoriginal ↗
13 Jun 2026
A Proof Is Only as Good as Its Specoriginal ↗
6 Jun 2026
Discipline Without Love Optimizes for the Wrong Variableoriginal ↗
21 May 2026
Blockspace Forum Cannes - Fede and Justin Drakeoriginal ↗
22 Apr 2026
A Fact-Producing Compileroriginal ↗
9 Apr 2026
CommitLLM: How to Verify an LLM Inferenceoriginal ↗
2 Apr 2026
What Concrete Makes Worseoriginal ↗
24 Mar 2026
When the Compiler Is the Oracleoriginal ↗
20 Mar 2026
Writing Your First Proofs in Leanoriginal ↗
20 Mar 2026
Programming a Mini-Lean in Julia's Type Systemoriginal ↗
19 Mar 2026
Building a Tiny Theorem Prover in Pythonoriginal ↗
19 Mar 2026
Self-Replicating Programs Emerge from Random Noiseoriginal ↗
18 Mar 2026
Propositions Are Types, Proofs Are Programsoriginal ↗
18 Mar 2026
Fede's Guide to a Healthier Lifeoriginal ↗
13 Mar 2026
Can I prove Concrete programs in Lean?original ↗
12 Mar 2026
Designing a Programming Language for the AI Eraoriginal ↗
11 Mar 2026
The Rust Effects Debate and Concrete's Case for a Smaller Languageoriginal ↗
9 Mar 2026
Dissolution Without Constructionoriginal ↗
6 Mar 2026
Legibility Kills What It Measuresoriginal ↗
3 Mar 2026
Finance Is Geometry, and It All Comes Back to Jensen’s Inequalityoriginal ↗
1 Mar 2026
The Tail Hedge Debate: Spitznagel Is Right, AQR Is Answering the Wrong Questionoriginal ↗
26 Feb 2026
Detecting Crashes with Fat-Tail Statisticsoriginal ↗
19 Feb 2026
Twenty Centuries of Financial Data: What 240 Countries and 2,000 Years Revealoriginal ↗
12 Feb 2026
Friction as Luxury: What We Lose When AI Gives Us What We Wantoriginal ↗
5 Feb 2026
China is trying to commoditize the complementoriginal ↗
22 Jan 2026
Fede's Guide to Type Systems: From Generics to Dependent Typesoriginal ↗
1 Jan 2026

2025

Why Concrete Existsoriginal ↗
26 Dec 2025
The Death of the Inner Selforiginal ↗
23 Dec 2025
Notes on permanence, time, and ergodicityoriginal ↗
15 Dec 2025
The new financial backend of the worldoriginal ↗
9 Dec 2025
The missing institution of the Internetoriginal ↗
2 Dec 2025
Next 10 Years of Ethereumoriginal ↗
15 Nov 2025
Thank You to the Argentine Senateoriginal ↗
12 Nov 2025
Ethereum's Native Rollup Roadmap with Justin Drakeoriginal ↗
1 Oct 2025
Crypto doctrineoriginal ↗
25 Sept 2025
Markets as Reflexive Fixed Pointsoriginal ↗
14 Jun 2025
Life as a Double Fixed Pointoriginal ↗
13 Jun 2025
Logic, Self-Reference, and Category Theoryoriginal ↗
12 Jun 2025
Number Theory and the Arithmetic of Recurrenceoriginal ↗
11 Jun 2025
Power Laws, Extremistan, and Non-Ergodicityoriginal ↗
10 Jun 2025
Chaos, Fractals, and Renormalizationoriginal ↗
9 Jun 2025
Fixed Points and Attractorsoriginal ↗
8 Jun 2025
When Risk Models Create Riskoriginal ↗
6 Jun 2025
The Limits of Knowingoriginal ↗
5 Jun 2025
Why the Calm Is Dangerousoriginal ↗
4 Jun 2025
What Actually Moves Pricesoriginal ↗
3 Jun 2025
Reflexivity by the Numbersoriginal ↗
2 Jun 2025
Faster Than Exponential: Can You See a Crash Coming?original ↗
1 Jun 2025
Sandpiles and Crashes: How Systems Tune Themselves to the Brinkoriginal ↗
31 May 2025
Crashes Without a Cause: Markets as Phase Transitionsoriginal ↗
30 May 2025