on wiki
< 1294848717 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and anyway that resetting thing happened again
< 1294848720 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what the fuck is going on
< 1294848728 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :oklopol!!!!!!!!!!!!!!!!!!!! FOCUS
< 1294848730 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :how do you 
 on wiki
< 1294848734 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i don't know and i don't care
< 1294848748 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well, i suppose no minecraft today
< 1294848789 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :cheater99: find any page about algorithms on wp and edit it to see what they put around the pseudocode
< 1294848789 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :ow
< 1294848790 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric ::(
< 1294848792 0 :Wamanuz!unknown@unknown.invalid QUIT :Ping timeout: 272 seconds
< 1294848800 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION gives oklopol a huggy-hug.

< 1294848838 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh i see
< 1294848853 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :fuckfuckfuckfuckfuckfuckfuck
< 1294848857 0 :Wamanuz2!~Wamanuz@78-69-168-43-no84.tbcn.telia.com JOIN :#esoteric
< 1294848857 0 :ineiros!unknown@unknown.invalid PRIVMSG #esoteric :Hmm.
< 1294848862 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ineiros:!
< 1294848866 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*ineiros: !
< 1294848926 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ineiros: can i get a refund on all that work i did? :D
< 1294848964 0 :ineiros!unknown@unknown.invalid PRIVMSG #esoteric :Yes, I'll have 0€ transferred to your account as soon as possible. ;)
< 1294848970 0 :ineiros!unknown@unknown.invalid PRIVMSG #esoteric :There's something wrong there.
< 1294848972 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :\o/
< 1294848972 0 :myndzi!unknown@unknown.invalid PRIVMSG #esoteric :  |
< 1294848972 0 :myndzi!unknown@unknown.invalid PRIVMSG #esoteric : /<
< 1294848992 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :   o//
< 1294849020 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :myndzi y u no complete sideways guy?
< 1294849045 0 :Wamanuz3!~Wamanuz@78-69-168-43-no84.tbcn.telia.com JOIN :#esoteric
< 1294849092 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ineiros, completely wrong where?
< 1294849141 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ineiros: did you fix it?
< 1294849142 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::D
< 1294849145 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i wanna continue
< 1294849148 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::DDDDDDDDDDDDDDDDDDD
< 1294849160 0 :ineiros!unknown@unknown.invalid PRIVMSG #esoteric :Heh, didn't expect this to happen so soon; should have considered it: As you know, I've been running frequent backups since the last incident.
< 1294849172 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yes
< 1294849173 0 :Wamanuz4!~Wamanuz@78-69-168-43-no84.tbcn.telia.com JOIN :#esoteric
< 1294849175 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ineiros, yes
< 1294849185 0 :ineiros!unknown@unknown.invalid PRIVMSG #esoteric :I think I ran out of free inodes.
< 1294849191 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ineiros, the what
< 1294849192 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :xD
< 1294849199 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ineiros, what fs
< 1294849205 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :and I guess you need to fix it then
< 1294849210 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what kind of 1910's operating system are you running
< 1294849211 0 :ineiros!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: Sorry about the lost work, I'll have the server back in no time.
< 1294849220 0 :Wamanuz2!unknown@unknown.invalid QUIT :Ping timeout: 255 seconds
< 1294849222 0 :ineiros!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: ext3.
< 1294849227 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ineiros, I would suggest xfs since it won't run out of inodes ever
< 1294849238 0 :ineiros!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Minecraft makes a lot of files, you know.
< 1294849247 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i have no quarrel with you even just destroying the whole world for fun, it's your server
< 1294849256 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so no problem
< 1294849264 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :hm
< 1294849266 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but if you do fix it fast, yay, since otherwise i'll just go to sleep
< 1294849280 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :yeah xfs isn't too great at many small files
< 1294849298 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :oklopol, sleep? this early?
< 1294849314 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :oklopol, I just had breakfast! (Okay that was a bit late, but still)
< 1294849314 0 :ineiros!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: Server's back on.
< 1294849315 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well every day i go to sleep 2 hours earlier, until i loop
< 1294849324 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well, roughly
< 1294849333 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :last night was later, but i'm catching up now
< 1294849334 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :i haven't even had breakfast yet
< 1294849340 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ineiros: wow cool thanks
< 1294849352 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :oklopol, how does that work during non-holidays?
< 1294849363 0 :Wamanuz3!unknown@unknown.invalid QUIT :Ping timeout: 265 seconds
< 1294849365 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :quintopia, yes but you aren't in Europe
< 1294849405 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: it's just been going on this week, and 8-16 has been time awake, but in theory i could just sleep whenever i want, since i don't have that much mandatory stuff at uni
< 1294849414 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: write a Preposterous Programming language
< 1294849417 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :so?  the point is it is too early for sleep no matter where you are
< 1294849419 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :just any third of every day
< 1294849424 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: __*NOW*___
< 1294849448 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :okay so there's only two commands, 0 and 1, and each is more preposterous than the last
< 1294849456 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric ::D
< 1294849459 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that's the draft i have now
< 1294849469 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :ok. please prove TC
< 1294849482 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well you can obviously do brainfuck with that
< 1294849488 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :apply the axiom of infinite improbability
< 1294849490 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :and done
< 1294849494 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: http://esolangs.org/wiki/Preposterous_Programming
< 1294849499 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric : ineiros: can i get a refund on all that work i did? :D ← oooh, what're you doing?
< 1294849519 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :+ = 1010001010101110100100101110, - = 1010111100101000100110101001000010101, < = 101110100010101010101011, > = 0101000100010011010110, [ = 0101111, ] = 010110001010101110011001001001
< 1294849528 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :LIES
< 1294849563 0 :variable!unknown@unknown.invalid QUIT :Read error: Connection timed out
< 1294849568 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :+ you need some additional stuff if you want to nest []'s more than 7 deep, unless all your loops have an even amount of >'s
< 1294849632 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :also you obviously need 01110 in the beginning of the program, if the bf program allocates cells too fast
< 1294849671 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :also i shouldn't have done that because now i desperately want to find that language
< 1294849702 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :lol
< 1294849860 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :okay so that's why the server had gotten so slow
< 1294849886 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ineiros: i can actually redo my work in no time since time is now 2.5 times faster
< 1294849944 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :ahaha
< 1294850244 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :oklopol, what are you doing?
< 1294850257 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :making a home
< 1294850415 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :nesting
< 1294850438 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION watches oklopol gather tiny tiny branches, feathers, and weeds in his beak, one at a time.

< 1294850951 0 :Wamanuz5!~Wamanuz@78-69-168-43-no84.tbcn.telia.com JOIN :#esoteric
< 1294851033 0 :Wamanuz4!unknown@unknown.invalid QUIT :Ping timeout: 272 seconds
< 1294851310 0 :sebbu2!~sebbu@ADijon-152-1-19-45.w83-194.abo.wanadoo.fr JOIN :#esoteric
< 1294851365 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :someone put a bot in haskell that man-in-the-middled folks
< 1294851387 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :like ti would just randomly PM two people "hey!" and then start transporting messages between
< 1294851452 0 :sebbu!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds
< 1294851565 0 :copumpkin!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: tell ops about it :P
< 1294851600 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :lol
< 1294851686 0 :copumpkin!unknown@unknown.invalid PRIVMSG #esoteric :is the bot still there?
< 1294851757 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :no
< 1294851783 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :oklopol, down?
< 1294851799 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ineiros, down?
< 1294852151 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant, I want one.
< 1294852156 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :oein what
< 1294852156 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :?
< 1294852569 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :One of those bots.
< 1294853132 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :http://gcc.gnu.org/bugzilla/show_bug.cgi?id=323
< 1294853139 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :search for "duplicate" for comedy
< 1294853309 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :?
< 1294853490 0 :Phantom_Hoover!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds
< 1294853907 0 :sebbu2!unknown@unknown.invalid NICK :sebbu
< 1294854501 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric
< 1294854503 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :18:37:55  comex: Say: a) did you have any involvement in fail0verflow that you are willing to admit to b) are you in the US?
< 1294854506 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: (a) I doubt (b) he is
< 1294854557 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :elliott: The thing is, he actually *is* involved in Wii and iPhone hacking...
< 1294854560 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric
< 1294854565 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: well sure
< 1294854575 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: but the fail0verflow thing was hardware-oriented, I think
< 1294854582 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :whereas his iphone exploit is sw-based, dunno about the wii one
< 1294854605 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :His major Wii exploit is a buffer overflow in Brawl.
< 1294854641 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :http://superuser.com/questions/231273/what-are-the-windows-a-and-b-drives-used-for oh my god i'm 15 how young are you
< 1294854644 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And the fail0verflow exploit is heavily software-based.
< 1294854653 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :does your mother know you are on the internet kid
< 1294854667 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :a buffer overflow in C++ code, how did comex find that, must be a genius
< 1294854696 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :The only thing they did to the hardware was wire a flasher to the flash where bits of the firmware are stored.
< 1294854762 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :now to boot ubuntu
< 1294854829 0 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric
< 1294854837 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :oklopol is cool: I never spent my summer trying to solve a problem like that
< 1294854855 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oklopol is cool incarnate
< 1294854893 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :18:57:07  pikhq: They should write the console private key on the case, restore the 4 USB ports (instead of having only 2 USB ports), and make it so the console private key can be used anywhere that the universal one can be used and vice versa. And then whichever employee published it, might decide to stop distributing the universal key.
< 1294854896 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i what
< 1294854917 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Yeaaah, zzo38 was a bit confused about what the *main* exploit was.
< 1294854924 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric : I am confused
< 1294854926 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :18:58:42  Sgeo: Someone made it like that deliberately because they wanted users to have the key, but without telling the other people who work in Sony.
< 1294854928 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(fail0verflow found several)
< 1294854928 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Based on EVIDENCE
< 1294854937 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I have EVIDENCE for this but you can't see it!
< 1294854948 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Or maybe I'm just making shit up
< 1294854956 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(and there's probably more: they use C and C++! BUFFER OVERFLOWS, AHOY!)
< 1294854977 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :19:22:48  "A 2009 study published in Boston Review found that nearly 25 percent of non-Jewish Americans blamed Jews for the financial crisis of 2008–2009, with a higher percentage among Democrats than Republicans."
< 1294854977 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :19:22:51  lolwut?
< 1294854982 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: Shut up, you filthy Jew.
< 1294855004 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :"THE JEWS DID THIS"
< 1294855020 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :19:56:05  Oh, it's Sony v. George Hotz, Cantero, Sven Peter, and Does 1 through 100.
< 1294855027 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :doe, a deer, a hundred female deers
< 1294855035 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :http://static.funnyjunk.com/pictures/jews012.jpg
< 1294855052 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :concur
< 1294855081 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :huh, what letter did old windows systems assign to tape drives? :P
< 1294855081 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :20:14:17 * Sgeo is [not actually] tempted to mention pikhq's name
< 1294855090 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :who, josiah worcester's?
< 1294855100 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :quintopia: they ... didn't :P
< 1294855120 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Suppose, hypothetically, their lawyers googled for the keys
< 1294855153 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: I'm thinking of studying a normalization proof of CoC
< 1294855170 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :20:58:50  ow
< 1294855170 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :20:59:09  proving that ((-,a)->(a->b)) is hard
< 1294855170 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :20:59:15  (where -, is the not sign)
< 1294855171 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :20:59:45  is it?
< 1294855173 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :21:00:25  yes
< 1294855175 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :21:00:31  it's not long, I know this
< 1294855177 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :21:00:42  but it is excruciating to attempt to work out
< 1294855179 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: Well, they can have *all* of my savings!
< 1294855179 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :lol lol lol lol lol lol lol lol lol lol lol lol lol lol lol lol lol lol lol lol
< 1294855187 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Hope you like your $20 profit!
< 1294855187 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :BUT DID YOU KNOW THAT PROVING TRIVIAL THINGS IN PROOF SYSTEMS IS HARD
< 1294855199 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: so mean :P LOL
< 1294855201 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :now let me get back to proving the principle of explosion
< 1294855224 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :21:12:18  Sgeo: there are necessarily
< 1294855224 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :21:12:32  if you can prove anything, your logic is inconsistent
< 1294855224 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oh my god
< 1294855230 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :then Gödel!
< 1294855234 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :this is like a trifecta of shut the fuck up
< 1294855250 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :21:13:17  coppro, I thought that was only in systems expressive enough to contain arithmatic?
< 1294855252 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :21:14:15  Sgeo: it's a bit more complex that that and requires some funkiness
< 1294855258 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :xD
< 1294855261 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :21:19:28  " j-invariant: help me design my language :P" <<< HEY! you should be doing drudge work on the CLUE
< 1294855263 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: cled, man, cled
< 1294855298 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :can you interface cled with clue
< 1294855316 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :elliott: i've been riding around in a sinclair a lot lately
< 1294855320 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :elliott: it feels very cheap :p
< 1294855333 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :you have a sinclair c5?
< 1294855337 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :why
< 1294855346 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: um cled is an editor for clue code, as i keep trying to tell you :P
< 1294855357 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :because it's plasticky
< 1294855365 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :the outer hull is made like a water bike :p
< 1294855371 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :yeah, we have one here
< 1294855389 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :they had to relocate it to the area around my front door because of the ballet school taking place
< 1294855397 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :23:46:30  elliott: http://www.dansdata.com/gz084.htm   that guy has no idea how rechargable batteries work.
< 1294855398 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :facepalm
< 1294855402 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ugh wtf is sgeo tlking about now
< 1294855404 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*talking
< 1294855420 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :elliott: yeah, he says charging up a battery for 5 secs should not show it as completely charged
< 1294855429 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :05:48:14  cheater-: that sequence you posted does not work from the axioms we have
< 1294855429 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :05:48:31  it requires application of semantic meaning
< 1294855430 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :what
< 1294855435 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :cheater99: i wasn't agreeing with you
< 1294855447 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :elliott: yeah, i know
< 1294855457 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :he doesn't know how the measurement is made and why it is going to be showing up as full
< 1294855462 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :yes, he does
< 1294855467 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :doesn't change the fact that it is /wrong/
< 1294855470 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :from a human point of view
< 1294855477 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :no, he subscribes to some sort of conspiracy theory
< 1294855498 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :category theory
< 1294855502 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :elliott, hm?
< 1294855503 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :he doesn't even remotely mention that it's wrong because, hey, it's a fucking battery with a non-linear charging process
< 1294855515 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :06:29:09  and no, <=> is not acceptable directly from the axioms
< 1294855515 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :06:29:15  the biconditional isn't even a symbol
< 1294855515 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :06:29:19  and we don't have /\
< 1294855517 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :06:29:23  or \/
< 1294855519 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :OH GOD YOU HAVE TO WRITE OUT THREE SIMPLE DEFINITIONS HOLY SHIT
< 1294855542 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :elliott: we have had to write out the definition of False once.
< 1294855682 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :reboot tie
< 1294855683 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :time
< 1294855686 0 :elliott!unknown@unknown.invalid QUIT :Remote host closed the connection
< 1294855834 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :i didn't know elliott's tie was computerized
< 1294856146 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Misread "elliott's tie was compromised"; didn't know they were hacking ties already.
< 1294856407 0 :hiato!unknown@unknown.invalid QUIT :Ping timeout: 276 seconds
< 1294856532 0 :hiato!~nine@clam.leg.uct.ac.za JOIN :#esoteric
< 1294856825 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: so you think elliott has ties to hacking?
< 1294856842 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :he
< 1294856869 0 :drakhan!~drakhan@c34-243.icpnet.pl JOIN :#esoteric
< 1294856900 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :drakhan is obviously a Sony lawyer
< 1294856954 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric
< 1294856961 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :http://tuomov.iki.fi/ is back up — but without his blog.
< 1294856999 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Oh, http://tuomov.bitcheese.net/b/ seems to be a partial archive.
< 1294857013 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :elliott, what do you have against me saying the word sex?
< 1294857018 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :What?
< 1294857021 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :A filter must be malfunctioning.
< 1294857024 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :-shutup- Shut up about sex!
< 1294857027 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :xD
< 1294857029 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I did not put that in.
< 1294857042 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :It decides what to yell at you for based on what you say + the regexp, so hmm.
< 1294857072 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :It also hates fantasy
< 1294857077 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :-shutup- Shut up about your fantasies!
< 1294857097 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Fixed the first report. It'll come into action, uh, ... whenever I restart it which is rare.
< 1294857315 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :syp
< 1294857316 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :sup
< 1294857359 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :sup is me trying to get ubuntu booting
< 1294857369 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :youbunter
< 1294857519 0 :elliott!unknown@unknown.invalid QUIT :Remote host closed the connection
< 1294857899 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :... Sony is claiming that the court has jurisdiction because github.com is in California.
< 1294858135 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Sony is also claiming *ownership* of all PS3s.
< 1294858188 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Page 21, line 9. "SCEA possesses an ownership interest in the PS3 System."
< 1294858191 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :like, people who have bought a ps3 actually just have an expensive loan console?
< 1294858204 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :From the complaint.
< 1294858207 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: Yes.
< 1294858223 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: They are claiming that this hack was *trespassing*.
< 1294858228 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :seriously? :D that was a joke :P
< 1294858241 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i figured you actually meant something else
< 1294858244 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Also.
< 1294858250 0 :cheater00!~cheater@e181053165.adsl.alicedsl.de JOIN :#esoteric
< 1294858263 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :"Defendants have appropriated SCEA's property at little or no cost to them."
< 1294858278 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :lol
< 1294858283 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :what property
< 1294858299 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :fuck lawyers
< 1294858315 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :i'd have to see the TaCoS on PS3 purchases to believe that...
< 1294858336 0 :cheater99!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds
< 1294858350 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric : i'd have to see the TaCoS on PS3 purchases to believe that... < what does that mean?
< 1294858362 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And they are also claiming that this hack consists of cracking into someone else's computer.
< 1294858376 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And that it's a violation of terms of service.
< 1294858379 0 :copumpkin!unknown@unknown.invalid PRIVMSG #esoteric :lol
< 1294858387 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Said terms, you need not actually *agree* to.
< 1294858396 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It's the terms of service for PSN.
< 1294858425 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :if there is some license in there that says "by turning this system on you agree that you are leasing SCEA's property for an indefinite period and will not modify etc. SCEA's property" then they can probably get away with that...
< 1294858470 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, down?
< 1294858485 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :No
< 1294858487 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :quintopia: Because the US's laws are motherfucking insane.
< 1294858515 0 :j-invariant!unknown@unknown.invalid QUIT :Ping timeout: 272 seconds
< 1294858609 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :what do you think of this thing: http://sensebridge.net/projects/northpaw/
< 1294859168 0 :j-invariant!~aaaa@unaffiliated/j-invariant JOIN :#esoteric
< 1294859349 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :quintopia: It's ... big.
< 1294859375 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :haha, reddit managed to get into a Scala vs. Clojure flamewar
< 1294859379 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :that's one I didn't expect to see
< 1294859388 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :wtf?
< 1294859397 0 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric
< 1294859429 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ais523, why not
< 1294859433 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :http://www.reddit.com/r/programming/comments/f07sn/scala_effective_java/c1ccuk6
< 1294859451 0 :j-invariant!unknown@unknown.invalid QUIT :Quit: leaving
< 1294859523 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :i remember trolling someone in one of the php channels by saying that scala runs in java
< 1294859530 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :he couldn't handle it at all
< 1294859538 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :..?
< 1294859542 0 :j-invariant!~aaaa@unaffiliated/j-invariant JOIN :#esoteric
< 1294859546 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :scala, it's that java app, right?
< 1294859547 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :oh, there's a php vs. gcc row going on at the moment
< 1294859552 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :ahahah
< 1294859564 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :php is full of idiots.
< 1294859570 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :ais523: got any specific links?
< 1294859574 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :because PHP's strtod bug was using undefined behaviour in C89, which gcc exploits for better optimisations
< 1294859588 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :yea
< 1294859598 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :got an url to actual flamewars?
< 1294859615 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :here's a php advocate in the war: http://blog.andreas.org/display?id=9
< 1294859625 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :wait is it pichtler
< 1294859632 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Why would someone rely on undefined behavior for something crucial?
< 1294859636 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :By accident, I guess?
< 1294859638 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :because php?
< 1294859650 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric : oh, there's a php vs. gcc row going on at the moment <-- wait what
< 1294859661 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :the funny thing is, the PHP code in question was a copy of a strtod function in use elsewhere
< 1294859662 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :that is like comparing apples and bookshelfs
< 1294859668 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :not even apples and pears
< 1294859671 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and it had a big comment saying "this code does not work on x87"
< 1294859675 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and guess where PHP tried to use it?
< 1294859686 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :uh
< 1294859686 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: it's about whose fault a bug was
< 1294859689 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ah
< 1294859697 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :the PHP side is claiming it's a compiler bug, the gcc side's claiming it's a program bug
< 1294859703 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ais523, they tried to use it on x86?
< 1294859710 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :why doesn't that idiot show his last name anywhere on the page
< 1294859717 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: indeed, with x87 instructions as the floating point emu
< 1294859719 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :could his family not afford a last name?
< 1294859725 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :you only have to get one!!
< 1294859733 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ais523, but uh what did it expect?
< 1294859742 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ais523, that x87 did wronfg
< 1294859745 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :wrong*
< 1294859767 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: oh, x87 is more accurate than a normal C double
< 1294859780 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ais523, yes so why did they use long double then
< 1294859785 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :they didn't, they used double
< 1294859792 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ais523, then I don't see...
< 1294859798 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but assumed that a floating point number would necessarily compare equal to itself, if not a NaN
< 1294859808 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :that isn't actually the case in C
< 1294859808 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ais523, shouldn't it?
< 1294859812 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :oh hah
< 1294859813 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :well, C89, at least
< 1294859836 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :because you might be comparing a value stored in memory with a value stored in the x87 registers
< 1294859846 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and the x87 registers are more accurate
< 1294859849 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :right
< 1294859855 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :copying a value from the registers to memory and back can thus change its value
< 1294859863 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ais523, but these days you always use SSE
< 1294859865 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :not x87
< 1294859870 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :unless you use long double
< 1294859871 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :C99 specifies that you can't do that sort of thing; C89 doesn't
< 1294859876 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: PHP uses x87
< 1294859883 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :(don't ask me why, I didn't set its compiler flags)
< 1294859884 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ais523, unlikely on x86-64
< 1294859903 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :this is presumably x86-32
< 1294859914 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :yeah probably
< 1294859946 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :anyway, I wouldn't really expect a floating point number to necessarily compare equal to itself, floating point is that insane
< 1294859978 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :if the PHP devs did, they probably insufficiently understand floating point in C (not really surprising; /most/ people insufficiently understand floating point in C, including probably me)
< 1294860016 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :bah
< 1294860022 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :i bet you sufficiently understand floating point in c.
< 1294860047 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :cheater00, are you sufficiently sure of that
< 1294860063 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :i am sufficiently sufficient
< 1294860073 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ais523, anyway C99 guarantees this doesn't it?
< 1294860079 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :and I wouldn't use C89 any more
< 1294860081 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :There's that article, "what every computer scientist should know about floating-point numbers" or some-such.
< 1294860097 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, yes, I read it
< 1294860147 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :C99 does indeed guarantee that doubles are cut down to 64 bits of precision before being compared, by default
< 1294860156 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :there's a bunch of defines that can be used to tweak the behaviour
< 1294860171 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but I can't remember whether it's in a program, or just fixed defines that report what the floating-point behaviour is
< 1294860183 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ais523, yes and C99 is older than 10 years. C89/C90 is older than 20 years. Surely it is time to move on?
< 1294860190 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :There are things I do not like in C99.
< 1294860256 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :C1x is just around the corner too.
< 1294860263 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, what are the news in it?
< 1294860277 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :For some values of "corner".
< 1294860347 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :hm?
< 1294860393 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :c1x is fully functional with type inference
< 1294860403 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :The latest draft is not very dramatic. Multithreading and Unicode things, gets dropped finally, official compile-time asserts...
< 1294860407 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :and it doesn't use braces.
< 1294860419 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, oooh compile time asserts
< 1294860422 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :that's awesome
< 1294860445 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :cheater00, sounds like c++202x
< 1294860463 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :It's hopefully prettier than the existing hacky preprocessor tricks.
< 1294860474 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, one can only hope
< 1294860486 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :That make a negative-sized array with a funny name or other things like that.
< 1294860502 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :hah
< 1294860524 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: As part of a structure, so that it does not use up any memory at run-time.
< 1294860549 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Oh, and a exclusive-create mode letter ("x") for fopen, and that anonymous structure/union thing that I think many compilers already do.
< 1294860565 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: Sure, but the error messages are still a bit suboptimal.
< 1294860570 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, the anon structure is pretty useless
< 1294860601 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: You can make the error message display something specific using #line directive, maybe?
< 1294860610 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :yearh
< 1294860613 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :yeargh*
< 1294860632 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, how will it do multithreading I wonder
< 1294860709 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :well, bbl
< 1294860735 0 :elliottu!5b68ec9a@gateway/web/freenode/ip.91.104.236.154 JOIN :#esoteric
< 1294860753 0 :elliottu!unknown@unknown.invalid PRIVMSG #esoteric :does anyone know how the ubuntu installer calculates how big a swap partition to create?
< 1294860842 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :I have a composer friend who found out about a contest for the 400th anniversary of the King James Bible to write a composition using its text as the words. I'm trying to convince him to write and submit something using some of the less tasteful passages encouraging slave ownership, rape, etc :P
< 1294860848 0 :zzo38!unknown@unknown.invalid TOPIC #esoteric :The sucked up fleep channel | http://esolangs.org/wiki/Main_Page | logs: http://tunes.org/~nef/logs/esoteric/?C=M;O=D or (hg) http://codu.org/projects/esotericlogs/hg/
< 1294860874 0 :elliottu!unknown@unknown.invalid PRIVMSG #esoteric :do it as death metal
< 1294860876 0 :elliottu!unknown@unknown.invalid PRIVMSG #esoteric :\m/
< 1294860888 0 :elliottu!unknown@unknown.invalid PRIVMSG #esoteric :King James: too hardcore for you.
< 1294860950 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: I suppose you can use any passages, you can use less tasteful passage for part of it too, but you can also use other passages. Some of the verses are just the names so you can use that, too. I assume deuterocanonical/apocrypha are disallowed?
< 1294860970 0 :elliottu!unknown@unknown.invalid PRIVMSG #esoteric :whoosh
< 1294860976 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Has to be from the KJB, can't be from psalms or songs.
< 1294860990 0 :elliottu!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: Omg, make him do another one with the whole "begat" bullshit from Genesis.
< 1294860994 0 :elliottu!unknown@unknown.invalid PRIVMSG #esoteric :And ONLY that.
< 1294861006 0 :elliottu!unknown@unknown.invalid PRIVMSG #esoteric :The most inspirational song EVER
< 1294861011 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :i think a song that's just an endless droning of that section in genesis that's all A begat B begat C begat D begat E begat F begat etc. could be amusing
< 1294861017 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :and...ninja'd
< 1294861030 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :well, great minds think alike and all
< 1294861034 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Very traditionally, I think. Thread-local storage type declarators, and then a  with vaguely pthready creation/mutex/condvar options; and then atomic operations -- more than just sig_atomic_t -- for lockless things.)
< 1294861087 0 :elliottu!unknown@unknown.invalid PRIVMSG #esoteric :quintopia: Loop it, add an irritating your-speakers-exploded-but-now-it's-silent-aand-repeat-steadily beat, and echo the fuck out of it.
< 1294861099 0 :elliottu!unknown@unknown.invalid PRIVMSG #esoteric :INSTANT CHRISTIAN RAVE HIT
< 1294861107 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :oonts oonts oonts oonts
< 1294861108 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: So, Psalms is also disallowed.
< 1294861124 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :What kind of music/scales/temperaments are used in Biblical times? Can you make a music using the same kind?
< 1294861177 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :elliottu: it should also be done in the voice of that guy from butthole surfers that did the spoken word stuff in "my brother's wife"
< 1294861254 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Clearly it should be Song of Solomon. Mmm, biblical erotica.
< 1294861303 0 :elliottu!unknown@unknown.invalid PRIVMSG #esoteric :I hate how god damn useless #ubuntu is.
< 1294861330 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :who is elliottu and why can I see him talk
< 1294861346 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :elliottu is elliott with a goatee. So you know he's evil.
< 1294861349 0 :elliottu!unknown@unknown.invalid PRIVMSG #esoteric :coppro: GEE I APOLOGISE FOR USING A LIVECD
< 1294861358 0 :elliottu!unknown@unknown.invalid PRIVMSG #esoteric :coppro: just fuck off, stop being childish, and reignore me if I do something so INSULTING
< 1294861375 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :OK, new idea: One singer sings the X-begat-Y section softly, while two singers sing a selection of passages that directly contradict each other, at the same time.
< 1294861375 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :elliottu: like that?
< 1294861386 0 :elliottu!unknown@unknown.invalid PRIVMSG #esoteric :coppro: Talking about /ignores: it makes you cool.
< 1294861392 0 :elliottu!unknown@unknown.invalid PRIVMSG #esoteric :Wait, wait, no, I forgot: It makes you stupid.
< 1294861414 0 :copumpkin!unknown@unknown.invalid PRIVMSG #esoteric :lol
< 1294861422 0 :copumpkin!unknown@unknown.invalid PRIVMSG #esoteric :yeah, the worst thing about people worth ignoring
< 1294861432 0 :copumpkin!unknown@unknown.invalid PRIVMSG #esoteric :are the people who feel the need to advertise that they can't hear what the ignored person is saying
< 1294861447 0 :elliottu!unknown@unknown.invalid PRIVMSG #esoteric :vorpal is a fan of that :)
< 1294861479 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :You used a livecd? FUCKNG /IGNORED
< 1294861484 0 :elliottu!unknown@unknown.invalid PRIVMSG #esoteric ::D
< 1294861500 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :copumpkin: And then log read to hear what the ignored person is saying.
< 1294861504 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Thereby defeating the point.
< 1294861505 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric ::)
< 1294861508 0 :copumpkin!unknown@unknown.invalid PRIVMSG #esoteric :lol
< 1294861554 0 :elliottu!unknown@unknown.invalid PRIVMSG #esoteric :Oh well, 8 gigs of swap should be ENOUGH FOR EVERYBODY
< 1294861590 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: when you say "one singer sings" you mean "one beatboxer beatboxes" right?
< 1294861609 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :FIVE GOLDEN RIIIIIIIIINGS
< 1294861616 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :elliottu: hajsan
< 1294861624 0 :elliottu!unknown@unknown.invalid PRIVMSG #esoteric :OH LOL LOOK IM INSTALLIN NOW ->
< 1294861644 0 :elliottu!unknown@unknown.invalid PRIVMSG #esoteric :i'll come back under a different nick just to see coppro be whiny again
< 1294861649 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :elliottu: OMG THE CD DRIVE IS THERE?
< 1294861649 0 :elliottu!unknown@unknown.invalid QUIT :Quit: Page closed
< 1294861983 0 :variable!~variable@unaffiliated/variable JOIN :#esoteric
< 1294861999 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Do you, or do you not, "do you, or do you knot"?
< 1294862012 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :[A-Za-z]{8,} matches any alphabetic character repeated at least 8 times in a row, yes?
< 1294862041 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION uses people instead of regex checkers

