ExeusV

Thanks for being honest.

What's the difference between language designed

by person/team with not strong background in theoretical CS (aka step by step, feature by feature and so on)

and person/team with an actual very strong background in theoretical CS (more mathematically/formally designed?)?

It's about ability to formally prove its correctness or something?

Thanks for the answer (:

u/lizborowsky

if we could magically recreate/redesign internet architecture from stratch, without constrains like ipv6 adaptation and so on, then what could we have done in order to make it better than it currently is?