I wanted mostly everything we have now since the 80s (portable computers, access to BBSs everywhere, chat to your friends everywhere so I do not have to call th

I wanted mostly everything we have now since the 80s (portable computers, access to BBSs everywhere, chat to your friends everywhere so I do not have to call them etc), but while working on some formally verified software back then in uni in the 90s, I thought we would be better at making software by now. It is better but not so much as I thought then. Ah well, it is still a young industry.