< 1294862061 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :quintopia: Do you want the same letter repeated or different letter?
< 1294862070 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :same letter
< 1294862079 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :yeah that won't work will it
< 1294862082 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :how?
< 1294862091 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Can you use back references?
< 1294862105 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :any legal perl regex is fine i think
< 1294862138 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Then see if using back references will do?
< 1294862151 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :now i have to look up how to do that again :/
< 1294862156 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :http://arxiv.org/abs/1008.0666
< 1294862160 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric ::D
< 1294862278 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :quintopia, that will be the same as [A-Za-z][A-Za-z][A-Za-z][A-Za-z][A-Za-z][A-Za-z][A-Za-z][A-Za-z]
< 1294862300 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric : Vorpal: Very traditionally, I think. Thread-local storage type declarators, and then a  with vaguely pthready creation/mutex/condvar options; and then atomic operations -- more than just sig_atomic_t -- for lockless things.) <-- ah
< 1294862363 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :variable: so how about ([a-zA-Z])\1{7,}
< 1294862378 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric : copumpkin: And then log read to hear what the ignored person is saying. <-- that sounds like elliott
< 1294862392 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :quintopia, I think that would work
< 1294862392 0 :copumpkin!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION yawns

< 1294862401 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION carves copumpkin 

