3 ms·
I personally feel that this post has missed a huge opportunity to show how to do much more complex things from smaller pieces with trivial proofs providing high
by axman6 12y ago
I personally feel that this post has missed a huge opportunity to show how to do much more complex things from smaller pieces with trivial proofs providing high assurance. I wish the example application had been something far more interesting and useful; at the moment it's a poor implementation of tee. Too much theory without any discussion of how it's actually useful (which it definitely is! it's just not articulated).
- Gabriel439 12y agoI do plan on writing up a longer example, but I wanted to get the basic idea out there first so that I could just link to it in the follow-up post. The example I'm building up to is quite long and would have easily tripled the size of the post if I had included the entire thing inline.