Robert Kirkby (@robertdkirkby) profile picture

Economist

Joined October 2018
Photo by Robert Kirkby (@robertdkirkby)
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
1
33
5
124
20,390
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.
122
getIMFData() adds GFS databases. Requires minor update to inputs for CPIS and DOT databases. See github for example using GFS.
Jumping at Shadows: The Reserve Bank of New Zealand’s 0.5% rate cut. robertdkirkby.com/blog/2019/…
Published: Cryptocurrencies and Digital Fiat Currencies doi.org/10.1111/1467-8462.12…
1
Slides on Cryptocurrencies and Digital Fiat: dropbox.com/s/rr4dugb5ujkj0l…
1