Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon.

Pages: 1-

How many Agda programmers

Name: Anonymous 2016-05-12 16:46

does it take to change a lightbulb?

"Are you kidding me? It takes two PhD's six months just to prove the socket and the bulb are wound in the same direction."

Name: SHRDLU 2016-05-12 19:41

http://www.sourcecodeonline.com/details/ghost_perl_webserver_strong_ai.html

http://wiki.opencog.org/wikihome/index.php/Ghost

Name: Anonymous 2016-05-13 2:41

I prefer coq
in my anus

Name: Anonymous 2016-05-13 3:05

Really? The right-hand-rule in physics should tell you that in seconds. This Amateur Game Development Association must be full of academic circlejerks who flunked out of toilet scrubbing class.

Name: Anonymous 2016-05-14 10:10

>>4

Amateur Game Development Association

That's really too generous. The only thing they've developed is a natural number encoding.

Name: Anonymous 2016-05-14 12:10

>>3
gay

Name: Anonymous 2016-05-14 13:32

>>6
prove it

How many Agda programmers

1 Name: Anonymous 2016-05-12 16:46

2 Name: SHRDLU 2016-05-12 19:41

3 Name: Anonymous 2016-05-13 2:41

4 Name: Anonymous 2016-05-13 3:05

5 Name: Anonymous 2016-05-14 10:10

6 Name: Anonymous 2016-05-14 12:10