ExeusV22 karma2019-03-28 22:25:58 UTC
Thanks for being honest.
View HistoryShare Link
ExeusV4 karma2020-07-27 16:57:29 UTC
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?
ExeusV2 karma2020-07-27 20:49:19 UTC
Thanks for the answer (:
Copyright © 2014 BestofAMA.com, All rights reserved.
reddit has not approved or endorsed BestofAMA, reddit design elements are trademarks of reddit inc.