Learn why both faculty and program directors rely on business simulations to elevate executive education programs.| blog.experiencepoint.com
In this blog post we present how represent a proof of execution for translated 🦀 Rust programs in Rocq/Coq, to show that it is possible to type the values and resolve the names. Resolving the names amounts to finding the trait instances and an ordering for the function definitions.| Formal Land Blog
In this article we show how we re-build the type and naming information of 🦀 Rust code in Rocq/Coq, the formal verification system we use. A challenge is to be able to represent arbitrary Rust programs, including the standard library of Rust and the whole of Revm, a virtual machine to run EVM programs.| Formal Land Blog
Small-cap value (SCV) stocks got a lot of publicity in the FI/FIRE community. Don't buy the hype! SCV's recent performance has been atrocious!| Early Retirement Now
Discover why your leadership development programs need simulations to drive behavior change, boost decision-making and foster a lasting culture.| blog.experiencepoint.com
After my previous post about missing data, Kathy asked on Twitter whether two wrong models (the imputation model + the outcome model) would be better than one (the outcome model alone). Without doing any of the math, I’d guess the assumption of correctly spec the model also has a bigger impact in the CC analysis. You need correct spec in MI, twice, but trade off that potential bias for higher prec. This is a great question! I am going to investigate via a small simulation (so the answer cou...|
Here is the scenario: You are trying to predict some outcome, , and some of your predictors have missing data. Will doing a complete case analysis give you unbiased results? What additional information do you need before deciding? For some reason, when I tried to answer this question, my first instinct was to try to decide whether the data were missing at random, but it turns out, this might not be the right first question! Why? Complete case analysis will give us unbiased estimates even if t...|
Navigator page for active ESA blogs| ESA Blog Navigator
I like Die With Zero idea, but the numerical recommendations are nonsensical. There are better ways to deal with the overaccumulation risk.| Early Retirement Now
June 16, 2023 – I wonder if I’ll ever run out of material for the Safe Withdrawal Series. Fifty-eight parts now, and the new ideas come faster than I can write posts these days. This month, I initially planned to write about the effects of timing Social Security in the context of safe withdrawal simulations. … Continue reading Flexibility is Overrated – SWR Series Part 58| Early Retirement Now