< 1372550647 423974 :sacje!~sacre@unaffiliated/klet QUIT :Ping timeout: 264 seconds < 1372551941 958298 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I wish dvorakbot were here. < 1372551947 446976 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :He really brightened up this channel. < 1372551951 840428 :dvorakbot!~dvorakbot@c-107-5-152-253.hsd1.mi.comcast.net JOIN :#esoteric < 1372551955 34250 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :ACTION sighs wistfully. < 1372552091 607260 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :dvorakbot: what did you do again? < 1372552102 888206 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Same thing as la_fen. < 1372552119 363991 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :$u a < 1372552120 25235 :dvorakbot!~dvorakbot@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :U+0061 LATIN SMALL LETTER A (a) < 1372552150 30461 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :List of dvorakbot's commands: http://pastie.org/8095682 < 1372552161 592627 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :$newcard oerjan < 1372552162 452029 :dvorakbot!~dvorakbot@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Card 1: oerjan < 1372552173 700490 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Congratulations on being a card. < 1372552185 639508 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :eek < 1372552199 92780 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :$moveallto deck < 1372552199 700883 :dvorakbot!~dvorakbot@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Cards moved. < 1372552206 234040 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :$draw < 1372552207 146648 :dvorakbot!~dvorakbot@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :No cards in draw pile. < 1372552214 353779 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Whoops. < 1372552216 337280 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :$moveallto draw < 1372552216 988098 :dvorakbot!~dvorakbot@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Cards moved. < 1372552218 773888 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :$draw < 1372552219 468908 :dvorakbot!~dvorakbot@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Card drawn. < 1372552223 17221 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I wonder what card it is! < 1372552250 965396 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :$newcard orson < 1372552251 631189 :dvorakbot!~dvorakbot@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Card 2: orson < 1372552376 862566 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :what happens to these cards? < 1372552382 329922 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :where are they? < 1372552387 596964 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :$where 1 < 1372552388 434545 :dvorakbot!~dvorakbot@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :In pile: tswett's hand < 1372552390 863028 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :$where 2 < 1372552391 627106 :dvorakbot!~dvorakbot@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Nowhere < 1372552396 365775 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :$where 3 < 1372552397 367055 :dvorakbot!~dvorakbot@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :KeyError: 3 (file "/Users/tswett/Documents/Hobbies/Programming/Python/phenny/modules/dvorak.py", line 139, in where_card) < 1372552412 644823 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :dvorakbot handles all errors gracefully. < 1372552531 206615 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :aha, now i know ur local username! < 1372552575 218665 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Uh oh. Now you can )(4xx0r4t3 me. < 1372552750 983547 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :>:D, i am so 1337 at that < 1372552813 819513 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :s;top < 1372552910 846735 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :only you can stop them elliott < 1372552947 104472 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or was it forest fires, i'm not sure < 1372552948 597393 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :actually that was directed specifically at bike hth < 1372552961 847231 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`factor 1337 < 1372552963 285162 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :1337: 7 191 < 1372552968 587559 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :hmm, wasn't it oerjan who could stop forest fires? < 1372552975 843404 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :pretty sure it was oerjan. < 1372552988 869550 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm pretty sure i've never tried stopping a forest fire < 1372553014 462202 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :though I'm sure fungot could say that to lots of people if it wanted to < 1372553015 417965 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :olsner: you should do it. thanks for pointing out a pro ( or con). modulo a b) < 1372553037 983191 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :modular arguments < 1372553224 383784 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :‮"oof" < < 1372553278 785267 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :‮.rof si retcarahc siht tahw erus toN < 1372553385 327420 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Hm. "The right-to-left override, for example, can be used to force a part number made of mixed English, digits and Hebrew letters to be written from right to left." < 1372553625 841445 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :would you mind to reactivate bike elliott? < 1372553700 73035 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi QUIT :Ping timeout: 256 seconds < 1372553752 82885 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :$newcard clog < 1372553753 232051 :dvorakbot!~dvorakbot@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Card 3: clog < 1372553754 300553 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :$newcard EgoBot < 1372553756 83941 :dvorakbot!~dvorakbot@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Card 4: EgoBot < 1372553762 103553 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :$newcard fngot < 1372553763 169766 :dvorakbot!~dvorakbot@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Card 5: fngot < 1372553766 440425 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Whoops. < 1372553788 475210 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :$delete 5 < 1372553789 237529 :dvorakbot!~dvorakbot@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Card deleted. < 1372553791 203794 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :$newcard fungot < 1372553791 554467 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :tswett: the best explanation of what he meant < 1372553792 41640 :dvorakbot!~dvorakbot@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Card 6: fungot < 1372553792 792368 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :dvorakbot: but if i start generating absurd amounts of money from my sick leave and i have 0.8.6 running on this computer < 1372553793 62510 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi JOIN :#esoteric < 1372553816 183628 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :This channel has a lot of bots. < 1372553825 492383 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :$newcard HackEgo < 1372553826 430683 :dvorakbot!~dvorakbot@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Card 7: HackEgo < 1372553827 549789 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :$newcard lambdabot < 1372553828 298515 :dvorakbot!~dvorakbot@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Card 8: lambdabot < 1372553831 167993 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :$moveallto draw < 1372553832 20038 :dvorakbot!~dvorakbot@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Cards moved. < 1372553833 981053 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :$shuffle draw < 1372553835 200741 :dvorakbot!~dvorakbot@c-107-5-152-253.hsd1.mi.comcast.net PRIVMSG #esoteric :Pile shuffled: Draw pile. < 1372553867 544888 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :tswett: can you also define rules? or are they defined someway? < 1372553882 98358 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Nope, the rules are just whatever you've previously agreed on. < 1372553923 346759 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :The bot is unfinished, but it's also usable. It can do almost everything DvorakMUSH, I think it was, can do. < 1372553989 245521 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :ahh.. i think i know that one < 1372554315 761016 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :tswett: is dvorak a popular game where in the US? < 1372554335 948076 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Nope, I think it's completely obscure worldwide. < 1372554376 685117 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :oh if it's the game i know it's spoken "durak" and means "fool" in russian < 1372554419 230432 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :and it's quite popular in germany ..so < 1372554426 99426 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1372554596 4073 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Remote host closed the connection < 1372554804 51212 :ggherdov!uid11402@gateway/web/irccloud.com/x-bxscawvyaonswzia QUIT :Ping timeout: 240 seconds < 1372554865 37838 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net NICK :noloveinwaikiki < 1372555367 616472 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION suddenly recalls a silly norwegian children's song about a many-headed monster remembering his love affair in hawaii < 1372555387 716852 :noloveinwaikiki!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric ::) < 1372555434 492930 :noloveinwaikiki!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :do you think you can find a version on the net? < 1372555504 693558 :noloveinwaikiki!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :okay.. it's not that important < 1372555514 790986 :noloveinwaikiki!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :don't mean to waste your time < 1372555547 414842 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"not available in your country" :/ < 1372555555 379432 :noloveinwaikiki!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :yt video? < 1372555586 516993 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh there http://www.youtube.com/watch?v=9Htk_XLPuWs < 1372555608 647460 :noloveinwaikiki!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :great <3 < 1372555710 944470 :noloveinwaikiki!~perdito@koln-4d0b63cd.pool.mediaWays.net NICK :hagb4rd < 1372556063 426943 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :turns out that video was recorded in trondheim < 1372556069 141990 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :<- there < 1372556091 210149 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: can I come visit < 1372556093 926289 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :*mysticwindblowing* < 1372556098 457427 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric ::P < 1372556151 91570 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: you can come to trondheim but we can never meet there hth < 1372556158 912471 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: but what if I bring taneb < 1372556174 826987 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm, tricky < 1372556628 931997 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://distractionware.com/games/flash/vvvvvvproto/ < 1372556643 396902 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :This music doesn't seem to be in PPPPPP or VVVVVV < 1372557109 675936 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :kmc, http://www.souleye.se/adventure has songs that are on VVVVVV 2 but not 1 (I didn't even know there was a 2) < 1372557182 105158 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :is... is there a reason kmc is pinged < 1372557250 54111 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :maybe because he's interested in that stuff < 1372557269 632171 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :or because sgeo is evil < 1372557287 197923 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric : < 1372557307 712395 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Because kmc has expressed liking of PPPPPP previously < 1372557325 634482 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and here i was going with the sgeo is evil hypothesis < 1372557344 491641 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :WHY NOT BOTH hth < 1372557375 575733 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hth hth hth hth < 1372557379 432553 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monoids hth monoids hth monoids < 1372557409 299999 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :ok < 1372557426 228424 :elliott!elliott@unaffiliated/elliott TOPIC #esoteric :The channel for helpful people | http://underhanded.xcott.com/?page_id=5 | logs: http://codu.org/logs/_esoteric and http://tunes.org/~nef/logs/esoteric/?C=M;O=D < 1372557435 941747 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> fix ("monoids hth" <>) < 1372557436 777963 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : "monoids hthmonoids hthmonoids hthmonoids hthmonoids hthmonoids hthmonoids ... < 1372557439 588347 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1372557442 288582 :nooodl!~nooodl@91.179.158.114 PRIVMSG #esoteric :hthmonoids < 1372557463 912008 :nooodl!~nooodl@91.179.158.114 PRIVMSG #esoteric :`? monoids < 1372557466 307162 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Monoids are the easy version of categories. < 1372557538 340053 :nooodl!~nooodl@91.179.158.114 PRIVMSG #esoteric :`learn hthmonoids hthmonoids hthmonoids hthmonoids hthmonoids hthmonoids ... < 1372557542 806322 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :I knew that. < 1372557589 58236 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run mv wisdom/hthmonoid{s,} # hth < 1372557592 412170 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :No output. < 1372557599 224286 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1372557630 710579 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i think this hth and monoids thing is getting a little out of hand. < 1372557655 196819 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :easy hth hand < 1372557669 149147 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :i think it's gotten a lot out of hand & has gone from being kind of ««««ironically»»»» silly to just silly & also poop dumb < 1372557715 936158 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: but. < 1372557729 837168 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :Butt < 1372557738 687781 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: going further than is reasonable until it starts being funny again is arguably the whole idea here!! < 1372557741 729455 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hth. < 1372557753 902534 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :that has never worked ever < 1372557769 444628 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe you just haven't tried enough, hth < 1372558142 878118 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :seriously? it's not as bad as it sounds..and maybe a direct consequence of that long-year-relationships grown in this channel.. but there's a lot of "insider" jokes or references made here.. they're cool sure, but may in worst case (which is not a tragedy) keep newcomers out.. < 1372558177 257867 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :but it's really not a problem < 1372558188 841160 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :i think < 1372558213 834210 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :most newbie are welcomed and always given a chance here < 1372558219 463438 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :*newbies < 1372558388 447217 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :on the other hand that is what makes a good community..development and preservation of culture < 1372558479 903969 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Remote host closed the connection < 1372558621 731310 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :shit i don't have any skin.. hope you can make any sense of this < 1372558625 378314 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net QUIT :Remote host closed the connection < 1372558653 452317 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...not the last line, no < 1372558668 627872 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :development of culture? < 1372558680 93950 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"shit i don't have any skin" < 1372558686 565770 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :oh this part < 1372558687 955481 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric ::) < 1372558702 502080 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan don't be so intolerant, if we can have bicycles we can have horrific jumbles of flesh and bone < 1372558717 798968 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :i don't have a lymphatic system :) < 1372558735 230602 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't have an emphatic system < 1372558741 281340 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the joke is Bike sux < 1372558770 953461 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that one didn't really work so well :( < 1372558810 37336 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1372558843 245251 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bike jokes are tired and flat < 1372558851 154225 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1372558861 480229 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :... < 1372559077 558434 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1372559300 466807 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :wow < 1372559361 504463 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mnoqy: now what < 1372559380 977247 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yeah < 1372559416 115975 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :AOL is a commonly recognized root CA? < 1372559431 745300 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :if you say so < 1372559624 26780 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 246 seconds < 1372559837 923419 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Koen_ < 1372562058 745099 :ggherdov!uid11402@gateway/web/irccloud.com/x-oxsiyjrpxkxgnpsu JOIN :#esoteric < 1372562867 876805 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :and now for something completely different < 1372562921 39105 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1372563155 850363 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Good night < 1372563480 950892 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1372564223 21373 :nooodl!~nooodl@91.179.158.114 QUIT :Ping timeout: 268 seconds < 1372566990 883208 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1372567371 989314 :NihilistDandy!~ND@c-24-128-161-213.hsd1.nh.comcast.net JOIN :#esoteric < 1372570923 932674 :Bike!~Glossina@71-222-33-125.ptld.qwest.net QUIT :Ping timeout: 260 seconds < 1372570943 129483 :Bike!~Glossina@71-222-33-125.ptld.qwest.net JOIN :#esoteric < 1372572038 804573 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Quoting from a message on Chess Variants: "What is the interface of Chess and reality? Is Chess the unreal? Or the other way around. ... If Chess existed first, why not invent a Reality to conform to it? What reality would that be? ..." < 1372572056 369776 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :chesseality, imo. < 1372572140 105565 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I did write a reply. My own point of view is that mathematics is the real reality. < 1372572371 740131 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`thanks reality < 1372572373 155486 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Thanks, reality. Theality. < 1372572411 179824 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: a truce has been established. I am now neutral on speech recognition < 1372572457 651211 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :what < 1372572482 548026 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ok, I still hate it a little. < 1372572527 654198 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :why would you give up your non-biology-related principles! < 1372572546 69977 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :if you think about it speech recognition = biology. < 1372572580 131693 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Can a game be defined with sequent calculus in a symmetric way? I have been able to define the subtraction game although the rules aren't symmetric for each player; the first player has to select a rule to follow (if the proof is working from bottom to top), while the second player selects which sequent above the line will be the next state. < 1372572595 152218 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :but the only similar thing between them is that you hate them! and that' snot even true any mroe! NOTHING IS REAL ELLIOTT < 1372572608 833381 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike. shut up. < 1372572629 352512 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :also, speech recognition = humans = biology < 1372572668 509671 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :No! They are related in this way, but it is different kind of things. < 1372572793 945207 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :If there is a single sequent above and a single below the line, then you can define single-player games, such as sokoban. The axiom schema is positions with one player, any number of empty spaces, any number of crates-on-targets, and nothing else. < 1372572857 213043 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Therefore, any solvable game is a theorem of this system. < 1372572867 668042 :Taneb!~nathan@host-92-30-175-110.as13285.net JOIN :#esoteric < 1372572949 524483 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Can you make anything similar, or make a better two-player game with this? < 1372573041 14956 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :elliott: zzo38's right here, man. it is different kind of things! < 1372573275 134463 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :@messages? < 1372573275 238441 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Sorry, no messages today. < 1372573278 533809 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :Yay < 1372573457 101581 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1372573717 903582 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I have another idea about sequent calculus. Define a "macro" to mean following many rules, in a polymorphic way (but not necessarily as polymorphic as the original rules), and put together to form a single admissible rule. Therefore, a "theorem" is really a "macro" with nothing above the line. Isn't it? < 1372574874 240259 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: least and greatest fixed points are so much imo < 1372574893 865639 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you should, like, learn about them and stuff < 1372574916 525653 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :That reminds me < 1372574950 157225 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :I need to write a blog post/essay/talk relating Taneb-style fixed curves to control-passing-style < 1372575258 81918 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Taneb: What are those things? < 1372575284 156657 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :A pair of functions f and g such that f(g(x), x) = g(x) < 1372575293 643263 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :splines? < 1372575313 36048 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :o no.. < 1372575324 229505 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :that's more specific < 1372575609 878137 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :no, it's absolutely somethin different < 1372575809 848045 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :Bugger, I've made a stupid mistake < 1372575835 912025 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :Okay, this has totally failed < 1372575865 18673 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: maybe you can answer my questions about fixed points instead then... < 1372575924 721572 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :i like banach's fixed points. they're p. good. < 1372575986 105856 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :do you like Knaster-Tarski theorem.... < 1372575991 164517 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :I thought I was onto something deep < 1372576003 937606 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :But I made the mistake of saying the xth root of x was 1 < 1372576007 585499 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Category:Fixed-point_theorems < 1372576007 963409 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :tarski's fixed points are also p. good < 1372576008 251181 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :help < 1372576040 494782 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :have you seen the stuff about assigning truth values to weirdass sentences based on tarski's fixed points < 1372576043 588665 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :pretty cool imo < 1372576071 121882 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :no but i heard about "definedness analysis and liveness analysis" or something < 1372576075 580064 :Gracenotes!~person@wikipedia/Gracenotes JOIN :#esoteric < 1372576080 127161 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :Hang on < 1372576088 837185 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :It approaches 1 as x approaches infinity! < 1372576090 388981 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What does it mean to "assign truth values to weirdass sentences based on tarski's fixed points"? < 1372576091 963151 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :This could be useful! < 1372576101 883157 :Gracenotes!~person@wikipedia/Gracenotes QUIT :Client Quit < 1372576106 98215 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :uh lemme look < 1372576124 862518 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :ACTION dives into pile of pdfs < 1372576177 275186 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: is that like the logic equivalent of zeta regularisation < 1372576211 425268 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :No, I still can't make that assumption < 1372576240 697243 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :Taneb: also numbers have, like, more than one root. < 1372576286 150908 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :ugh where the hell is this paper. it was good < 1372576348 730181 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :and no it's not like zeta regularization very much < 1372576362 379679 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hey Bike < 1372576376 59268 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :have you informed tarski that lattice theory is a waste of time b. you should really be doing category theory instead < 1372576400 739896 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: well I mean, in spirit. < 1372576414 176640 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :ACTION sighs. < 1372576415 62590 :Gracenotes!~person@wikipedia/Gracenotes JOIN :#esoteric < 1372576434 126084 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :wow tarski's paper has about 2400 cites. < 1372576438 142533 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :imo, fuck. < 1372576465 960814 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :imo read them all < 1372576468 419640 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :http://www.springerlink.com/index/H880Q5G6M9661313.pdf here, something about "categories" that cites it. ur welcome. < 1372576576 813691 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :$39.95 hooray < 1372576618 418709 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :ok found it http://comet.lehman.cuny.edu/fitting/bookspapers/pdf/papers/TruthFalse.pdf < 1372576665 272148 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :it involves things being true and false because, like, lol. < 1372576712 73096 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :also it's actually kripke's not tarski's?? so you can tell him yourself shachaf. < 1372576725 649632 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :lol < 1372576738 717849 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net PRIVMSG #esoteric :cheers < 1372576746 818168 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :hth < 1372576841 242382 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :i knew taneb's thing looked familiar. it's like an IVP where f = f', which is dumb but oh well < 1372576875 394127 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :or like a differential equation rather. < 1372576876 920346 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :a dumb one < 1372577106 244005 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :Maybe the truth behind Assassin's Creed is that a logic with the axiom "forall x. x is false" is inconsistent < 1372577124 73 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net QUIT :Remote host closed the connection < 1372577135 534654 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :comp_Monoid_Elements_is_assoc : forall x y z, multiply_Monoid_Elements x (multiply_Monoid_Elements y z) = multiply_Monoid_Elements (multiply_Monoid_Elements x y) z < 1372577141 793323 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I'm thinking there might be a way of making that shorter. < 1372577191 231960 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Taneb: Well, unless "forall" and "is false" is sufficiently restrictive, then yes it probably is inconsistent. < 1372577242 92280 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :What does x range over, there? < 1372577247 727651 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :If its domain is empty, then that axiom is true. < 1372577257 944910 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :i bet you couldn't find an x such that ¬x is true!! < 1372577280 353697 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Now, a logic with the axiom "not P" for all formulas P would definitely be inconsistent. < 1372577309 158562 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :tswett, the joke is, that when this is combined with the principle of explosion, you get "Nothing is true, everything is permitted" < 1372577317 789915 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :tswett: I don't think that is necessarily inconsistent either if the logic is sufficiently restrictive. < 1372577334 199094 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Taneb: hm, sounds true. < 1372577353 900121 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Here, have a picture. http://i.imgur.com/tKns3wi.jpg < 1372577369 163911 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :Seen it a dozen times at least < 1372577383 850307 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :still good though. < 1372577392 15478 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It isn't inconsistent unless all well-formed strings are theorems. < 1372577430 33159 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :zzo38, what if the axiom itself is in its domain < 1372577481 932056 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Taneb: Well, of course it is in its own domain, but I don't think that changes what I said. < 1372577506 850072 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :Because then it is trivially true (it is an axiom), but also false! < 1372577597 621679 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Taneb: you have? < 1372577602 690384 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But maybe it isn't necessary "true" or "false" but can be a theorem or nontheorem, since "false" might not necessarily be meaningful in a logic such as this. < 1372577602 779878 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Taneb: well, feast your eyes on this! http://i.imgur.com/tKns3wi.jpg < 1372577619 49623 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :tswett, I've seen that at least a baker's dozen times! < 1372577634 910800 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Yay, you said the thing I was hoping you were going to say. < 1372577635 798624 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :zzo38, shh it was a bad joke < 1372577816 118150 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :I would like to learn how to use a sword < 1372577820 522859 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :And also how to ride a unicycle < 1372577825 819607 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :Perhaps not at the same time < 1372578355 550471 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :All right. So, given an object in a category, its endomorphisms form a monoid. < 1372578363 671171 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :This feels like a natural transformation. < 1372578433 631645 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Maybe it's just a functor. < 1372578452 492167 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :From the category of categories to the category of monoids. < 1372578469 314197 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Mm, no, that would mean that it turns every category into a monoid. < 1372578484 480371 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :This one, given a category, turns all of that category's objects into monoids. < 1372578509 640871 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are you just talking about a subcategory with one object? < 1372578522 152062 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Yeah, I guess I am. < 1372578828 235502 :itsy!~digital_w@46.208.115.220 QUIT :Remote host closed the connection < 1372579135 43388 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1372579832 436658 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Taneb: Do you not want to learn to use a sword while riding a unicycle while blindfolded? < 1372579851 7143 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :Yeah, why not < 1372580275 163559 :itsy!~digital_w@46.208.115.220 JOIN :#esoteric < 1372580297 31229 :itsy!~digital_w@46.208.115.220 PRIVMSG #esoteric :It's the World Egg Throwing Championships today :-) < 1372581540 1960 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :constructivism, more like destructivism < 1372581547 69553 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the joke is that constructivism is bad < 1372582307 239607 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1372582343 479946 :oonbotti2!~oonbotti2@dsl-olubrasgw2-54f863-165.dhcp.inet.fi QUIT :Remote host closed the connection < 1372582362 99998 :oonbotti2!~oonbotti2@dsl-olubrasgw2-54f863-165.dhcp.inet.fi JOIN :#esoteric < 1372582600 59440 :itsy!~digital_w@46.208.115.220 QUIT :Ping timeout: 256 seconds < 1372582926 310540 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :`pastelog the joke is < 1372582943 381865 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :`pastelogs the joke is < 1372582963 726407 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi kmc < 1372582969 239705 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hichaf < 1372582974 431717 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :why can't i paste logs < 1372582975 675614 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.14280 < 1372582980 804109 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :because no patience < 1372582983 293905 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.20487 < 1372582984 463866 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :thackego < 1372582998 19148 :epicmonkey!~epicmonke@188.134.41.113 JOIN :#esoteric < 1372583022 321839 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how's sf < 1372583103 65290 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :good < 1372583142 805216 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :did you know that fixed points are the best thing in the world < 1372583159 111176 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :there was a huge party in the middle of the street in the castro < 1372583171 724528 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i heard about such things < 1372583172 212347 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Quit: Leaving. < 1372583198 869493 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh < 1372583243 584684 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also a huge number of people in dolores park before that < 1372583268 374332 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :nice park < 1372583316 131612 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1372583324 416273 :oonbotti!~oonbotti@91-145-118-87.bb.dnainternet.fi JOIN :#esoteric < 1372583348 431454 :oonbotti2!~oonbotti2@dsl-olubrasgw2-54f863-165.dhcp.inet.fi PART :#esoteric < 1372583449 92297 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so which this F-Fix thing < 1372583455 755352 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There's a category F-Fix(C) where an object is (X : C, f : X <-> F X) and an arrow (X, f) -> (Y, g) is an arrow h : X -> Y such that fmap h . f = g . h < 1372583466 772173 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/which/with/ /me sighs < 1372583514 510886 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so if you have a forgetful functor : F-Fix(C) -> C does it have a left adjoint < 1372583525 462712 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :by C i mean Hask btw < 1372583532 850153 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i'm a forgetful functor < 1372583539 738778 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh i guess not in general because that would be a monad < 1372583570 832104 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: me too < 1372583584 169493 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: is the joke that you left adjoint unsmoked in sf < 1372583603 610873 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or maybe that's the opposite of the joke < 1372583617 205955 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :-_- < 1372583640 683060 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc doesn't like drugz jokes < 1372583643 442223 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :if we reduce kmc to just drugz all the time we'll drive him to drink < 1372583643 734877 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::'( < 1372583646 725016 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :[drinkz joke] < 1372583658 234719 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :thats ok i already drink all the time < 1372583676 314843 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :at this particular moment it is i who have reduced myself to drugz < 1372583679 686009 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :drinkz <: drugz < 1372583687 497363 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you're off the hook for that < 1372583693 376771 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how many drugz did you drugz < 1372583706 876215 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :in quantity or in number of different kinds < 1372583731 208012 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes < 1372583794 613849 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i'm drugz but only metaphorically < 1372583815 492820 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :somebody told me that all things are composed of drugs, math, and cardboard in varying ratio < 1372583817 168623 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fixed points are drugz < 1372583820 232191 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fixed pointz < 1372583920 5095 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: driving someone to drink is good < 1372583925 416293 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :why < 1372583932 430478 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :otherwise they might drink and drive < 1372584611 521398 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's a new series of PSAs on avoiding drinking and driving going on on a local TV station, they're very cute. < 1372584634 931710 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's a drinking bird and a drinking fish. < 1372584647 205676 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: should I stop making kmc drugz jokes < 1372584856 986662 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :if kmc minds all these tasteless kmc drugz jokes i'll stop making them too < 1372585054 379541 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net JOIN :#esoteric < 1372585230 809990 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :can't promise I'll stop making them but I might be able to install some kind of weekly quota < 1372585242 304085 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi mnoqy < 1372585247 543580 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1372585259 577881 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :should i refrain from bugging you about fixed points like i've been bugging everyone else < 1372585268 890432 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :btw fixed points are p. great < 1372585270 570946 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hm most likely < 1372585290 857279 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hm ok < 1372586490 920211 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: look how great we are re: faq < 1372587207 139878 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net QUIT :Remote host closed the connection < 1372588694 45477 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1372589416 966193 :MindlessDrone!~MindlessD@141.70.114.6 JOIN :#esoteric < 1372590016 663442 :sacje!~sacre@unaffiliated/klet QUIT :Quit: sacje < 1372591373 487375 :oonbotti!~oonbotti@91-145-118-87.bb.dnainternet.fi QUIT :Disconnected by services < 1372591412 288898 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1372591429 921576 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1372591476 260025 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1372591476 319105 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Read error: Connection reset by peer < 1372594600 568185 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :shachaf: What is your fixed point? < 1372594657 613453 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> let shachaf = \x -> (fix x shachaf,shachaf) in fix shachaf < 1372594658 534821 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Occurs check: cannot construct the infinite type: < 1372594658 555808 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : t2 = ((t2 -> t0) -> t2... < 1372594667 525645 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> let shachaf = \x -> (shachaf x,shachaf) in fix shachaf < 1372594668 402839 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Occurs check: cannot construct the infinite type: t1 = (t1, t2)Occurs check... < 1372594893 219663 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> let shachaf = fix in fix shachaf < 1372594894 166104 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Occurs check: cannot construct the infinite type: a0 = a0 -> a0 < 1372594894 186882 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Expected t... < 1372594902 779433 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> let shachaf = fix shachaf in fix shachaf < 1372594903 591619 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Occurs check: cannot construct the infinite type: a0 = a0 -> a0 < 1372594907 643072 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Ok < 1372595859 340934 :nooodl!~nooodl@91.176.137.227 JOIN :#esoteric < 1372597127 960791 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1372598730 345910 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net QUIT :Ping timeout: 241 seconds < 1372598758 206532 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net JOIN :#esoteric < 1372601550 206443 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1372602480 947527 :intosh!~intosh@staticline41658.toya.net.pl JOIN :#esoteric < 1372602518 22506 :olsner!~salparot@c83-252-194-156.bredband.comhem.se QUIT :Ping timeout: 268 seconds < 1372602690 744210 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :Is the sequence of the even naturals computable by a push down automaton < 1372602926 810271 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :how does a push down automaton compute naturals? < 1372602963 600608 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi oerjan < 1372602967 734023 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hi shachaf < 1372602976 355753 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :any clues on fixed points < 1372602978 1078 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :That is a question < 1372603002 58535 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: even a finite automaton can _recognize_ them, after all. < 1372603035 497991 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :Some form of printy dealy? < 1372603092 18705 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suspect they cannot, if printing a number means you have to look deep in the stack < 1372603109 140266 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because that obviously erases most of it < 1372603186 723026 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm does a pumping lemma apply to output as well? < 1372603250 301282 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that'd be a pumpout lemma < 1372603265 32686 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: only that Knaster-Tarski was missing the Fixed-point theorem category. which i've now fixed. < 1372603286 660982 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(ok i guess i have learned some fixed-point theorems in my time.) < 1372603307 463305 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: plz add redirect knaster-tarski ----> Knaster–Tarski theorem < 1372603318 569450 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i just went to that page and it didn't exist < 1372603331 987380 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :thx hth wwod < 1372603341 809141 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: um surely you'd get a direct suggestion. i think that's overdoing it. < 1372603356 187259 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :uh < 1372603370 689668 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :have you seen the redirect pages wikipedia has < 1372603428 347407 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: well it shows up if you _search_ for knaster-tarski, anyhow. < 1372603461 177188 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: anyway read http://ncatlab.org/nlab/show/fixed+point instead < 1372603476 529375 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's p. good as nlab pages go < 1372603700 227014 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :too tired < 1372603712 777403 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION thinks he may have a cold < 1372603837 521906 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm what does the pumping lemma correspond to directly on pd automata. < 1372603886 425286 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i think a pd automaton with only output is sort of equivalent to a pd automaton that accepts only one input... < 1372603901 779360 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(well, if deterministic.) < 1372603982 406472 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in this case the accepted input is infinite, but i doubt that makes much of a difference? < 1372604111 280968 :epicmonkey!~epicmonke@188.134.41.113 QUIT :Read error: Operation timed out < 1372604127 354521 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: i think that's equivalent to asking if the language of strings of the form "2,4,...,2n" (with your chosen output representation) is context-free. < 1372604189 479613 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm pretty sure the pumping lemma disallows that. < 1372604242 707315 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in fact you don't even need to restrict it to _even_ naturals, it cannot produce the naturals themselves. < 1372604942 246080 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Now, a logic with the axiom "not P" for all formulas P would definitely be inconsistent. <-- hm is intuitionistic logic inconsistent with that? < 1372605021 652605 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if you cannot deduce P from not (not P), then it's no longer _obvious_ that you can get an inconsistency from that... < 1372605025 71349 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1372605065 430259 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :If a : not (not P) and b : not P, then a b : False. < 1372605099 641512 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh right duh < 1372605134 735708 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you need to disallow False -> P somehow. < 1372605260 594676 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Disallow ex falso quodlibet? < 1372605277 733047 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1372605324 93878 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :isn't that what paraconsistent logics do, or maybe they just don't allow you to deduce false < 1372605344 386559 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I think both are options. < 1372605361 274920 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :But I think it's more common for (P and not P) not to imply False. < 1372605389 171370 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1372605394 794454 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok < 1372605444 11637 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because if you wanted to keep the intuitionistic definition of not P = P -> False, the other option would seem better < 1372605900 152986 :hagb4rd!~perdito@koln-4d0b63cd.pool.mediaWays.net QUIT :Quit: reboot < 1372606005 367679 :longsight!~kingman@149.254.180.34 JOIN :#esoteric < 1372606267 764307 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :holy shit my electric razor short circuited < 1372606656 534647 :longsight!~kingman@149.254.180.34 QUIT :Ping timeout: 252 seconds < 1372606672 494570 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 256 seconds < 1372607140 22480 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net JOIN :#esoteric < 1372607698 45248 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1372607814 122471 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`addquote I would like to learn how to use a sword And also how to ride a unicycle Perhaps not at the same time < 1372607821 555671 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait < 1372607824 840729 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`revert < 1372607827 401946 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Done. < 1372607831 588936 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`revert < 1372607838 872526 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION confuses himself < 1372607841 88028 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :1065) I would like to learn how to use a sword And also how to ride a unicycle Perhaps not at the same time < 1372607844 41391 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Done. < 1372607854 923490 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`quote 1065 < 1372607856 349231 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :No output. < 1372607861 833706 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`revert < 1372607864 701342 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Done. < 1372607867 3768 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Taneb, how hard is it to use a sword... < 1372607874 234263 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait wtf did i actually revert < 1372607877 423215 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`quote 1065 < 1372607877 525754 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :Phantom_Hoover, not hard < 1372607878 788262 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :1065) I would like to learn how to use a sword And also how to ride a unicycle Perhaps not at the same time < 1372607881 109194 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :But well? < 1372607889 79073 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`help < 1372607889 240507 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ < 1372607893 505769 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :That is another matter entirely < 1372608028 490715 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :`? HackEgo < 1372608030 417970 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :HackEgo, also known as HackBot, is a bot that runs arbitrary commands on Unix. See `help for info on using it. You should totally try to hax0r it! Make sure you imagine it's running as root with no sandboxing. < 1372608073 332566 :Bike!~Glossina@71-222-33-125.ptld.qwest.net PRIVMSG #esoteric :has anyone ever called it HackBot < 1372608137 103308 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Gregor hth < 1372608215 179390 :Taneb!~nathan@host-92-30-175-110.as13285.net QUIT :Ping timeout: 240 seconds < 1372608247 150935 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Read error: Connection reset by peer < 1372608365 710738 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1372609473 531159 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net NICK :hagb4rd|afk < 1372609626 130322 :TeruFSX2!~TeruFSX@65-128-175-59.mpls.qwest.net QUIT :Ping timeout: 252 seconds < 1372609640 403541 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1372610763 921230 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1372610912 142489 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Read error: Operation timed out < 1372611860 466943 :longsight!~kingman@31.109.186.159 JOIN :#esoteric < 1372611884 554378 :Taneb!~nathan@host-92-30-175-110.as13285.net JOIN :#esoteric < 1372612025 33071 :Bike_!~Glossina@174-25-40-4.ptld.qwest.net JOIN :#esoteric < 1372612225 432316 :Bike!~Glossina@71-222-33-125.ptld.qwest.net QUIT :Ping timeout: 261 seconds < 1372612294 427255 :intosh!~intosh@staticline41658.toya.net.pl PART :#esoteric < 1372612555 6897 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :My computer's power button is broken < 1372612655 956731 :Bike_!~Glossina@174-25-40-4.ptld.qwest.net QUIT :Ping timeout: 256 seconds < 1372612676 591329 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :basically electronics are collapsing all over the globe hth < 1372613465 853815 :nortti!nortti@nano.smar.fi NICK :^[ < 1372613514 917210 :^[!nortti@nano.smar.fi NICK :nortti < 1372613607 504405 :nortti!nortti@nano.smar.fi NICK :[\] < 1372613619 89490 :[\]!nortti@nano.smar.fi NICK :nortti < 1372613675 472880 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi QUIT :Read error: Connection reset by peer < 1372613853 82247 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi JOIN :#esoteric < 1372613867 34498 :Bike!~Glossina@174-25-50-46.ptld.qwest.net JOIN :#esoteric < 1372613990 30564 :Bike_!~Glossina@174-25-52-42.ptld.qwest.net JOIN :#esoteric < 1372614190 50150 :Bike!~Glossina@174-25-50-46.ptld.qwest.net QUIT :Ping timeout: 276 seconds < 1372614507 961303 :olsner!~salparot@c83-252-194-156.bredband.comhem.se JOIN :#esoteric < 1372615009 30504 :Bike_!~Glossina@174-25-52-42.ptld.qwest.net QUIT :Ping timeout: 276 seconds < 1372615099 269843 :Bike!~Glossina@174-25-58-104.ptld.qwest.net JOIN :#esoteric < 1372615481 624826 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I can't seem to force myself to give myself over to Feedly < 1372615554 626129 :longsight!~kingman@31.109.186.159 PART :#esoteric < 1372615571 582204 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :is this a sex thing < 1372615575 691209 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :be honest < 1372615852 899798 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net QUIT :Read error: Operation timed out < 1372615965 17008 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1372615982 229142 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Ok, so power button _sometimes_ works < 1372615990 296270 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Depending on how I jiggle it I think < 1372616016 462409 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Yes, my computer is that physically broken that the power button is somewhat mobile < 1372616485 525484 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :hint: buttons usually move when you press them < 1372617143 616193 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Is there any technical reason it wouldn't be possible to waterproof a USB port? < 1372617271 569624 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :maybe it's because most usb peripherals aren't waterproof, so there wouldn't be much of a point < 1372617307 616900 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :There would still be a point though: More room for user error, so if the USB cover is accidentally left open, it's not a big deal < 1372617480 111547 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1372617682 296712 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Sgeo, what do you... what does that even < 1372617706 219772 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :sure, just enclose it in a watertight housing < 1372617707 146898 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Are you talking about the power button or waterproof USB ports? < 1372617730 9904 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :With the "what does that ever" < 1372617732 994663 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :even < 1372617733 928921 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :dammit < 1372617751 788471 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :but that'd be a probably-needless expense < 1372618039 481119 :Taneb!~nathan@host-92-30-175-110.as13285.net QUIT :Ping timeout: 264 seconds < 1372618412 714521 :MindlessDrone!~MindlessD@141.70.114.6 QUIT :Quit: MindlessDrone < 1372618941 41928 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1372619143 957764 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric : so I'm watching this espionnage show and they're always like "rendez-vous at the swimming-pool, this way I'll be sure you're not carrying a listening device" < 1372619169 258354 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I'm waiting for any one of them to realize they could just enclose it in a plastic bag and tadaaaaa water-proof < 1372619172 38215 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :reminds me of the simpsons < 1372619207 717923 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :it may be water-proof, but is it anal-proof? < 1372619216 968455 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :what does that even < 1372619246 79974 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i believe the main idea is that you don't wear much clothes at the pool < 1372619255 795179 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :having a hard time hiding equipment < 1372619262 435154 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :besides, well... inside yourself < 1372619271 189600 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oh < 1372619272 426851 :Taneb!~nathan@host-92-30-175-110.as13285.net JOIN :#esoteric < 1372619277 746144 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :normal swimming trunks have plenty of space to hide a bug < 1372619304 732257 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :well he explained it several time as "even if you managed to hide a device in your bathing suit, the water would shortcircuit it" < 1372619338 563750 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :and although the camera keep wandering around all the women in bikini, the men are wearing large swimming trunks as alsner said < 1372619341 837861 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :olsner sorry* < 1372619354 390353 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :another question is: if it is water-proof, will it still work? < 1372619360 88100 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :yeah, would a waterproof bug pick up the above-water sound properly? < 1372619375 594278 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :can you still record stuff inside a water-proof bag? < 1372619383 628074 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :well it doesn't have to stay underwater it just has to resist getting wet < 1372619424 842240 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :and yeah if it's a thin layer of plastic you should be alright < 1372619461 6750 :hagb4rd|afk!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :a condom works pretty well..no joke < 1372619478 939647 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :you should be a spy < 1372619482 1710 :hagb4rd|afk!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :used that on a mike under water < 1372619488 185394 :hagb4rd|afk!~perdito@koln-4db431f0.pool.mediaWays.net NICK :hagb4rd < 1372619490 529258 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oh you're already a spy! < 1372619504 624632 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :spypig M < 1372619508 913909 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :oinki oink < 1372619539 104448 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :btw what the heck are ya talking about5 < 1372619557 254241 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :bugs in swimming pools < 1372619562 428087 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :is taneb still not james bondß < 1372619569 301297 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :aw < 1372619570 597448 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :ok < 1372619636 260144 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hagb4rd: do condoms work with usb ports? < 1372619647 23378 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :shit i was just typing that < 1372619656 572269 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric ::-) < 1372619667 384725 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :it's worth a try < 1372619709 84290 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :why would you fuck a usb port? < 1372619785 675728 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i mean, it can't be THAT small, can it? < 1372619801 196595 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :tight usb port < 1372619811 231252 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :fresh and nasty usb < 1372619818 431737 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :yummy < 1372619852 603405 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :that's stupid < 1372619873 738617 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :let's talk about sth else < 1372619881 59565 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :esoteric languages or sth < 1372619906 553649 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :what is your favourite esolang sgeo? < 1372619977 119084 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :or koen or myname or whoever reads this < 1372619993 461921 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :mine is still befunge < 1372620012 988525 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I have to pick a favourite esolang?! < 1372620017 524917 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :u can < 1372620017 667664 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :nobody warned me < 1372620021 672848 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I don't have a favorite esolang. I do have a favorite esolang-related project: PSOX. < 1372620035 868899 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(Note: PSOX not necessarily actually favorite esolang-related project) < 1372620035 916629 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what's this? < 1372620044 656593 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I guess I like those which are very original, like /// or Thue < 1372620056 634141 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :well "string-replacement" is more accurate than "original" < 1372620066 69379 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :I like the graph one... is that eodermdrome? < 1372620079 410424 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :ah, that < 1372620081 978763 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I would probably like eoderdrome if I had ever took time to understand it < 1372620111 512668 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :@google site:esoolang.org PSOX < 1372620112 87444 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :No Result Found. < 1372620119 208260 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :@google site:esolang.org PSOX < 1372620119 774304 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :No Result Found. < 1372620124 938963 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :fuck u lambda < 1372620125 736327 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :esolangs < 1372620128 372869 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :@google site:esolangs.org PSOX < 1372620128 871164 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :http://esolangs.org/wiki/PSOX < 1372620128 976911 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Title: PSOX - Esolang < 1372620135 474948 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :thx < 1372620136 873676 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :string rewriting is nice because you can find it in the wild so often < 1372620164 927367 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :why do I have a picture of sunflowers in my head < 1372620202 963199 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :olsner: is that a joke or do you have examples? < 1372620250 916590 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :e.g. sed (though it's quite overtly doing string rewriting, so I'm not sure it counts), mod_rewrite, sendmail < 1372620333 608075 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :no sunflowers eh < 1372620342 719628 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :you and I don't have the same definition of the wild < 1372620372 103431 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :indeed, wild animals hardly ever use sendmail, in favor of SMS < 1372620410 863978 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :spoken poetry < 1372620455 993647 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :in that kind of wild I guess you see cellular automata more (which might actually be the same thing if you think about it right) < 1372620508 117700 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :what was the name of the esolang which interpretes midi files again < 1372620515 101252 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :flute < 1372620515 926857 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :no < 1372620524 753919 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :there are at list two < 1372620529 636297 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oh wow < 1372620531 214622 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :well? < 1372620533 533728 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :there are at least two < 1372620542 293900 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :.. < 1372620548 896187 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :... < 1372620563 651984 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :how are they named? < 1372620566 423698 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :but you could make a list with two items < 1372620577 326757 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :oh you're not talking to me < 1372620582 281076 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :Fugue was one < 1372620583 801735 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :prelude and fugue < 1372620587 63826 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :fugue! < 1372620589 227858 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :right < 1372620594 973219 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :like, you know, the musical form. < 1372620599 670802 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :that one is quite embarrassing < 1372620609 507148 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :yea, i forgot < 1372620616 484098 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :that word < 1372620631 575439 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :http://esolangs.org/w/index.php?search=music < 1372620638 406621 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :apparently Choon produces music as output < 1372620697 913853 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :and it really sounds not bad < 1372620827 735052 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :i looked up embarrassing and its totally not the expected meaning.. wow < 1372620835 818109 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :erm i mean it's awesome < 1372620839 912249 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :let's have awesome < 1372620860 939534 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :plain old awesome languagew < 1372621437 991047 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :A text adventure game on a thirty-column display seems to be limited. < 1372621526 253729 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :what display has 30 columns? < 1372621547 435197 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :a phone? < 1372621570 72024 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :If you take overscan into account so that the leftmost and rightmost columns are not used, then the Famicom will have only thirty columns available. < 1372621675 614551 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :zzo is programming his washing-machine again < 1372621770 676927 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :maybe it's a chinese text adventure.. they don't neeed much space, also they often write top-down (vertical)? < 1372621773 925743 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :If a font is used which is good in all uppercase, that can simplify the text decoding. < 1372621834 702798 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :No, it isn't a Chinese text adventure. < 1372621841 30130 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :okay.. < 1372621913 921089 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(I don't really think Chinese (or any other language that cannot be written with ZSCII) is really suitable for text adventure games, as far as I can tell.) < 1372621937 545649 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :sry, i somehow missed the kickoff infos < 1372621947 993386 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :zscii is the universal standard of gaming, after all < 1372621949 535154 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :just go agead < 1372621956 949793 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :ACTION shuts up < 1372621992 957230 :epicmonkey!~epicmonke@188.134.41.113 JOIN :#esoteric < 1372622009 107755 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :@google zscii < 1372622011 39356 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :http://inform-fiction.org/zmachine/standards/z1point0/sect03.html < 1372622011 60570 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Title: The Z-Machine Standards Document < 1372622024 807540 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Bike: No, not really; this has nothing to do with ZSCII in particular, I just mean that they are what is available in the ZSCII character set, not that it necessarily has to do anything with ZSCII. < 1372622256 484823 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric ::( is my Esc key seriously broken? ugh < 1372622342 285596 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :How do I know? < 1372622369 148712 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :Sgeo: yes, I went into your home and broke it < 1372622375 719930 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :is that your phone again sgeo? < 1372622402 605426 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :otherwise remap to ..erm..caps lock ..or scrolllock < 1372622423 957051 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :and get a washable keyboard < 1372622632 485164 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :i promised myself to buy a washable one next time < 1372622701 864364 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1372622796 48883 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I almost got "Aimfiz" Z-machine interpreter working, except text styles. < 1372622798 953533 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Quit: zzo38 < 1372623202 471863 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :hagb4rd, no, the laptop I'm using now < 1372623889 551807 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`slist < 1372623891 895471 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :slist: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot < 1372624031 178460 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1372624217 934023 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 246 seconds < 1372624402 415437 :ion!ion@heh.fi PRIVMSG #esoteric :wtf http://www.wekkars.com/ < 1372624539 763677 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :brilliant < 1372624541 717021 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :haha. < 1372624666 970143 :Gracenotes_!~person@wikipedia/Gracenotes JOIN :#esoteric < 1372626195 943242 :epicmonkey!~epicmonke@188.134.41.113 QUIT :Ping timeout: 260 seconds < 1372626907 754166 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1372627055 34956 :sebbu2!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 246 seconds < 1372629798 271457 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: does stuff matter? < 1372630019 13131 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1372630023 792291 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: please apply your frying pan to yourself < 1372630113 619305 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :In case you don't have a frying pan handy, here's one you can use: ⊸ < 1372630121 555666 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Unfortunately, it's very small. < 1372630219 575863 :Nisstyre-laptop!~yours@oftn/member/Nisstyre NICK :Nisstyre < 1372630346 195429 :nooodl!~nooodl@91.176.137.227 QUIT :Ping timeout: 240 seconds < 1372630585 952625 :nooodl!~nooodl@91.177.94.217 JOIN :#esoteric < 1372631060 874858 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :okay ⊸ < 1372631071 501124 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why does it look like a square tdnh