nikhil.io

Not completely unsurprising, but yeah: I was struck by how it’s essentially a continuous tone after about 2,000 BPM. Makes one wonder if anything in the Universe is really continuous or if all of it is fundamentally discrete. Also makes you wonder how animals like bees perceive the world.…

The argument here being that, since the ‘general form’ of the conjecture is undecidable, TypeScript’s type system is undecidable. How does one even think of doing these things? I love Typescript, but it isn’t nearly ambitious enough. It would be vastly improved with an --extremelyStrict flag enforc…