/prog/ - proving a theorem while high

Name: 2013-07-30 3:13

feels absolutely amazing.

Name: Anonymous 2013-07-30 4:24

Got a Coq in your mouth?

Name: Anonymous 2013-07-30 11:45

>>2
LELLLLLLLLLLLLLLLLLLLLLLLLLLLL EPIC

COQ SOIUNDS LIKE COCK

WHICH MEANS PENIS

FROFLXDDD EGGGWINGG EPIC EPIC EPIC PIEC EPIC EPIC

Name: Anonymous 2013-07-30 11:52

>>3
I love eggwings too.

Name: Anonymous 2013-07-30 16:26

>>5
Reported

Name: Anonymous 2013-07-30 18:03

>>5
hahahahah

Name: Anonymous 2013-07-30 18:03

>>5
LOL!!!

Name: Anonymous 2013-07-30 18:04

>>5
XDDD haha

Name: Anonymous 2013-07-30 18:06

tee hee hee ;)

Name: Anonymous 2013-07-31 6:07

>>2
Imagine a bunch of horny college students...

"Something's wrong with my Coq!"
"Everyone open up their Coq and follow along."
"Coq sucks." "You mean sucks Coq?"
"Now let's talk about Coq extraction." ( http://gallium.inria.fr/blog/stack-overflow-during-coq-extraction/ )

...no wonder it's not being taught more in CS classes.

Name: Anonymous 2013-07-31 6:12

>>10
As a horny college student, I am offended by that.

Name: Anonymous 2013-07-31 8:10

*grabs Coq*

Name: Anonymous 2013-07-31 8:57

>>10
I had to dive deep into the code.
Diving deep into Coq.

Name: Anonymous 2013-07-31 9:43

If language designers ever thought about picking a unique name without any associations the world would be a better place. There are thousands of name generators out there(e.g. rinkworks) most of which can generate names which don't appear to result in hits on google search.
Imagine how easier it would be like to search Noutranto instead of Python or Canfoviktor instead of C or Bitrujem instead of Coq.(Note:these names were generated by myself(its not hard to imagine random names and check them via google):not from generator)

Name: Anonymous 2013-07-31 10:10

In Jewish Russia Coq dives deep into you.

proving a theorem while high

1 Name: 2013-07-30 3:13

2 Name: Anonymous 2013-07-30 4:24

3 Name: Anonymous 2013-07-30 11:45

4 Name: Anonymous 2013-07-30 11:52

5 Name: Anonymous 2013-07-30 16:26

6 Name: Anonymous 2013-07-30 18:03

7 Name: Anonymous 2013-07-30 18:03

8 Name: Anonymous 2013-07-30 18:04

9 Name: Anonymous 2013-07-30 18:06

10 Name: Anonymous 2013-07-31 6:07

11 Name: Anonymous 2013-07-31 6:12

12 Name: Anonymous 2013-07-31 8:10

13 Name: Anonymous 2013-07-31 8:57

14 Name: Anonymous 2013-07-31 9:43

15 Name: Anonymous 2013-07-31 10:10

Name: 2013-07-30 3:13

Name: Anonymous 2013-07-30 4:24

Name: Anonymous 2013-07-30 11:45

Name: Anonymous 2013-07-30 11:52

Name: Anonymous 2013-07-30 16:26

Name: Anonymous 2013-07-30 18:03

Name: Anonymous 2013-07-30 18:03

Name: Anonymous 2013-07-30 18:04

Name: Anonymous 2013-07-30 18:06

Name: Anonymous 2013-07-31 6:07

Name: Anonymous 2013-07-31 6:12

Name: Anonymous 2013-07-31 8:10

Name: Anonymous 2013-07-31 8:57

Name: Anonymous 2013-07-31 9:43

Name: Anonymous 2013-07-31 10:10