2 ms·
This is exactly the point, you may think your system is rigorous and disciplined but how do you convey that to other people with them having the same degree of
by freyrs3 13y ago
This is exactly the point, you may think your system is rigorous and disciplined but how do you convey that to other people with them having the same degree of certainty that you feel your system has. The answer to that is the proofs and formalization, and that is the essence of what rigor in programming language design is about.
- urbit 13y agoMy definition of "rigorous and disciplined" comes from an entirely different world, the world of RFCs. Here, you can look at my axioms and identify anything unrigorous or undisciplined about them: https://github.com/urbit/urbit/blob/master/Spec/nock/5.txt https://github.com/urbit/urbit/blob/master/Spec/nock/5.txt A bunch of people have written compatible implementations from the spec, which is the RFC world's general sanity test.