log

age author description
Mon, 22 Apr 2013 15:39:25 +0000 HackBot <ThatOtherPerson> rm master.zip
Mon, 22 Apr 2013 15:39:20 +0000 HackBot <ThatOtherPerson> fetch https://github.com/DCPUTeam/DCPUToolBot/archive/master.zip
Mon, 22 Apr 2013 15:32:31 +0000 HackBot <ThatOtherPerson> cd git-master && make && make install
Mon, 22 Apr 2013 15:30:29 +0000 HackBot <ThatOtherPerson> rm master.tar.gz
Mon, 22 Apr 2013 15:29:54 +0000 HackBot <ThatOtherPerson> tar -xvf master.tar.gz
Mon, 22 Apr 2013 15:28:51 +0000 HackBot <ThatOtherPerson> fetch https://github.com/git/git/archive/master.tar.gz
Mon, 22 Apr 2013 15:28:20 +0000 HackBot <ThatOtherPerson> rm master.zip
Mon, 22 Apr 2013 15:27:35 +0000 HackBot <ThatOtherPerson> fetch https://github.com/git/git/archive/master.zip
Mon, 22 Apr 2013 15:22:43 +0000 HackBot <Jafet> fetch sprunge.us/hbDf
Mon, 22 Apr 2013 14:15:04 +0000 HackBot <Jafet> echo \'unsigned long const main[] = {0x8948c7ff48ff3148, 0x0f0080b7e406c7e6, 0x2468880043f2431, 0x50ff8894803b299, 0xedeb};\' > maze.c && gcc maze.c -o maze && ./maze
Mon, 22 Apr 2013 07:40:06 +0000 HackBot <hagb4rd> pastelogs fmap
Sun, 21 Apr 2013 16:02:05 +0000 HackBot <Taneb> pastequotes
Sun, 21 Apr 2013 16:00:07 +0000 HackBot <Taneb> pastequotes kill
Fri, 19 Apr 2013 22:49:57 +0000 HackBot <FireFly> echo -e \'#!/bin/sh\\necho no.\' >bin/it; chmod a+x bin/it
Fri, 19 Apr 2013 22:48:40 +0000 HackBot <FireFly> touch bin/it
Fri, 19 Apr 2013 16:35:01 +0000 HackBot <fizzie> curl -s http://api.bitcoincharts.com/v1/markets.json | paste
Fri, 19 Apr 2013 16:18:03 +0000 HackBot <elliott> addquote <fungot> ThatOtherPerson: undefined variable \' annoy\'. you can\'t infer a static semantic for the language
Fri, 19 Apr 2013 15:29:19 +0000 HackBot <Taneb> delquote 738
Fri, 19 Apr 2013 15:26:26 +0000 HackBot <Taneb> pastequotes Taneb
Thu, 18 Apr 2013 02:09:53 +0000 HackBot <shachaf> pastelogs lexande
Thu, 18 Apr 2013 00:56:54 +0000 HackBot <elliott> revert
Thu, 18 Apr 2013 00:56:26 +0000 HackBot <shachaf> sed -i \'1036s/shachaf: //\' quotes
Thu, 18 Apr 2013 00:38:38 +0000 HackBot <elliott> sed -i \'1036s/>/> /\' quotes
Thu, 18 Apr 2013 00:37:00 +0000 HackBot <hagb4rd> addquote <Fiora>shachaf: make friends. help people. find ways to help people be happy. hug people. have fun. make the world a little bit better.
Wed, 17 Apr 2013 22:48:00 +0000 HackBot <oerjan> pastelog `welcome
Wed, 17 Apr 2013 22:47:21 +0000 HackBot <oerjan> sed -i \'1s/sh/bash/\' bin/pastelog
Wed, 17 Apr 2013 22:46:46 +0000 HackBot <oerjan> revert
Wed, 17 Apr 2013 22:43:05 +0000 HackBot <oerjan> sed -i \'s/lines=\\([$].*\\)/lines="\\1"/\' bin/pastelog
Wed, 17 Apr 2013 21:54:28 +0000 HackBot <Bike> pastelog `welcome
Wed, 17 Apr 2013 21:53:39 +0000 HackBot <elliott> addquote <fizzie> ... <fizzie> I was thinking maybe octave\'s fact() function is the factorial. <fizzie> octave:1> fact(20) <fizzie> Richad Stallman\'s pinky finger is really a USB memory stick. <fizzie> I don\'t think that\'s 20!.
Wed, 17 Apr 2013 18:12:52 +0000 HackBot <boily> addquote <Bike> \xe2\x97\x8a_______________________\xe2\x97\x8a <elliott> help. <Phantom_Hoover> jesus christ elliott <Phantom_Hoover> apply pressure evenly when jamming eyes open
Wed, 17 Apr 2013 17:50:02 +0000 HackBot <Bike> pastelogs kill yourself
Wed, 17 Apr 2013 17:10:20 +0000 HackBot <Bike> chmod +x bin/pastalog
Wed, 17 Apr 2013 16:31:28 +0000 HackBot <elliott> echo "<Phantom_Hoover> it\'s that place where they all wear kilts and chase haggises around whilst warding off the loch ness monster with bagpipes" >wisdom/scotland
Wed, 17 Apr 2013 03:19:15 +0000 HackBot <oerjan> pastelogs yeah, bashir
Wed, 17 Apr 2013 03:15:24 +0000 HackBot <oerjan> pastelogs monqy: help how do I use lambdabot
Tue, 16 Apr 2013 21:36:17 +0000 HackBot <oerjan> addquote <kmc> if you make pickles with strange salts then you can\'t eat them, but you can electrocute them and they glow different colors
Tue, 16 Apr 2013 05:46:56 +0000 HackBot <elliott> addquote <kmc> LIST OF ACRONYMS: List Integrating Some Terminology Of Fine Authentic Credibility Relating to Our New Year Media System
Mon, 15 Apr 2013 12:40:59 +0000 HackBot <Snowyowl> paste
Mon, 15 Apr 2013 10:02:00 +0000 HackBot <shachaf> echo yes > wisdom/d\xc3\xb8sthiswork
Mon, 15 Apr 2013 06:27:28 +0000 HackBot <elliott> rm record
Mon, 15 Apr 2013 06:27:20 +0000 HackBot <shachaf> echo \'<elliott> i would like to go on the record as not caring whether people are sorry\' >> record
Sun, 14 Apr 2013 22:18:10 +0000 HackBot <oerjan> delquote 1032
Sun, 14 Apr 2013 22:17:57 +0000 HackBot <oerjan> delquote 1033
Sun, 14 Apr 2013 21:52:56 +0000 HackBot <shachaf> sed -i \'s/$/ He\'\\\'\'s banned in the IRC RFC for being an invalid character. Sometimes he publishes papers./\' wisdom/\xc3\xb8rjan
Sun, 14 Apr 2013 21:48:22 +0000 HackBot <shachaf> sed -i \'s/tr A-Z a-z/lowercase/\' bin/learn
Sun, 14 Apr 2013 21:48:12 +0000 HackBot <shachaf> sed -i \'s/tr A-Z a-z/lowercase/\' bin/\\?
Sun, 14 Apr 2013 21:47:48 +0000 HackBot <shachaf> echo -e \'#!/bin/bash\\ntr A-Z\xc3\x98 a-z\xc3\xb8\' > bin/lowercase; chmod +x bin/lowercase
Sun, 14 Apr 2013 21:47:24 +0000 HackBot <shachaf> echo \'#!/bin/bash\\ntr A-Z\xc3\x98 a-z\xc3\xb8\' > bin/lowercase; chmod +x bin/lowercase
Sun, 14 Apr 2013 21:43:33 +0000 HackBot <shachaf> mv wisdom/{\xc3\x98,\xc3\xb8}rjan
Sun, 14 Apr 2013 21:42:51 +0000 HackBot <shachaf> learn \xc3\x98rjan is oerjan\'s good twin.
Sun, 14 Apr 2013 21:42:02 +0000 HackBot <oerjan> learn mnoqy used to be monqy before the earthquake.
Sun, 14 Apr 2013 21:11:43 +0000 HackBot <doesthiswork> addquote nooodl No output.
Sun, 14 Apr 2013 21:11:03 +0000 HackBot <doesthiswork> addquote nooodle no output
Sun, 14 Apr 2013 16:16:27 +0000 HackBot <fizzie> stty -a | paste
Sun, 14 Apr 2013 15:42:42 +0000 HackBot <shachaf> pastelogs esoteirc
Sun, 14 Apr 2013 15:05:02 +0000 HackBot <ThatOtherPerson> rm index.html
Sun, 14 Apr 2013 15:04:14 +0000 HackBot <ThatOtherPerson> wget www.google.com
Sun, 14 Apr 2013 14:46:16 +0000 HackBot <shachaf> revert
Sun, 14 Apr 2013 14:45:49 +0000 HackBot <Phantom_Hoover> >>wisdom/d-module echo \' Possibly they are also a torus.\'
Sun, 14 Apr 2013 14:43:57 +0000 HackBot <shachaf> >wisdom/torus echo \'Topologically, a torus is just a torus. Taneb invented them.\'
Sun, 14 Apr 2013 14:43:48 +0000 HackBot <shachaf> >wisdom/torus echo \'Topologically, a torus is a torus. Taneb invented them.\'
Sun, 14 Apr 2013 13:32:03 +0000 HackBot <shachaf> addquote <ais523> in soviet russia, what sees you is what gets you
Sun, 14 Apr 2013 12:41:48 +0000 HackBot <Jafet> echo \'short const main[]={-14520,448,0,18432,-14393,1,0,-29368,3893,0,18432,-15673,14,0,1295,184,0,-15616,25928,27756,8303,28535,27762,8548,10};\'>hello.c && gcc hello.c -o hello && hello
Sun, 14 Apr 2013 12:36:33 +0000 HackBot <Jafet> rm q.c q
Sun, 14 Apr 2013 12:36:28 +0000 HackBot <Jafet> gcc q.c -o q && ./q
Sun, 14 Apr 2013 12:35:53 +0000 HackBot <Jafet> echo \'int main(){return 0;}\'>q.c && gcc q.c -o q -m32 && ./q
Sun, 14 Apr 2013 12:33:02 +0000 HackBot <impomatic> pastelogs impomatic
Sun, 14 Apr 2013 12:32:47 +0000 HackBot <impomatic> pastelogs `pastelogs
Sun, 14 Apr 2013 12:31:12 +0000 HackBot <impomatic> pastelogs bfjoust
Sun, 14 Apr 2013 12:29:11 +0000 HackBot <shachaf> pastelogs Jafet
Sun, 14 Apr 2013 11:59:17 +0000 HackBot <Jafet> mv {,bin/}q && rm q.c
Sun, 14 Apr 2013 09:00:16 +0000 HackBot <ThatOtherPerson> ./q > q.c
Sun, 14 Apr 2013 08:59:57 +0000 HackBot <Jafet> rm r.c
Sun, 14 Apr 2013 08:59:33 +0000 HackBot <ThatOtherPerson> mv q.c r.c
Sun, 14 Apr 2013 08:46:59 +0000 HackBot <Jafet> gcc q.c -o q && ./q
Sun, 14 Apr 2013 08:46:39 +0000 HackBot <Jafet> echo \'const int main[]={232,1230520576,3943032963,1852793621,1763734643,1830843502,1533962593,2105228637,826804795,1220607680,2370422665,826805616,252883666,3247000837,1221734733,186936461,738215366,1221459784,2336342065,3526445057,4148693683,818053363,1207981448,3229994495,4282968949,1220607685,2370367113,1208755284,84929065,1237516105,1225048451,1915091587,1224847546,2988404877,2953121539,251703868,2425393157,};\'>q.c
Sun, 14 Apr 2013 07:21:31 +0000 HackBot <shachaf> addquote <fizzie> "Compact fluorescent light bulbs are often criticized for being dim --" that\'s kind of rude!
Sun, 14 Apr 2013 05:11:35 +0000 HackBot <oerjan> revert
Sun, 14 Apr 2013 05:10:36 +0000 HackBot <elliott> revert
Sun, 14 Apr 2013 03:04:06 +0000 HackBot <kmc> addquote <shachaf> "would be a good name for a band when preceded by its quotation" would be a good name for a band when preceded by its quotation
Sun, 14 Apr 2013 03:00:37 +0000 HackBot <Jafet> echo -ne \'\\x7fELF\\x02\\x01\\x01\\0H\\x8bt$\\x10\\xeb\\x19\\0\\x02\\0>\\0\\x01\\0\\0\\0\\x08\\0\\x01\\0\\0\\0\\0\\08\\0\\0\\0\\0\\0\\0\\0H\\xff\\xc7H\\x85\\xf6u<H\\x89\\xe6\\xeb\\x1b\\08\\0\\x01\\0\\0\\0\\x05\\0\\0\\0\\0\\0\\0\\0\\0\\0\\0\\0\\0\\0\\x01\\0\\0\\0\\0\\0f\\xc7\\x06y\\x0a\\xeb\\x11\\0\\x86\\0\\0\\0\\0\\0\\0\\0\\x86\\0\\0\\0\\0\\0\\0\\0\\xb2\\x02\\xeb\\x13H\\x89\\xf2\\x8a\\x0aH\\xff\\xc2\\x84\\xc9u\\xf7\\xc6B\\xff\\x0aH)\\xf2H\\x89\\xf8\\x0f\\x05\\xeb\\xf9\' > bin/y && chmod +x bin/y && file bin/y
Sun, 14 Apr 2013 02:59:44 +0000 HackBot <Jafet> rm y
Sun, 14 Apr 2013 02:59:39 +0000 HackBot <Jafet> echo -ne \'\\x7fELF\\x02\\x01\\x01\\0H\\x8bt$\\x10\\xeb\\x19\\0\\x02\\0>\\0\\x01\\0\\0\\0\\x08\\0\\x01\\0\\0\\0\\0\\08\\0\\0\\0\\0\\0\\0\\0H\\xff\\xc7H\\x85\\xf6u<H\\x89\\xe6\\xeb\\x1b\\08\\0\\x01\\0\\0\\0\\x05\\0\\0\\0\\0\\0\\0\\0\\0\\0\\0\\0\\0\\0\\x01\\0\\0\\0\\0\\0f\\xc7\\x06y\\x0a\\xeb\\x11\\0\\x86\\0\\0\\0\\0\\0\\0\\0\\x86\\0\\0\\0\\0\\0\\0\\0\\xb2\\x02\\xeb\\x13H\\x89\\xf2\\x8a\\x0aH\\xff\\xc2\\x84\\xc9u\\xf7\\xc6B\\xff\\x0aH)\\xf2H\\x89\\xf8\\x0f\\x05\\xeb\\xf9\' > y && chmod +x y && y
Sun, 14 Apr 2013 02:50:30 +0000 HackBot <oerjan> addquote <elliott> that is better than any made up story i was about to tell
Sun, 14 Apr 2013 02:39:14 +0000 HackBot <Gregor> addquote <olsner> I\'ve seen horses jump on tv, they can probably jump in scotland too
Sun, 14 Apr 2013 01:59:18 +0000 HackBot <oerjan> sed -i \'s/topic" =/topic1" =/\' bin/\'?\'
Sun, 14 Apr 2013 01:28:13 +0000 HackBot <shachaf> echo \'I think you might mean !logs\' | rainbow > wisdom/logs
Sun, 14 Apr 2013 01:27:36 +0000 HackBot <oerjan> echo \'I think you might mean !logs\' >wisdom/log
Sun, 14 Apr 2013 01:15:43 +0000 HackBot <shachaf> pastelogs miuaf
Sun, 14 Apr 2013 01:01:48 +0000 HackBot <Jafet> chmod +x y && mov {,bin/}y && y
Sun, 14 Apr 2013 01:01:33 +0000 HackBot <Jafet> fetch http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/38f6b5503e1b/bin/y
Sun, 14 Apr 2013 00:58:57 +0000 HackBot <Jafet> mv {,bin/}y && y hi
Sun, 14 Apr 2013 00:57:18 +0000 HackBot <kmc> ln -s /bin/mv bin/mov
Sun, 14 Apr 2013 00:57:09 +0000 HackBot <Jafet> chmod +x y && mv {bin/,}y && y hi
Sun, 14 Apr 2013 00:57:00 +0000 HackBot <Jafet> chmod +x y && mov {bin/,}y && ./y hi
Sun, 14 Apr 2013 00:56:46 +0000 HackBot <kmc> printf \'#!/bin/bash\\nsha1sum "$@" | tr a-z n-za-m\' > bin/shachaf1sum && chmod +x bin/shachaf1sum
Sun, 14 Apr 2013 00:56:33 +0000 HackBot <Jafet> fetch http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/38f6b5503e1b/bin/y
Sun, 14 Apr 2013 00:50:15 +0000 HackBot <Jafet> echo -ne \'\\x7fELF\\x01\\x01\\x01\\0\\0\\0\\0\\0\\0\\0\\0\\0\\x02\\0\\x03\\0\\x01\\0\\0\\0T\\x80\\x04\\x084\\0\\0\\0\\x90\\0\\0\\0\\0\\0\\0\\x004\\x00 \\0\\x01\\0(\\0\\x03\\0\\x02\\0\\x01\\0\\0\\0\\0\\0\\0\\0\\0\\x80\\x04\\x08\\0\\x80\\x04\\x08\\x7f\\0\\0\\0\\x7f\\0\\0\\0\\x05\\0\\0\\0\\0\\x10\\0\\0C\\x8bL$\\x08\\x85\\xc9u\\x0b\\x89\\xe1f\\xc7\\x01y\\x0a\\xb2\\x02\\xeb\\x0f\\x89\\xca\\x8a\\x02B\\x84\\xc0u\\xf9\\xc6B\\xff\\x0a)\\xca1\\xc0\\xb0\\x04\\xcd\\x80\\xeb\\xf8\' > bin/y && chmod +x bin/y
Sun, 14 Apr 2013 00:44:44 +0000 HackBot <Jafet> echo -ne \'\\x7fELF\\x01\\x01\\x01\\0\\0\\0\\0\\0\\0\\0\\0\\0\\x02\\0\\x03\\0\\x01\\0\\0\\0T\\x80\\x04\\x084\\0\\0\\0\\x90\\0\\0\\0\\0\\0\\0\\04\\0 \\0\\x01\\0(\\0\\x03\\0\\x02\\0\\x01\\0\\0\\0\\0\\0\\0\\0\\0\\x80\\x04\\x08\\0\\x80\\x04\\x08\\x7f\\0\\0\\0\\x7f\\0\\0\\0\\x05\\0\\0\\0\\0\\x10\\0\\0C\\x8bL$\\x08\\x85\\xc9u\\x0b\\x89\\xe1f\\xc7\\x01y\\x0a\\xb2\\x02\\xeb\\x0f\\x89\\xca\\x8a\\x02B\\x84\\xc0u\\xf9\\xc6B\\xff\\x0a)\\xca1\\xc0\\xb0\\x04\\xcd\\x80\\xeb\\xf8\' > bin/y && chmod +x bin/y
Sun, 14 Apr 2013 00:44:19 +0000 HackBot <Jafet> rm y.c
Sun, 14 Apr 2013 00:41:54 +0000 HackBot <Jafet> echo \'char _start[] = "C\\x8bL$\\x08\\x85\\xc9u\\x0b\\x89\\xe1f\\xc7\\x01y\\x0a\\xb2\\x02\\xeb\\x0f\\x89\\xca\\x8a\\x02B\\x84\\xc0u\\xf9\\xc6B\\xff\\x0a)\\xca1\\xc0\\xb0\\x04\\xcd\\x80\\xeb\\xf8";\' > y.c && gcc y.c -o bin/y -nostdlib -m32 && y \'amd64 sucks\'
Sat, 13 Apr 2013 23:59:51 +0000 HackBot <kmc> mv gccrun bin/ && chmod +x bin/gccrun
Sat, 13 Apr 2013 23:59:36 +0000 HackBot <kmc> fetch https://gist.github.com/kmcallister/72c5551e69d1a14c3474/raw/780fb50ae5d169edaf221d360e443e35d21814ca/gccrun
Sat, 13 Apr 2013 23:58:08 +0000 HackBot <kmc> rm bin/gccrun && cd bin && wget http://web.mit.edu/snippets/programming/gccrun && chmod +x gccrun && head -n 2 gccrun
Sat, 13 Apr 2013 23:56:45 +0000 HackBot <kmc> curl -o bin/gccrun http://web.mit.edu/snippets/programming/gccrun && chmod +x bin/gccrun
Sat, 13 Apr 2013 23:55:19 +0000 HackBot <oerjan> mv b bin/y && chmod +x bin/y
Sat, 13 Apr 2013 23:54:12 +0000 HackBot <Jafet> rm bin/yyy
Sat, 13 Apr 2013 23:53:49 +0000 HackBot <Jafet> mv bin/{y,yyy} && yyy
Sat, 13 Apr 2013 23:53:40 +0000 HackBot <kmc> echo \'const unsigned long main[] = { 0xc7e68948c7ffff31, 0x24310f00b195e206, 0xd231f88902460001, 0xe9eb050f03b2 };\' > maze.c && gcc -nostdlib -o maze maze.c && ./maze
Sat, 13 Apr 2013 23:52:32 +0000 HackBot <Jafet> echo -e \'\\x7fELF\\x02\\x01\\x01\\0\\0\\0\\0\\0\\0\\0\\0\\0\\x02\\0>\\0\\x01\\0\\0\\0x\\0@\\0\\0\\0\\0\\0@\\0\\0\\0\\0\\0\\0\\0\\xc8\\0\\0\\0\\0\\0\\0\\0\\0\\0\\0\\0@\\08\\0\\x01\\0@\\0\\x03\\0\\x02\\0\\x01\\0\\0\\0\\x05\\0\\0\\0\\0\\0\\0\\0\\0\\0\\0\\0\\0\\0@\\0\\0\\0\\0\\0\\0\\0@\\0\\0\\0\\0\\0\\xb6\\0\\0\\0\\0\\0\\0\\0\\xb6\\0\\0\\0\\0\\0\\0\\0\\0\\0 \\0\\0\\0\\0\\0H\\xc7\\xc7\\x01\\0\\0\\0H\\x8bt$\\x10H\\x85\\xf6u\\x0dH\\xc7\\xc6\\xb4\\0@\\0H\\x8dW\\x01\\xeb\\x17H\\x89\\xf2\\xeb\\x03H\\xff\\xc2\\x8a\\x0a\\x84\\xc9u\\xf7\\xc6\\x02\\x0aH\\xff\\xc2H)\\xf2H\\x89\\xf8\\x0f\\x05\\xeb\\xf9y\\x0a\' > b
Sat, 13 Apr 2013 22:29:43 +0000 HackBot <Jafet> echo -e \'\\x7fELF\\x02\\x01\\x01\\0\\0\\0\\0\\0\\0\\0\\0\\0\\x02\\0>\\0\\x01\\0\\0\\0x\\0@\\0\\0\\0\\0\\0@\\0\\0\\0\\0\\0\\0\\0\\xb0\\0\\0\\0\\0\\0\\0\\0\\0\\0\\0\\0@\\08\\0\\x01\\0@\\0\\x03\\0\\x02\\0\\x01\\0\\0\\0\\x05\\0\\0\\0\\0\\0\\0\\0\\0\\0\\0\\0\\0\\0@\\0\\0\\0\\0\\0\\0\\0@\\0\\0\\0\\0\\0\\x9a\\0\\0\\0\\0\\0\\0\\0\\x9a\\0\\0\\0\\0\\0\\0\\0\\0\\0 \\0\\0\\0\\0\\0H\\xc7\\xc7\\x01\\0\\0\\0H\\xc7\\xc6\\x98\\0@\\0H\\xc7\\xc2\\x02\\0\\0\\0H\\xc7\\xc0\\x01\\0\\0\\0\\x0f\\x05\\xeb\\xf5y\' > bin/y && chmod +x bin/y
Sat, 13 Apr 2013 21:43:28 +0000 HackBot <shachaf> sed -i \'s/\\. And/ who/\' wisdom/oerjan
Sat, 13 Apr 2013 21:41:09 +0000 HackBot <shachaf> sed -i \'s/$/ And hates Roald Dahl./\' wisdom/oerjan
Sat, 13 Apr 2013 15:18:33 +0000 HackBot <kmc> addquote <kmc> i had a dream just now where i was in a gymnasium and they had fire alarm pull stations but they also had a similarly shaped "call/cc alarm" which I think you were supposed to pull if you found a way to write call/cc (it was expected that people in this gymnasium would be doing a lot of programming in total dependently-typed languages)
Sat, 13 Apr 2013 15:18:15 +0000 HackBot <kmc> delquote 1026
Sat, 13 Apr 2013 15:07:55 +0000 HackBot <elliott> addquote <kmc> i had a dream just now where i was in a gymnasium and they had fire alarm pull stations but they also had a similarly shaped "call/cc alarm" which I think you were supposed to pull if you found a way to write call/cc (because it was expected that people in this gymnasium would be doing a lot of programming in total dependently-typed languages)
Sat, 13 Apr 2013 02:28:40 +0000 HackBot <coppro> addquote <FreeFull> So a monoid is something like a mon, so for example pikachu is a monoid
Fri, 12 Apr 2013 23:31:02 +0000 HackBot <shachaf> ln -s qdbformat wisdom/quoteformat
Fri, 12 Apr 2013 23:29:41 +0000 HackBot <shachaf> ln -s qdbformat wisdom/qdbrules