Good riddance! I’m optimistic that these guys will transform the typing landscape, which, let’s be honest, has room for improvement. I find mypy abysmal to use, bug-ridden with weird defaults, and extremely painful to add to an existing codebase
This. GitHub is a joy to use compared to its competitors. Using bitbucket at work is frustrating, and reminds me of a lot of Microsoft web interfaces, ironic, given that it’s GitHub and not Bitbucket that is owned by them now
That could be just the way it's displaying, e.g. to 14sf or something. If you try adding a million 0.1s and use a formula to compare to 100,000, that might tell you (with floats I got 100000.00000133288).
Similar for me, I thought I would start feeling better after my CPAP. Still had terrible sleep. Still experimenting with solutions (issues started after Covid vax, so I’m experimenting with long Covid protocols and have noticed much better sleep in the last month although I’m not getting my hopes up just yet)