Robert Kirkby retweeted
Lean Economics now has own @LeanEcon. Formalized lots of textbooks, every result.
Formalized textbooks:
Dynamic Programming: Sargent & Stachurski (Vol 1 & 2); Stokey, Lucas & Prescott
Monetary: Gali (NK); Woodford (interest & prices); Cochrane (fiscal theory).
International: Obstfeld & Rogoff
500+ corrections (mostly tiny or typo)
github.com/LeanEconomics
LeanEconomics
github.com/LeanEconomics/Lea…
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
The Big Mac Index want to be free
bigmacindex.app/
and live! The Economist locks theirs so you cannot use in teaching. 17 Big-Mac-Less countries: Iraq is included with the substitute "MaDonal BigMack", and Iran with "Mash Donalds Tehran Combo", North Korea is burger-less.
Robert Kirkby retweeted
Publication using VFI Toolkit:
doi.org/10.1016/j.jmacro.202…
OLG model with two endogenous states, assets and human capital. Toolkit commands solve the OLG and calibrate eqm to match life-cycle microdata. Then perform optimal tax exercise.
VFI Toolkit handles it all comfortably!
I wrote a book review: Angeloni & Gros - Money in Crisis
doi.org/10.1111/1475-4932.70…
Life-Cycle Model 27 demos how to use the Guvenen, Karahan, Ozkan & Song (2021) earnings processes. My new article explains the discretization method, and the implications.
doi.org/10.1007/s42973-025-0…
Robert Kirkby retweeted
Human Capital!
Life-Cycle Model 42: Female Labor Force Participation History
Life-Cycle Model 43: Uncertain Human Capital
shorturl.at/VgAwc
(two new life-cycle models in the Intro to Life-Cycle Models, both have assets + human capital)
Robert Kirkby retweeted
GMM Estimation of Life-Cycle models
shorturl.at/lvnU9
Life-Cycle models 45-50 in the Intro to Life-Cycle models show how to do GMM estimation in VFI Toolkit with just 5-10 lines of code (after model and data work). I'm excited about this! :D
Robert Kirkby retweeted
Your favourite conference is back!
WAMS+LAEF 2024
Perth, 27-29th November
tinyurl.com/y25wydzv
Keynotes:
Guido Ascari
Jose-Victor Rios-Rull
Richard Rogerson
Deadline: 30th August
Robert Kirkby retweeted
Workshop of WAMS+LAEF 2023
Dec 6-8. Kuala Lumpur, Malaysia
For all your Macroeconomic needs :D
ausmacro.com/WAMS2023/
Keynotes: @maryam_farboodi and @RobertoRigobon
Robert Kirkby retweeted
An Introduction to OLG Models vfitoolkit.com/updates-blog/…
Robert Kirkby retweeted
24min video about 'Introduction to Life-Cycle Models'
vimeo.com/750251629
(talks about the Intro to Life-Cycle Models which uses 25+ examples in VFI Toolkit to show how to build and solve a life-cycle model, as well as covers important concepts and modelling techniques)
Robert Kirkby retweeted
Replication: Webinar Series and an opportunity to get your hands dirty vfitoolkit.com/updates-blog/…
getIMFData() adds GFS databases. Requires minor update to inputs for CPIS and DOT databases. See github for example using GFS.
getHDRData: download data from Human Development Report directly from within Matlab:
robertdkirkby.com/codes-tool…
Works like getFREDData and getIMFData.
Quantitative Macroeconomics: Lessons Learned from Fourteen Replications
doi.org/10.1007/s10614-022-1…
Or check the prepub version with hyperlinks:
dropbox.com/s/xwu5tp1z8sbuy6…
Replicates 14 papers using VFI Toolkit. You can find the results, their accuracy, and some recommendations.
The Pandemic Recession robertdkirkby.com/blog/2021/…
Protected: The Pandemic Recession, part 2: The Recession Itself robertdkirkby.com/blog/2021/…



