Twitxy Saved

VFI Toolkit

@vfitoolkit

Joined August 2017
4 Following 239 Followers 40 Posts

Latest posts 5

VFI Toolkit @vfitoolkit
VFI Toolkit's CalibrateLifeCycleModel and CalibrateOLGModel make model calibration easy.

Two replications to show off just how easy:
Huggett, Ventura & Yaron (2011) - Sources of Lifetime Inequality
and (2006) - Human Capital and Earnings Distn Dynamics
shorturl.at/K0XZ5
discourse.vfitoolkit.com Replication: Huggett, Ventura & Yaron (2006) & (2011) Two replications: Huggett, Ventura & Yaron (2006) - Human Capital and Earnings Distribution Dynamics (original paper, replication repo) Huggett, Ventura & Yaron (2011) - Sources of Lifetime Inequal...
0 replies 6 reposts 20 likes 1.1K views View on X
VFI Toolkit @vfitoolkit
Lean Economics now has own @LeanEcon. Formalized lots of textbooks, every result.
LeanEconomics @LeanEcon Oct 21
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
View quoted post on X
0 replies 8 reposts 24 likes 3.1K views View on X
VFI Toolkit @vfitoolkit
Not toolkit, but related and hopefully interesting to you. Building Econ Theory in Lean, and on the side to also prove which algorithms solve which models. You can join the LeanEconomics org and contribute.
Robert Kirkby @robertdkirkby Sep 18
LeanEconomics
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
View quoted post on X
VFI Toolkit @vfitoolkit
Claude + VFI Toolkit = Superpower

Wrote a replication of core result of Huggett & @King_ofSweden (2000). Four OLG models in under three hours!!!

Key: Toolkit provides structure, code needed is only a few hundred lines. Claude loves this.

Details: tinyurl.com/ys7wyak2
discourse.vfitoolkit.com Claude for OLGs: Huggett & Ventura (2000) Claude + VFI Toolkit = The Best Posse Cut You Ever Heard Yesterday I downloaded Huggett & Ventura (2000) - Understanding why high income households save more than low income households I gave Claude...