Fantastic work by Robert Kirkby (@vfitoolkit) in the Lean Economics initiative: @LeanEcon. Everyone: jump on board!!
Lean Economics now has own @LeanEcon. Formalized lots of textbooks, every result.View quoted post on X
@AlePeri83
Lean Economics now has own @LeanEcon. Formalized lots of textbooks, every result.View quoted post on X
I have been listening to @EconTalker for two decades. It has become such a big part of my daily commute that it is hard to imagine driving to school on Monday morning without hearing Russ’ voice through my car speakers.View quoted post on X
Thus, it makes me incredibly happy to be the guest on this week’s episode, “The Great Fertility Collapse.” I felt like a kid who, 20 years later, gets to play for his favorite football team.
The talk was fun, too, and we covered some of the topics I have often emphasized here on X: the facts about fertility collapse, what we know and what we do not know, and much more.
As always, we didn’t have time to cover more. So, just remember my favorite line these days: fertility and artificial intelligence are the only two issues that matter right now. I can’t think about anything else.
Finally out!View quoted post on X
LeanEconomicsView quoted post on X
github.com/LeanEconomics/…
Current: prove existence of stationary general eqm for Aiyagari 1994, plus uniqueness for mu=1 (already known, now Lean formalized).
Please feel free to join the Github org and contribute to Econ in Lean.
Explain: shorturl.at/vpChP
With @matteo_sartori_ and @MarcoGPalladin1 we study fixed-term contracts in Italy. They are valuable for firms that operate under high uncertainty. At the same time, these firms are, on average, less productive. A well-known trade-off—we make it visible in the data 1/2View quoted post on X