I noticed today that even with less sleep, I'm more energized than usual when I stayed up late but not consuming information.

Lifting weights

Wow, I just read the original Sudoku post by Norvig yesterday for the first time, and now today this shows up here!

It was bound to happen to someone.

We have it already: https://github.com/microsoft/pyright

Flake8 and Black would never have matched the performance of a Rust-based tool, even if they had 10 years of dedicated focus.

Why would the replacement name you suggested be better than the actual name?

Oh, I see. It wasn't a suggestion for a replacement, hence 'org' in there since they were talking about 'organizers'. They could have called themselves the April Tools. Just a dumb joke/unmissable opportunity to call some perfectly nice-seeming internet strangers a bunch of tools.

You can play Pokémon Red but not save your game, because the batteries inside the game cartridge are dead.

Yeah but all it takes is a soldering iron, a Philips head, and 2 minutes to put a new one in.

Quite different to a modern game where what’s on the physical cartridge/disc may not even be playable without a day one patch from a long-decommissioned server.

My original game saves are actually still there, miraculously.

I've had this as well. When I'm really tired, I can wake up then fall asleep and resume my dream.

This is a good thing to do, but not really the point of the article.

Why include mypy at all? Pyright is amazing and all you need.