Robert Kirkby

Economist

[Robert Kirkby @robertdkirkby]

@vfitoolkit Big thanks to @aledinola who was key to this Bruggemann (2021) replication.

Proud to say the replication uses 1/3rd the lines of code and runs on 2/3rds the hardware in 1/3rd the time!

[Robert Kirkby @robertdkirkby]

@lucasian76 @Apoorva__Lal Merged. Plus you should now have 'write' access so can just directly edit the EconomicGrowth repo. Excited to see things getting going :)

[Robert Kirkby @robertdkirkby]

LeanEconomics
https://t.co/U4Y1n6Wl6o

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: https://t.co/VNw6X5wRdQ

[Robert Kirkby @robertdkirkby]

@lucasian76 @Apoorva__Lal @caseybmulligan @antoniomele101 LeanEconomics follows exactly the licensing of Mathlib (which is a library of results in Lean) so that it will be easy to contribute any result upstream back to Mathlib.

[Robert Kirkby @robertdkirkby]

@kamromero @antoniomele101 https://t.co/hZvlQBOHMo

[You know this, but putting it here for others]

[Robert Kirkby @robertdkirkby]

@mnchk Please do give it a go :) would be great to have some contributors!

[Robert Kirkby @robertdkirkby]

@lucasian76 @Apoorva__Lal You might also find
https://t.co/2pX9NM03Et
interesting, it is definitely also relevant to this

[Robert Kirkby @robertdkirkby]

@rah90994524 Have a try, you'd be surprised how easy it is. You tell Claude (or equivalent) the overall objective ("prove X in Lean"), and provide smaller theorems and have it formalize them one by one, occasionally ask for where you are on project & what next. Claude+Lean does all the work.

[Robert Kirkby @robertdkirkby]

@AlePeri83 @vfitoolkit If you have some spare tokens get involved :)

[Robert Kirkby @robertdkirkby]

The Big Mac Index want to be free
https://t.co/CuER6CEfQo
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.

[VFI Toolkit @vfitoolkit]

Publication using VFI Toolkit:
https://t.co/nqSrQw0IBt

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!

[Robert Kirkby @robertdkirkby]

I wrote a book review: Angeloni & Gros - Money in Crisis
https://t.co/hG6qWaZOHH

[Robert Kirkby @robertdkirkby]

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.
https://t.co/6R9NOtF8mf

[VFI Toolkit @vfitoolkit]

Human Capital!
Life-Cycle Model 42: Female Labor Force Participation History
Life-Cycle Model 43: Uncertain Human Capital
https://t.co/U0o4fE9wl4

(two new life-cycle models in the Intro to Life-Cycle Models, both have assets + human capital)

[VFI Toolkit @vfitoolkit]

GMM Estimation of Life-Cycle models
https://t.co/cwCcqvRUVL
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

[Australasian Macroeconomics Society @AustralianMacr1]

Your favourite conference is back!
WAMS+LAEF 2024
Perth, 27-29th November
https://t.co/M6h75YBpla
Keynotes:
Guido Ascari
Jose-Victor Rios-Rull
Richard Rogerson

Deadline: 30th August