Interesting. I'm also nearsighted, so I've always assumed that I don't need glasses when wearing VR headsets. It's easier to just take them off before putting on the headset (MQ3) and I've not noticed a difference in clarity — but I do experience eye strain and visual exhaustion if I wear the headset for too long, so it might be worth comparing longer sessions with and without glasses.
Nothing's stopping users who want an AI summary from feeding the content into their favourite GPT. But it's not contributing anything meaningful to a HN discussion.
Yes, as everyone knows, you are only entitled to an opinion about software if you are also a successful business entrepreneur without external funding.
Good type systems increase velocity by leaving less room for error, so that you don't have to waste half your time debugging and fixing issues that could have been easily prevented. They also provide helpful structure and an IDE experience (the right values, functions, actions, etc are actually suggested for you wherever you are) that really does speed up development a lot.
There's of course always a trade-off: bad type systems can get in your way with boilerplate that you have to wrangle. But I don't think that's the typical experience.
Yes, it's very simple. Just open the app info (by long holding the app icon and pressing the little "i"), then select "disable" and confirm the dialogue. Or did you mean something else?