Love that podcast. I&#x27;ll check it out later today, thanks.<p>About core.typed, just be aware that it comes with its own set of issues[0]. I&#x27;ve been down that road and it wasn&#x27;t great.<p>[0] <a href="http:&#x2F;&#x2F;blog.circleci.com&#x2F;why-were-no-longer-using-core-typed&#x2F;" rel="nofollow">http:&#x2F;&#x2F;blog.circleci.com&#x2F;why-were-no-longer-using-core-typed...</a>