1 Name: Anonymous 2017-04-23 16:54

Return

## Crash Proof Filesystem

Return

1 Name: Anonymous 2017-04-23 16:54

5 Name: Anonymous 2017-07-05 11:51

>>4

It was a car.

It was a car.

6 Name: Anonymous 2017-07-06 03:40

/prog/ challenge: write a useful program + proof of its correctness, in coq

7 Name: Anonymous 2017-07-09 03:43

*with cock

8 Name: Anonymous 2017-10-14 15:54

Quoted by: >>9

What's the proof for Coq's correctness, i.e. that it never produces a false positive result?

9 Name: Anonymous 2017-10-14 21:24

>>8

there is none, and never will be (at least, not one which doesn't have the same problem), but i don't think that's so important - exploiting interpreter bugs to prove false generally is a very deliberate action, and proofs (to this point) are generally written by people who want, above all, to know that their own code is correct, and so are unlikely to take deliberate actions to prove their theorems using compiler bugs, not to mention the risk of being found out upon future interpreter updates (that might fix the bug they used to prove false). so i think that even if you can't prove coq correct, theorems proven in it are still very trustworthy, at least if they're not made by hostile entities (NSA writing a proof of a crypto implementation, for example)

there is none, and never will be (at least, not one which doesn't have the same problem), but i don't think that's so important - exploiting interpreter bugs to prove false generally is a very deliberate action, and proofs (to this point) are generally written by people who want, above all, to know that their own code is correct, and so are unlikely to take deliberate actions to prove their theorems using compiler bugs, not to mention the risk of being found out upon future interpreter updates (that might fix the bug they used to prove false). so i think that even if you can't prove coq correct, theorems proven in it are still very trustworthy, at least if they're not made by hostile entities (NSA writing a proof of a crypto implementation, for example)

10 Name: Anonymous 2017-12-09 03:52

prove your cock in my anus

Return

https://people.csail.mit.edu/nickolai/papers/chen-fscq.pdf

https://www.youtube.com/watch?v=fexr2IAJi_I