< 1302134445 146699 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net PRIVMSG #esoteric :Smalltalk at: #One put: 1. < 1302134940 135090 :augur!~augur@129.2.129.32 JOIN :#esoteric < 1302135039 171662 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net PRIVMSG #esoteric :Smalltalk globals keysAndValuesDo: [:key :value | < 1302135039 434175 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net PRIVMSG #esoteric : (value class class = Metaclass) ifFalse: [ < 1302135039 584595 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net PRIVMSG #esoteric : Transcript cr. < 1302135039 584750 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net PRIVMSG #esoteric : Transcript show: key]] < 1302135054 650278 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net PRIVMSG #esoteric :May have some false positives < 1302135269 635703 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :In my image, there are 16. < 1302135312 652616 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net PRIVMSG #esoteric :I seem to have many more than 16 < 1302135326 233332 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :Some of them are traits. < 1302135329 463668 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :Which are like classes. < 1302135335 2597 :sftp!~sftp@79.174.49.11 QUIT :Remote host closed the connection < 1302135338 807052 :sftp_!~sftp@79.174.49.11 JOIN :#esoteric < 1302135354 590555 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net PRIVMSG #esoteric :Ooh < 1302135370 615148 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :Optimist, Sensor, SystemOrganization, World, Display, ActiveEvent, TextConstants, Smalltalk, Processor, ScheduledControllers, Transcript, SourceFiles, ActiveHand, ActiveWorld, Undeclared, ImageImports. < 1302135382 199548 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net PRIVMSG #esoteric :ActiveWorld! < 1302135388 307596 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric ::P < 1302135403 806286 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net PRIVMSG #esoteric :I don't have Optimist < 1302135412 314817 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :Optimist is strange. It's a True. < 1302135433 902004 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :In fact, it's true. < 1302135460 965055 :fungot!~fungot@momus.zem.fi QUIT :Read error: Operation timed out < 1302135526 517570 :fizzie!fis@iris.zem.fi QUIT :Ping timeout: 248 seconds < 1302135688 116720 :fizzie!~fis@iris.zem.fi JOIN :#esoteric < 1302136515 469 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric : ActiveWorld! <-- different one I suspect < 1302136554 907529 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric : Optimist is strange. It's a True. <-- Pessimist should be False then? < 1302136670 65579 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :It should be, but it isn't. < 1302137834 246848 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net PRIVMSG #esoteric :So, what uses Optimist? < 1302137839 107589 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net PRIVMSG #esoteric :Is it possible to determine? < 1302138553 379009 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :Hm, let me see. < 1302138614 253687 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :I don't know of any way to determine that. You could look through all of the code in the system and see if it uses Optimist. < 1302138643 442686 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :Or you could replace Optimist with an object that pretends to be true but logs all its accesses. < 1302138668 453572 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :tvvl: bot < 1302138668 654896 :tswettbot-boxed!~tswettbot@c-71-205-204-35.hsd1.mi.comcast.net PRIVMSG #esoteric :nil < 1302138688 824002 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net PRIVMSG #esoteric :tvvl: Smalltalk globals remove: #Smalltalk < 1302138697 523756 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net PRIVMSG #esoteric :>.> < 1302138707 317678 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :No worries, this bot is supposed to be abused. < 1302138710 194846 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net PRIVMSG #esoteric :I'm sure I had something more creative in mind < 1302138713 655563 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :It's not *made* to be abused, but it's supposed to be. :P < 1302138716 899873 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net PRIVMSG #esoteric :tvvl: bot < 1302138733 668396 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :It looks like that expression is simply an error. < 1302138742 85861 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :The image is still working perfectly. < 1302138765 443194 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :I suggest "Smalltalk globals at: #Smalltalk put: nil". < 1302138767 363600 :tswettbot-boxed-!~tswettbot@c-71-205-204-35.hsd1.mi.comcast.net JOIN :#esoteric < 1302138781 946711 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :I'll see what that does. < 1302138783 757746 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :tvvl: Smalltalk globals at: #Smalltalk put: nil < 1302138784 22672 :tswettbot-boxed-!~tswettbot@c-71-205-204-35.hsd1.mi.comcast.net PRIVMSG #esoteric :nil < 1302138792 82237 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :tvvl: Smalltalk < 1302138792 774834 :tswettbot-boxed!~tswettbot@c-71-205-204-35.hsd1.mi.comcast.net QUIT :Remote host closed the connection < 1302138808 858963 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :There. *Now* the image has crashed. < 1302138846 998254 :tswettbot-boxed-!~tswettbot@c-71-205-204-35.hsd1.mi.comcast.net QUIT :Remote host closed the connection < 1302138900 129704 :tswettbot-boxed!~tswettbot@c-71-205-204-35.hsd1.mi.comcast.net JOIN :#esoteric < 1302138901 942068 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :Feel free to repair the bot through IRC. :P < 1302138917 950824 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :You just need to fix a certain method. < 1302138970 510979 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :tvvl: (ZbasuDefaultHandler methodDictionary at: #bot:heard:) methodSourceString < 1302138982 468680 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :Oh, that's not how that works. < 1302138987 631794 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :I dismiss you, tswettbot. < 1302138990 266713 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :
ACTION shrugs.
< 1302138995 721386 :tswettbot-boxed!~tswettbot@c-71-205-204-35.hsd1.mi.comcast.net QUIT :Remote host closed the connection < 1302139011 752674 :tswettbot-boxed-!~tswettbot@c-71-205-204-35.hsd1.mi.comcast.net JOIN :#esoteric < 1302139028 742943 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :tvvl: (ZbasuDefaultHandler methodDictionary at: #bot:heard:) getSource < 1302139029 6495 :tswettbot-boxed-!~tswettbot@c-71-205-204-35.hsd1.mi.comcast.net PRIVMSG #esoteric :bot: t1 heard: t2 < 1302139047 468186 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :Of course it sends every line of that as a separate IRC command. < 1302139071 474471 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net PRIVMSG #esoteric :Zbasu? < 1302139077 573679 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net PRIVMSG #esoteric :
ACTION is confused
< 1302139080 860962 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :Yep, that's the name of the project. < 1302139198 363678 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :tvvl: (ZbasuDefaultHandler methodDictionary at: #bot:heard:) getSource withBlanksCondensed < 1302139198 766086 :tswettbot-boxed-!~tswettbot@c-71-205-204-35.hsd1.mi.comcast.net PRIVMSG #esoteric :bot: t1 heard: t2 | t3 t4 | < 1302139212 52213 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :Not much help. < 1302139378 375991 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :tvvl: (ZbasuDefaultHandler methodDictionary at: #bot:heard:) getSource onlyLetters < 1302139378 659718 :tswettbot-boxed-!~tswettbot@c-71-205-204-35.hsd1.mi.comcast.net PRIVMSG #esoteric :bottheardtttTranscriptshowRCVDtcrtbeginsWithPINGifTruetsendMessagePONGtincludesSubStringIdismissyoutswettbotifTruetquitttvvlttfindStringttifFalsetsendMessagePRIVMSGesotericCompilerevaluatetallButFirsttsizetnotifyingnilloggedfalseasString < 1302139382 364347 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric ::P < 1302139499 930534 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :tvvl: (ZbasuDefaultHandler methodDictionary at: #bot:heard:) getSource select: [:x | x ~= Character cr and: [x ~= Character lf]] < 1302139500 238503 :tswettbot-boxed-!~tswettbot@c-71-205-204-35.hsd1.mi.comcast.net PRIVMSG #esoteric :bot: t1 heard: t2 | t3 t4 | Transcript show: 'RCVD: ' , t2; cr. (t2 beginsWith: 'PING') ifTrue: [t1 sendMessage: 'PONG']. (t2 includesSubString: 'I dismiss you, tswettbot') ifTrue: [t1 quit]. t3 := 'tvvl: '. t4 := t2 findString: t3. t4 = 0 ifFalse: [t1 sendMessage: 'PRIVMSG #esoteric :' , (Compiler evaluate: (t2 allButFirst: t3 size + t4 - 1) notifying: nil logged: false) asString] < 1302139655 518652 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :tvvl: (ZbasuDefaultHandler methodDictionary at: #bot:heard:) getSource select: [:x | ({Character cr. Character lf. Character tab} includes: x) not] < 1302139655 817301 :tswettbot-boxed-!~tswettbot@c-71-205-204-35.hsd1.mi.comcast.net PRIVMSG #esoteric :bot: t1 heard: t2 | t3 t4 |Transcript show: 'RCVD: ' , t2; cr.(t2 beginsWith: 'PING')ifTrue: [t1 sendMessage: 'PONG'].(t2 includesSubString: 'I dismiss you, tswettbot')ifTrue: [t1 quit].t3 := 'tvvl: '.t4 := t2 findString: t3.t4 = 0ifFalse: [t1 sendMessage: 'PRIVMSG #esoteric :' , (Compilerevaluate: (t2 allButFirst: t3 size + t4 - 1)notifying: nillogged: false) asString] < 1302139664 915727 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :There, there's your source code. :P < 1302139706 947953 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :Oh, interesting. All the argument names are absent. < 1302139753 860903 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :All the argument names in the entire image. And there are no comments. < 1302139764 407605 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :I'm guessing that's supposed to happen when the sources file can't be found. < 1302140272 483407 :lament!~lament@S0106002312fa554a.vc.shawcable.net JOIN :#esoteric < 1302140609 950343 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :eir < 1302141133 473935 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :coppro: I know, i know. < 1302141137 112220 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :s/i/I/ < 1302141786 496547 :augur!~augur@129.2.129.32 QUIT :*.net *.split < 1302141786 496627 :Zuu!zuu@unaffiliated/zuu QUIT :*.net *.split < 1302141786 496784 :variable!~variable@unaffiliated/variable QUIT :*.net *.split < 1302141786 496859 :Ilari!~user@2002:5870:3714::1 QUIT :*.net *.split < 1302141786 496937 :Ilari_antrcomp!~user@2002:5870:3714:0:20e:a6ff:fe6f:2288 QUIT :*.net *.split < 1302141786 497014 :tswettbot-boxed-!~tswettbot@c-71-205-204-35.hsd1.mi.comcast.net QUIT :*.net *.split < 1302141786 497090 :fizzie!~fis@iris.zem.fi QUIT :*.net *.split < 1302141786 497166 :R-Type!~R-Type@173-9-215-173-Illinois.hfc.comcastbusiness.net QUIT :*.net *.split < 1302141786 497605 :jix!jix@tomakin.h-ix.net QUIT :*.net *.split < 1302141786 497907 :Slereah!x@ANantes-259-1-138-216.w92-139.abo.wanadoo.fr QUIT :*.net *.split < 1302141786 498056 :aloril!~aloril@84.249.126.153 QUIT :*.net *.split < 1302141786 498131 :bsmntbombdood!~gavin@c-24-9-98-117.hsd1.co.comcast.net QUIT :*.net *.split < 1302141786 498207 :Zwaarddijk!miekko@infa.abo.fi QUIT :*.net *.split < 1302141786 498282 :dbc!~daniel@130-94-161-238-dsl.hevanet.com QUIT :*.net *.split < 1302141786 498356 :comex!comex@c-67-188-10-190.hsd1.ca.comcast.net QUIT :*.net *.split < 1302141786 498508 :marchdown!~marchdown@46.138.173.90 QUIT :*.net *.split < 1302141786 498582 :coppro!~scshunt@denardo.csclub.uwaterloo.ca QUIT :*.net *.split < 1302141786 499069 :nooga_!nooga@jasminek.net QUIT :*.net *.split < 1302141786 499145 :olsner!~salparot@c83-252-161-133.bredband.comhem.se QUIT :*.net *.split < 1302141786 499219 :yiyus!1242712427@je.je.je QUIT :*.net *.split < 1302141786 499294 :sebbu2!~sebbu@unaffiliated/sebbu QUIT :*.net *.split < 1302141786 499440 :z^ck!~zack@olol.eu QUIT :*.net *.split < 1302141786 499665 :lifthras1ir!~lifthrasi@61.251.165.38 QUIT :*.net *.split < 1302141786 499890 :sftp_!~sftp@79.174.49.11 QUIT :*.net *.split < 1302141786 647734 :wareya_!~wareya@cpe-74-70-142-220.nycap.res.rr.com QUIT :*.net *.split < 1302141786 648101 :Wamanuz4!~Wamanuz@78-69-168-43-no84.tbcn.telia.com QUIT :*.net *.split < 1302141786 648253 :jcp!alex@bzflag/contributor/javawizard2539 QUIT :*.net *.split < 1302141786 648481 :EgoBot!Gregor@codu.org QUIT :*.net *.split < 1302141786 648632 :lambdabot!~lambdabot@74.207.243.105 QUIT :*.net *.split < 1302141786 648708 :Gregor!Gregor@codu.org QUIT :*.net *.split < 1302141786 648858 :clog!nef@bespin.org QUIT :*.net *.split < 1302141786 648934 :Deewiant!~deewiant@cs186230.pp.htv.fi QUIT :*.net *.split < 1302141786 649437 :lament!~lament@S0106002312fa554a.vc.shawcable.net QUIT :*.net *.split < 1302141786 649740 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :*.net *.split < 1302141786 649890 :Lymia!~moe@unaffiliated/cirno-chan QUIT :*.net *.split < 1302141786 650117 :tswett!~Warrigal@thay.Stanford.EDU QUIT :*.net *.split < 1302141786 650192 :Vorpal!~AnMaster@unaffiliated/anmaster QUIT :*.net *.split < 1302141786 650416 :pingveno!~pingveno@c-98-246-133-8.hsd1.or.comcast.net QUIT :*.net *.split < 1302141786 650640 :HackEgo!~HackEgo@codu.org QUIT :*.net *.split < 1302141786 650844 :yorick!~yorick@unaffiliated/yorick QUIT :*.net *.split < 1302141786 651231 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :*.net *.split < 1302141786 651460 :shachaf!~shachaf@208.69.183.87 QUIT :*.net *.split < 1302141786 651535 :oklopol!~oklopol@dyn58-429.yok.fi QUIT :*.net *.split < 1302141786 651612 :ineiros!~itniemin@james.ics.hut.fi QUIT :*.net *.split < 1302141786 652134 :SimonRC!~sc@fof.durge.org QUIT :*.net *.split < 1302141786 652283 :mtve!~mtve@65.98.99.53 QUIT :*.net *.split < 1302141786 652508 :cheater00!~cheater@g228060015.adsl.alicedsl.de QUIT :*.net *.split < 1302141786 652582 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net QUIT :*.net *.split < 1302141786 652730 :Mannerisky!~mannerisk@71-38-40-244.frgo.qwest.net QUIT :*.net *.split < 1302141786 652878 :quintopia!~quintopia@unaffiliated/quintopia QUIT :*.net *.split < 1302141786 652977 :nottwo!~trannie@nottwo.org QUIT :*.net *.split < 1302141786 653126 :enki-[quit]!~john@c-24-63-206-22.hsd1.ct.comcast.net QUIT :*.net *.split < 1302141816 668134 :glogbackup!~glogbacku@64.31.59.246 JOIN :#esoteric < 1302141816 668218 :Katovatzschyn!~force@173-230-166-40.cable.teksavvy.com JOIN :#esoteric < 1302141816 668294 :lament!~lament@S0106002312fa554a.vc.shawcable.net JOIN :#esoteric < 1302141816 668369 :tswettbot-boxed-!~tswettbot@c-71-205-204-35.hsd1.mi.comcast.net JOIN :#esoteric < 1302141816 668444 :fizzie!~fis@iris.zem.fi JOIN :#esoteric < 1302141816 668519 :sftp_!~sftp@79.174.49.11 JOIN :#esoteric < 1302141816 668593 :augur!~augur@129.2.129.32 JOIN :#esoteric < 1302141816 668667 :cheater00!~cheater@g228060015.adsl.alicedsl.de JOIN :#esoteric < 1302141816 668743 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net JOIN :#esoteric < 1302141816 668817 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1302141816 668889 :R-Type!~R-Type@173-9-215-173-Illinois.hfc.comcastbusiness.net JOIN :#esoteric < 1302141816 668963 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1302141816 669082 :enki-[quit]!~john@c-24-63-206-22.hsd1.ct.comcast.net JOIN :#esoteric < 1302141816 669159 :marchdown!~marchdown@46.138.173.90 JOIN :#esoteric < 1302141816 669234 :wareya_!~wareya@cpe-74-70-142-220.nycap.res.rr.com JOIN :#esoteric < 1302141816 669309 :Zuu!zuu@unaffiliated/zuu JOIN :#esoteric < 1302141816 669388 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1302141816 669463 :Lymia!~moe@unaffiliated/cirno-chan JOIN :#esoteric < 1302141816 669538 :coppro!~scshunt@denardo.csclub.uwaterloo.ca JOIN :#esoteric < 1302141816 669612 :z^ck!~zack@olol.eu JOIN :#esoteric < 1302141816 669685 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1302141816 669758 :nottwo!~trannie@nottwo.org JOIN :#esoteric < 1302141816 669832 :jix!jix@tomakin.h-ix.net JOIN :#esoteric < 1302141816 669906 :EgoBot!Gregor@codu.org JOIN :#esoteric < 1302141816 702841 :variable!~variable@unaffiliated/variable JOIN :#esoteric < 1302141816 702967 :tswett!~Warrigal@thay.Stanford.EDU JOIN :#esoteric < 1302141816 703043 :Ilari!~user@2002:5870:3714::1 JOIN :#esoteric < 1302141816 703123 :Ilari_antrcomp!~user@2002:5870:3714:0:20e:a6ff:fe6f:2288 JOIN :#esoteric < 1302141816 703198 :Vorpal!~AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1302141816 703275 :nooga_!nooga@jasminek.net JOIN :#esoteric < 1302141816 703352 :SimonRC!~sc@fof.durge.org JOIN :#esoteric < 1302141816 703427 :lifthras1ir!~lifthrasi@61.251.165.38 JOIN :#esoteric < 1302141816 703502 :olsner!~salparot@c83-252-161-133.bredband.comhem.se JOIN :#esoteric < 1302141816 703577 :yiyus!1242712427@je.je.je JOIN :#esoteric < 1302141816 703651 :Wamanuz4!~Wamanuz@78-69-168-43-no84.tbcn.telia.com JOIN :#esoteric < 1302141816 703725 :lambdabot!~lambdabot@74.207.243.105 JOIN :#esoteric < 1302141816 703800 :Gregor!Gregor@codu.org JOIN :#esoteric < 1302141816 703873 :shachaf!~shachaf@208.69.183.87 JOIN :#esoteric < 1302141816 703948 :clog!nef@bespin.org JOIN :#esoteric < 1302141816 704023 :Deewiant!~deewiant@cs186230.pp.htv.fi JOIN :#esoteric < 1302141816 704098 :jcp!alex@bzflag/contributor/javawizard2539 JOIN :#esoteric < 1302141816 704171 :mtve!~mtve@65.98.99.53 JOIN :#esoteric < 1302141816 704244 :pingveno!~pingveno@c-98-246-133-8.hsd1.or.comcast.net JOIN :#esoteric < 1302141816 704317 :oklopol!~oklopol@dyn58-429.yok.fi JOIN :#esoteric < 1302141816 704392 :ineiros!~itniemin@james.ics.hut.fi JOIN :#esoteric < 1302141816 704465 :HackEgo!~HackEgo@codu.org JOIN :#esoteric < 1302141816 704538 :yorick!~yorick@unaffiliated/yorick JOIN :#esoteric < 1302141820 854054 :glogbackup!~glogbacku@64.31.59.246 PART :#esoteric < 1302141837 466677 :rodgort`!~rodgort@li125-242.members.linode.com QUIT :Ping timeout: 240 seconds < 1302141846 667831 :comex!comex@c-67-188-10-190.hsd1.ca.comcast.net JOIN :#esoteric < 1302141849 1140 :Slereah!x@ANantes-259-1-138-216.w92-139.abo.wanadoo.fr JOIN :#esoteric < 1302141849 151619 :aloril!~aloril@84.249.126.153 JOIN :#esoteric < 1302141849 151757 :bsmntbombdood!~gavin@c-24-9-98-117.hsd1.co.comcast.net JOIN :#esoteric < 1302141849 151834 :Zwaarddijk!miekko@infa.abo.fi JOIN :#esoteric < 1302141849 151911 :dbc!~daniel@130-94-161-238-dsl.hevanet.com JOIN :#esoteric < 1302141859 381688 :Katovatzschyn!~force@173-230-166-40.cable.teksavvy.com QUIT :Remote host closed the connection < 1302141870 360733 :augur!~augur@129.2.129.32 QUIT :Remote host closed the connection < 1302142160 474320 :rodgort!~rodgort@li125-242.members.linode.com JOIN :#esoteric < 1302142241 461548 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Quit: Leaving. < 1302142320 574424 :tswettbot-boxed-!~tswettbot@c-71-205-204-35.hsd1.mi.comcast.net QUIT :Read error: Operation timed out < 1302142957 329444 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :Ping timeout: 246 seconds < 1302142997 493984 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1302143253 595865 :augur!~augur@208.58.6.161 JOIN :#esoteric < 1302144205 149503 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :augur: you always join but never leave, how is that possible < 1302144215 746593 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :lolwut < 1302144584 559726 :lament!~lament@S0106002312fa554a.vc.shawcable.net QUIT :Ping timeout: 248 seconds < 1302144674 490612 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :augur: i've just never noticed you leave < 1302144684 638041 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :you're not paying attention then! < 1302144686 575871 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :yay complexity theory has been discussed here < 1302144711 963792 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :oh i thought you had done some sorta magix < 1302144757 197878 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :if there are sparse NP-complete sets with respect to many-to-one reductions, then P=NP, same for sparse coNP-complete sets < 1302144802 77594 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :sparse = for some polynomial p there are at most p(n) words of length n in the language < 1302144896 691045 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :oklopol: even worse, if there's unary languages that are NP-complete, P=NP < 1302144916 664470 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :Zwaarddijk: i'm actually just now writing the proof of that < 1302144936 497557 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :cool < 1302144942 295360 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :care to share it once it's done? < 1302144973 550072 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :easy one: if there's a tally set (subset of 1^*) that's NP-complete, then P=NP: take an SAT instance, and one var at a time branch to both the true and the false case, now just note the set of formulas you get never gets exponential because you can prune out two formulas if they have the same image in the tally set < 1302144985 414059 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :yes i was writing it for your pleasure < 1302144996 150321 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :but that was kinda simplified < 1302145003 625813 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :i'll be happy to get into the details ofc < 1302145076 912445 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :you need an SAT encoding where setting a value to true or false doesn't increase its length < 1302145100 581727 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :ahm < 1302145102 294417 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :then let p be a polynomial such that the reduction from SAT to the tally set takes time at most p < 1302145145 151046 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :and note that if the SAT instance has size n, then the images of all formulas you get when branching are at most size p(n) < 1302145193 622798 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :and in fact there are at most p(n) formulas you need to keep track of, because for all formulas, you can remove them if they don't have an image in 1^*, and if they do have an image in 1^*, it's at most length p(n), and for each length, you store just one formula < 1302145229 644128 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :that should be the key points < 1302145249 844777 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :is it followable? < 1302145260 209658 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :kind of a random list of facts < 1302145293 100915 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :hm, yeah I get the gist of it < 1302145305 967167 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :I was thinking, btw, how would a language like < 1302145339 472698 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :1^(R(x,y), x and y being any integer, and R() being the Ramsey numbers < 1302145342 59096 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :be classed? < 1302145365 959271 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :R(x,y) is very difficult to compute, but is that even relevant to the language itself? < 1302145413 454582 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :i'm sure no one knows a fast algorithm for that because R(5,5) is open < 1302145420 619538 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :exactly < 1302145422 593391 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :it's 43-49 iirc < 1302145427 206407 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :does this mean that language is difficult < 1302145430 752369 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :oklopol: ever played with agda? < 1302145433 740618 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :too? < 1302145493 364106 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :Zwaarddijk: even though tally sets cannot be NP-complete, they can be exponential time or even uncomputable < 1302145505 59424 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :oh wait < 1302145516 128636 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :we don't know ... < 1302145516 391863 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :there was something about NP-hardness < 1302145529 284303 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :oh well we certainly know they can be uncomputable < 1302145536 214252 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :that's trivial < 1302145552 607941 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :well, the NP-completeness is unknown, that was my point < 1302145567 177094 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :erm okay it seems that < 1302145578 598763 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :does P=NP => NP-complete tally sets, or is it just NP-complete tally sets => P=NP? < 1302145595 448378 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :if P=NP, then {1} is MP-complete < 1302145645 368060 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :but my ct books says tally sets cannot be even bounded truth table hard for NP < 1302145663 485714 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :i guess that's essentially the same thing < 1302145685 926756 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :erm < 1302145688 679353 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :when I read the thing about tally sets first < 1302145695 386675 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :I figured that's pretty much proof that P!=NP < 1302145726 278525 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :or maybe at least the closest we have? < 1302145744 427864 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :erm the reason i gave the proof is that it's a simple little thingie < 1302145765 380904 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :sparse NP-complete => P=NP is much more interesting < 1302145797 650445 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :yeah, I figured that much < 1302145829 839709 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :and i don't understand it. i have understood the details separately, once upon a time, but i'm not sure i ever really got what the idea was < 1302145863 742404 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :sparse coNP-complete => P=NP is essentially the same as that tally set proof, but i don't recall how it goes, similar pruning thing < 1302145866 618312 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :augur: no < 1302145877 850717 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :oklopol: you should < 1302145878 673299 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :its fun < 1302145889 746271 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :i'm sure it is < 1302145928 155941 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :but umm, i should go to work < 1302145958 201320 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :I have recently realized I should learn javascript :| < 1302146192 647367 :Gregor!Gregor@codu.org PRIVMSG #esoteric :Muahahahaha < 1302146308 809008 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric ::| < 1302146316 293663 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :yes, it is a terrible thing to realize < 1302146626 884460 :Gregor!Gregor@codu.org PRIVMSG #esoteric :http://sss.cs.purdue.edu/projects/dynjs/javascript_the_evil_parts.png <-- recommended book to learn from < 1302146760 684061 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :got it already! < 1302146786 785475 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :(not really) < 1302146986 97190 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :oklopol: you do math, right? < 1302146989 163924 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :Gregor! < 1302147041 275858 :Gregor!Gregor@codu.org PRIVMSG #esoteric :augur: I don't do math :P < 1302147046 940406 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :not you < 1302147051 18959 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :im just saying hi to you < 1302147061 990836 :Gregor!Gregor@codu.org PRIVMSG #esoteric :No, you're saying "Gregor!" to me. < 1302147067 598149 :Gregor!Gregor@codu.org PRIVMSG #esoteric :Durpadoopadlip < 1302147080 720568 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :Quit: Computer has gone to sleep. < 1302147081 969379 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :augur: yes < 1302147112 369044 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :Gregor: yes, thats a way of saying hi < 1302147116 949885 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :oklopol: well, you can do math in agda! < 1302147124 298379 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :i can but umm. < 1302147124 557836 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :for instance, im doing abstract algebra right now! < 1302147131 390979 :Gregor!Gregor@codu.org PRIVMSG #esoteric :You can do math in JavaScript too X-P < 1302147136 998004 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :Gregor: i mean proofs < 1302147137 590316 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :what's abstract algebra, is it universal algebra? < 1302147147 479625 :Gregor!Gregor@codu.org PRIVMSG #esoteric :augur: And I mean to trollolol :P < 1302147156 737037 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :oklopol: eh. in this case its just some graph-theoretic stuff i guess? < 1302147161 715909 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :i dont know < 1302147188 562067 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :okay < 1302147199 995179 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :must be pretty damn abstract if you don't know what it is < 1302147256 772280 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :according to wp, abstract algebra is the same as universal algebra < 1302147264 534319 :Gregor!Gregor@codu.org PRIVMSG #esoteric :augur: I didn't get libc.so *sobblecopter* < 1302147287 82726 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :Gregor: sux4u < 1302147287 233178 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1302147328 625924 :Gregor!Gregor@codu.org PRIVMSG #esoteric :augur: Why even say "hi" if I can't then relate personal tragedy :P < 1302147330 516885 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :i imagine doing math in agda would be similar to programming in brainfuck, sure it can be fun but you'll be proving 1+1=2. < 1302147387 206967 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :Gregor: courtesy < 1302147394 522198 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :oklopol: hardly! < 1302147449 676309 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :currently im proving that any graph order built from Unit and disjunctive concatenation will be a linear order < 1302147462 168724 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :disjunctive concatenation? < 1302147536 816229 :sebbu2!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 276 seconds < 1302147537 81111 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :concatenation with disjoint union of the underlying sets < 1302147560 47214 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :and how do you "concatenate" graphs < 1302147567 894963 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :good question! < 1302147577 526580 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :in this case, its roughly like so < 1302147698 330721 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :(X, arrX) ++ (Y, arrY) = (X + Y, \(z,z') -> if z z' <- X then arrX z z' else if z <- X & z' <- Y then true else if z <- Y & z' <- X then false else if z z' <- Y then arrY z z') < 1302147718 787545 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :plus the relevant isomorphism to make the new relation be of type (X + Y) x (X + Y) -> Bool < 1302147732 437635 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :so connect vertices of X to those of Y < 1302147733 520208 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :roughly speaking < 1302147747 71540 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :right, the X's point to the Y's < 1302147749 400161 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :exclusively < 1302147759 273390 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :well obviously that's a total order < 1302147764 218504 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :nope < 1302147768 515070 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :the X's dont point to themselves < 1302147772 104550 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :total orders are reflexive < 1302147778 28323 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :linear orders are irreflexive < 1302147784 416278 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :i mean, it COULD be total < 1302147785 572064 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :or linear < 1302147805 971674 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :depending on whether you state from (1, const True) or (1, const False) < 1302147814 323980 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :the former is a total order, the latter is a linear order < 1302147820 468443 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :well okay linear, point is that's obvious, easier than 1+1=2 < 1302147838 903220 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :perhaps! depends on how you define 1, 2, and + :) < 1302147840 918260 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :and =! < 1302147851 644518 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :but its neat cause ive got a _proof_ < 1302147852 297935 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :almost < 1302147865 519982 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :im still constructing the proof that (1, const False) is a linear order < 1302147870 142019 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :it's NEAT, but it's not math < 1302147883 770790 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :well it's math but it's kidss math < 1302147886 776393 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :*kids' < 1302147922 791634 :augur!~augur@208.58.6.161 PRIVMSG #esoteric ::( < 1302147926 237795 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :true < 1302147935 526280 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :but you can do growed up math too! < 1302147939 413980 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :im just not doing that kind of math < 1302147945 671598 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :because its not relevant to my work < 1302147948 982193 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :doing math is all about the basic idea, formal proof is a lot of fun, but it's not really why i'm into math < 1302147966 976765 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :well whatever :| < 1302147981 398420 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :i'm on a course about formal proving < 1302147984 710255 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :but we use HOL < 1302148017 269649 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :hopefully i'll be able to prove that same theorem in a month or so < 1302148021 295274 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :i doubt i could do it now < 1302148119 344222 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :okay gotta go -> < 1302148219 265026 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :see ya oklopol < 1302148220 451688 :augur!~augur@208.58.6.161 PRIVMSG #esoteric :
ACTION bites oklopol
< 1302148990 392830 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1302149441 356761 :augur_!~augur@208.58.6.161 JOIN :#esoteric < 1302149503 541127 :augur!~augur@208.58.6.161 QUIT :Read error: Connection reset by peer < 1302150355 840810 :augur_!~augur@208.58.6.161 QUIT :Read error: Connection reset by peer < 1302150357 988029 :augur!~augur@208.58.6.161 JOIN :#esoteric < 1302151428 108128 :asiekierka!~asiekierk@093105167222.elblag.vectranet.pl JOIN :#esoteric < 1302152712 944749 :copumpkin!~pumpkin@unaffiliated/pumpkingod NICK :wharrrgarbl < 1302153177 912737 :asiekierka!~asiekierk@093105167222.elblag.vectranet.pl QUIT :Ping timeout: 240 seconds < 1302153453 89961 :sftp_!~sftp@79.174.49.11 QUIT :Remote host closed the connection < 1302154072 311749 :augur!~augur@208.58.6.161 QUIT :Remote host closed the connection < 1302154164 941188 :augur!~augur@208.58.6.161 JOIN :#esoteric < 1302154717 237144 :lifthrasiir!~lifthrasi@61.251.165.38 JOIN :#esoteric < 1302154717 429832 :fizzie!~fis@iris.zem.fi QUIT :Ping timeout: 264 seconds < 1302154722 71708 :fizzie!fis@iris.zem.fi JOIN :#esoteric < 1302154985 750414 :lifthras1ir!~lifthrasi@61.251.165.38 QUIT :Ping timeout: 276 seconds < 1302156213 804309 :aloril!~aloril@84.249.126.153 QUIT :Ping timeout: 240 seconds < 1302156986 801494 :aloril!~aloril@84.249.126.153 JOIN :#esoteric < 1302158944 584843 :Lymia!~moe@unaffiliated/cirno-chan QUIT :Read error: Connection reset by peer < 1302159039 190199 :Lymia!~moe@adsl-69-149-32-60.dsl.rcsntx.swbell.net JOIN :#esoteric < 1302159039 377385 :Lymia!~moe@adsl-69-149-32-60.dsl.rcsntx.swbell.net QUIT :Changing host < 1302159039 377549 :Lymia!~moe@unaffiliated/cirno-chan JOIN :#esoteric < 1302161123 969195 :lament!~lament@S0106002312fa554a.vc.shawcable.net JOIN :#esoteric < 1302161352 70262 :oerjan!oerjan@tyrell.nvg.ntnu.no JOIN :#esoteric < 1302162753 190305 :cheater99!~cheater@e181132032.adsl.alicedsl.de JOIN :#esoteric < 1302162809 900951 :cheater00!~cheater@g228060015.adsl.alicedsl.de QUIT :Ping timeout: 246 seconds < 1302165283 780217 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Ah, usenet: < 1302165284 44294 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Newsgroups: sci.math,comp.theory,sci.logic,comp.lang.c,alt.religion.christianity < 1302165284 194915 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Subject: Alpha and Omega R-Language Computer Code|Robot Jesus|Sermon on the Mount| < 1302165309 915736 :lament!~lament@S0106002312fa554a.vc.shawcable.net QUIT :Ping timeout: 276 seconds < 1302166653 224956 :mtve!~mtve@65.98.99.53 PRIVMSG #esoteric :quite esoteric - http://arxiv.org/abs/1104.0924v1 < 1302167316 51158 :oerjan!oerjan@tyrell.nvg.ntnu.no QUIT :Quit: leaving < 1302168616 195236 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric : Newsgroups: sci.math,comp.theory,sci.logic,comp.lang.c,alt.religion.christianity <-- that's a joke, right? < 1302168648 242812 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :I mean, that list... < 1302168664 656340 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :fizzie, or was that not a To list for one message? < 1302168690 408818 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :There's no "To:" header in postings; but it was a Newsgroups: header for one (crossposted) message, yes. < 1302168719 700526 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :I mean, it does have both "computer code" and "robot jesus" in the subject, why not. < 1302168777 630556 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :The contents didn't really make sense, though: http://groups.google.com/group/comp.lang.c/msg/5e1c4335efdc2ecf < 1302168781 18148 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :(How surprising.) < 1302169359 718490 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :fizzie, looks like program code < 1302169372 605805 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :fizzie, probably in R as it said in the subject < 1302169381 409116 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :The syntax looks like R, yes. < 1302169389 330007 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Well, except those quotation bits. < 1302169391 658235 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :I don't know R however. < 1302169411 989748 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :fizzie, could be some sort of comment? I don't know < 1302169421 42173 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :I'm not an R expert either, but I doubt "be comforted by the words which I give unto" is valid syntax. < 1302169442 817396 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :it could be doing the intercal way. Invalid syntax = comment < 1302169452 781663 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :iirc < 1302169455 434225 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :R comments are from # to end-of-line. < 1302169461 260595 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ah < 1302169567 811768 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :The same author posted a P=NP "proof" the other day, too. < 1302169607 692769 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ah.. < 1302170638 61031 :nooga_!nooga@jasminek.net QUIT :Remote host closed the connection < 1302171639 925637 :BeholdMyGlory!~behold@unaffiliated/beholdmyglory JOIN :#esoteric < 1302171647 590348 :augur!~augur@208.58.6.161 QUIT :Read error: Connection reset by peer < 1302171667 757822 :augur!~augur@208.58.6.161 JOIN :#esoteric < 1302171901 33453 :augur!~augur@208.58.6.161 QUIT :Read error: Connection reset by peer < 1302171920 238240 :augur!~augur@208.58.6.161 JOIN :#esoteric < 1302172384 738701 :lmk0tter!6c293d77@gateway/web/freenode/ip.108.41.61.119 JOIN :#esoteric < 1302172392 23471 :Imk0tter!~Imk0tter@pool-108-41-61-119.nycmny.fios.verizon.net JOIN :#esoteric < 1302172471 413865 :lmk0tter!6c293d77@gateway/web/freenode/ip.108.41.61.119 QUIT :Client Quit < 1302172660 915465 :Imk0tter!~Imk0tter@pool-108-41-61-119.nycmny.fios.verizon.net QUIT : < 1302172679 798719 :Imk0tter!~Imk0tter@pool-108-41-61-119.nycmny.fios.verizon.net JOIN :#esoteric < 1302173710 164683 :Lymia_!~moe@adsl-69-149-32-60.dsl.rcsntx.swbell.net JOIN :#esoteric < 1302173715 44705 :Lymia!~moe@unaffiliated/cirno-chan QUIT :Read error: Connection reset by peer < 1302176774 675770 :k0tk0t!~k0tk0t@pool-108-41-61-119.nycmny.fios.verizon.net JOIN :#esoteric < 1302176781 388772 :PatashuNuMou!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au JOIN :#esoteric < 1302176830 812949 :k0tk0t!~k0tk0t@pool-108-41-61-119.nycmny.fios.verizon.net PRIVMSG #esoteric :,[->+>+<<]>>[<<+>>-]>+>>++++++[<<[>++<-]>[<+++++>-]>-]<<[->+>+<<]>>[<<+>>-]>>+<<<<[>>>>>>>>>>>[-]+[<<<<<<<<<<<<<[->>>>>>>>+<<<<<<<<]>>>[->>>>>>+<<<<<<]<[->+>+<<]>>[<<+>>-]>>>>[>[-<->>>+<]<<]<[>]>[-<<<<<<<<+>>>>>>>>]>[-]>>>+<[-<<<<<<<<->>>>>>>>]<<<<<<<<[[-]>>>>>>>>>->-<<<<<<<<<<]<[->+>+<<]>>[<<+>>-]>>>>>>>>>]<[->>+>+<<<]++++++[->>++++++++<<]>>.[-]>[-<<<<<<<<<<<<[-]<[->+>+<<]>>[<<+>>-]<[->>>>>>>>>>>>>+<<<<<<<<<<<<<]>>>>>>>>>>>>]>[ < 1302177028 542033 :PatashuNuMou!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :oh hey, bf joust < 1302177062 642830 :wth!~tianhou@2001:250:4001:302:223:8bff:fe54:5b7a JOIN :#esoteric < 1302177064 562224 :wth!~tianhou@2001:250:4001:302:223:8bff:fe54:5b7a QUIT :Remote host closed the connection < 1302177192 733525 :k0tk0t!~k0tk0t@pool-108-41-61-119.nycmny.fios.verizon.net QUIT :Remote host closed the connection < 1302177214 175929 :k0tk0t!~k0tk0t@pool-108-41-61-119.nycmny.fios.verizon.net JOIN :#esoteric < 1302177331 113713 :fungot!~fungot@momus.zem.fi JOIN :#esoteric < 1302177501 929878 :k0tk0t!~k0tk0t@pool-108-41-61-119.nycmny.fios.verizon.net PRIVMSG #esoteric :anyone familiar with brainfuck? < 1302177559 233126 :k0tk0t!~k0tk0t@pool-108-41-61-119.nycmny.fios.verizon.net QUIT :Quit: k0tk0t < 1302177593 43513 :wth!~tianhou@2001:250:4001:302:223:8bff:fe54:5b7a JOIN :#esoteric < 1302177736 617914 :wth!~tianhou@2001:250:4001:302:223:8bff:fe54:5b7a PART :#esoteric < 1302177769 871681 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric : anyone familiar with brainfuck? <-- yes, to some degree < 1302177849 381686 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :hm, I think bf is one of the few languages where output of a good optimising compiler might be easier to follow than the original source code for most programs. < 1302177886 267285 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :(of course it is probably possible to obfuscate code in many languages to get that effect there too) < 1302178006 893146 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :well, probably the same goes for some other easily compileable tarpits < 1302178119 500000 :wth!~tianhou@2001:250:4001:302:223:8bff:fe54:5b7a JOIN :#esoteric < 1302178291 503186 :BeholdMyGlory!~behold@unaffiliated/beholdmyglory QUIT :Remote host closed the connection < 1302178440 172887 :BeholdMyGlory!~behold@unaffiliated/beholdmyglory JOIN :#esoteric < 1302179090 339337 :FireFly!~firefly@unaffiliated/firefly JOIN :#esoteric < 1302179530 483195 :Ilari!~user@2002:5870:3714::1 PRIVMSG #esoteric :Hah. I seemingly got signed up to one mailing list in "opt-out" fashion (quite understandable given the situation). < 1302179542 551986 :sftp!~sftp@79.174.49.11 JOIN :#esoteric < 1302179558 129471 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Ilari, what mailing list heh? < 1302179607 750961 :Ilari!~user@2002:5870:3714::1 PRIVMSG #esoteric :Well, basically one mailing list was shut down and new one created to continue (apparently mailman can't rename mailing lists). < 1302179622 282162 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ah < 1302179626 760178 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :well that makes sense then < 1302179630 177833 :Ilari!~user@2002:5870:3714::1 PRIVMSG #esoteric :And the admins copied the subscriber lists. < 1302179634 946258 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :(well, mailmail doesn't) < 1302179673 508289 :Ilari!~user@2002:5870:3714::1 PRIVMSG #esoteric :All data wasn't copied. The password changed for instance. < 1302179709 448990 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ouch < 1302179795 344248 :wth!~tianhou@2001:250:4001:302:223:8bff:fe54:5b7a PART #esoteric :"Leaving." < 1302181156 305156 :Wamanuz4!~Wamanuz@78-69-168-43-no84.tbcn.telia.com QUIT :Read error: Operation timed out < 1302181200 92705 :jcp!alex@bzflag/contributor/javawizard2539 QUIT :Read error: Operation timed out < 1302181283 141039 :Wamanuz4!~Wamanuz@78-69-168-43-no84.tbcn.telia.com JOIN :#esoteric < 1302181605 69746 :wharrrgarbl!~pumpkin@unaffiliated/pumpkingod QUIT :Quit: Computer has gone to sleep. < 1302181678 727300 :jcp!alex@bzflag/contributor/javawizard2539 JOIN :#esoteric < 1302181789 137191 :PatashuNuMou!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au QUIT :Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 . < 1302182098 735527 :augur!~augur@208.58.6.161 QUIT :Remote host closed the connection < 1302182845 494846 :asiekierka!~asiekierk@093105167222.elblag.vectranet.pl JOIN :#esoteric < 1302182952 316579 :wharrrgarbl!~pumpkin@17.101.89.204 JOIN :#esoteric < 1302183882 133523 :augur!~augur@129.2.129.32 JOIN :#esoteric < 1302185667 435882 :cheater00!~cheater@e181137181.adsl.alicedsl.de JOIN :#esoteric < 1302185721 224817 :cheater99!~cheater@e181132032.adsl.alicedsl.de QUIT :Ping timeout: 246 seconds < 1302186534 177231 :Slereah!x@ANantes-259-1-138-216.w92-139.abo.wanadoo.fr QUIT :Ping timeout: 240 seconds < 1302186923 48952 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net JOIN :#esoteric < 1302186951 124000 :Slereah!~buttes@92.139.36.119 JOIN :#esoteric < 1302186985 242919 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :R-Type! You survived the night! < 1302186985 447313 :R-Type!~R-Type@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :
ACTION scowls at cpressey
< 1302187005 322379 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :I credit your good attitude. < 1302187149 296090 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net QUIT :Ping timeout: 246 seconds < 1302187398 582066 :wareya_!~wareya@cpe-74-70-142-220.nycap.res.rr.com NICK :wareya < 1302188088 556443 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :cpressey, hm, why did you make the bot act like that? Is it a reference I'm missing or something? < 1302188515 322703 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :Vorpal: Well: I wanted to write a bot in R, just because R is a horrible language to do such a thing in. I named it 'R-Type' because 'rbot' was taken, 'R-bot' is boring, and R-Type was a significant game in the history of video games (not a huge favorite of mine, but I can appreciate it.) Since the point was just to write a bot in R, I didn't care what it actually did. So I modelled its personality after a cat I met o < 1302188515 623634 :R-Type!~R-Type@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :
ACTION groans
< 1302188553 593015 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :cpressey, I think that got cut off < 1302188559 648982 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :"So I modelled its personality after a cat I met o" < 1302188569 558017 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :So I modelled its personality after a cat I met once. < 1302188573 141466 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ah < 1302188583 716292 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :I guess a rather annoying cat... < 1302188648 961519 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :It was a stray that was rescued. It was also a longhair. < 1302188686 396117 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :Longhair + living on the streets = permanent knots in fur = quite painful, I imagine = not the happiest individual. < 1302188687 439474 :pumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1302188766 307187 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :Oh, I should post its source code somewhere so you can bask in the glory < 1302188799 161447 :wharrrgarbl!~pumpkin@17.101.89.204 QUIT :Ping timeout: 276 seconds < 1302188856 755046 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ah < 1302188880 932571 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :cpressey, I don't know R though < 1302188882 313017 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1302188987 733181 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :Vorpal: you don't have to know it to appreciate how BEAUTIFUL it is. < 1302189002 328117 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :See the beauty! http://pastie.org/1768075 < 1302189043 196310 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :The command line to run it, alone, is worth it. < 1302189046 553493 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :hm < 1302189060 203426 :Gregor!Gregor@codu.org PRIVMSG #esoteric :"irc.irc.irc" is the greatest hostname ever. < 1302189088 43957 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :cpressey, if you want to avoid the erlang shell you can get pretty silly command lines there too < 1302189143 546838 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :"Every time I hear that XKCD isn't funny anymore I get slightly pissed off. It's always been hit and miss but the hits so outweigh the misses that it's my favourite on line comic (with the possible exception of Doonesbury)." ← a decent precis of why I left RationalWiki. < 1302189185 971264 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :"I am continually impressed/annoyed that we spent zillions of edits and hundreds of words making a point in favour of rationalism, then XKCD kicks our arses saying the same thing in four panels with a couple of matchstick men." < 1302189191 164776 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :That's better, actually. < 1302189261 313121 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, hm I'd say xkcd is sometimes good, though rather rarely nowdays. And even back in the "good old days" it wasn't always good. < 1302189280 957299 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Very rarely nowadays. < 1302189292 149718 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :And the misses are cringeworthy. < 1302189295 304514 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :What's xkcd? < 1302189306 441306 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :Oh, I apologize for that. < 1302189315 987815 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :cpressey, a Thing Man Was Not Meant To Know. < 1302189347 623620 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :the master xkcd will rise from the sunken city of frwgll < 1302189351 725757 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :I know as much about xkcd as I want to -- more, actually. I should not tempt fate. Or #esoteric. < 1302189355 568787 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(That's Welsh.) < 1302189410 764500 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :cpressey, I'm not sure if you meant you didn't know what xkcd was above or not. It is however a webcomic. < 1302189431 705344 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :http://www.xkcd.com/879/ <<< i like this one < 1302189469 90930 :pumpkin!~pumpkin@unaffiliated/pumpkingod NICK :wharrrgarbl < 1302189485 904272 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :http://www.xkcd.com/881/ <<< and could someone explain this to me < 1302189492 598533 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :Vorpal: Depending on who you ask, it is THE webcomic. < 1302189498 810083 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :is the joke that they have a weird way of hugging < 1302189529 238361 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :cpressey, it was THE webcomic before ~400 or so. < 1302189620 571921 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :but i suppose it's still the simpsons of webcomics < 1302189664 206936 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Once again oklothink triumphs. < 1302189688 974941 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :err... sure? now can you explain 881 to me < 1302189695 346549 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :is it about his illness? < 1302189752 345077 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :It's about LOOK AT ME I CAN WRITE CRINGEWORTHILY AWFUL "EMOTIONAL" COMICS WITH SCIENCE SHOEHORNED IN I AM NERD HUMOUR < 1302189775 242581 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :I am fascinatingly tempted to actually look at it. < 1302189792 951113 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Also *anyone* who thinks probability is worth doing for practical applications should be shot. < 1302189808 965638 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :are you sure there isn't some sort of punchline? < 1302189823 840477 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :what are the numbers in the table < 1302189831 122198 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :The impression I get is that the actual *mathematics* requires some kind of degree. < 1302189836 221903 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :*to understand < 1302189850 481812 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :like, that many survive 5/10 years of X < 1302189903 965773 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :and i wonder if the way they hug is relevant < 1302189926 266183 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :You're overanalysing it. < 1302189957 894850 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :i think i just don't get it < 1302189965 914977 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :Perhaps if I prepare myself mentally and emotionally beforehand sufficiently, I can look at it. < 1302189979 932178 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :cpressey: i would appreciate that < 1302189996 927978 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :I mean, I have seen xkcd's involuntarily on peoples' shirts and hanging in their cubes, and it didn't damage me *too* much. < 1302190000 570613 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :fun little problem: find a 5-regular planar graph, where 5-regular = every vertex has degree 5 < 1302190003 671198 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oklopol, I think you're assuming there's an actual joke somewhere under the mawkish sentimentalism, and are combing through it. < 1302190010 88102 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :*for anything funny. < 1302190014 218339 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :OK, here goes. < 1302190016 920219 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :well yes < 1302190062 356318 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :um < 1302190073 784598 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :cpressey, you shouldn't have done it. < 1302190080 705493 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :Phantom_Hoover: You are correct in that. < 1302190103 703620 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Well, unless you have the love for your fellow humans of Charlie Brooker. < 1302190136 365107 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :I don't know who that is and the extra information is not helping me recover. < 1302190156 749088 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Charlie Brooker is an infamously misanthropic reviewer of things. < 1302190161 178199 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :i suppose this is the right time to tell cpressey that santa isn't real < 1302190168 773187 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :OK, well: oklopol, if you want my opinion: it wasn't intended to be funny. < 1302190187 877365 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :It was intended to be Hallmark-y. < 1302190202 710843 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :For lack of a better adjective. < 1302190215 64260 :impomatic!~chatzilla@244.68.112.87.dyn.plus.net JOIN :#esoteric < 1302190254 73691 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :"mawkish sentamentalism", I suppose that's a good way to put it too < 1302190266 485642 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :but < 1302190385 61608 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :oklopol: this was all a PLOT by you, to get me to read an xkcd, WASN'T IT < 1302190409 881358 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :cleverly FEIGNING non-understanding of the fail < 1302190431 398025 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :hm, or can you actually call that fail? because i'm sure it was totally what was intended < 1302190453 749417 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :i wouldn't know, I DON'T GET IT < 1302190459 413800 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :oklopol: THERE IS NOTHING TO GET < 1302190464 325703 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :MUST BE < 1302190498 133980 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :oklopol: Are you familiar with a pre-web comic strip called Fred Bassett? < 1302190531 105196 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :Sometimes, there is nothing to get. < 1302190533 17792 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :no, except if it's pre-web i might know it in finnish < 1302190579 412600 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :oklopol: "Koiraskoira" < 1302190584 140049 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :(the internet is amazing sometimes) < 1302190602 976662 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :or "Retu, Pitko" < 1302190613 443926 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :(thanks wp) < 1302190636 826407 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :oh yeah i've seen those comics < 1302190641 74339 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :in finnish prolly < 1302190660 281182 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :"Some strips are merely a surreal or whimsical description of a moment of life as seen from a dog's point of view. As very British cartoon strips, they break the normal strip rules by sometimes not having a traditional ending, a punchline or even a distinct purpose, distinguishing them from the more direct, American-style Garfield or Peanuts strips." < 1302190695 903872 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :imo, this is the xkcd version < 1302190787 544764 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :maybe i'll try to solve it tomorrow < 1302190791 453585 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :too tired now < 1302190802 500462 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :koiraskoira sounds really silly < 1302190813 374139 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :retu i may have heard < 1302190822 232085 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :I mean, I always thought it must be hard being a comic strip writer, you have to come up with a new funny thing for every day. But! Not if you aren't actually funny every day. < 1302190824 990500 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :koiraskoira = male dog < 1302190865 480452 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :well you can always just make a play on words < 1302190887 181473 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :never funny, but good enough for a newspaper comic strip. < 1302190934 109754 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :I have this particular strip hanging in my cube: http://www.glyphjockey.com/uploaded_images/Uncanny_Old_Gags_1-772109.jpg < 1302190954 886858 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :It's revenge against those who see fit to hang xkcds where others can see them. < 1302190995 225206 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :i.... don't get that one either < 1302191003 56017 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :have i become even stupider < 1302191024 983379 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :i like it tho < 1302191075 227465 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oklopol does not know the hubris of man. < 1302191151 635196 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :is the points that bad things can happen even though no actual failing is involved, proper walking can cause footprints in the wrong place, and a nice throw can destroy a painting < 1302191157 969575 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :*point < 1302191177 345951 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :i mean < 1302191179 908535 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :something related to that < 1302191201 293857 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :oh the first guy is in the picture < 1302191209 463908 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :I believe the point was "I can take panels from seperate Nancy strips and put them together into something that can be read, but does not make sense as we understand it" < 1302191214 211931 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oklopol, have you considered that sometimes there is, in fact, no elaborately hidden punchline, and that the reason you cannot find one is not that you lack a sense of humour? < 1302191227 818451 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :This would perhaps be justified were you Vorpal, but you are not. < 1302191245 521883 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :i think i'm seeing it < 1302191254 255686 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :nice puzzle < 1302191256 302408 :MigoMipo!~John@84-217-15-145.tn.glocalnet.net JOIN :#esoteric < 1302191260 367675 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :hmmhmm < 1302191262 390773 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :The objective of dada is to freeze the brain until the dressmakers' assistants arrive. < 1302191329 691526 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :cpressey, you should say to everyone "really, you don't get it? It's obvious!" < 1302191343 692483 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :yeah no my approach didn't work < 1302191350 856161 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, not every comic strip has a punchline. < 1302191363 608395 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :depends a bit on which webcomic though < 1302191366 536213 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :Phantom_Hoover: In my younger days... < 1302191401 936279 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :has the author said there's no solution? < 1302191410 247138 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :oklopol < 1302191417 844813 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :cpressey < 1302191441 16749 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :oklopol's use of the words "solve" and "solution" in regard to comic strips disturbs me somewhat. < 1302191451 733379 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :And Vorpal performs quite possibly the most amazing feat of oblivious demonstration the world has ever seen! < 1302191509 117540 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :cpressey: if you directly see why a comic is funny, you didn't learn anything. < 1302191516 363039 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, of course, there are cases where either the author of the webcomic or the reader of it have different types of humour. That would give a similar end result. < 1302191547 621982 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I don't think Vorpal even reads what other people say beyond the most cursory examination. < 1302191566 890576 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, I read the previous three lines + the highlight one < 1302191569 368174 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :oklopol: that is true, although I am not always seeking to learn new things when I read a comic strip. < 1302191573 725434 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :It's just tangential to the brilliance of his ego. < 1302191577 474499 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :(the previous ones to the highlight that is) < 1302191589 754021 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :This is particularly apparent whenever any form of subtlety is applied. < 1302191603 215168 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, but come on... comics like freefall doesn't use a punch line in *every* strip. < 1302191606 496060 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :Vorpal, are you aware that we don't know what lines your IRC client highlights? < 1302191610 228249 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :cpressey: well to be honest the only reason i read comics is to take a break from thinking. < 1302191620 194863 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :cpressey, " This would perhaps be justified were you Vorpal, but you are not." had my nick in it < 1302191628 766938 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :pretty obvious it would highlight me < 1302191635 180447 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Sarcasm being one thing he is utterly unable to detect or penetrate. < 1302191724 331503 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :Vorpal: how's uni < 1302191741 641433 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :Anyway, xkcd pegged why R is the language of the future. It tells you that you're going to DIE < 1302191746 187620 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :which year is this again? i have some trouble with time < 1302191769 106850 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :cpressey: in 881? < 1302191784 28642 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :oklopol: the sappy one with the statistics and the hugging, yes < 1302191799 346905 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :well that's what i initially assumed, but the details don't quite seem to fit < 1302191805 267337 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :mainly < 1302191810 599890 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Ooh, Edinburgh apparently has in international science festival. < 1302191812 16964 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :oklopol, working out well. Not there today, the lab was cancelled. Lab was cancelled after the electricity system failed in that room. They were going to replace it today. < 1302191820 788365 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :ohh < 1302191833 703813 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Yay, I'm in Venice for half of it. < 1302191834 789685 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :real life applications just told the reader it's about his disease < 1302191843 58188 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :okay thanks < 1302191854 780627 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :oklopol, and how is it for you? < 1302191872 152650 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :oh, oklopol didn't get the sappy part? ok, that was a misunderstanding on my part < 1302191873 295865 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :Vorpal: trying to get my first publication this week < 1302191877 178188 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :otherwise not much < 1302191880 872039 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :*: trying < 1302191893 752123 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :erm, i mean write my first article which i will then try to get published < 1302191896 917442 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :oklopol, ah. Good luck! < 1302191911 336231 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :yes, the stick figure hates statistics because statistics are telling him that his friend/lover/co-stick-figure is gonna DIE < 1302191955 937022 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :hm, everyone will die sooner or later < 1302191960 142402 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :yeah i get it now, i just didn't get what he meant by statistics having real life applications, but the applications were that they could predict shit and now that he's dying bleh < 1302191979 362747 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :Vorpal: what lab? < 1302192050 588103 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :There appears to be something about how the Vatican ascertains whether a miracle has occurred. < 1302192058 234894 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I want to go to that purely for the absurdity. < 1302192059 584125 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :oklopol, oh, it was a lab in a course about real time systems. Sadly this is "modern" compsci. Meaning it is more like computer programming/computer engineering often... < 1302192077 159801 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :a chick bleeding out her vag ain't no miracle < 1302192116 494541 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :My Idiot Chemistry Teacher outdid herself today. < 1302192125 203638 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :i took this "theoretical" course on real-time systems and i can guarantee you that sucked more than yours ever could < 1302192144 42466 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :First she complained about the idea of firing nuclear waste into space because it would become our nuclear dumping ground. < 1302192160 334024 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Y'know, because it's so easy to spoil the pristine landscape of space. < 1302192169 27429 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric ::D < 1302192190 339980 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :isn't the sun already slightly radioactive < 1302192196 384195 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :oklopol, well, we were going to program targeting vxworks. However, for some reasons booting more than a handful of the computers in that room made the fuse blow yesterday. < 1302192197 57130 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :a wee bit < 1302192212 297936 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Then, when someone mentioned that the universe was expanding, she said "if the universe is expanding what is it expanding into YOU CAN'T EXPLAIN THAT"" < 1302192212 462887 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :but i suppose it's nothing compared to whatever our nuclear plants produce < 1302192239 864091 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :So I was like "actually I can—" "NO YOU CAN'T YOU'RE JUST PRETENDING" < 1302192250 528092 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :Phantom_Hoover: I think I'm in love < 1302192300 747377 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Then I gave up because I previously had a long and bitter dispute with her over whether liquids could have pressure and you can't waste effort on stupidity of that magnitude. < 1302192309 665544 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, dumping nuclear waste in space would be rather expensive. Unless we build a space elevator (which would ALSO be expensive, though less so in the long run)... < 1302192343 417083 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :whether... liquids can have... pressure... with a chemistry teacher < 1302192367 397283 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :i mean, the other things, i can say, well, space, that's just not her domain < 1302192368 980621 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Vorpal, well, the big problem with space dumping is that if the rocket explodes (not exactly a rare occurrence) you irradiate half of Europe rather than just the area around your train. < 1302192401 81431 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :cpressey, in fairness, she confused pressure with compressibilit— wait, I'm not giving her any quarter, that's just as bad. < 1302192405 349402 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :well you can just slingshot the stuff into space < 1302192407 574918 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :need no rocket < 1302192414 53638 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, that too. But even if that was solved, doing it by rockets would be far too expensive. < 1302192435 7331 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :didn't the buld a rocket with a 20000 budget somewhere < 1302192437 314294 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :*build < 1302192454 167645 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :oklopol, 20000 of what? < 1302192458 635074 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :money units < 1302192460 476949 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :EUR? USD? < 1302192464 46232 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :what does it matter < 1302192466 935604 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :some kind of solar-powered magnetic rail < 1302192492 173053 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :oklopol, hah < 1302192500 711026 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :hah? < 1302192501 363016 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :*railgun < 1302192507 366847 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :HAH < 1302192517 634981 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Vorpal, they're all, like, within 1.5 times each other. < 1302192522 37832 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Except yen. < 1302192522 696858 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :oklopol, I was referring to that 20000 SEK is a lot less than 20000 USD for example. :P < 1302192532 250573 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :well right, but it's SMALLER < 1302192540 839563 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, I believe 1 USD is about 8 SEK or such < 1302192541 607027 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :but i suppose you got that already < 1302192544 744513 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Dammit where's pikhq I came up with the best Japanese joke. < 1302192545 175458 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :haven't checked in a while < 1302192554 995578 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :i mean 20000 is ASTRONOMICALLY LESS than what rockets usually cost < 1302192562 125479 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :oklopol, indeed < 1302192565 563159 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :who cares how many astronomers smaller it is < 1302192586 916207 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :oklopol, any idea about how much payload it could lift? And to what orbit? < 1302192607 797793 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :oh i don't know, and i'm not even sure this story is true < 1302192611 422472 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :my point is mainly < 1302192630 738177 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :that i doubt there's an intrinsic reason for rockets to cost a lot < 1302192650 239379 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :rockets that just need to escape gravity < 1302192655 984507 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :well, as I see it, it's the fuel that's expensive. thus: some kind of solar-powered magnetic railgun < 1302192668 389868 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :It would probably have to be a few kilometers long, though < 1302192668 557332 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :one issue with rockets is that they need to haul the fuel they need to power themselves. < 1302192678 228478 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :which makes them heavier, needing more fuel < 1302192690 249898 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :How long is the Forth Bridge again? < 1302192691 440634 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :as for fuel, they're starting those daily flights to what was it 120km, and they use less fuel than a flight by jet from new york to X < 1302192700 518134 :cheater-!~cheater@e181138121.adsl.alicedsl.de JOIN :#esoteric < 1302192704 141645 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :again, completely unconfirmed random data < 1302192714 218880 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :cpressey, I AM TOTALLY QUALIFIED TO ANSWER THAT < 1302192714 369747 :cheater00!~cheater@e181137181.adsl.alicedsl.de QUIT :Ping timeout: 246 seconds < 1302192729 585767 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :OH WAIT VORPAL IS HERE NO I DON'T KNOW ANYTHING ABOUT SCOTLAND I AM WELSH < 1302192754 16738 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :FROM NEWPORT < 1302192759 365493 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :SHEEP SHEEP SHEEP < 1302192761 205066 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, hrrm, I think I need to check logs on where you come from :P < 1302192777 974892 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I AM TOTALLY NOT FROM THE CITY RIGHT NEXT TO THE FORTH BRIDGES < 1302192815 656983 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :DUNFERMLINE < 1302192819 134337 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :that explains why I had no memory of you being from Wales when you claimed that recently. So indeed, you fooled me a for a while there. < 1302192828 466124 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric ::D < 1302192833 29338 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :Vorpal funny < 1302192844 943744 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :cpressey, 2.5km, BtW. < 1302192852 525034 :cheater00!~cheater@g231048100.adsl.alicedsl.de JOIN :#esoteric < 1302192859 708233 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(For the rail bridge; the road bridge is longer IIRC.) < 1302192879 798022 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :Phantom_Hoover: ty < 1302192904 113493 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Why? < 1302192950 601508 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :I haven't worked it out -- such a railgun might have to be really, really long. Longer than the Forth bridge, was I guess what I was thinking, and how much does the Forth bridge cost to maintain annually? (rhetorical) < 1302192972 731977 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :And it could only launch relatively light things < 1302192984 214115 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :And I don't know that it could get them further than orbit < 1302192985 307360 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :"A billboard which featured a depressed goth and the slogan 'Cheer up Goth. Have an Irn Bru.' was also criticised for inciting bullying." — the ASA is basically the funniest thing ever. < 1302192987 492056 :cheater-!~cheater@e181138121.adsl.alicedsl.de QUIT :Ping timeout: 246 seconds < 1302192995 41462 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :But once in orbit, they could use rockets very very effectively < 1302193001 614144 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(It's the UK body to which easily-offended people complain.) < 1302193017 703779 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :cpressey, also you'd never finish painting it.* < 1302193018 194521 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :cpressey, I'm not sure you would get the same maintenance cost for a railgun and a bridge though. < 1302193027 314472 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :Phantom_Hoover: yeah yeah har har har < 1302193029 192200 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :*they actually finished painting it a few years back < 1302193061 886959 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :Vorpal: no, but, same order of magnitude, i was guessing < 1302193074 941735 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :hm, I'm not qualified to answer that < 1302193080 336633 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1302193092 179087 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :actually, you have to make damn sure the rail is nice and ... rail-y, you really wouldn't want your nuclear waste derailing at the end < 1302193126 539220 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :although, better the Gobi desert (or whereever) than all of Europe, as I think PH mentioned < 1302193135 291659 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :quite. Hm how would it work? Would it be straight or would it curve upward at the end? < 1302193144 536477 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :I'm not sure :) < 1302193159 293254 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :If it was straight, it would have to be REALLY long < 1302193183 151984 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :cpressey, if it had to go at an angle upwards I suspect it would need rather more complex supports (unless you found a suitable mountain side to use), which would probably drive up the price. < 1302193187 126100 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :If it curves upward... that seems like it would be harder to do < 1302193191 434608 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :yeah. < 1302193219 943138 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :And computing the speed necessary for the mass and the angle, to get it into orbit, and not have it fall back... well, we have computers. < 1302193240 159438 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :yeah I don't think that is the largest issue < 1302193268 612896 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :and once it's outside the atmosphere, that's when you start the rockets. they don't need much fuel because you're outside of the drag and much of the gravity. < 1302193279 252866 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :of course < 1302193303 841938 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :yeah, so let's build this sucker < 1302193308 763015 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :when I said rockets were expensive, I meant from the surface of the earth. < 1302193310 447505 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :>_< < 1302193352 921271 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :I think the name 'Irn Bru' is inherently bullying. < 1302193386 884964 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :cpressey, hm does it need to get into an east/west-wards orbit or could you launch it straight south? In the latter case you could build it pointing along the Atlantic. Very few inhabited islands there. Very few islands even. < 1302193411 651745 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :would be good in case of accidents. < 1302193434 551470 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :less risk of damage in case it doesn't reach orbit < 1302193463 709428 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :I don't know. I don't see why not < 1302193568 635236 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :I seem to remember there is some complication with getting into polar orbits. Hm... < 1302193675 627954 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :Possibly, but the wp article doesn't suggest anything really difficult < 1302193713 374742 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ISTR polar orbits are much higher than low-earth. < 1302193728 362753 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Also you have to correct for the earth's rotation as well. < 1302193792 470829 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Actually I think the second point is the main one, particularly as rockets tend to be launched from fairly low latitudes. < 1302193829 989659 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :well, if the destination is orbit, the railgun approach gives you very limited options, no matter which way it's pointing < 1302193859 346918 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :UNLESS you put it on a GIANT TURNTABLE < 1302193868 752982 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ALTERNATELY: WHEELS < 1302194022 420592 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :I like the wheels idea. Especially putting a block behind every wheel so the thing doesn't move (much) when you fire it. Like on artillery. < 1302194044 776090 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :Forget those, and WHEEE < 1302194056 893432 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :HMM < 1302194066 631365 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :What orbit is the stuff being fired into again? < 1302194097 367684 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :Uh, whatever's most conventient, if the ultimate purpose is to get spent nuclear fuel into the sun or whatever < 1302194103 498943 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :*convenient < 1302194124 318597 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Low-earth seems the most obvious option, then. < 1302194135 289200 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, not sure. I was thinking polar one because if you place it in, say, UK, then you can fire pretty much across the Atlantic. Which is very sparsely inhabited. Which is a bonus in case of accidents < 1302194166 908117 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Do it in Ecuador and fire over the Pacific.* < 1302194169 223266 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :well, actually I guess along the Antarctic < 1302194170 827320 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :*worst idea < 1302194204 699006 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :what's the fuel consumption difference between to orbit vs shot into space? < 1302194204 864086 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, isn't that the wrong direction too? With regards to Earth's spin... < 1302194223 374790 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :or is it relative depending on what shooting means < 1302194249 429890 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :i would've thought once you get to orbit, it's relatively easy to get out completely, but actually i suppose the orbits are rather closed compared to earth's radius < 1302194280 126326 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :a really elliptical orbit might be good then -- you could get out of it at the far point < 1302194280 313499 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :not sure < 1302194302 643039 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :oh we were still talking about completely escaping < 1302194311 459657 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :cpressey, once you get far enough I suggest ITN for low energy transfer towards the sun. < 1302194313 607492 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oklopol, yeah, escape vs. orbit is pretty big. < 1302194320 291772 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :i don't see why just leaving that shit on the orbit would be all that dangerous < 1302194345 679484 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Low orbits decay quite quickly. < 1302194345 844258 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :(http://en.wikipedia.org/wiki/Interplanetary_Transport_Network) < 1302194378 846928 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, so would it be better to go to orbit and then break away rather than break away directly? < 1302194390 941701 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :Phantom_Hoover: so does your mom but i still keep doing her < 1302194406 827269 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :no wait < 1302194408 480152 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Yes, because thrusting from orbit doesn't have the complications that it does on a planet. < 1302194409 442807 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :that was a bad argument < 1302194413 23798 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :here's a better one < 1302194421 279811 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :i'll be dead by the time they come down so what do i care < 1302194424 34406 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, right. < 1302194424 185011 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(I know what oko is going to say, so he needn't bother.) < 1302194469 243100 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :Phantom_Hoover: erm what, thrusting your mom from orbit doesn't have the complications the it does on a planet? < 1302194486 479995 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :More or less. < 1302194509 291798 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :maybe in orbit, now it doesn't quite look like the correct kind of thrusting < 1302194560 989486 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :the point of the mom joke was just to attract attention to the classical philosophical problem of i don't give a shit what happens after i die < 1302194584 557108 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :now that it's obscure not-really-a-joke explanation day < 1302194694 972545 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :but having sex weightless is one of the fundamental experiences in life < 1302196103 663691 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :that's what she said < 1302196220 529881 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :R-Type: goodbye < 1302196220 748535 :R-Type!~R-Type@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :
ACTION scowls at cpressey
< 1302196225 720157 :R-Type!~R-Type@173-9-215-173-Illinois.hfc.comcastbusiness.net QUIT :Remote host closed the connection < 1302196232 87342 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :What does R-Type do? < 1302196268 571692 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric : Vorpal: Well: I wanted to write a bot in R, just because R is a horrible language to do such a thing in. I named it 'R-Type' because 'rbot' was taken, 'R-bot' is boring, and R-Type was a significant game in the history of video games (not a huge favorite of mine, but I can appreciate it.) Since the point was just to write a bot in R, I didn't care what it actually did. So... < 1302196275 10900 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :So I modelled its personality after a cat I met once. < 1302196306 439684 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :R-Type is a computer robot < 1302196320 976947 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :oklopol, what is R-Type < 1302196331 889779 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :R-Type is a computer robot < 1302196339 670925 :cheater-!~cheater@e181143144.adsl.alicedsl.de JOIN :#esoteric < 1302196371 555368 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :cpressey, have you played Elite < 1302196494 375927 :cheater00!~cheater@g231048100.adsl.alicedsl.de QUIT :Ping timeout: 246 seconds < 1302196546 323466 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :Phantom_Hoover: I don't think so. That's the 3D wireframe one for the 8-bits, isn't it? < 1302196550 816739 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Yep. < 1302196662 975592 :Ilari!~user@2002:5870:3714::1 PRIVMSG #esoteric :APNIC down 0.03: 64k+/32 to Australia, 64k to China, 256 to Hong Kong, 1024+256 to Indonesia, 1k+256+/32 to India, 64k+8k+1k to Japan, 2k to South Korea, 1k to Nepal, 256 to Philipphines, 256+/32 to Singapore, 4k to Thailand, 256k+64k+8k to Taiwan. < 1302196747 288044 :Ilari!~user@2002:5870:3714::1 PRIVMSG #esoteric :Depletion estimate: Thursday 14th April. < 1302197381 515302 :cheater00!~cheater@e181143143.adsl.alicedsl.de JOIN :#esoteric < 1302197439 446987 :cheater-!~cheater@e181143144.adsl.alicedsl.de QUIT :Ping timeout: 246 seconds < 1302197646 877859 :iamcal!u1110@gateway/web/irccloud.com/x-bdpuhnapblvsohqi JOIN :#esoteric < 1302198104 722829 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Ilari, any idea how accurate that estimate is? < 1302198189 63218 :Ilari!~user@2002:5870:3714::1 PRIVMSG #esoteric :No idea. These processes are highly discrete and distributions behave badly. Fourth quadrant stuff for sure. < 1302198336 30236 :Ilari!~user@2002:5870:3714::1 PRIVMSG #esoteric :Basically, the APNIC pool is so depleted that one huge allocation could take most of it and then the rest of the allocations on that day would finish it off. < 1302198379 408792 :Ilari!~user@2002:5870:3714::1 PRIVMSG #esoteric :Logspace: /8.971 < 1302198470 343993 :Ilari!~user@2002:5870:3714::1 PRIVMSG #esoteric :It could be tomorrow, we might make next week without depletion, nobody outside APNIC really knows. < 1302199766 851189 :ben_!~bence@catv-89-132-101-38.catv.broadband.hu JOIN :#esoteric < 1302199860 156540 :oerjan!oerjan@tyrell.nvg.ntnu.no JOIN :#esoteric < 1302200529 835158 :ben_!~bence@catv-89-132-101-38.catv.broadband.hu PART #esoteric :"Ex-Chat" < 1302200636 502281 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : Longhair + living on the streets = permanent knots in fur = quite painful, I imagine = not the happiest individual. < 1302200656 87177 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :um can't they cut it off... < 1302200876 182615 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : like, that many survive 5/10 years of X < 1302200883 847612 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :that was my guess when i read it... < 1302200897 643375 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oerjan, you read xkccd? < 1302200900 612057 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :*xkcd < 1302200915 164635 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :randall munroe _has_ some disease in the family < 1302200916 924121 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :yes < 1302200969 910803 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :oerjan: i believe they were trying to do that, at the time (this was years ago), but something about the knots being close to the skin made it difficult to shave < 1302200980 235744 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :ouch < 1302200983 9846 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Longhair cat? < 1302200986 679480 :asiekierka!~asiekierk@093105167222.elblag.vectranet.pl QUIT :Ping timeout: 240 seconds < 1302200996 509923 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :Phantom_Hoover: yes < 1302201014 128739 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :What cat? < 1302201026 526627 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :The cat whose personality R-Type's is modelled after. < 1302201029 214684 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :R-Type cat? < 1302201045 860927 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :vietnamese rolling furball < 1302201192 781992 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : I mean, I have seen xkcd's involuntarily on peoples' shirts and hanging in their cubes, and it didn't damage me *too* much. < 1302201204 801966 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :those _would_ tend to be the less damaging ones, one would think < 1302201239 746098 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :except maybe someone probably has one of the worst ones just for the hell of it... < 1302201252 403824 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :s/maybe // < 1302201267 412112 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :he would have to constantly explain it < 1302201274 221552 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :heh < 1302201298 450839 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :well i mean like that infamous genitals one... < 1302201311 430949 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :i don't think a comic can be stupid enough that... erm which one is that? < 1302201369 693865 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Low 600s. < 1302201370 415260 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :http://xkcd.com/631/ < 1302201387 388165 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Don't think too hard about the joke in that one either. < 1302201451 426941 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :interesting. < 1302201488 396530 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :
ACTION tries not to think about it
< 1302201522 657890 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1302201529 574741 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :elliott < 1302201534 67039 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol < 1302201548 168690 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : fun little problem: find a 5-regular planar graph, where 5-regular = every vertex has degree 5 < 1302201556 571776 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :some platonic solid < 1302201588 521327 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :icosahedron probably < 1302201590 913939 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :06:58:51: (I am pretty sure Eliezer Yudkowsky once said "a".) < 1302201591 433017 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :06:59:27: it would be rather impressive if somehow he has carefully avoided a particular common word for years without being detected. < 1302201591 583523 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i'm suspicious now < 1302201602 512677 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe "Eliezer Yudkowsky" is an anagram... < 1302201619 739380 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :oerjan: that was mister x's solution, he said he tried x-hedron and it didn't work so he tried z-hedron and it did < 1302201657 212500 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :but you don't know what an icosahedron is (i sure as hell don't) to be able to come up with that < 1302201660 983301 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :if you think about a 3d ball < 1302201669 884463 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :erm < 1302201670 813865 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :i mean < 1302201675 144246 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :to come up with *a* solution < 1302201689 816990 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :you mean there's anything simpler than an icosahedron? < 1302201693 184856 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :14:57:31: elliott: but really, is PerlNomic better than another nomic we could come up with? < 1302201697 805931 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :how many is icosahedron? < 1302201701 159928 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :tswett: define better < 1302201701 311371 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :vertices < 1302201704 744414 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :20 faces < 1302201714 995846 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :tswett: Is skiing better than Chess? < 1302201719 266998 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :i have two constructions that give 12 + 4k vertices < 1302201720 869755 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :for any k < 1302201721 835520 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :12 vertices (it's dual to dodecahedron) < 1302201743 830919 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :then your k=0 may be that < 1302201757 89421 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :one of them gives some hedron as the 12 case, i don't know about the other one < 1302201764 391946 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :oklopol: even real k? < 1302201772 896177 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :cpressey: interestingly enough, no! < 1302201777 825470 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :EVEN QUATERNIONIC < 1302201786 79737 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :just complex - real works < 1302201816 385720 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :EVEN TUPLE-VALUED k < 1302201819 565649 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :where - is set theoretic subtraction since you're smartasses < 1302201915 661372 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :tuples of small categories, that is < 1302201939 487759 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :oerjan: take two vertices, one to the left, one to the right of the ball, and for any k put 5(k + 2) C_5's around the ball somewhere between the two side vertices, then connect the side vertices to the points of the C_5 next to them, and for adjacent C_5's, connect each point to two points of the next C_5 < 1302201953 33591 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :kind of hard to explain but maybe you'll get it < 1302201964 823445 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :vey easy when drawn < 1302201973 454214 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :*very < 1302201977 11703 :elliott!~elliott@unaffiliated/elliott QUIT :Remote host closed the connection < 1302201994 939426 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :that's equivalent to an icosahedron when k = 0 < 1302202048 54582 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :er what's C_5 again < 1302202052 156761 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :cycle of 5 < 1302202055 27165 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :oh right < 1302202059 663751 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :so a pentagon < 1302202086 356945 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :sure < 1302202114 502237 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :in this case i'm putting them on a sphere so pentagon is not really a good term < 1302202129 978683 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :because the gon is gone. < 1302202208 181020 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric : fun little problem: find a 5-regular planar graph, where 5-regular = every vertex has degree 5 <--- wait what? < 1302202225 55731 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :hey so last night or last week or whatever i proved that tally sets can't be NP-complete, didn't i do some stuff on left sets here at some point? < 1302202227 277305 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :do the edges have to be straight or something? < 1302202232 40283 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :maybe if i don't remember, no one will < 1302202233 807577 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :...but the faces of a dodecahedron are pentagons < 1302202257 498262 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1302202268 708443 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :oerjan: if you put a C_5 around a sphere, there are no angles < 1302202280 93478 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :because if not, just have two vertices, and 5 edges between them. done. planar as all hell < 1302202295 82890 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: OR ARE THERE INFINITE ANGELS < 1302202307 167755 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :cpressey: using the usual definition of graph here < 1302202311 807280 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :just one edge and no self-loops < 1302202338 721924 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :oklopol: "just one edge"? < 1302202342 966625 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :oerjan: or did you mean there can't be an isomorphism between the result of the construction and an somethinghedron? < 1302202347 531433 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :cpressey: between each pair < 1302202352 388286 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :oh oh oh < 1302202353 450858 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :ok < 1302202364 380771 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :no multigraphs or whatever they call that < 1302202371 698102 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :they often call them multigraphs < 1302202383 549944 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :oklopol: i'm just pointing out pentagons can be used for this, in a sense... < 1302202387 142932 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :but definitions differ a lot in gt < 1302202403 288796 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :although that's mixing faces and vertices with the duality < 1302202437 587821 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :you can use all kinds of things if you're smart enough < 1302202469 956699 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :I USE A PROJECTED PENROSE TILING FROM HYPERSPACE < 1302202562 851997 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :a more fun problem: show that a 4-critical graph is either a wheel of even order or it contains no wheels as a subgraph < 1302202572 774154 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :no theorems needed, but a lot of definitions < 1302202613 811306 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :4-critical = exists proper 4-coloring of vertices, and no 3-coloring, but in any proper subgraph there exists a 3-coloring < 1302202626 137670 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :yeah no < 1302202650 457222 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :wheel of order n = C_{n-1} + a node connected to each of its points < 1302202656 69568 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :well that's it i guess < 1302202696 61868 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :i'd rather do the what you call "kids math" < 1302202702 949312 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :the solution presented in our homework session was wrong, followed by the official solution by the professor, which was also wrong :D < 1302202707 539742 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :(although only slightly wrong) < 1302202716 341949 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :not in agda though < 1302203013 48514 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : isn't the sun already slightly radioactive < 1302203061 610193 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :if by radioactive you mean "occasionally sends out enough charged particles to kill an unprotected human" < 1302203088 934355 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :like, on earth? < 1302203103 198141 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :no, earth is protected by its magnetic field and atmosphere < 1302203131 580543 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :well i don't know any of that fancy magnet stuff but i like the idea of being protected. < 1302203168 781724 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :in fact the atmosphere is supposedly itself protected by the magnetic field, without it the radiation would slowly whittle the atmosphere away < 1302203174 287355 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :I almost did it with 8 vertices, but I have one edge that goes between two vertices that already have an edge. < 1302203191 743380 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :oh wait, just double this < 1302203192 983417 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :which may have happened on mars < 1302203211 213278 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :cpressey: double? < 1302203212 185698 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :22:02:54: strsplit(gsub('^:(.*?)\\!(.*?)\\s+PRIVMSG\\s+(.*?)\\s+\\:(.*?)$', '\\1\u2603\\2\u2603\\3\u2603\\4', line, perl=TRUE), '\u2603', fixed=TRUE) < 1302203213 458824 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :uh. < 1302203227 738384 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :so, um, 16 vertices, which is in fact 12 + 4k when k=1! cool < 1302203241 978216 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :can you describe it somehow? < 1302203260 616739 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :oklopol: make a copy of it, then hook up the two copies with two edges where I had the extra edge in the one < 1302203271 117720 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :22:28:22: (I've modelled its personality after a cat I met once) < 1302203271 267983 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :did its eye pop out and did you eat it and absorb its esoteric powers < 1302203272 647099 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :y/n? < 1302203280 394923 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :q < 1302203294 330759 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :^Z < 1302203301 997780 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :? < 1302203302 271806 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :? < 1302203313 716843 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :cpressey: i don't think you can do that planarly but maybe i'm mistaken < 1302203342 320615 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :oklopol: it's possible i miscounted the # of edges here. maybe i'll try to draw it more neatly < 1302203354 385376 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :actually it's possible planarly, if i know what you mean < 1302203355 647371 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :23:08:42: but really. R, J, K are all array processing languages. And have one letter names. There might be a pattern there. Should be investigated further. < 1302203360 190013 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i don't think Vorpal quite knows what R is < 1302203370 556738 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :aRray language < 1302203385 213151 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :23:11:12: K is rather insane. Maybe... naw. < 1302203389 126467 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cpressey: it's probably been done :> < 1302203412 613401 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :23:58:26: It annoys me that there are global constants (variables?) that aren't classes. < 1302203412 763774 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :23:58:32: Transcript and Smalltalk, for example. Maybe others. < 1302203414 789796 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :aren't they classes? < 1302203418 551212 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :elliott: I couldn't find an implementation of K anyway. In the 4 whole seconds I spent looking < 1302203437 36907 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cpressey: Pay up, or get K3 (the cool one with the GUI thing) from a hidden subdirectory of nsl.com :) < 1302203440 466242 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :as they say, 5th second is the charm < 1302203451 396471 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : that explains why I had no memory of you being from Wales when you claimed that recently. So indeed, you fooled me a for a while there. < 1302203462 260013 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :bah, no one outside britain knows the difference anyhow < 1302203535 352055 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :just strangely unpronouncible places with bagpipes and leprechauns and whiskhey < 1302203573 865262 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :and green. lots of green. < 1302203640 626884 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :03:31:56: oklopol: well, you can do math in agda! < 1302203651 908598 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :this is to embarrassing to read < 1302203657 913977 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: i swear us dependent type guys aren't that bad < 1302203662 113417 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*so < 1302203675 537340 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :whoops. oklopol: i actually have 2 multiedges. dammit < 1302203689 307153 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :cpressey: took me 45 minutes to come up with a solution < 1302203702 586374 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :03:35:30: i imagine doing math in agda would be similar to programming in brainfuck, sure it can be fun but you'll be proving 1+1=2. < 1302203717 234997 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: does gödel's incompleteness theorem count as 1+1=2? :D < 1302203719 816174 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well, that was actually coq. < 1302203725 477880 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :well maybe not quite that long but longer than oerjan's 5 seconds < 1302203732 912119 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :elliott: you proved that? < 1302203750 481796 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: no, russell o'connor did: http://r6.ca/Goedel/goedel1.html < 1302203768 62475 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :and was he an amateur at coq? < 1302203773 688192 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well ... no :D < 1302203775 920106 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :g�del's theorem isn't all that deep < 1302203783 671808 :wareya!~wareya@cpe-74-70-142-220.nycap.res.rr.com QUIT :Read error: Connection reset by peer < 1302203786 745525 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Because my proof is constructive, it is possible, in principle, to compute this sentence that makes PA incomplete." ;; this is the coolest part :) < 1302203802 699942 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :> let true & false = true in true & false < 1302203802 916018 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : (It's the UK body to which easily-offended people complain.) < 1302203803 522095 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Not in scope: `true'Not in scope: `false' < 1302203808 256462 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :PA? < 1302203813 585786 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: penis arithmetic < 1302203817 55637 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :what we need is mandatory sterilization of easily offended people. < 1302203818 172499 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :erm right < 1302203850 374343 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :we computed many sentences that make PA incomplete in automata theory < 1302203857 836094 :wareya!~wareya@cpe-74-70-142-220.nycap.res.rr.com JOIN :#esoteric < 1302203865 411145 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:57:33: quite esoteric - http://arxiv.org/abs/1104.0924v1 < 1302203870 199133 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :mtve: you still exist?? < 1302203877 725531 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :that's what i was thinking! < 1302203885 471772 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :it's not rocket science, and in any case i'm talking about what an amateur can do < 1302203886 780343 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: well this is the gödel one :P < 1302203900 674923 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: printing it before we all die is impossible though. and that is because it is a poison. < 1302203901 851959 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :science facts < 1302203929 803429 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :i believe that < 1302204028 877710 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :> let True & False = True in True & False < 1302204029 740910 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : True < 1302204043 949767 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Ah, Haskell. < 1302204046 870042 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :12:32:10: Hah. I seemingly got signed up to one mailing list in "opt-out" fashion (quite understandable given the situation). < 1302204047 576984 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :12:33:27: Well, basically one mailing list was shut down and new one created to continue (apparently mailman can't rename mailing lists). < 1302204053 608561 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Ilari: this wouldn't happen to be the ffmpeg/libav fiasco? < 1302204072 379365 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :it wasn't a fiasco, it was an imbroglio < 1302204090 274978 :Ilari!~user@2002:5870:3714::1 PRIVMSG #esoteric :elliott: Nope. < 1302204132 111465 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : I haven't worked it out -- such a railgun might have to be really, really long. [...] <-- i have this hunch part of the problem is you don't want the speed to get too high until you've passed most of the atmosphere... < 1302204133 950982 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Ilari: with /that/, the people who had, two months prior, attempted to perform a ridiculous coup d'etat on the project forked off and made a new mailing list, then subscribed every member of the ffmpeg mailing list to their new one, claiming it was just a "project rename" < 1302204148 532923 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Ilari: (they then used their technical control of the ffmpeg lists to shut them down, telling everyone to move to the "newly-renamed" libav lists) < 1302204158 90432 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :impressively childish < 1302204176 634008 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Why did they do that, BtW? < 1302204246 206292 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: because they didn't like how the maintainer was handling proposed patches < 1302204280 68498 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :How was that? < 1302204283 229100 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :a perfectly valid complaint, but trying to take over the project without telling anyone through technical means without trying to discuss it or even fork is enough to make me not give a damn what they're complaining about < 1302204298 17006 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: I think he was rejecting patches based on what they saw as trivial grounds or something < 1302204468 222134 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :I have a code review that is three pages long (ReviewBoard pages -- I'm not sure how it decides how long a page is) that is boring me out of my skull < 1302204501 782774 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :You know, when you almost entirely rewrite something, diffs are almost entirely useless < 1302204643 283310 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION watches cpressey slowly give up on life
< 1302204683 271009 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :pretty much < 1302205002 711667 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :I am becoming more and more convinced that programming (heavily, exclusively) in Python changes the way you think for the worse. < 1302205137 924257 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cpressey: only suicide can cure you < 1302205139 346576 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :DISCLAIMER: < 1302205144 365822 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Do not attempt suicide because of this line. < 1302205151 576275 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(Attempt it because of the line three lines up instead!) < 1302205178 440061 :Sgeo!~Sgeo@137.125.181.62 JOIN :#esoteric < 1302205179 626351 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :16:16:25: "A billboard which featured a depressed goth and the slogan 'Cheer up Goth. Have an Irn Bru.' was also criticised for inciting bullying." — the ASA is basically the funniest thing ever. < 1302205186 4063 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: well people might whack goths with irn brus < 1302205188 686133 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"HAVE A FUCKING IRN BRU" < 1302205198 405929 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :BRB < 1302205204 414290 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :dammit, i should stop giving ph ideas < 1302205221 109076 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :idea: language where all expressions have side effects. an integer expression is in fact of the form kB where B is a block of code (possibly empty) that is executed k times. < 1302205226 974992 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is it just me, or is wikipedia's new anti-vandal policy is to show the edit button as "View source" until you click it, if you're not logged in? < 1302205239 333174 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's ingenious in its stupidity < 1302205678 899934 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :> let 6 > 7 = True in 6 > 7 < 1302205679 555188 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : True < 1302205700 407496 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cpressey really likes this part of haskell < 1302205783 775891 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :so it would appear < 1302205784 102646 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :yes. it is amusing. < 1302205801 595437 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :It's the BEST part of Haskell. < 1302205803 551707 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :> let in 5 < 1302205804 470012 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 5 < 1302205806 668461 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :also good. < 1302205836 254339 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :> let in let in let in let in let in let in "let" < 1302205837 214783 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : "let" < 1302205844 670782 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :> let a = 5 where in a < 1302205846 27254 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 5 < 1302205856 415487 :Sgeo!~Sgeo@137.125.181.62 PRIVMSG #esoteric :
ACTION is reading about the Maude language
< 1302205869 198167 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Quit: Leaving. < 1302205869 558993 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> let me in 4 < 1302205870 884036 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : : parse error on input `in' < 1302205881 151959 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :> let 2+2=5 in 2+2 < 1302205881 346448 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :Sgeo: I never got very far with Maude < 1302205882 165545 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 5 < 1302205890 444826 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :I... just tried to tab-complete Maude, though < 1302205902 472934 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :Well, it IS a name < 1302205987 447083 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :> let a | otherwise = b where in a < 1302205988 748602 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : b < 1302206039 956778 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :> do let; let; "hi" < 1302206041 204444 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : : parse error (possibly incorrect indentation) < 1302206048 725392 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :sadly missing < 1302206055 532989 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cpressey: watchoo do to http://catseye.tc/lab/robin/robin.html, i'm logreading and broken links totally destroy my flow < 1302206057 770327 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: omg that would be awesome < 1302206065 106307 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :> do let in; let in; "hi" < 1302206066 189841 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : : parse error on input `;' < 1302206072 64264 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :let in do let; let in do let; let; "hi"; let in do let < 1302206091 28268 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :> let in do let in do let in do let in "hi" < 1302206092 106547 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : "hi" < 1302206102 292763 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :16:22:32: I think the name 'Irn Bru' is inherently bullying. < 1302206110 62371 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cpressey: really? well i guess it's kinda cheesy < 1302206113 705792 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I GUESS YOU JUST HAVE TO GROW UP WITH IT < 1302206122 608535 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :IT'S MADE IN SCOTLAND WITH GIRDERS < 1302206136 27442 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :it suggests the lowest-class pronunciation in my head < 1302206150 42191 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :don't know if that was intentional or what < 1302206153 352985 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cpressey: it's probably meant to < 1302206162 690490 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i don't really parse it out as, you know, iron brew < 1302206176 393155 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :man it's old, 1901 < 1302206205 879224 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Irn-Bru and Diet Irn-Bru have been formulated since 2002 by A.G. Barr plc to meet the regulations for food colouring of the U.S. Food and Drug Administration. Ponceau 4R used in the UK formulation is prohibited by U.S. Food and Drug Administration (FDA). Barr's uses alternative food and drink colourants manufactured by a US Company approved by the FDA. The product labelling also meets US labelling standards on nutritional information and bar code < 1302206206 105563 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :. Compliant Irn-Bru is solely imported by Great Scot International in Charlotte, North Carolina, who supplies distributors and retailers throughout the US. It is only supplied in 16.9 fl.oz. < 1302206213 438054 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cpressey: HA, YOUR PUNY COUNTRY CAN'T HANDLE SCOTTISH METAL DRINK < 1302206233 890158 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :16:30:59: UNLESS you put it on a GIANT TURNTABLE < 1302206234 40827 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :this is now the best idea < 1302206240 473589 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :wait you mean irn bru isn't something fancy gaelic? < 1302206253 369550 :cheater00!~cheater@e181143143.adsl.alicedsl.de PRIVMSG #esoteric :hi oerjan < 1302206257 601130 :cheater00!~cheater@e181143143.adsl.alicedsl.de PRIVMSG #esoteric :hi channel < 1302206268 741617 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1302206269 943149 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::D < 1302206272 463835 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hi ais523 < 1302206284 155365 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ais523 cannot drink Irn Bru because he is a PANSY < 1302206316 497396 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :they made irn bru technically illegal with no penalty just so ais523 couldn't drink it < 1302206347 868768 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I wouldn't drink it anyway, I don't like that sort of thing < 1302206359 411728 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :PAAAAAAANNNNNNNNSSSSSSSSSYYYYYYYy < 1302206384 719715 :Sgeo!~Sgeo@137.125.181.62 PRIVMSG #esoteric :There's something... fun about Maude's infix operators < 1302206404 389838 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: <3 < 1302206427 790116 :Slereah!~buttes@92.139.36.119 QUIT :Ping timeout: 276 seconds < 1302206463 417710 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :we need a language with non-euclidean operators < 1302206469 957845 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Yes. Yes we do. < 1302206486 405440 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :As the channel's resident expert on stupid non-Euclidean things, I approve. < 1302206487 716799 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :the kind Man was Not Meant to Know < 1302206519 789702 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: i'm gonna BLOW YOUR MIND < 1302206521 424028 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: the universe < 1302206523 469103 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: ... < 1302206526 413966 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: is NON-EUCLIDEAN < 1302206528 811287 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :so this language should be C(noneuclidean operator)^2 < 1302206540 866453 :Zwaarddijk!miekko@infa.abo.fi PRIVMSG #esoteric :I guess < 1302206667 989053 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :elliott: fuck you :| < 1302206680 762308 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :augur: :) < 1302206694 244014 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :agdas pretty neat tho < 1302206726 451765 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :why waste all your time proving things that would take three seconds in coq :) < 1302206729 81583 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :yes. yes it does. < 1302206736 753745 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :elliott: ey? < 1302206748 94694 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :augur: proving things in agda is a bitch. compared to coq < 1302206793 440064 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :elliott: maybe. its not /too/ bad, i find. i like how it forces you to understand the structure of the proof, which i feel is good if im going to be writing papers using a proof assistant as a tool < 1302206800 672494 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :uh < 1302206804 369737 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :i dont want to have to explain the magic of coq on top of stuff < 1302206804 520230 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ITT: augur has never used coq ever < 1302206812 544110 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :this is true! < 1302206816 853095 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the magic of coq? < 1302206824 809836 :Slereah!x@ANantes-259-1-101-83.w92-139.abo.wanadoo.fr JOIN :#esoteric < 1302206827 705559 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :proofs in agda == proofs in coq. coq just has tools to help you write them, and agda doesn't. < 1302206834 723372 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :oh what < 1302206844 137192 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :what tools does coq have? < 1302206850 467188 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :proofgeneral's interface to the toplevel. < 1302206858 340863 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :ill have to take a look < 1302206862 817218 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you can see all your assumptions and your current goal, plus the goals left after that < 1302206868 485304 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and undo proof steps, etc. < 1302206869 479173 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :augur, also the entire tactic language. < 1302206872 607523 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that too. < 1302206883 185624 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :i dont mind the agda stuff. its fun to figure out how to construct it. < 1302206888 4093 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :but ill take a look at coq < 1302206891 289790 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :although if he's avoiding "magic" (like agda's library isn't magic?) he might want to avoid "auto" :) < 1302206899 569245 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :augur: turn on three window mode and electric terminator in proofgeneral < 1302206901 15106 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :im not using much of agda < 1302206903 512109 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :'s library < 1302206928 730916 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you are < 1302206933 288788 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because you're using its proof combinators < 1302206938 142341 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :unless you're writing proofs in direct functional style < 1302206941 199391 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :which i doubt < 1302206943 374513 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh here it is < 1302206947 384427 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(setq proof-three-window-enable t) < 1302206953 334853 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :eh < 1302206955 519815 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and (setq proof-electric-terminator-enable t) < 1302206960 961875 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :what do you mean in direct functional stuff < 1302206968 815805 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :augur: paste a proof/lemma < 1302206973 3517 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i'll tell you whether you're using the library or not < 1302206983 875568 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(protip: if there's unicode, you are) < 1302206995 691449 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :well then! < 1302206999 648007 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :i use unicode a lot. < 1302207020 115520 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :augur: i mean apart from the things you type. < 1302207029 962305 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :o wut < 1302207031 167055 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :if there are unicode things in your source file that aren't names you made up < 1302207034 50444 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you are using the stdlib < 1302207043 38883 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :oh probably are < 1302207059 12429 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :then that's magic. if you don't believe me, look at its source sometime. < 1302207083 17659 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :http://hpaste.org/45440/syntax_crap < 1302207093 23133 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :look at whats source < 1302207128 721658 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the stdlib's. why are you making this simple conversation so painful X_X < 1302207137 324735 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :oh right < 1302207160 862026 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh nice, you're actually copy-pasting the stdlib directly in. < 1302207171 31335 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :not copy and pasting anything < 1302207179 378954 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :welp, typical unicode agda noise :) < 1302207180 257041 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :are you referring to danielsson's standard library? < 1302207240 700064 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :part of the reason im doing it this way is that i want to understand the structure of the program as completely as possible, and making it myself helps me understand < 1302207249 793189 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i am referring to the agda standard library < 1302207256 635204 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://www.cse.chalmers.se/~nad/listings/lib-0.5/README.html < 1302207258 338283 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so eys. < 1302207259 851526 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*yes. < 1302207297 181780 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :and part of it is that if i have to explain some crap to anyone who asks (who isnt so good on all of this mathylogicy stuff) i'd like to be able to give them a clean answer from the source code directly < 1302207308 848708 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :without referencing some magic library off somewhere in the ether < 1302207318 258861 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or, you know, just linking to its source < 1302207329 442924 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :except thats more problematic if im giving a presentation. < 1302207337 463401 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :and someone asks about this or that < 1302207341 596492 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :anyway, i can't see any of this being very easy to explain because like most agda it uses unicode tricks and mixfix to obscure the point < 1302207350 832571 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :then i have to try and remember what the standard lib says etc etc whatever < 1302207353 35283 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i see they still noise up their code with explicit level wrangling, too < 1302207364 690673 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coq doesn't have that :) < 1302207370 552150 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :hooray! < 1302207375 273593 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :maybe ill use coq < 1302207376 590979 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :ANYWAY < 1302207378 58599 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :point is < 1302207389 736928 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :i rather like the unicode and mixfix < 1302207391 916219 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :why dont you like it? < 1302207415 467602 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1302207846 996679 :Slereah!x@ANantes-259-1-101-83.w92-139.abo.wanadoo.fr QUIT :Ping timeout: 246 seconds < 1302207878 746857 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Quit: Leaving. < 1302207966 395285 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :h < 1302207968 199877 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :hm < 1302207970 635346 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :coq looks interesting < 1302208017 595626 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1302208022 967916 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :i dont follow the structure of the proofs tho < 1302208024 396628 :cheater99!~cheater@g231048147.adsl.alicedsl.de JOIN :#esoteric < 1302208086 534164 :cheater00!~cheater@e181143143.adsl.alicedsl.de QUIT :Ping timeout: 246 seconds < 1302208139 914818 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :i understand agda proofs -- if it type checks, youve got a proof < 1302208144 207407 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :flrgbl < 1302208145 206912 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :i dont get coq at all < 1302208171 868203 :Slereah!x@ANantes-259-1-97-237.w92-139.abo.wanadoo.fr JOIN :#esoteric < 1302208457 662285 :Sgeo!~Sgeo@137.125.181.62 QUIT :Ping timeout: 258 seconds < 1302208597 519208 :Gregor!Gregor@codu.org PRIVMSG #esoteric :Hmmm, OmniGraffle is the only graphical tool I've ever used that I would say is appropriate for people with OCD :P ... mmm, maybe also Minecraft. < 1302208869 975101 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : i understand agda proofs -- if it type checks, youve got a proof < 1302208873 89037 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :augur: uhh, same with Coq? < 1302208897 681111 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :apparently someone rewrote xmonad in Coq < 1302208899 831380 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :just because they could < 1302208901 2998 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: ... < 1302208906 3818 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: stop being slashdot < 1302208913 14646 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(with the normal Reddit-related meaning of "apparently") < 1302208919 953718 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :not even reddit had that, I've seen the posts < 1302208929 881366 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it did, I think < 1302208932 610196 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"We rewrote parts of xmonad's core algorithms in Coq to prove them correct and extracted the results to Haskell" < 1302208934 968286 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :-->ais523--> < 1302208943 448110 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Someone rewrote xmonad in Coq!" < 1302208945 599644 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"For no reason!" < 1302208957 253857 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :elliott: no, Transcript and Smalltalk are not classes. < 1302208964 136286 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :tswett: well, they're objects < 1302208967 848912 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :elliott: perhaps! but the proofs also have all these other things < 1302208973 624604 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :augur: no they don't < 1302208974 356271 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :beh, it'd have been more fun if there was no reason < 1302208976 516461 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :unfold f, g. destruct h. etc etc < 1302208979 719067 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :augur: yes, those are tactics < 1302208984 161771 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :augur: if you "Print proof_name" < 1302208986 231717 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you see the lambda form < 1302208989 402130 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :oh ok < 1302208990 390055 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :elliott: I define "better" as "skiing is not better than chess, nor vice versa". < 1302208993 580198 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the tactics just make proofs about 159% easier to write < 1302209013 695591 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :tswett: Then I say that your question is unanswerable. < 1302209018 763949 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :
ACTION nods.
< 1302209024 611463 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :tvvl: 18 < 1302209032 844696 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :Nope, the bot's dead. < 1302209032 994991 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Perhaps any new came-up-with game would be better technically, or in some other sense, than PerlNomic, but that does not mean it would be a better game. < 1302209038 836985 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'd say that both are games worth playing. < 1302209136 842871 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :
ACTION nods.
< 1302209157 12859 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :Say, elliott, would you happen to know of an implementation of a Lisp that has Smalltalk-esque orthogonal persistence? :P < 1302209185 652512 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Well, just about every Common Lisp implementation lets you save the current world. < 1302209191 165549 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But, well, Common Lisp. < 1302209204 166032 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :That sounds desirable. < 1302209221 768993 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :flrgbl flrbgl < 1302209263 454205 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :flrgbl flrbgl shfpngr! < 1302209275 668678 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :tswett: Yes, but, Common Lisp. < 1302209278 333323 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :Someone rewrite skiing's core algorithms in chess to prove them better and extracted the results to xmonad. < 1302209283 964045 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cpressey: yes < 1302209288 516864 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I like the change of tense there < 1302209297 704913 :Sgeo_!~Sgeo@137.125.187.237 JOIN :#esoteric < 1302209324 78467 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :I think all mathematics should be developed with the goal of using it in a window manager. < 1302209340 285906 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :Mathematical research should follow this algorithm: < 1302209353 897073 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :omg, does this mean that the singularity will manage windows for me < 1302209356 339782 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :by reading my mind < 1302209362 218572 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and figuring out my desired arrangement < 1302209387 339192 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :1. Think of an idea. 2. Make hypotheses about the idea. 3. Prove as many of the hypotheses as possible. 4. Incorporate all resulting theorems into xmonad. < 1302209390 188569 :tswett!~Warrigal@thay.Stanford.EDU PRIVMSG #esoteric :Repeat. < 1302209443 188775 :BeholdMyGlory!~behold@unaffiliated/beholdmyglory QUIT :Remote host closed the connection < 1302209798 913215 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :This message has been translated into French. < 1302209851 29033 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :whoa < 1302209862 39525 :impomatic!~chatzilla@244.68.112.87.dyn.plus.net QUIT :Quit: ChatZilla 0.9.86.1 [Firefox 3.5.18/20110319140258] < 1302209900 246682 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :cpressey: ce message a trad.. a francais < 1302209901 295081 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : Well, just about every Common Lisp implementation lets you save the current world. ← I don't recall non-SBCL or CMUCL having it, but I wasn't exactly thorough. < 1302209902 299518 :augur!~augur@129.2.129.32 PRIVMSG #esoteric :x.x < 1302209908 128132 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Suffice to say it's different in everything. < 1302209910 483845 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :YAY CL < 1302209933 764819 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Doesn't CCL have it? < 1302210379 3356 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Dunno. < 1302210388 519549 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Not under the same name as SBCL, that's for sure. < 1302210464 689469 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :I hope to never, ever program anything in that language. < 1302210531 788515 :Sgeo_!~Sgeo@137.125.187.237 QUIT :Ping timeout: 260 seconds < 1302210647 40291 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cpressey: Err, what, Lisp? < 1302210808 89957 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cpressey: Better experience than 99% of languages... < 1302211009 694185 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :Well, Common Lisp specifically. < 1302211029 783824 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cpressey: I stand by my statement :) < 1302211070 486778 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cpressey: Admittedly the modern /environments/ aren't so ideal. < 1302211089 47572 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But the language itself is something I'd much rather have to code in than almost every other language. < 1302211094 505327 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(There are maybe ten exceptions.) < 1302211100 721026 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :LIST THEM < 1302211118 398660 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Epigram 2 doesn't count due to not existing in any meaningful way. < 1302211143 272758 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Haskell is one! < 1302211153 446188 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :And the others? < 1302211170 942148 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I DIDN'T MAKE A LIST < 1302211302 766994 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :too few languages to warrant making a list < 1302211330 434112 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :anyway, EVERYTHING SUCKS < 1302211350 883430 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :olsner: you're either mocking me perfectly, or are a man I can relate to. < 1302211357 498120 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :it's a Maybe (Exception, Maybe (Exception, Maybe (Exception, Maybe (Exception, Maybe (Exception, Maybe (Exception, Maybe (Exception, Maybe (Exception, Maybe (Exception, Void))))))))) < 1302211358 585461 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :As long as Scheme is one of the exceptions, it kind of wins out, for me. < 1302211385 279076 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :definitely not a list < 1302211398 693894 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cpressey: Yeah, but if you were groaning at the lack of standardised names... at least the name for common list operations are the same in every Common Lisp :P < 1302211413 411171 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cpressey: And, sure, but, Common Lisp or PHP? < 1302211419 29134 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Common Lisp or Python? Perl? C? Ada? < 1302211419 964414 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :elliott: Pharen! < 1302211422 46092 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :COBOL? < 1302211435 178348 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cpressey: I... am floored that you know what Pharen is. < 1302211441 420029 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Even I had to Google it. < 1302211451 864137 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :phar out man < 1302211457 970113 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :I heard [about it] through the grapevine < 1302211463 684708 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :er, *[about] < 1302211463 834891 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :"a compiler that takes a Lisp-like language and turns it into PHP" :/ < 1302211472 395105 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cpressey: was just about to correct you BRO < 1302211479 880256 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :... C++? Arc? < 1302211483 513942 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Prolog? < 1302211504 409932 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I mean, 90% of languages are really bad. < 1302211516 570770 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :9% of the rest are tolerable but not any good. < 1302211527 392525 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'd say Common Lisp almost certainly belongs to the remaining 1%. < 1302211531 357962 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :*90% of the rest < 1302211534 327396 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :I would totally program in C for fun before I would program in Common Lisp for fun. < 1302211558 706111 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cpressey: I don't really see how you could place Scheme above 'em but CL below C. < 1302211572 634521 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sure, the multiple namespaces is a bit crappy, and a lot of the standard names suck but... it's still Lisp < 1302211590 889697 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Also CLOS. < 1302211608 888216 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Well, right, CLOS is one of the two tolerable OOP systems out there :) < 1302211743 835267 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :elliott: I qualified my statement with "for fun" -- I am not concocting an absolute total order here. < 1302211788 446810 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :I mean, dude. I just wrote a bot in R. < 1302211788 850856 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Confound your imprecision! < 1302211799 295514 :MigoMipo!~John@84-217-15-145.tn.glocalnet.net QUIT :Read error: Connection reset by peer < 1302211804 766698 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :Do I put R above Common Lisp? Apparently! < 1302211927 368253 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :right now I have to debug Javascript :( not by choice obv < 1302212005 264488 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cpressey: HAVE FUN DUDE < 1302212043 630573 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :Y U PUT BUG IN PROGRAM? well, now you get to take it out... < 1302212051 143715 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cpressey: "Ten days without much sleep to build JS from scratch, "make it look like Java" (I made it look like C), and smuggle in its saving graces: first class functions (closures came later but were part of the plan), Self-ish prototypes (one per instance, not many as in Self)." < 1302212060 555459 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cpressey: ONLY KINSHIP WITH BRENDAN EICH CAN SAVE YOU < 1302212084 213267 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :cpressey, have I mentioned the time my school told everyone to use IE 5 *for Mac* to run JS. < 1302212107 270777 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :Phantom_Hoover: yes. olsner: Django. (no further words are needed) < 1302212130 459791 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: Actually IE 5 for Mac was an okay browser. < 1302212133 970671 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It shared no code with the Windows version. < 1302212154 125404 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Indeed, but this was *last year*. < 1302212156 483667 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cpressey: listen to Django Reinhardt while doing it, it'll be SO IRONIC (hipster for "worthwhile, validating experience") < 1302212161 525257 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :On computers *with Safari installed.* < 1302212170 242534 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: :D < 1302212178 891145 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cpressey: (I have never listened to Django Reinhardt and don't plan to) < 1302212180 93271 :cheater00!~cheater@g231051244.adsl.alicedsl.de JOIN :#esoteric < 1302212286 830334 :cheater99!~cheater@g231048147.adsl.alicedsl.de QUIT :Ping timeout: 246 seconds < 1302212293 504335 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :django is named after a person? < 1302212303 803544 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :thought it would be a giraffe or something < 1302212437 687340 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::D < 1302212443 80500 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`addquote django is named after a person? thought it would be a giraffe or something < 1302212446 793443 :HackEgo!~HackEgo@codu.org PRIVMSG #esoteric :353) django is named after a person? thought it would be a giraffe or something < 1302212537 922667 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :
ACTION → sleep
< 1302212545 442387 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Remote host closed the connection < 1302212617 805744 :olsner!~salparot@c83-252-161-133.bredband.comhem.se QUIT :Ping timeout: 276 seconds < 1302212692 572275 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"In Tron, the hacker was not supposed to be snooping around on a network; he was supposed to kill a process. So we went with posix kill and also had him pipe ps into grep. I also ended up using emacs eshell to make the terminal more l33t. The team was delighted to see my emacs performance -- splitting the editor into nested panes and running different modes. I was tickled that I got emacs into a block buster movie." < 1302212791 194942 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://jtnimoy-public.s3-website-us-east-1.amazonaws.com/178/TRON_GFX_BR_07.JPG < 1302212794 186486 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :OH DEAR GOD < 1302212799 213098 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :how far in the future is tron set < 1302212801 561762 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because what i am seeing is: < 1302212803 674634 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :udev is never going to die < 1302212807 546958 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(tron legacy that is) < 1302212923 82558 :augur!~augur@129.2.129.32 QUIT :Remote host closed the connection < 1302213390 757773 :olsner!~salparot@c83-252-161-133.bredband.comhem.se JOIN :#esoteric < 1302214327 570762 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :topipidpiaidpiapidpipiapidpiapidapidpipipidapidapidpiapidapidpiadadaapdiapidpia < 1302214361 574960 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :elliott: obviously! < 1302214374 896035 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: tapodpiapotpi < 1302214389 823604 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :maybe. < 1302214844 854113 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cpressey: you will love this < 1302214847 99886 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!python print 'test' < 1302214853 456180 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`run python -c "print 'test'" < 1302214855 693866 :HackEgo!~HackEgo@codu.org PRIVMSG #esoteric :test < 1302214864 550304 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`run python -c "True = False; print True; print True is False" < 1302214866 311732 :HackEgo!~HackEgo@codu.org PRIVMSG #esoteric :False \ True < 1302214870 588983 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`run python -c "True = False; print True; print True is False; print (True is False) is True" < 1302214872 447163 :HackEgo!~HackEgo@codu.org PRIVMSG #esoteric :False \ True \ False < 1302214875 163698 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cpressey: ^ < 1302214938 794237 :marchdown_!~marchdown@46.138.162.76 JOIN :#esoteric < 1302214950 171188 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :marchdown: no, march up < 1302215074 768629 :marchdown!~marchdown@46.138.173.90 QUIT :Ping timeout: 276 seconds < 1302215075 511451 :marchdown_!~marchdown@46.138.162.76 NICK :marchdown < 1302215078 624309 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :THAT'S RIGHT < 1302215267 837509 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :elliott: yep < 1302215285 767706 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :mutable boolean constants < 1302215302 437567 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :mutabonstants < 1302215315 863151 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that sounds exactly as awkward as the idea of mutable constants is < 1302215455 307831 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :DO #1 <- #2 < 1302215469 595481 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: please tell me that works < 1302215476 585912 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: it requires -v < 1302215482 755951 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what does -v do again? extensions? < 1302215483 92657 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but works < 1302215487 618683 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :no, it just lets you do tha < 1302215489 154209 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*that < 1302215497 602367 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I thought that letting people do it by accident was too mean < 1302215517 237337 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net PRIVMSG #esoteric :nothing that happens in INTERCAL is ever an accident < 1302215518 258726 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in CLC-INTERCAL, you have to write it indirectly, as in DO .1 <- #2 DO .1 <- .1/#1 < 1302215539 956536 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's a simple example, but in general it can be hard to spot you're assigning to a constant in more complex programs < 1302215585 318245 :cpressey!~cpressey@173-9-215-173-Illinois.hfc.comcastbusiness.net QUIT :Quit: /catch sufficiently not mephitic solidity < 1302215590 998991 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so I put it behind an option for safety reasons < 1302215770 397779 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also for portability, DO #1 <- #2 is a syntax error in INTERCAL-72, and thus might be being used for its properties as a syntax error < 1302215781 168214 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and the switch chooses whether it compiles as a syntax error or a calculate statement < 1302216028 533692 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1302216030 875898 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :heh, it's literally impossible to extend INTERCAL < 1302216044 537163 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you can extend most languages safely by making a previously-invalid construct valid < 1302216048 454386 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :in INTERCAL, that doesn't work < 1302216076 76819 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: some extensions have been done like that < 1302216083 274574 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :e.g. threading when two COME FROMs aim at the same line < 1302216083 462467 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: but they break programs that rely on those lines to be invalid < 1302216089 854266 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :indeed < 1302216099 655901 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :What you can do with INTERCAL is make up where there are compiler switches to select which extensions are available < 1302216361 702767 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :CLC-INTERCAL actually uses a plugin architecture to handle thata < 1302216363 21484 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*that < 1302216367 850672 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although they're called "preloads" < 1302216567 848073 :augur!~augur@208.58.6.161 JOIN :#esoteric < 1302216825 883657 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Do you know what is wrong with the "TRON:Legacy" picture? Is that the control key is missing. < 1302216944 739633 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :noted < 1302216974 491198 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, tron: legacy is set in... the present day? huh < 1302217208 549357 :Sgeo_!~Sgeo@ool-18bf618a.dyn.optonline.net JOIN :#esoteric < 1302217220 918778 :wharrrgarbl!~pumpkin@unaffiliated/pumpkingod QUIT :Quit: Computer has gone to sleep. < 1302217267 364099 :FireFly!~firefly@unaffiliated/firefly QUIT :Quit: swatted to death < 1302217402 661160 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I tried to send a program to CTAN but it is not on there < 1302218019 759228 :Sgeo_!~Sgeo@ool-18bf618a.dyn.optonline.net PRIVMSG #esoteric :Stanislav apparently likes Squeak < 1302218071 668647 :Sgeo_!~Sgeo@ool-18bf618a.dyn.optonline.net PRIVMSG #esoteric :Sadly, there seem to be no blog posts about it < 1302218083 519378 :Sgeo_!~Sgeo@ool-18bf618a.dyn.optonline.net PRIVMSG #esoteric :
ACTION sees one thing that possibly tangentally mentions Smalltalk
< 1302218184 969283 :ZOMGMODULES!~catseye@adsl-99-92-190-159.dsl.chcgil.sbcglobal.net JOIN :#esoteric < 1302218207 519089 :Sgeo_!~Sgeo@ool-18bf618a.dyn.optonline.net PRIVMSG #esoteric :"The Lisp Machine (which could just as easily have been, say, a Smalltalk machine)..." < 1302218209 530882 :Sgeo_!~Sgeo@ool-18bf618a.dyn.optonline.net PRIVMSG #esoteric :how boring < 1302218219 353058 :ZOMGMODULES!~catseye@adsl-99-92-190-159.dsl.chcgil.sbcglobal.net PRIVMSG #esoteric :oh yes just as easily < 1302218308 975956 :ZOMGMODULES!~catseye@adsl-99-92-190-159.dsl.chcgil.sbcglobal.net PRIVMSG #esoteric :Common Lisp = Arc = Clojure < 1302218323 121262 :ZOMGMODULES!~catseye@adsl-99-92-190-159.dsl.chcgil.sbcglobal.net PRIVMSG #esoteric := Guile < 1302218328 23474 :ZOMGMODULES!~catseye@adsl-99-92-190-159.dsl.chcgil.sbcglobal.net PRIVMSG #esoteric := EMACS < 1302218352 476329 :ZOMGMODULES!~catseye@adsl-99-92-190-159.dsl.chcgil.sbcglobal.net PRIVMSG #esoteric := Smalltalk * 0.910071 < 1302218399 858357 :Sgeo_!~Sgeo@ool-18bf618a.dyn.optonline.net PRIVMSG #esoteric :http://www.loper-os.org/?p=85 < 1302218419 821716 :ZOMGMODULES!~catseye@adsl-99-92-190-159.dsl.chcgil.sbcglobal.net PRIVMSG #esoteric :no < 1302218532 857212 :ZOMGMODULES!~catseye@adsl-99-92-190-159.dsl.chcgil.sbcglobal.net PRIVMSG #esoteric :GRAAAAAAHHHHHHH hi < 1302218534 318594 :ZOMGMODULES!~catseye@adsl-99-92-190-159.dsl.chcgil.sbcglobal.net PRIVMSG #esoteric :well bye < 1302218537 36394 :ZOMGMODULES!~catseye@adsl-99-92-190-159.dsl.chcgil.sbcglobal.net QUIT :Quit: leaving < 1302218537 259733 :cheater-!~cheater@g228062069.adsl.alicedsl.de JOIN :#esoteric < 1302218712 778892 :cheater00!~cheater@g231051244.adsl.alicedsl.de QUIT :Ping timeout: 246 seconds < 1302218945 809603 :wharrrgarbl!~pumpkin@209-6-232-56.c3-0.sbo-ubr1.sbo.ma.cable.rcn.com JOIN :#esoteric < 1302218978 806273 :Sgeo_!~Sgeo@ool-18bf618a.dyn.optonline.net PRIVMSG #esoteric :
ACTION wonders how difficult it would be to make a Morphic web browser in Squeak
< 1302219114 65860 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :w < 1302219156 341051 :Sgeo_!~Sgeo@ool-18bf618a.dyn.optonline.net PRIVMSG #esoteric :? < 1302219751 96718 :oerjan!oerjan@tyrell.nvg.ntnu.no QUIT :Quit: Gnu tide < 1302219833 75012 :augur!~augur@208.58.6.161 QUIT :Remote host closed the connection < 1302219965 330276 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :The PDF of TUGboat 3,1 (March 1982), 10-27 is difficult to read. Where is the web source file for that article? < 1302219975 926722 :augur!~augur@208.58.6.161 JOIN :#esoteric < 1302220019 333537 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Maybe I should ask Knuth for a copy? < 1302220488 914074 :augur!~augur@208.58.6.161 QUIT :Ping timeout: 246 seconds < 1302220629 472920 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com QUIT :Remote host closed the connection