/prog/ - Rewrite your C programs in ATS

Name: Anonymous 2014-06-16 0:51

Progress.

Name: Anonymous 2014-06-16 2:21

First you prove that specification is "correct" and your definition of correct is correct.

Name: Anonymous 2014-06-16 2:29

>>2
First you stop being an ignorant tryhard idiot and actually read an introductory computer science book (not SICP as that would be much too hard hard for you as arithmetic is too fucking hard for you) to understand these things and fuck off with your pseudo-intellectual subjectivity or relativity liberal hippie shit atheist.

Name: Anonymous 2014-06-16 7:34

>>3
Eat shit, nigger.

Name: Error: Name too long 2014-06-16 12:05

Rewrite your C programs in Prolog

Progress.

Name: Anonymous 2014-06-16 15:58

>>2
It's neither possible nor necessary to prove correctness of correctness, just like it's neither possible nor necessary to prove logic. Practice is the only proof. Just as the caveman learned the power of logic and science (fire, wheels, etc) by the bumps on his head, just so is the virtue of program verification proven by how rarely formally verified programs exhibit erroneous behavior.

Name: Anonymous 2014-06-16 16:45

>>4
Fuck off, retard.

>>6
You're both wrong and talking out of your ass.

Name: Anonymous 2014-06-16 16:48

>>7
You're even more wrong because you're engaging in unconstructive criticism. If we're talking out of our asses, then you're only farting into your own mouth.

Name: Anonymous 2014-06-16 16:50

>>8
Either know what you are talking about and have the authority to back it up (don't be a fucking ignorant imbecile) or don't think one iota about it at all, you fucking pseudo-intellectual.

Name: Anonymous 2014-06-16 16:55

>>9
We already know you have nothing intelligent to say, why don't you shut up while the grown-ups talk?

Name: Anonymous 2014-06-16 17:02

>>9
Argument by authority fallacy.

>>10
Ad hominem fallacy.

>>12
Fuck you, shithead.

Name: Anonymous 2014-06-16 17:04

>>11

Argument by authority fallacy.
Ad hominem fallacy.

You got both wrong!

Name: Anonymous 2014-06-16 17:26

kill all atheists

Name: Anonymous 2014-06-16 17:27

>>12
Calling me wrong fallacy.

Name: Anonymous 2014-06-16 18:02

>>13
Skydaddy fallacy.

Name: Anonymous 2014-06-16 18:49

>>15

skydaddy

An idiotic teenager with a youtube channel used that word on a video of richard dawkins.
That's you and that's how much of a low, simpleton, inferior, yo u are

Name: Anonymous 2014-06-16 19:04

>>16
That's rich, coming from a theistard.

Name: Anonymous 2014-06-16 21:51

Not the atheist-theist bullshit again. Take your dicksucking contest to somewhere else.

Name: Anonymous 2014-06-17 10:22

>>18
Fuck off you agnostic shithead, and take your maybe-skydaddy with you.

Rewrite your C programs in ATS

1 Name: Anonymous 2014-06-16 0:51

2 Name: Anonymous 2014-06-16 2:21

3 Name: Anonymous 2014-06-16 2:29

4 Name: Anonymous 2014-06-16 7:34

5 Name: Error: Name too long 2014-06-16 12:05

6 Name: Anonymous 2014-06-16 15:58

7 Name: Anonymous 2014-06-16 16:45

8 Name: Anonymous 2014-06-16 16:48

9 Name: Anonymous 2014-06-16 16:50

10 Name: Anonymous 2014-06-16 16:55

11 Name: Anonymous 2014-06-16 17:02

12 Name: Anonymous 2014-06-16 17:04

13 Name: Anonymous 2014-06-16 17:26

14 Name: Anonymous 2014-06-16 17:27

15 Name: Anonymous 2014-06-16 18:02

16 Name: Anonymous 2014-06-16 18:49

17 Name: Anonymous 2014-06-16 19:04

18 Name: Anonymous 2014-06-16 21:51

19 Name: Anonymous 2014-06-17 10:22