Harshil Shah on Nostr: I would kill for a "turn off all typechecking" button because this is genuinely ...
I would kill for a "turn off all typechecking" button because this is genuinely untenable. The worst is when it finally catches up, and then I type or delete exactly one (1) character and whoop it's fucking beachballing again