< 1294862409 0 :copumpkin!unknown@unknown.invalid PRIVMSG #esoteric :no
< 1294862413 0 :copumpkin!unknown@unknown.invalid PRIVMSG #esoteric :I'm not a pumpkin
< 1294862415 0 :copumpkin!unknown@unknown.invalid PRIVMSG #esoteric :I'm a copumpkin
< 1294862423 0 :copumpkin!unknown@unknown.invalid PRIVMSG #esoteric :in dual-land, copumpkin carve you!
< 1294862426 0 :copumpkin!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION laughs evilly

< 1294862437 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION is a const - I can't be carved

< 1294862443 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :copumpkin, he could still carve you. not as in cutting but as in wanting
< 1294862452 0 :copumpkin!unknown@unknown.invalid PRIVMSG #esoteric :crave?
< 1294862457 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :oh right
< 1294862463 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :copumpkin, I'm just too sleepy
< 1294862472 0 :copumpkin!unknown@unknown.invalid PRIVMSG #esoteric :same here :(
< 1294862479 0 :copumpkin!unknown@unknown.invalid PRIVMSG #esoteric :and my VPN is broken
< 1294862485 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :it is tim to sleep soon
< 1294862488 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :time*
< 1294862490 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :or should be
< 1294862511 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :except my sleep schedule is fucked up
< 1294862571 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal, join the club
< 1294862585 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, with oerjan and who else?
< 1294862589 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal, me
< 1294862594 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ah
< 1294862602 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Although it's getting better... no it's not
< 1294862603 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :as long as it is fixed to next week
< 1294862619 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :It's alternating between going to sleep at a normal time, and staying up all night
< 1294862636 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ah fluttering
< 1294862649 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, mine is just moving around all over the place
< 1294862651 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I need to be awake Friday. I don't feel like meeting up with her when I'm too tired to care
< 1294862653 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :with no reasonable pattern
< 1294862664 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I want to be awake when I'm around her
< 1294862672 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :oh you are in love?
< 1294862702 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :variable: highlight me with a message containing an expression that regex should match
< 1294862708 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I don't think it's at the point where it can be called "love" yet
< 1294862730 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I'm also not sure if she's that interested in me. Or, well, she gives mixed signals somtimes
< 1294862764 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal, if you dropped the h, you'd sound like zzo38
< 1294862783 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, yes but I'm not him
< 1294862990 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :variable: the regex doesn't work
< 1294863050 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :quintopia, oh sorry - I went away for a bit
< 1294863057 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :let me play with some things and I'll let you kno
< 1294863079 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hmm, PHP has 13 different sort functions: http://us2.php.net/manual/en/array.sorting.php
< 1294863211 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :php has the shittiest stdlib ever
< 1294863294 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ais523, and none of them are stable
< 1294863298 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :also uh, random sort!?
< 1294863420 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal, I noticed that too - it twas funny
< 1294863478 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :not really a sort :P
< 1294863664 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :also, all of them are in-plae
< 1294863664 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :*in-place
< 1294863774 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :I wish I could make XChat /away me when I close the lid of my laptop.
< 1294863783 0 :pikhq!unknown@unknown.invalid QUIT :Remote host closed the connection
< 1294863805 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :it's open source
< 1294863825 0 :pikhq!~pikhq@71-219-224-158.clsp.qwest.net JOIN :#esoteric
< 1294863839 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Huh, PHP has a sort function for user-defined orderings
< 1294863859 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :I thought PHP had either no or extremely crappy support for first-class functions.
< 1294863946 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :They added closures in PHP 5.3.0.
< 1294863953 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :oh no, it had that long before that
< 1294863958 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :they have a "callback" type
< 1294863972 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :well, you can use second-class functions for sort callbacks just fine
< 1294863976 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :which until 5.3.0 was a string containing function name
< 1294863995 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :or an array containing object or class name as the 0th index and function name as the first
< 1294864014 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Right, they just added proper (or I don't know how proper they are, but at least proper-looking) anonymous functions in 5.3.0.
< 1294864027 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :yeah, and they started calling them closures
< 1294864038 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :because they're confused about computarrzzz
< 1294864062 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :and then they added the use() cancer so that they can actually be closures.
< 1294864175 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :They also have a rather strange sort of nested functions; if you do function foo() { function bar() { ... } } then you can bar() from anywhere, but only after calling foo() once.
< 1294864204 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :yes.
< 1294864218 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :use()?
< 1294864303 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :yea, it's like using a variable in a lambda without lambdaing it
< 1294864335 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :f = \x.x+y         <==>   f = function(x) use(y) { return x+y; }
< 1294864337 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :or something
< 1294864356 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :add dollar signs everywhere
< 1294864358 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Crap, just saw some false information, than a link to Snopes discrediting it. My understanding though, is that if you receive information that you only mentally discredit later, it still gets stuck in the mind as "true"
< 1294864373 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :f = \x.x+y         <==>   $f $= $function($x) $use($y) ${ $return $x$+$y$; $}
< 1294864393 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: oh damnnnnnnn
< 1294864405 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :php is mad .....
< 1294864409 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Oh, and even pre 5.3.0 (since 4.0.1) they had this thing for anonymous functions: string create_function(string $args , string $code)
< 1294864422 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :what the hell
< 1294864423 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :You give it a bit of code as a string, and it defines a randomly named new function and returns the name.
< 1294864437 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :yea
< 1294864440 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Then you can pass the new name into something that takes a callback.
< 1294864457 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :they also do a shitload via eval()
< 1294864466 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :which is fucking funnay.
< 1294864533 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :create_function will waste memory though, there is no way to delete a function in PHP, or to override one which exists.
< 1294864548 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :zzo38, ooh, like Forth!
< 1294864550 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :However, it is possible to pass an array with an object, as a callback. So you can do like that instead.
< 1294864560 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :
< 1294864647 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: php wasting memory? CAN'T BE
< 1294864676 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :ARE YOU SURE?
< 1294864676 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION wonders if Objective-J is decent

< 1294864681 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :hah
< 1294864686 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :cheater00: PHP is also slow. (However, it is fast enough to run my IRC client, and it actually does this well.)
< 1294864740 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :you've gotta be joking me
< 1294864744 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :a php irc client.
< 1294864762 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I am not joking.
< 1294864785 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :cheater00, meet zzo38.
< 1294864803 0 :ellioppro!5b68ec9a@gateway/web/freenode/ip.91.104.236.154 JOIN :#esoteric
< 1294864815 0 :ellioppro!unknown@unknown.invalid PRIVMSG #esoteric :it installed, what are the chances
< 1294864821 0 :ellioppro!unknown@unknown.invalid PRIVMSG #esoteric :and i only had to boot into a non-graphical environment and plug in ethernet _once_
< 1294864841 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :ellioppro, when did you two merge into a superorganism.
< 1294864871 0 :ellioppro!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: I'm irritating coppro by circumventing his ignore, since he keeps doing the age-old IRC dickwaddery of bringing up that I'm ignored constantly.
< 1294864878 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: do you have an eval command there?
< 1294864911 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :ellioppro: IS SUPERDUPERDRIVE YOURS???
< 1294864912 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :ellioppro, I CAN'T HEAR YOU I'M IGNORING YOU
< 1294864922 0 :ellioppro!unknown@unknown.invalid PRIVMSG #esoteric :cheater00: for N hours, yes.
< 1294864924 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :cheater00: There is a single eval command in the program, but it is used only for parsing the initialization file.
< 1294864926 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ellioppro, remember when you ignored me? You were furious when I curcumvented it
< 1294864936 0 :ellioppro!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: Not "furious" ...
< 1294864937 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :And you kept reminding me that I was on ignore
< 1294864941 0 :ellioppro!unknown@unknown.invalid PRIVMSG #esoteric :I just told you to stop doing it.
< 1294864941 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: can i somehow store numbers into your php process?
< 1294864942 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :And only lines starting with <
< 1294864944 0 :ellioppro!unknown@unknown.invalid PRIVMSG #esoteric :And ... no I didn't.
< 1294864965 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :How many times did you mention that, due to the ignore, things were better?
< 1294864966 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :cheater00: What do you mean? The eval does not take any input remotely.
< 1294864982 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: yeah ok.. but say i wanted to store a value that is later kept in the memory of your php process
< 1294864987 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :how would i do it?
< 1294864991 0 :ellioppro!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: Zero?
< 1294864997 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ellioppro, more than that
< 1294865005 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Unless my memory is failing
< 1294865025 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Do you remember the dates?
< 1294865031 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: lies, ellioppro never ignores anyone
< 1294865044 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :ellioppro is everyone's friend.
< 1294865049 0 :ellioppro!unknown@unknown.invalid PRIVMSG #esoteric :yes. i am
< 1294865054 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :^
< 1294865056 0 :ellioppro!unknown@unknown.invalid PRIVMSG #esoteric :download faster, you fucking computer
< 1294865062 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :welllllll, except for Phantom_Hoover
< 1294865063 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :cheater00: As far as I know you cannot do that. (You can send things and it is stored in the scrollback of PuTTY)
< 1294865080 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :(PHIRC does use PuTTY to actually display everything in colors and so on)
< 1294865098 0 :ellioppro!unknown@unknown.invalid PRIVMSG #esoteric :12:32:38  Crap, just saw some false information, than a link to Snopes discrediting it. My understanding though, is that if you receive information that you only mentally discredit later, it still gets stuck in the mind as "true"
< 1294865102 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: do you get any commands that respond to triggers or something?
< 1294865104 0 :ellioppro!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: OH MY GOD YOU WILL HOLD THIS MISUNDERSTANDING FOREVER
< 1294865108 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :What's this about Phantom_Hoover?
< 1294865118 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: ellioppro is not his friend
< 1294865141 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :cheater00: The program will respond automatically to CTRL+A commands: FINGER PING TIME USERINFO VERSION
< 1294865147 0 :ellioppro!unknown@unknown.invalid NICK :copprelliott
< 1294865155 0 :copprelliott!unknown@unknown.invalid PRIVMSG #esoteric :coppro: do you prefer this version?
< 1294865167 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :cheater00, candidly, I don't think he's too fond of cheater00 either.
< 1294865175 0 :copprelliott!unknown@unknown.invalid PRIVMSG #esoteric :maybe he has .*e.*l.*l.*i.*o.*t.*t.* on ignore
< 1294865186 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :(But only if /SET ANSWER + is set)
< 1294865192 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: copprelliott is very fond of cheater00
< 1294865199 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: oh
< 1294865206 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: that's not good
< 1294865225 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: you should have at least one command that takes the message, stores it as a number, and prints it or something
< 1294865248 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :cheater00: Why is such a thing necessary?
< 1294865259 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :it's necessary. no explanation given.
< 1294865294 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Here is the code, you can look at it, and make your own modifications if that is what you want to do:  http://sprunge.us/QeLb
< 1294865352 0 :copprelliott!unknown@unknown.invalid PRIVMSG #esoteric :ubuntu's trackpad driver sucks
< 1294865381 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :i've had some problems with it
< 1294865386 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :what do you have problems with?
< 1294865399 0 :copprelliott!unknown@unknown.invalid PRIVMSG #esoteric :it doesn't seem to do any multitouch, prolly i need another driver
< 1294865405 0 :copprelliott!unknown@unknown.invalid PRIVMSG #esoteric :i can't, for instance,s elect things
< 1294865408 0 :copprelliott!unknown@unknown.invalid PRIVMSG #esoteric :*instance, select
< 1294865411 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :copprelliott: also, make sure your cpu is running on normal speed
< 1294865414 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :not on speedstep
< 1294865417 0 :GreaseMonkey!~gm@2001:4428:251:1:21f:16ff:fe68:a55 JOIN :#esoteric
< 1294865417 0 :GreaseMonkey!unknown@unknown.invalid QUIT :Changing host
< 1294865417 0 :GreaseMonkey!~gm@unaffiliated/greasemonkey JOIN :#esoteric
< 1294865418 0 :copprelliott!unknown@unknown.invalid PRIVMSG #esoteric :why
< 1294865430 0 :copprelliott!unknown@unknown.invalid PRIVMSG #esoteric :i'd prefer to keep the fan down + conserve power usage.
< 1294865533 0 :cheater-!~cheater@e181134127.adsl.alicedsl.de JOIN :#esoteric
< 1294865545 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :because mine always boots into slowest_mode
< 1294865602 0 :copprelliott!unknown@unknown.invalid PRIVMSG #esoteric :the cpu scales up as it is used, i see no issue
< 1294865660 0 :cheater-!unknown@unknown.invalid QUIT :Read error: Connection reset by peer
< 1294865676 0 :cheater00!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds
< 1294865714 0 :cheater99!~cheater@g224201135.adsl.alicedsl.de JOIN :#esoteric
< 1294865817 0 :copprelliott!unknown@unknown.invalid PRIVMSG #esoteric :incidentally
< 1294865824 0 :copprelliott!unknown@unknown.invalid PRIVMSG #esoteric :the superdrive makes a nice cd case
< 1294865839 0 :copprelliott!unknown@unknown.invalid PRIVMSG #esoteric :i have a portable, unplugged USB drive to put ubuntu on any macbook air! kinda like a usb stick, except gigantic. :P
< 1294865846 0 :copprelliott!unknown@unknown.invalid PRIVMSG #esoteric :tl;dr too lazy to put in a box
< 1294865925 0 :copprelliott!unknown@unknown.invalid QUIT :Quit: Page closed
< 1294866000 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Do you like dc?
< 1294866096 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Why did coppro put him on ignore in the first place?
< 1294866109 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :because elliot is not shit
< 1294866111 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :t
< 1294866172 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :What is the difference of cheater00 cheater99 cheater- ?
< 1294866190 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :we're the holy trinity
< 1294866220 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :The service provider is all the same.
< 1294866265 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :truly, your cunning is remarkable.
< 1294866274 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :WE HAVE A NON-TRINITARIAN HERE
< 1294866318 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :http://9gag.com/gag/67468/ Japan has improved upon the slip-n-slide.
< 1294866357 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :" Gregor: Omg, make him do another one with the whole "begat" bullshit from Genesis." <<< surely modern bibles just have a few diagrams for these
< 1294866370 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :like KJB
< 1294866370 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :modern bibles LOL
< 1294866452 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: The text is even more WTF.
< 1294866462 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: Modern Bibles are the same they just have different translations. Some also have footnotes, and some have deutrocanonical books, too.
< 1294866474 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Translate for us :P
< 1294866479 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Some might have diagrams, though.
< 1294866516 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: "*something I can't read* Crank 2009! Milk! Construction! Explosions!" on the left.
< 1294866526 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :" are the people who feel the need to advertise that they can't hear what the ignored person is saying" <<< no i think it's even worse when the ignored people start telling the ignorers how childish they are... wait, i'm even worse
< 1294866577 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :This event is known to cause what some call a "milk explosion"
< 1294866594 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: "September~October 'The Autumn of Sports' An example photograph‽" on the right.
< 1294866604 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :So, yeah. WTF?
< 1294866664 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Oh, sorry, I completely misparsed a bit of that. s/Milk/Tits/
< 1294866688 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :lawl
< 1294866769 0 :elliott!~elliott@91.104.236.154 JOIN :#esoteric
< 1294866773 0 :ais523!unknown@unknown.invalid QUIT :Remote host closed the connection
< 1294866780 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :" Sgeo, with oerjan and who else?" <<< good morning
< 1294866789 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :sgeo is holding an orgy?
< 1294866796 0 :elliott!unknown@unknown.invalid NICK :Guest78959
< 1294866829 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric
< 1294866832 0 :Guest78959!unknown@unknown.invalid PRIVMSG #esoteric :13:05:57  " Gregor: Omg, make him do another one with the whole "begat" bullshit from Genesis." <<< surely modern bibles just have a few diagrams for these
< 1294866836 0 :Guest78959!unknown@unknown.invalid PRIVMSG #esoteric :that would be ... amazing
< 1294866850 0 :Guest78959!unknown@unknown.invalid PRIVMSG #esoteric :especially w/ the incest
< 1294866855 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Stick it on a time line. :)
< 1294866871 0 :Guest78959!unknown@unknown.invalid PRIVMSG #esoteric :no, genealogical tree
< 1294866888 0 :Guest78959!unknown@unknown.invalid NICK :elliott
< 1294866890 0 :elliott!unknown@unknown.invalid QUIT :Changing host
< 1294866890 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric
< 1294866939 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :elliott: Aren't you glad you've hidden your IP, which is 91.104.236.154?
< 1294866960 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: Extremely.
< 1294866983 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :My hostname is codu.org. Jealous much?
< 1294867000 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Maybe the reason you put "@unaffiliated/elliott" is to see if you are login to the services??
< 1294867022 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: You should set up a fake ident daemon (there's tons of them) on codu.org, and configure it to tell the server that your username is whatever your email username is.
< 1294867029 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: So your hostname would be your email address.
< 1294867036 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :THIS IS M Y IDEA (C) ME FOREVER--FOREVER
< 1294867063 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I want to put my hostname "zzo38computer.cjb.net" (it does resolve to the computer I connected from) but they will not do that.
< 1294867096 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Who are "they"?
< 1294867108 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :THE MAN
< 1294867117 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :elliott: The Freenode.
< 1294867119 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :lol @ elliott claiming he never repeatedly told someone they were ignored :E
< 1294867142 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oklopol, oh i don't deny that
< 1294867148 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i just deny i did it the last time i ignored sgeo
< 1294867158 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: *The* Freenode?
< 1294867165 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :elliott: Yes.
< 1294867170 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Are they a cabal?
< 1294867177 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :elliott: I don't know.
< 1294867262 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :http://9gag.com/gag/67468/ <<< but what if you accidentally have an erection and get stuck between the girls
< 1294867269 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :so elliott
< 1294867276 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that would be embarrassing
< 1294867278 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :are you going to install every language possible on your ubuntu now?
< 1294867289 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: xD
< 1294867293 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :cheater99: not really
< 1294867299 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: what if the erection gets stuck between the girls?
< 1294867335 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :elliott: http://www.cs.bham.ac.uk/~drg/papers/popl11.pdf
< 1294867361 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: yay, another paper i can't understand
< 1294867363 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :" i just deny i did it the last time i ignored sgeo" <<< oh well possible
< 1294867370 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :well i probably can
< 1294867370 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :elliott: it's the one I wanted to link you to earlier but couldn't find a legal copy of
< 1294867375 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :but i haven't, yet, expended the effort to
< 1294867387 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: i like how you have to work to find a legal version of your own paper.
< 1294867396 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :the bottom of page 7 is amusing
< 1294867400 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i don't actually recall you doing that with Sgeo, but you have definitely done it! maybe it was cool back then tho, dunno
< 1294867431 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so umm
< 1294867431 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :note that that isn't just "one such example", but the simplest known example
< 1294867441 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :that took quite a bit of esoprogramming to find
< 1294867451 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I WISH I COULD SIDUHGDSFGJKHGSJKFGHLSKJFLHL;GKFDJGDSKDS SELECT TEXT
< 1294867477 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :ais523: what uni are you on again?
< 1294867492 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Manchingham.
< 1294867516 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"on"
< 1294867523 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, why does coppro have you on ignore?
< 1294867539 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :apparently the channel is better without me, i.e. the channel is almost silent
< 1294867540 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i was just thinking about stuff and realized i might know how to prove this thing i've spent like 40 million hours trying to prove... and then i quickly stopped thinking about it before realizing what the reason for *this* idea not working will be, tl;dr, i can never think about math again :(
< 1294867585 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :haha oklopol, you are reduced to liberal arts!!!!!!
< 1294867597 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :11:45:00  copumpkin: And then log read to hear what the ignored person is saying.
< 1294867597 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :11:45:04  Thereby defeating the point.
< 1294867604 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Not necessarily.
< 1294867612 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: I'm going to play Quadrapassel until you tell me how to get selection working.
< 1294867627 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :or maybe i need to change my branch of math to something far enough
< 1294867633 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Get selection working on what?
< 1294867664 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :If you want to be able to ignore the dross someone comes out with 90% of the time and get context when someone else actually pays them any heed, it's worthwhile.
< 1294867693 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what's http://www.cs.bham.ac.uk/~drg/papers/popl11.pdf? opening pdf's from the internets is just so much work
< 1294867701 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :finally
< 1294867701 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523:
< 1294867704 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ugh
< 1294867713 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523:
< 1294867715 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :seq : com × exp → exp is sequencing of command with expression, denoted by “;” when used in infix
< 1294867715 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :notation, resulting in an expression with side effects;
< 1294867716 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :yes?
< 1294867726 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :ais523: i like fig 2 on page 8.
< 1294867734 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: "first we build this comprehensive cage to put side-effects in, then we poke a big hole in it"
< 1294867737 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: my second paper as a PhD student
< 1294867750 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :elliott: it's meant to be a simple imperative language
< 1294867753 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: i only use ignore in order to be in control of the times of looking at messages, so i don't pass out from anger when some retard is telling me how math works
< 1294867758 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :we didn't cage side-effects at all, except via variable scope
< 1294867771 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: shush :P
< 1294867793 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and therefore actually look at all the messages later
< 1294867797 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric : Phantom_Hoover: i only use ignore in order to be in control of the times of looking at messages, so i don't pass out from anger when some retard is telling me how math works ← I use it to get rid of people who insist on butting into irrelevant conversations.
< 1294867821 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I imagine a 38 is involved somehow.
< 1294867854 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ais523: oh cool, then i might open it actually
< 1294867868 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :unlike the one before, I actually did most of the actual research that lead to that paper
< 1294867869 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hmm, what's a good way to figure out what touchpad driver I am using?
< 1294867874 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :although it was only about half written by me
< 1294867874 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :we've been talking publishing some of my stuff once i get my master's finished
< 1294867900 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so currently publications are like the biggest thing in my life, you're basically a god now
< 1294867914 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :in academia, publications are all anyone cares about, it seems
< 1294867918 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :that and money
< 1294867936 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION goes about installing Chrome

< 1294867941 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :sorry, Firefox; you're too hateful
< 1294868008 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i have a feeling Ubuntu is going to be able to do almost, but not entirely, not what i want with my touchpad
< 1294868071 0 :zzo38!unknown@unknown.invalid QUIT :Ping timeout: 276 seconds
< 1294868077 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ais523: i don't really have the same experience, people are so damn modest... it's like they don't even pay attention to what they do... for instance today person X said he has book Y in his shelf, and prof Z said "oh, that's mine"; i asked "you mean yours as in you're the author, or as in you own it?", he said he owned it. ten minutes later, he looks at the cover and goes "oh right, i actually did write this"
< 1294868096 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric ::D
< 1294868098 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :that's amazing
< 1294868101 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i aspire to be prof Z
< 1294868104 0 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric
< 1294868110 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :(he was a coauthor and it was more than 10 years old but anyway)
< 1294868119 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Ah good. David Touretzky is getting involved in the PS3 BS.
< 1294868135 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Why is David Touretzky?
< 1294868137 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :s/Why/Who/
< 1294868218 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Professor of CS at Carnegie Mellon. Quite involved in the DeCSS litigation and a pain in the ass for the Church of Scientology.
< 1294868225 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :great ... i need to install Flash
< 1294868231 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric : i aspire to be prof Z ← I recall a story about one of the Cayley-era mathematicians who told someone the first thing in his proof was wrong, and then the person showed him a proof that he himself had done and forgotten about.
< 1294868239 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric ::D
< 1294868240 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(he's responsible for many, many leaks of CoS doctrine)
< 1294868256 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: that's just false humbleness
< 1294868264 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*awesome
< 1294868288 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :elliott: i have something good for you
< 1294868299 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :elliott: there's a ff plugin that installs the RIGHT version of flash for you
< 1294868316 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :what bullshit is that, i have a package manager
< 1294868321 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :it has the 64-bit flash in it
< 1294868324 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :yea, the one from the package manager sucks dicks
< 1294868328 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :no it doesn't
< 1294868330 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :not as of recently
< 1294868333 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :it's the native 64-bit one now
< 1294868335 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :enjoy your 1 fps
< 1294868341 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :cheater99: umm, it's the 32-bit one that did that
< 1294868342 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :idiot
< 1294868348 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :or you could just install flash-aid
< 1294868358 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :idiot yourself :p
< 1294868376 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :right, flash-aid has secret access to a magical adobe version that fixes everything
< 1294868385 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :yup
< 1294868386 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :unlike the new 64-bit native one that Adobe released only a month or two ago
< 1294868390 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :yup
< 1294868391 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :uh huh
< 1294868399 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :dyurrrr
< 1294868400 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ok you're clearly trolling at this juncture
< 1294868406 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :yes i am
< 1294868410 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :because you weren't being nice
< 1294868415 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :also, i don't use firefox.
< 1294868419 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :lrn2humans
< 1294868443 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :hmm, what do you use then?
< 1294868470 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :chrome. usually.
< 1294868481 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :b-but
< 1294868486 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :chrome is missing so many things
< 1294868496 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :mostly user interface things
< 1294868501 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :God, XChat's ignore window is badly designed.
< 1294868504 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :vertical tabs, tab unloading..
< 1294868517 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :It has the "Clear" button right where you'd expect the "Close" button.
< 1294868523 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :" oklopol: that's just false humbleness" <<< possibly, but it was some sort of survey or dunno, name was something like automata theory 134; actually may just have been a collection of papers, and he mentioned he was an author as a joke, since he happened to be compiling it now that i think about it :D
< 1294868523 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: /ignore foo*!*@* all
< 1294868541 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, yes, I know.
< 1294868556 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :elliott: you're well versed in the ignore
< 1294868590 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :elliott: i'm going to ignore you now because i don't like the way you think
< 1294868597 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ok
< 1294868625 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric ::D
< 1294868669 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i mean it's not the things you say, or the way you say it, it's just what i can tell from the order and structure in which the facts come out, you think in a very insulting way.
< 1294868671 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*them
< 1294868678 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*from
< 1294868679 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :xD
< 1294868680 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :god shitted
< 1294868689 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :oklopol, I'm going to ignore you because I think there are too many Finns on the channel and I can't handle all of them.
< 1294868699 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that's 100% understandable
< 1294868712 0 :Mathnerd314!~mathnerd3@dsl.6.28.53.206.cos.dyn.pcisys.net JOIN :#esoteric
< 1294868725 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Then ignore *!*@*.fi ? Probably not the best idea, though.
< 1294868744 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, I am going to ignore you because you are English and I'm contractually obligated to hate you.
< 1294868756 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :okay
< 1294868770 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :We can all type in English.
< 1294868777 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :no we kant]
< 1294868783 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :there was a finntroll on #math once, and TRWBW was like "k, there goes that country forever"
< 1294868797 0 :Gregor!unknown@unknown.invalid TOPIC #esoteric :The sucked up fleep channel | I'll suck up ALL your fleep, baby! | http://esolangs.org/wiki/Main_Page | logs: http://tunes.org/~nef/logs/esoteric/?C=M;O=D or (hg) http://codu.org/projects/esotericlogs/hg/
< 1294868815 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :elliott: i'm going to ignore you because you keep on calling me a troll, and i don't like honest people
< 1294868824 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i forget, is trwbw the bad one or the good one
< 1294868826 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :cheater99: ok
< 1294868842 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Gregor, I am going to ignore you because you are fairly English.
< 1294868842 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :elliott: i don't know because i don't know who the other one you mean is
< 1294868847 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :trwbw is the bad one and good one at the same time
< 1294868852 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: i don't
< 1294868855 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :he's an total idiot though.
< 1294868859 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: But I'm a Jew! A filthy, filthy Semite!
< 1294868860 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i'm just asking whether he's bad or good
< 1294868860 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oh
< 1294868862 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :trwbw is a very special person
< 1294868862 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :prolly good then
< 1294868864 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :re cheater99
< 1294868872 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :cheater99: O, yes, you prefer cheating, isn't it? Well, I want you to please stop cheating. (I will not force you to stop, or put you on ignore, though.)
< 1294868875 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :elliott: enjoy your TRWBW
< 1294868876 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :indeed
< 1294868885 0 :elliott!unknown@unknown.invalid NICK :coprophiliac
< 1294868887 0 :coprophiliac!unknown@unknown.invalid PRIVMSG #esoteric :hi coppro
< 1294868888 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Gregor, no amount of Jewishness can compensate for being English!
< 1294868890 0 :coprophiliac!unknown@unknown.invalid PRIVMSG #esoteric :having a nice day today?
< 1294868910 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: i will put you on ignore because you refuse to put me on ignore. i will unignore you just as soon as i find out you have ignored me.
< 1294868918 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :It's like homeopathy!
< 1294868950 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :coprophiliac: way to build on linking that scat porn thing
< 1294868966 0 :coprophiliac!unknown@unknown.invalid PRIVMSG #esoteric :>_>
< 1294868967 0 :coprophiliac!unknown@unknown.invalid PRIVMSG #esoteric :you can't
< 1294868968 0 :coprophiliac!unknown@unknown.invalid PRIVMSG #esoteric :prove
< 1294868969 0 :coprophiliac!unknown@unknown.invalid PRIVMSG #esoteric :ANYTHING
< 1294868972 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: i will ignore you because i will ignore you
< 1294868980 0 :coprophiliac!unknown@unknown.invalid PRIVMSG #esoteric :i will ignore you iff i ignore you
< 1294868980 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::D
< 1294868985 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric ::D
< 1294868996 0 :coprophiliac!unknown@unknown.invalid NICK :tarski
< 1294869000 0 :tarski!unknown@unknown.invalid PRIVMSG #esoteric :taken
< 1294869001 0 :tarski!unknown@unknown.invalid PRIVMSG #esoteric :what shit
< 1294869002 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so could everyone here give me their addresses in pm
< 1294869003 0 :tarski!unknown@unknown.invalid NICK :elliott
< 1294869010 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :like irl addresses
< 1294869010 0 :Phantom_Hoover!unknown@unknown.invalid NICK :banach
< 1294869011 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: what kind of addresses
< 1294869013 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oh
< 1294869015 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :why
< 1294869018 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: www.god.com
< 1294869025 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :yeah, wtf
< 1294869026 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yours i have already so i don't see why i need to answer
< 1294869032 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: no, we moved
< 1294869033 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric ::>
< 1294869037 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :twice actually.
< 1294869044 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :okay, then do give
< 1294869045 0 :banach!unknown@unknown.invalid NICK :sierpinski
< 1294869049 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :no :D
< 1294869050 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :why do you want my address now oklopololopol
< 1294869054 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :gimme yours
< 1294869056 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i'll come visit
< 1294869074 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :okay
< 1294869080 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :cheater99: not part of the deal
< 1294869091 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: well it's either this or no deal
< 1294869100 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: are you really in finland btw?
< 1294869112 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :or is that just a bnc
< 1294869114 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :of some sort
< 1294869125 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well just in case
< 1294869134 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :just in case what?
< 1294869142 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :just in case you have nowhere to send out anthrax?
< 1294869166 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :sweet, sound doesn't work
< 1294869171 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :just in case i'm in the neighborhood and want human company, ofc
< 1294869185 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: that shouldn't be too hard to fix, they do that on purpose to weed out 'posers'
< 1294869194 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: xD
< 1294869198 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :OK fine I put cheater99 on ignore......
< 1294869205 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : OK fine I put cheater99 on ignore......
< 1294869214 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :ok fine unignored
< 1294869220 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :YAY
< 1294869221 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :flip flop
< 1294869227 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric ::>
< 1294869274 0 :sierpinski!unknown@unknown.invalid PRIVMSG #esoteric :I'm going to put j-invariant on my watchlist for ignoring for suspected Englishness.
< 1294869295 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i was given no addresses :\
< 1294869299 0 :sierpinski!unknown@unknown.invalid NICK :Phantom_Hoover
< 1294869329 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Because they said so........
< 1294869434 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what's wrong with having an oklo ring your doorbell
< 1294869443 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :RING RING
< 1294869447 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :here comes oklop
< 1294869450 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*-p
< 1294869537 0 :elliott!unknown@unknown.invalid QUIT :Remote host closed the connection
< 1294869551 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :cheater99: i'm really in finland
< 1294869553 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :he's like krampus at your door
< 1294869554 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :also
< 1294869554 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :<1> i cheater99;
< 1294869568 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yay got first address
< 1294869578 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :can someone tell zzo38 to unignore me now?
< 1294869603 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Now I don't want to filter it anymore.
< 1294869604 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :cheater99: but won't you then ignore him?
< 1294869654 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :wait what?
< 1294869677 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: and why do you ignore the English?
< 1294869700 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :ais523, because otherwise I am not allowed to live in Scotland without a visa.
< 1294869713 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ah
< 1294869718 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: no, this was a one-time event
< 1294869728 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I looked at the log file, and I realized that I switched off the filter at the time which they told them to tell me to stop, it is coincidence, though, that it happened at the same time.
< 1294869730 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :cheater99: ah
< 1294869746 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: well, scotland is better at everything but football, and I don't care about football
< 1294869751 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :so why don't you just look down on us intead?
< 1294869755 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :*instead
< 1294869767 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :scotland has HAGGIS
< 1294869770 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :yum
< 1294869780 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :cheater99: it also has a sane education system and a sane legal system
< 1294869786 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :which is possibly more important
< 1294869789 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :ais523, we also have a worse life expectancy.
< 1294869814 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :haggis is the awesome
< 1294869815 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :ais523: and, HAGGIS.
< 1294869832 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: really? that surprises me
< 1294869846 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :ais523, we invented the deep-fried Mars Bar.
< 1294869851 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :unless the stereotypes about scots and healthy eating are actually true, which would surprise me even more
< 1294869854 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Yes, we have a lower life expectancy.
< 1294869855 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I tend not to believe in stereotypes
< 1294869876 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and although I know you invented the deep-fried mars bar, I thought that was just for selling to tourists
< 1294869898 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hmm, wait, are we in an antiflamewar?
< 1294869905 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I'd better go home before it gets even worse
< 1294869907 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :bye everyone
< 1294869909 0 :ais523!unknown@unknown.invalid QUIT :Remote host closed the connection
< 1294869950 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :I should point out at this point that I am not very Scottish at all.
< 1294870021 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :what does that mean
< 1294870452 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :okoploop: My address is too easy to find that I'd bother distribatibuting it, but don't you already approximately know?
< 1294870563 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :"Finland".
< 1294870564 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i know which town you live in
< 1294870577 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but yeah i know where to find you
< 1294870591 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and i have plans for a few others as well
< 1294870598 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :How... ominous.
< 1294870623 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::D
< 1294870628 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: is it true that children aged 11 drink vodka in finland by the glass
< 1294870652 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :"Crazed student kidnaps 4, uses them for insane experiment."
< 1294870680 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i remember we drank one glass of vodka each when i was 10 or something, with a friend, but i didn't start drinking until i was like 15
< 1294870683 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :or maybe 14
< 1294870709 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :They do seem to start younger (12?) nowadays, though.
< 1294870712 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but some 11yo's certainly drink a lot, i think they do in every country
< 1294870729 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :http://www.youtube.com/watch?v=7sNge0Ywz-M
< 1294870731 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :this is fun
< 1294870736 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :he writes fibonacci in minecraft
< 1294870775 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Vodka_belt ← I did not know that was a term.
< 1294870835 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so umm, i think my idea works
< 1294870857 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :for the problem i've been trying to solve
< 1294870861 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant, I wish he'd had monsters on.
< 1294870873 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :now i can't continue thinking about it because i'm so excited
< 1294870874 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :...
< 1294870883 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Creepers exploding on the data bus would be a novel excuse for computer failure.
< 1294870939 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::D
< 1294870957 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :"Creepers on the Data Bus", yet another band name.
< 1294870975 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Or a really weird euphemism.
< 1294870987 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :"Sorry, I can't come today; I've got the creepers on my data bus, if you know what I mean."
< 1294870990 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'd like to creep on HER data bus
< 1294871002 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :creepers on the data bus is my meat loaf cover band
< 1294871066 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric
< 1294871087 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :This is better.
< 1294871127 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :ubuntu suck cess?
< 1294871195 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Success enough. Tweaking things can come later.
< 1294871199 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, creepers on the data bus: the best excuse for computer failure ever?
< 1294871202 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Touchpad isn't working perfectly but I can refine it gradually.
< 1294871204 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: YES.
< 1294871230 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Now: can I adapt it to get out of homework?
< 1294871254 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :I've already tried "I wrote it on a flash drive, then I dropped it and the partition table fell out!"
< 1294871304 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Bring in a melted-in-the-oven floppy, and then just say "well *now* I know why they call them floppies!"
< 1294871320 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Heh.
< 1294871345 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"I have erectile dysfunction... but hey, at least I know why they call them floppies now!"
< 1294871766 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION goes to play EteRNA

< 1294871865 0 :cheater99!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds
< 1294871937 0 :cheater99!~cheater@g231049019.adsl.alicedsl.de JOIN :#esoteric
< 1294872035 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, please tell me that's a game in which you play as a cell.
< 1294872056 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :fisch,
< 1294872057 0 :elliott!unknown@unknown.invalid QUIT :Quit: Leaving
< 1294872069 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric
< 1294872072 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :...or double fisch?
< 1294872089 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :It's a game where you try to design RNA molecules
< 1294872121 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :wouldn't this cooperative action game be great where you have a bunch of people that are a cellular automaton, and everyone must behave according to the local rule, or CHAOS ENSUES
< 1294872143 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :or single-player adventure mode
< 1294872147 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :where you are *one* cell
< 1294872181 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :Lagerholm estimate is in single digit number of days...
< 1294872198 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :our cellular automata course started
< 1294872233 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :sofar we've done some basic cantor topology stuff, proved a few things about neighborhoods, and looked at golly simulations for hours
< 1294872244 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :3M allocations from China marked as new (less than 5 days ago).
< 1294872255 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Ilari: :D
< 1294872313 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :did you know cellular automata look really pretty when you run them? this was news to me, i just knew their theory was pretty
< 1294872340 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :APNIC: 2.39 /8s in RIR Pool
< 1294872356 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: yes i knew this
< 1294872362 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: mr. wolfram
< 1294872374 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i read wolfram's book once but he didn't mention they look pretty when run
< 1294872383 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :cantor topology??
< 1294872386 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :he just said they look really IMPORTANT and FUNDAMENTAL
< 1294872398 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :There is still ~20 day spread between the Lagerhom and Houston estimates (due to differing thresholds)...
< 1294872400 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: one of the names of the product topology of Z
< 1294872403 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :erm
< 1294872405 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :S^Z
< 1294872405 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :what
< 1294872414 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :what does it have to do with CA?
< 1294872416 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :because it's topologically equivalent to cantor sets
< 1294872417 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :erm
< 1294872422 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :CA is all about topology
< 1294872425 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :really?
< 1294872429 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :erm yes
< 1294872438 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well
< 1294872443 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :please tell me what the connection is
< 1294872465 0 :copumpkin!unknown@unknown.invalid PRIVMSG #esoteric :the galois connection!
< 1294872469 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i can try, but i'll need to come up with a concrete example
< 1294872474 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmmhmm
< 1294872492 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :Basically, it is all up to APNIC on when IANA pool is going to deplete...
< 1294872498 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so say all finite patterns have a preimage, then "by compactness", all configurations have a preimage
< 1294872503 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :an application of topology right there
< 1294872517 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :huh
< 1294872522 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :because it's S^Z is a compact space, and finite patterns can be made converge into your configuration
< 1294872574 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so preimages of them have a converging subsequence (by compactness) that converges to an X such that X has to have that limit configuration as its image
< 1294872574 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i wish my trackpad wouldn't freeze up if i move it for too long
< 1294872580 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :until i move away for a second and restart moving
< 1294872588 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :did you follow that? i can do it more clearly
< 1294872602 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :(i think)
< 1294872735 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'll try to improvise: let G be a CA function with a quiescent state q such that G(q, ..., q) = q, such that for all "finite configurations" c there is a c' such that G(c') = c, where finite configuration = finitely many non-quiescents
< 1294872794 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :now, consider an arbitrary configuration, also called c for some reason, take a sequence of finite configurations c_i converging to it (why can i do this?), and for each of them a preimage c'_i
< 1294872820 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :then, take a converging subsequence of c'_i
< 1294872858 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :call that say (d_i), we still know G(d_i) converges to c
< 1294872869 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :because G(d_i) is a subsequence of c_i
< 1294872890 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :now, because d_i converges, also G(d_i) converges, because G is continuous
< 1294872930 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but we know limits commute with continuous functions, so c = lim G(d_i) = G(lim d_i)
< 1294872945 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :therefore, the limit of the d_i is a preimage of c
< 1294873010 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :I like the way the channel can segue into advanced mathematics in a matter of seconds.
< 1294873015 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :Last time APNIC allocated at something like 2.1 or 2.2 /8s, which is about 0.2 to 0.3 /8s left...
< 1294873018 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :got it? this illustrates the techniques, but in this case you could just open up the meanings of the topological terms, since there's so little of them used
< 1294873019 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :oklopol always seems to be involved.
< 1294873025 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION → sleep

< 1294873028 0 :Phantom_Hoover!unknown@unknown.invalid QUIT :Remote host closed the connection
< 1294873031 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that wasn't very advanced :D
< 1294873032 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :In number of addresses, that's about 4 million.
< 1294873054 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: it had limits and ' in it
< 1294873056 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ADVANCED
< 1294873067 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: did you know CA are exactly the shift-commuting continuous functions from S^Z to S^Z?
< 1294873096 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :shift turns configuration x into its left-shifted image, as you might have guessed
< 1294873113 0 :zzo38!unknown@unknown.invalid QUIT :Quit: The Tao that can be spoken of is not the Tao.
< 1294873119 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and shift commuting is of course that it doesn't matter whether you apply the function before or after the shift
< 1294873120 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :4 million... And we are down 3 million in last 5 days...
< 1294873134 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: that makes sense
< 1294873159 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Who is using all these IPs?
< 1294873187 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: that's actually a sort of trivial thing, in this symposiom I TALKED IN, there was this presentation where they basically just extracted that from some basic category theory for a much larger class of things than just CA, without really doing much
< 1294873197 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but it's a lot of fun, and that's the reason topology is useful
< 1294873219 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :for instance, if a CA is reversible, then its inverse is also a CA function
< 1294873229 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :how does that follow from topology and that characterization?
< 1294873237 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: China.
< 1294873252 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :erm, is asking questions annoying btw, it seems i've started doing that :D
< 1294873265 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :not really
< 1294873283 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it's basically a nicer form of "obviously"
< 1294873285 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i guess
< 1294873297 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Ilari: Jeeze.
< 1294873372 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :If APNIC uses 2.2 as alloc threshold this time, that would likely mean exhaustion next week.
< 1294873420 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :The reserves holding this month seem rather unlikely...
< 1294873439 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :DAMMIT CHINA
< 1294873452 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :As it was last month, it's *all* a matter of when APNIC feels like allocating.
< 1294873466 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Could easily happen right now.
< 1294873500 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i wanna take over apnic
< 1294873501 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :MWAHAHAHA
< 1294873506 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: answer, since you didn't answer my first question either: S^Z is a compact space, so the inverse of a continuous bijection is continuous (basic topological result), and shift commuting should be obvious
< 1294873512 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Ilari: question, do APNIC _know_ what doing that will result in? :D
< 1294873554 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :S^Z being compact is a fun exercise if you haven't played with this stuff
< 1294873564 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :what is S?
< 1294873571 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh just the state set
< 1294873575 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :arbitrary finite set
< 1294873581 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :ok
< 1294873585 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :sorry about that, i forget to mention things
< 1294873594 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :elliott: They are all *very* well aware that IPv4 depletion happens insanely soon.
< 1294873609 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: so is it possible that APNIC will hold back just to shut up doomsday prophets? :D
< 1294873627 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :elliott: If they "hold back", we *might* get another month out of IPv4.
< 1294873642 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: yeah, but would _you_ give the order "MAKE THE ALLOCATION!"?
< 1294873650 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Vodka looks interesting
< 1294873651 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Yes.
< 1294873673 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :How long can APNIC hold out for?
< 1294873689 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Vodka looks dead
< 1294873702 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: Not long!
< 1294873715 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And not worth discussing.
< 1294873751 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :We've likely got a bit over a year untiil *every* RIR is out...
< 1294873763 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :what Sgeo is trying to say is, he INGESTED the vodka
< 1294873794 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :It is more like they already have been holding back for at least a month...
< 1294873876 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :And if the scary allocation rates shown on December continue after new year's, the extra address pool is going to deplete in no time (forcing allocation).
< 1294873895 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :this is gonna be great
< 1294873914 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :Waiting a month, their RIR pool would run SERIOUSLY low.
< 1294873914 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :is there a site to host a PDF, like imgur?
< 1294873914 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: did you lost interest, i was hoping i could lecture about this all night :D
< 1294873917 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*lose
< 1294873932 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: I am interested in it but I would like to start at the beginning
< 1294873948 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: filebin.ca throws anything you throw at it ... when it's up
< 1294873963 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: foobin can of course do pdfs... but you need a server, and also me to have written it
< 1294873964 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :already
< 1294874046 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: we are very close to the beginning, if you're fluent in topology; but i suppose that's not necessarily the case
< 1294874137 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :basically: 1. S^Z is compact (special case of tychonoff) 2. CA are the continuous and shift-commuting functions 3. examples of using these ideas in proofs; i started at 3
< 1294874184 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: I know the definitions of topology but not the theorems like tychonoff. I can learn it another time though.
< 1294874246 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: i was joking about lecturing all night, don't worry
< 1294874267 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: oh :(
< 1294874294 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :erm, would you like a lecture?
< 1294874299 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :of corse
< 1294874303 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::D
< 1294874313 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :no one EVER wants a lecture!
< 1294874353 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: so have you given up on ur again
< 1294874357 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i can't prove tychonoff. that's crazy shit. i can prove S^Z compact directly though. i think
< 1294874430 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it's easy if we already know that CA characterization, but hmmhmm
< 1294874440 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :maybe my numbering was wrong!
< 1294874452 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i haven't actually had to implement this theory
< 1294874459 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i've just read other people's code
< 1294874470 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :Hmm... About 1 billion endpoint devices and about 625 trillion IPv6 subnetworks allocated...
< 1294874493 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :okay so first of all we should probably start with S^Z being metrizable
< 1294874515 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that is, you can implement the topology with a metric
< 1294874579 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: which metric?
< 1294874584 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :one such metric d is defined as follows: if x and y are in S^Z, d(x, y)= 2^{-n} for the smallest n such that x_n != y_n or x_{-n} != y_{-n}
< 1294874606 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :do you know what the product topology on S^Z is?
< 1294874652 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :Not exactly what I would call efficient use of address space...
< 1294874718 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it has S^\{i : i < j\} x {s} x S^\{i : i > j}} as a subbase, that is a subbase is given by sets where one cell has to be s, and others can be anything
< 1294874732 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*that is, a subbase
< 1294874751 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :where s and j range over S and Z, respectively
< 1294874776 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :this is just the definition of product topology, which we'll make more sense of later, for instance that metrizability should already clarify it a bit
< 1294874832 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :ok
< 1294874875 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :the product topology of topological spaces (T_i) in general has as a subbase, for each i, and each open U \in T_i, U x \product_{j != i} T_j
< 1294874890 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i just used the fact {s}'s are open sets forming a base for the finite set S
< 1294874909 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :(on which we of course use the discrete topology)
< 1294874928 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :elliott, I want to see documentation that isn't in bed with the /Web part
< 1294874948 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: ah, so you still don't realise that it's a proof-of-concept
< 1294874952 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :essentially
< 1294874952 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so okay now we have the topology of S^Z down, let me try to explain why that d implements it
< 1294874968 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: the point of the /web part is to show why the extended type system is helpful.
< 1294874984 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well first of all, given that d is a metric (i think that's obvious, but should check), it must give us *some* topology on S^Z
< 1294875028 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so all we have to prove is: 1) if B is an open ball in the topology given by d, then there's an open set in the product topology of S^Z that contains it 2) vice versa
< 1294875052 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: I am following
< 1294875054 0 :copumpkin!unknown@unknown.invalid NICK :__copumpkin__
< 1294875056 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :alright
< 1294875071 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :now consider such a ball B, it is given by a radius r = 2^{-k}
< 1294875095 0 :__copumpkin__!unknown@unknown.invalid NICK :copumpkin
< 1294875103 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :let's say it's aroung configuration x, now this ball, by the definition of d, contains all y such that x and y agree in the size k neighborhood of the origin
< 1294875114 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :or some off-by-one error there, depending on how exactly i defined d
< 1294875130 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it doesn't actually matter, but i guess can try to be more precise if you like?
< 1294875174 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :(oh and that neighborhood of the origin isn't a topological neighborhood, just an intuitive idea)
< 1294875194 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that the cells of y that are at most k steps from cell 0 must agree with those cells of x
< 1294875245 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :elliott, is Learn You A Haskell considered decent? I pointed someone to it
< 1294875248 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :[Someone from class]
< 1294875250 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :because otherwise d would be larger, since if x and y disagree in some |j| < |k|, then d(x, y) >= 2^{-j} by definition of d, and that's bigger than 2^{-k}
< 1294875250 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Yes.
< 1294875255 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :erm
< 1294875266 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Ok
< 1294875268 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :where i forgot some ||'s around k and j
< 1294875304 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*d(x, y) >= 2^{-|j|} *that's bigger than 2^{-|k|}
< 1294875352 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :(i'm waiting for some sort of confirmation, since you gave one such without asking)
< 1294875357 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: I think I should write a note on this one
< 1294875361 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what's a note
< 1294875363 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: for the equivalence proof
< 1294875366 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :I just mean on a bit of paper
< 1294875370 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :equivalence of what?
< 1294875374 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :d and product
< 1294875404 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :you mean write down the definitions or?
< 1294875618 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :I meant write the whole proof out
< 1294875623 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :alright, go for it
< 1294875624 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :so I don't get stuck
< 1294875686 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :you mean without any input from me? there is really no trick here, so you can certainly do this yourself if you are organized enough not to drown in the details
< 1294875737 0 :FireFly!unknown@unknown.invalid QUIT :Quit: swatted to death
< 1294875772 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and remember basic things like intersections of open sets being open...
< 1294875791 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :even elliott knows that
< 1294875794 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :though
< 1294875799 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :that hurts man
< 1294875805 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i was just about to say this line:
< 1294875808 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :did you know that?
< 1294875817 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : hey oklopol teach me some maths   okay, so if 2+2=4, then 2+3=5
< 1294875828 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : you following?   eys
< 1294875829 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*yes
< 1294875832 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : you sure?
< 1294875835 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::D
< 1294875843 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hey i once taught you algebra
< 1294875850 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : should i prove it to you
< 1294875852 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but then you were all like NO MORE, PLEASE GO AWAY
< 1294875861 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and i was like :(
< 1294875885 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :lol how did the proof go
< 1294875907 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : well, you see, 2=1+1 (i'll explain why later), so it's 1+1+1+1=4
< 1294875925 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : we can reduce this partially to peano arithmetic, namely, SSSS0 = 4
< 1294875927 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : wait
< 1294875930 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : what's peano arithmetic
< 1294875936 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : ummmm S is like 1+ and 0 is like 0
< 1294875941 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : why not just write that
< 1294875945 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : ...fuck you
< 1294875948 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :* oklopol has left IRC
< 1294875953 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::D
< 1294875954 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :yeah, fuck you
< 1294875961 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :(and don't smile at us)
< 1294875978 0 :cheater99!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION punches oklopol with the power of a thousand punches!

< 1294876005 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :still laughing at myself
< 1294876016 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :2+2=4 => 2+3=5 only if 3=S2 and 5=S4.  let's define more interesting numbers.
< 1294876054 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :quintopia: i don't get it, how did you prove that implication
< 1294876076 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :you have to somehow remove the 2
< 1294876080 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :from the left sides
< 1294876093 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric ::D
< 1294876098 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i like how hilarious this joke at my expense is.
< 1294876105 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :* oklopol has joined
< 1294876110 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: it's a false implication.  i started with P^~P and went from there
< 1294876111 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : okay so let's try something simpler
< 1294876115 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :xD
< 1294876120 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : in fact, let's not
< 1294876128 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : -1*-1 = -1
< 1294876131 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : and i can prove it
< 1294876158 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : -1*-1 = -(1*-1), which is -(-1*1), which is (--1)*1, now --1 = 1, so -1*-1 = 1*1 = 1
< 1294876162 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : following me?
< 1294876180 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : yes, but i don't see what this has to do with the hairy ball theorem
< 1294876182 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :quintopia: i see. in a recent exam on ergodic theory, i did a similar thing, and proved everything is an extremal point os any set.
< 1294876182 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :that's
< 1294876183 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :a punchline
< 1294876185 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :or something
< 1294876212 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: do you like my cubically valid proof
< 1294876254 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i don't know how the hairy ball theorem is proved
< 1294876262 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i couldn't help you with that
< 1294876268 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hehehehehe hair yablabsf
< 1294876271 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ybalbslls
< 1294876273 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*ballsjfk\
< 1294876319 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yeah the funny thing about that theorem is is sounds like a guy's low-hangers with hair on them
< 1294876322 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*it
< 1294876334 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and not just the name, the proof is pretty fucking perverted as well
< 1294876386 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :the hairy ball theorem? you mean the one that says a vector field on a sphere has at least 2 points of discontinuity?
< 1294876395 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :erm
< 1294876398 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :at least 1 you mean
< 1294876401 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :?
< 1294876410 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :or is it 2? because it sure looks like 1 is possible
< 1294876416 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :erm
< 1294876420 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :wait i'm a fucking retard
< 1294876431 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :my counterexample had 2
< 1294876459 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :so anyway oklopol
< 1294876459 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :quintopia: but yes, that one
< 1294876463 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :how can i make a topological database
< 1294876467 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :a database
< 1294876469 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :based on topology
< 1294876469 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :is that easy to see?
< 1294876482 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :good question
< 1294876505 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :because uh
< 1294876508 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :botte needs that
< 1294876513 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :currently my design is just like, based on datalog
< 1294876515 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :and where's the fun in that
< 1294876520 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :maybe you could have the discrete topology, i hear that's the BIGGEST topology of al
< 1294876521 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :l
< 1294876533 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so clearly you'd get *more* stuff out of it
< 1294876565 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: can i have databases be like
< 1294876566 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :balls
< 1294876568 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :that i make hair
< 1294876569 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :y
< 1294876572 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :and turn into tori
< 1294876581 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :tori?
< 1294876586 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :plural of torus
< 1294876587 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :moron
< 1294876589 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric ::D
< 1294876592 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :there need not be discontinuities on tori
< 1294876595 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :wait
< 1294876596 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :erm, i know that
< 1294876598 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :that's actually the plural
< 1294876601 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i thought it was toruses
< 1294876603 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric ::DDDDDDDDDDDDDDDDDDDD
< 1294876606 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i was trolling
< 1294876610 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :heh
< 1294876619 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :tori is just such a silly word you know
< 1294876663 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i know some basic stuff about tori because addition of a constant vector on a torus is one of the basic examples you do in dynamical systems
< 1294876691 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and i recently came up with fundamental groups of graphs, although naturally i then found this obvious definition in a paper, stated in a nicer way
< 1294876697 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and
< 1294876707 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :tori are the first things you do with fundamental groups
< 1294876710 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :because of the groups they give
< 1294876713 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*one of the
< 1294876778 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :maybe i could just go to uni, i feel like this is not a very productive use of my important time
< 1294876785 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :unless j returns