taliaringer

4 ms·

1. 1.▲
   by taliaringer 6y ago

   I read Code of Conduct abbreviated as "see-oh-see." This is also the name of the logic that underpins Coq, the Calculus of Constructions, which I read the same way.
2. 2.▲
   by taliaringer 6y ago

   Yes, but I do this so naturally that I often say things like "I'm a Coq expert" when out eating with people I'm close with from my field, and believe me this is not something that works out well for women. People overhea
3. 3.▲
   by taliaringer 7y ago

   Yes, though it is free to create an account.
4. 4.▲
   by taliaringer 7y ago

   There is a free download available for this paper available from the publisher at that link until September 10th. A lot of folks I have spoken to have missed this when looking at the website. This was a 2+ year collaboration spanning four d
5. 5.▲
   QED at Large: A Survey of Engineering of Formally Verified Software(nowpublishers.com)

   7 points by taliaringer 7y ago|3 comments
6. 6.▲
   by taliaringer 8y ago

   All nontrivial programs are riddled with conditional logic. The difference is whether or not this conditional logic is exposed at the type level. Every single time you branch over anything in your code (say, to check if a list is empty befo