< 1362009605 864042 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Maybe's monoid instance sucks a bit < 1362009616 958290 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> let fhead x = fromMaybe x . Data.Foldable.foldl (\x acc -> Just x) Nothing in fhead [] [1,2,3] < 1362009619 610412 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Occurs check: cannot construct the infinite type: < 1362009619 759964 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : b0 = Data.Maybe.Maybe b0 < 1362009660 534891 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Does teletext have music? The documentation for Yamaha OPLL mentions tones applicable to teletext. < 1362009676 770923 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :zzo38: I don't recall it ever having music < 1362009716 193223 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: teletext information placed in the vblank space of a TV broadcast has no music < 1362009739 312529 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :sometimes, though, the rendered version of teletext used to be sent over TV to fill in a gap where nothing was broadcasting < 1362009743 490456 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and in that case, music was often sent with it < 1362009784 977488 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :ais523: But that would be just standard audio? < 1362009792 163787 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes < 1362009855 298753 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But then it isn't FM synthesis? Then why does OPLL documentation mention tones applicable to teletext? < 1362010071 333352 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I don't think most TVs have FM synth chips < 1362010098 420409 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I would like if the channel 2 (On TVL) we have in my area would also include teletext (but as far as I know it doesn't). < 1362010104 317428 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :FreeFull: I don't think so either < 1362010150 879551 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :They should also put teletext on the weather channel too. < 1362011337 385961 :md_5!md_5@mcdevs/trusted/md-5 QUIT :Ping timeout: 252 seconds < 1362012528 478726 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 264 seconds < 1362012708 736716 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter JOIN :#esoteric < 1362013120 578783 :olsner!~salparot@c83-252-194-156.bredband.comhem.se QUIT :Ping timeout: 252 seconds < 1362013339 636494 :md_5!md_5@mcdevs/trusted/md-5 JOIN :#esoteric < 1362013967 532832 :olsner!~salparot@c83-252-194-156.bredband.comhem.se JOIN :#esoteric < 1362014221 107007 :TeruFSX!~TeruFSX@65-128-137-85.mpls.qwest.net JOIN :#esoteric < 1362014294 491331 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1362015027 775696 :GOMADWarrior!~Regis@186.222.62.76 JOIN :#esoteric < 1362015135 57575 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Remote host closed the connection < 1362015476 775791 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Ping timeout: 248 seconds < 1362015529 510731 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1362015539 469316 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Max SendQ exceeded < 1362015570 910570 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1362016140 899164 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Ping timeout: 272 seconds < 1362016448 878849 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1362016740 501179 :olsner!~salparot@c83-252-194-156.bredband.comhem.se QUIT :Ping timeout: 264 seconds < 1362017509 845406 :olsner!~salparot@c83-252-194-156.bredband.comhem.se JOIN :#esoteric < 1362017820 365567 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: wow < 1362017828 574707 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wow at what? < 1362017833 845289 :olsner!~salparot@c83-252-194-156.bredband.comhem.se QUIT :Ping timeout: 246 seconds < 1362017834 577441 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: Wonko was the person who wrote -Like this.-, right? < 1362017840 695237 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :wat < 1362017841 642899 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :no, that was the Baron < 1362017843 601384 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1362017845 301602 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :dammit < 1362017848 687568 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :-Bike: it's very unnerving- < 1362017849 14294 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it has been too long < 1362017859 790926 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :-it's ridiculous how creepy it is- < 1362017905 562877 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :um < 1362017945 336305 :oerjan!oerjan@sprocket.nvg.ntnu.no NOTICE #esoteric :I don't see what's so creepy < 1362017961 995298 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :-well that was only around the nick, it doesn't count- < 1362017968 302185 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :-ok commas ruin the effect- < 1362017971 677537 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :-OKAY- < 1362017972 323924 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :-as does monqy grammar- < 1362017986 283152 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :-30- < 1362017991 547700 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :gah < 1362017992 357191 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :-what is monqy grammar- < 1362017994 757489 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :kmc: never do that again < 1362017998 400752 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric ::( < 1362018003 704020 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :-40- < 1362018008 850832 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: somehow that's not as bad < 1362018010 464945 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :-50- < 1362018013 424057 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :-30- < 1362018017 602370 :ais523!~ais523@unaffiliated/ais523 PART #esoteric :" fizzie: it makes demons fly out of my window, washing the windows api" < 1362018022 167307 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i dont get it < 1362018029 844175 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :ok < 1362018040 710783 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :-amusement- < 1362018044 350172 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: hahahaha < 1362018056 797534 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :another chapter for our "1001 ways to make ais523 ragepat" book < 1362018063 823015 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ragepat < 1362018088 753419 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`pastlog ragepat < 1362018096 395146 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :what is 30???? < 1362018104 847278 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh i forgot ragepat is a thing < 1362018126 248553 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1362018137 531042 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`pastlog ragepat < 1362018146 669398 :HackEgo!codu@codu.org PRIVMSG #esoteric :2012-01-20.txt:15:06:55: i haven't seen him since he ragepatted < 1362018173 92566 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`pastlog ragepat < 1362018180 488274 :HackEgo!codu@codu.org PRIVMSG #esoteric :2012-01-11.txt:19:25:53: *Ragepat < 1362018210 142112 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :-i still want to understand what monqy grammar is- < 1362018222 27789 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :-agreement- < 1362018257 143001 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :-is it using nouns as sentences- < 1362018258 953146 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Eliding punctuation and capitalization, lots of "um" "ok" etc.? < 1362018287 74768 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :-oh ok ic got it right down there- < 1362018315 301508 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :>i think these as starting to fray at the ends< < 1362018321 881450 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :>*are< < 1362018361 704503 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :|what is the creepiest way of doing this anyway| < 1362018376 412036 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :☺good question☺ < 1362018387 852852 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :monqy: hi < 1362018399 170749 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :??????hi < 1362018410 853691 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :oerjan: Use control characters, maybe? < 1362018427 407174 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah ic youre eliding punctuation to save it all for big bursts? < 1362018480 368528 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :4that's 9just 5crazy 8talk < 1362018493 525249 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :is this, like, foreplay < 1362018537 890995 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no this is all good wholesome driving people crazy < 1362018554 961896 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :No. It is, like, 4play, which is different. < 1362018557 291615 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :who are you driving crazy? yourselves? < 1362018562 145808 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes. < 1362018570 237758 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :that seems inefficient < 1362018583 184672 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :To you it is, perhaps. < 1362018588 52834 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run ? mad | colorize < 1362018590 812620 :HackEgo!codu@codu.org PRIVMSG #esoteric :​09"But I don't wa1306nt to go among 13ma04d peopl06e," Alice remar11ked. "10Oh, you can'06t he14lp that," said t10he Ca13t: "we'0314re all ma03d06 here. I'm mad04. 05You're ma03d." "11How 10d0412o you know I'm mad?"04 said Alice. 13"05You mus04t10 be," sai07d th02e Cat, "or you wouldn't12 h05ave come 10here." < 1362018625 867570 :olsner!~salparot@c83-252-194-156.bredband.comhem.se JOIN :#esoteric < 1362018629 740030 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? color < 1362018631 601923 :HackEgo!codu@codu.org PRIVMSG #esoteric :color? ¯\(°_o)/¯ < 1362018632 782234 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :I haven't read Alice. I am immune to its power. < 1362018635 271439 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? colour < 1362018637 200668 :HackEgo!codu@codu.org PRIVMSG #esoteric :colour? ¯\(°_o)/¯ < 1362018763 721150 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run echo "Color is a phenomenon from outer space designed to drive humanity insane and bring forth the new age of Cthulhu." | colorize | tee wisdom/colour >wisdom/color; sed -i 's/or/our/' wisdom/colour < 1362018768 932258 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1362018775 129238 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? colour < 1362018777 273063 :HackEgo!codu@codu.org PRIVMSG #esoteric :​14C12101103o1106lour is 10a 1202p04henomenon 0810fr07om13 ou0211t050803e11r 1313s1302p04ace 13de0503sign02e13d0511 t101010o140913 d1304ri08v02e 10h12um081206an04i02ty i07110214ns0709a0804ne an0614d 11bri0813ng f13or08th t02he n10ew05 0212age14 of Cth0211u1409l030610hu. < 1362018819 597433 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Color is not limited to outer space and it is not only for driving humanity insane and it is also not only for Cthulhu. But I suppose that can be one possible use. < 1362018848 549264 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's just what a shoggoth would say < 1362018849 200931 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :The other use is for syntax highlighting. < 1362018856 543752 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :This explains why americans are crazy and worship cthulhu < 1362018902 162986 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :oerjan: http://www.scp-wiki.net/scp-8900-ex < 1362018965 685018 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What is the SCP number for Death Note? What I hate about SCP is keep deleting files and changing around the numbers when they replace a deleted one using a same number. < 1362019005 582916 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :zzo38: http://www.scp-wiki.net/archived-scps they keep 'em < 1362019066 518363 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :That's only for ones notable enough to keep < 1362019075 163233 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Ruby of Ruination is deleted forever :( < 1362019099 451932 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :never heard of it. < 1362019109 952092 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is the number reused? < 1362019128 728384 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :zzo38, yes. Whether or not an old one was ARCed or merely deleted < 1362019131 483628 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :http://scpclassic.wikidot.com/scp-031 Oh. < 1362019135 332165 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :http://brake-down.com/wordpress/wp-content/uploads/2010/02/Invention-of-Color.jpg < 1362019196 63425 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Calvin's dad is a jaded ex-O5. < 1362019225 472000 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Was deleted a long time ago because the origins make no sense... how has it not destroyed the world already < 1362019255 28910 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :good question < 1362019279 260568 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Sgeo: That is problem to me! Other than that, there are other things I hate about it too such as, it is not open to everyone (including thought-experiments), and some other problems too. So we could make "Open SCP" which is open for everyone, even if the origins make no sense, and which nothing is ever deleted or numbers reused either. < 1362019290 170346 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :It's kind of boring... SCP already has a lot of "object destroys matter" < 1362019295 829731 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :To distinguish number write a different prefix so you know it is not the same one. < 1362019331 237689 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :`wc wisdom/color < 1362019332 558613 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :zzo38, but then you'd get a lot of poorly written ones, boring ones, etc. < 1362019332 718854 :HackEgo!codu@codu.org PRIVMSG #esoteric :​ 1 20 347 wisdom/color < 1362019356 873229 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :If it is boring then instead let's community (open to everyone) to down-vote so that they can sorted by rating and by similarity, too, so if they have a lot of one you can still improve the quality subjectively without having to delete things and reuse numbers. < 1362019359 39909 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Also it would be indistinguishable from "hey write something and number it" < 1362019405 885852 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :and scp has ratings. < 1362019426 722005 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :In addition, to find the entries which are considered as best and put those into the book, so that you will have a improve quality as well as a normal one? < 1362019439 15144 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :but, i'm shallow, i'll be happy as long as they keep Red Sea Object < 1362019467 302997 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But maybe they won't? I think they change things too much. < 1362019501 495598 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(Anyways, even if such thing as Open SCP is made it is not meaning SCP will stop! It just means an alternative......) < 1362019512 907300 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :haven't they already forked once or twice? < 1362019570 269558 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Maybe, I don't know, but we need the one which is open, rather than closed to the selected group of writers, doctors, overseers, wikidot employees, and so on. < 1362019586 948614 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :And which never reuses numbers. < 1362019605 806771 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :If you really need to delete something, just put it in the attic and then promise not to reuse their numbers for other things. < 1362019606 121607 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :well, would be easy to make one, i guess < 1362019620 57593 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :are numbers that important < 1362019633 455812 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(Doesn't CVS put things in the attic or something like that?) < 1362019796 882332 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :SCP also misses so many things I can think of, but they won't work like that, so that is why, to make the open one which can make anyone's "thought experiment" you can improved; if one is no good you can still use pure wiki deletion and individual user can still have archive of their best ones too, all while still keeping the numbering to be not confused. < 1362019810 356384 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Bike: Yes, the numbers is the most important. < 1362019815 876802 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Why? < 1362019975 273296 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It also helps if one document references another, to keep the references to work properly, instead of wrongly. < 1362019998 431567 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Sgeo: Ruby of Ruination? The one that, when placed on top of a solid object, vibrates at that object's resonant frequency? < 1362020009 184241 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :tswett, yes < 1362020012 35293 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But there are other reasons too such as some people might like one even though other people hate it, it can be a hiding threshold (somewhat like Slashdot does, but different) < 1362020042 816896 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :do all objects even have resonant frequencies, that seems impossible < 1362020089 814163 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :And one of the entries could be, referencing the nonexistent wiki which is similar and has a reference to this real one, though (similar to what Hofstadter did) < 1362020110 508073 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :I think most if not all solid objects have resonant frequencies, but vibrating at that frequency will not necessarily have any significant effect. < 1362020137 424189 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Come to think of it, "resonant frequency" pretty much means "frequency that you hear when you bang on it". < 1362020158 800120 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :tswett: I suppose it can be interesting to some circumstance nevertheless < 1362020184 777134 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :For example, make up a situation which it is difficult but if you have such a thing see how to succeed at it? < 1362020273 604175 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Do what now? < 1362020286 620155 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't know. < 1362020301 505099 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Righty then. < 1362020445 536641 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :"Object destroys matter" is not the interested much by itself, but some object which can sometimes do so, and has other effect, might have something to be interesting of in some cases, possibly. < 1362020551 23875 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Does a resonant frequency of a piano change if the keys is not pushed than if it is? < 1362020589 887918 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Well, different parts of the piano have different resonant frequencies. < 1362020623 397772 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :If the damper is down on a string, that probably slightly raises the resonant frequency of that string. < 1362020647 552183 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :But the main effect of the damper is, of course, to keep that string from vibrating at all. < 1362021080 843295 :augur!~augur@208.58.5.87 QUIT :Read error: Connection reset by peer < 1362021094 144693 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1362021300 776734 :GOMADWarrior!~Regis@186.222.62.76 QUIT :Ping timeout: 248 seconds < 1362022035 550165 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Arc_Koen < 1362022208 665908 :augur!~augur@208.58.5.87 QUIT :Read error: Connection reset by peer < 1362022217 677801 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1362022234 461799 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I know the damper stops it from vibrating. I also know (because I tried it), that if you slowly push one key to make it silent, push another one it might resonate the string that is released but currently not vibrating. < 1362022467 919281 :olsner!~salparot@c83-252-194-156.bredband.comhem.se QUIT :Ping timeout: 276 seconds < 1362022900 787060 :NihilistDandy!~ND@c-174-63-102-165.hsd1.vt.comcast.net JOIN :#esoteric < 1362022950 861625 :madbr!boulam@198-84-253-87.cpe.teksavvy.com JOIN :#esoteric < 1362022952 454628 :madbr!boulam@198-84-253-87.cpe.teksavvy.com PRIVMSG #esoteric :hey < 1362022991 194170 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hello < 1362023058 789144 :madbr!boulam@198-84-253-87.cpe.teksavvy.com PRIVMSG #esoteric :man, trying to do a pipelined/superscalar 32bit version of the 65816 is not so cool < 1362023080 242097 :madbr!boulam@198-84-253-87.cpe.teksavvy.com PRIVMSG #esoteric :the instruction set is just designed to stop up < 1362023153 982583 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Maybe you have to make up additional instructions or flags or whatever then, or require explicit pipelines and delays and so on in the program < 1362023185 315534 :madbr!boulam@198-84-253-87.cpe.teksavvy.com PRIVMSG #esoteric :the instruction set is completely full < 1362023189 961313 :olsner!~salparot@c83-252-194-156.bredband.comhem.se JOIN :#esoteric < 1362023219 651963 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Or to modify things, especially if making 32-bits and so on you may need to modify some things I would think < 1362023233 298252 :madbr!boulam@198-84-253-87.cpe.teksavvy.com PRIVMSG #esoteric :mhm < 1362023315 485201 :madbr!boulam@198-84-253-87.cpe.teksavvy.com PRIVMSG #esoteric :Man, C++ pointer aliasing is awful... it's pretty much the one thing that prevents you from autovectorizing all sorts of code < 1362023338 797043 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Does the LLVM pointer aliasing work better? < 1362023376 582869 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I saw this cool optimization ICC did in some cases a bit ago where it actually makes a runtime branch to check for aliasing < 1362023391 202264 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :so where it can prove there won't be aliasing, it can branch and do the simd optimizations on the non-aliasing side < 1362023411 724824 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :OK, I suppose in some cases it might be useful. < 1362023493 312341 :madbr!boulam@198-84-253-87.cpe.teksavvy.com PRIVMSG #esoteric :fiora: yeah < 1362023508 425814 :madbr!boulam@198-84-253-87.cpe.teksavvy.com PRIVMSG #esoteric :the crusoe pushed that even further < 1362023521 809552 :madbr!boulam@198-84-253-87.cpe.teksavvy.com PRIVMSG #esoteric :it has protected memory load/store instructions < 1362023554 24140 :madbr!boulam@198-84-253-87.cpe.teksavvy.com PRIVMSG #esoteric :it doesn't actually store information, it writes to a store buffer < 1362023573 680994 :madbr!boulam@198-84-253-87.cpe.teksavvy.com PRIVMSG #esoteric :and once it can verify that no aliasing occured, it does the real write < 1362023590 609769 :madbr!boulam@198-84-253-87.cpe.teksavvy.com PRIVMSG #esoteric :that way it can reorder read/writes < 1362023617 612607 :madbr!boulam@198-84-253-87.cpe.teksavvy.com PRIVMSG #esoteric :llvm has an alias analysis class yes: http://llvm.org/docs/AliasAnalysis.html < 1362023624 498465 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :don't a lot of modern machines do that internally? < 1362023639 742386 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I know at least intel chips actually do speculative loads where they try loading something assuming aliasing won't occur < 1362023644 245353 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and then redo the load if aliasing did occur < 1362023656 990207 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :madbr: Yes I have seen that, what I mean, is it better than C++ if you enter the LLVM instructions to make aliasing? < 1362023711 164095 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Can you not improve the optimization with whatever that declaration is? < 1362023713 367471 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :they have a thing in the optimization manual if I remember right about the case where code with lots of conflicts results in lots of wasted speculative loads, and how to avoid it < 1362023788 552403 :madbr!boulam@198-84-253-87.cpe.teksavvy.com PRIVMSG #esoteric :zzo: you can use some strange C++ keywords like noalias < 1362023823 951998 :madbr!boulam@198-84-253-87.cpe.teksavvy.com PRIVMSG #esoteric :zzo: there's also strict aliasing that helps (the rule that says that different types of pointers except char * can't alias) < 1362023830 120949 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Um... restrict, that one. < 1362023839 64116 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Oh that's not in C++ is it. < 1362023850 325854 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I think C++ has different aliasing rules from C but I'm not sure < 1362023858 975743 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :«In C++, pointer arguments are assumed not to alias if they point to fundamentally different types ("strict aliasing" rules). This allows more optimizations to be done than in C.» uhhhhh ok then < 1362023860 756161 :madbr!boulam@198-84-253-87.cpe.teksavvy.com PRIVMSG #esoteric :yeah I can't remember < 1362023870 698111 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :strict-aliasing isn't really a rule I think, it's more like < 1362023880 804395 :madbr!boulam@198-84-253-87.cpe.teksavvy.com PRIVMSG #esoteric :bike: yeah they have to do that < 1362023889 436703 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :"set no-strict-aliasing to make things less likely to break if your code violates the rules" < 1362023898 591964 :madbr!boulam@198-84-253-87.cpe.teksavvy.com PRIVMSG #esoteric :or else you can do horrible stuff like alias to pointers of other things < 1362023903 22703 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I think LLVM has a kind of metadata for aliasing, to specify which types alias which others more specifically < 1362023909 765304 :madbr!boulam@198-84-253-87.cpe.teksavvy.com PRIVMSG #esoteric :so very fast everything aliases everything else < 1362023965 526440 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Fiora: Well, it would be better, having it you can set on each individual variable, what aliasing to use. I think GCC might have such a thing possibly? < 1362023999 728810 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :um... the two keywords I know of are may_alias and restrict < 1362024014 881658 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :__attribute__((may_alias)) lets you override the C aliasing rules < 1362024019 955626 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it's useful sometimes when you want to do horrible things < 1362024037 121478 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i love horrible things < 1362024037 704417 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :restrict is just, this pointer won't alias anything else basically I think < 1362024047 994887 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :restrict is in C99 or something now, isn't it? < 1362024054 513273 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Yeah, it's standard now < 1362024061 923155 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :"it wasn't in C99 a while ago" < 1362024100 401624 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: C99 only started existing in 2008 or so. < 1362024164 770850 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :hey dudes, any security-minded types in here? wanna bounce something off ya re: nonces < 1362024167 148967 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Whoa, Man. < 1362024168 624106 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ℂ99 is a category where the objects are types and the arrows are undefined behavior. < 1362024185 885130 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Huh, c90 didn't have inline < 1362024225 601790 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :myndzi: imo you should just say it into the abyss < 1362024238 377844 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :("thats a metaphor for this channel") < 1362024240 530928 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :myndzi: What about it? < 1362024240 923771 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I think a lot of the c99 stuff got added to compilers as extensions first < 1362024248 233290 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and then they were like "oh well we should, like, standardize this" < 1362024262 281636 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sounds like a reasonable way to add things. < 1362024262 875307 :olsner!~salparot@c83-252-194-156.bredband.comhem.se QUIT :Ping timeout: 240 seconds < 1362024285 202355 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't like a lot of the things C99 does (but I like some). < 1362024309 448486 :NihilistDandy!~ND@c-174-63-102-165.hsd1.vt.comcast.net QUIT :Quit: Textual IRC Client: www.textualapp.com < 1362024311 176143 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :haha < 1362024315 735461 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :yeah, i was talking somewhere else too < 1362024319 117402 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Fiora: wikipedia agrees so you're right < 1362024335 856480 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :so in the context of web forms, nonces are useful to protect against blind submissions yeah? < 1362024353 385727 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :but they don't add much other than that; if an attacker had access to the network traffic they could simply sniff the nonce and spoof the form submission directly < 1362024353 887216 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :As in CSRF? < 1362024368 864070 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :i suppose so, i don't know the exact technical definition there < 1362024385 253888 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The main goal is that you can't take someone's browser -- which is logged in -- and have it submit some evil request. < 1362024389 694396 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :so, i'm moving a bunch of code from php pages to ajax stuff < 1362024391 544464 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Like /delete_my_account or something. < 1362024408 937422 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :that's more about requiring reauthorization < 1362024417 786185 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :if you were authenticated by cookie/session < 1362024424 989852 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1362024432 404093 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :to prevent someone from issuing arbitrary commands < 1362024436 127312 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or maybe we're talking about different things anyway. < 1362024437 390820 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :you make them re-supply the password < 1362024442 233843 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Using HTTP/HTML stuff at all (even HTTPS) can make it very insecure in general. < 1362024443 917281 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :For every possible action? < 1362024444 854889 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :if they were "remembered" < 1362024453 953876 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :no, just for important ones < 1362024461 910053 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :billing, authentication related < 1362024462 130410 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, then take the most important unimportant action. < 1362024463 966016 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :stuff like that < 1362024470 109231 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You still don't want some random person to be able to submit that. < 1362024481 509987 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :sure, but a nonce doesn't protect against that < 1362024486 27842 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :anyway, this isn't even the question < 1362024488 140115 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :lol ;P < 1362024504 177623 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, never mind that. < 1362024506 458075 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :the question is, is it worth using a nonce to protect against blind form submission if you reuse it? < 1362024510 296135 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :You could make a SSH based system, to do secure stuff < 1362024515 261959 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :i think so but it feels wrong to reuse anyway < 1362024529 457073 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What kind of blind form submission? < 1362024531 139182 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :the only alternative would be to make ajax requests to get new nonces or something < 1362024545 129876 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :by blind form submission i mean, submitting data to a form without having loaded the page that the form is on < 1362024553 271736 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :directly entering a get or post url, for example < 1362024562 627470 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :that's the only purpose i know of for including nonces with forms < 1362024577 30459 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Whom are you preventing from doing what here? < 1362024641 582464 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :you should use "who" because it's the subject of the sentence < 1362024648 517460 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :lol. < 1362024665 917781 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1362024672 334836 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That looks like "whom" to me. < 1362024696 196640 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :No! You should use "wham". < 1362024699 570071 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :whom is the obsolete form used for the direct object < 1362024707 815695 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :questions are weird as shit though < 1362024725 395911 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :haha, well i have a solution ;) < 1362024731 139601 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :ajax form submission -> return new nonce < 1362024731 795675 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :duh. < 1362024734 290078 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38++ < 1362024751 40528 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, I don't understand the situation or what you're trying to prevent or allow. < 1362024763 868964 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I have now typed the 2013Feb26 Dungeons&Dragons game session recordings. < 1362024803 600584 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you like this? < 1362024830 387076 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :i'm simply trying to implement good practices as i go :P < 1362024851 528637 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :myndzi: Good! < 1362024877 536075 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Good practice #1: Understand what's even, like, going on, man. < 1362024884 133447 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Probably you do, but I don't. < 1362024885 182498 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :i do understand it < 1362024886 380041 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :;) < 1362024903 410077 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :in this case, the single-use token (nonce) prevents two things < 1362024908 480169 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :1) multiple submission < 1362024908 752015 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: I like this. < 1362024914 475119 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :2) 'blind' submission < 1362024936 922070 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :it ensures that to submit data to a form, the user must 1) load the page, 2) enter the data on the form presented on that page and 3) submit that form < 1362024957 129134 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :i'm uncertain of any other purposes < 1362024959 474967 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I think "worse-is-better" is better. < 1362024966 834115 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :myndzi: OK. Why? < 1362024980 98107 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :why would you want to prevent multiple submission, or why would you want to prevent blind submission? < 1362024986 295842 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :i should think that's obvious < 1362025005 293816 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is the user evil here, or is someone being evil to the user? < 1362025012 59281 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :the latter < 1362025020 509594 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :or the user could simply be being impatient < 1362025033 498351 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :or typoing etc. (double enter) < 1362025039 864424 :olsner!~salparot@c83-252-194-156.bredband.comhem.se JOIN :#esoteric < 1362025087 397204 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Impatience as in clicking Submit twice seems more like a UI thing than a security thing to me. < 1362025090 409583 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But anyway. < 1362025102 157397 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :it's not a security thing < 1362025111 988552 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :but it's prevented by the solution so *shrug* < 1362025116 675709 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :or at least, accounted for < 1362025132 751368 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So someone is being evil to the user. What would they be able to do to the user without this thing? < 1362025143 346454 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :submit arbitrary form data < 1362025159 417687 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :in the event that they can get the user to visit a url < 1362025180 416053 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK. So it *is* CSRF that you're worrying about. < 1362025196 103957 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : you should use "who" because it's the subject of the sentence <-- no it is the direct object there, despite word order. "you are preventing _him_ from doing what here?" < 1362025196 479565 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :i'm not worrying about anything < 1362025202 799428 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In that case a CSRF token should be fine. < 1362025216 800110 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And reusing it is not particularly awful. < 1362025218 672874 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :i was simply wondering how to deal with this paradigm over ajax requests < 1362025242 500913 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :i agree, but it feels dirty somehow < 1362025243 59943 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :lol < 1362025248 673537 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :luckily i don't have to < 1362025314 538282 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :anyway, thanks < 1362025806 622691 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"'Marijuana cannon' used to fire drugs over US border seized in Mexico" < 1362025832 214881 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :out of a sub I hope < 1362025841 722227 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :nah just a pickup < 1362025845 171819 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but soon i'm sure < 1362025866 981111 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :short-range submarine-launched marijuana missile < 1362025877 133881 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :delivery straight to your home < 1362026006 231825 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the convenience < 1362026026 817175 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i predict quadcopter deliveries of marijuana will begin in SF within the decade < 1362026031 60169 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :if they haven't already < 1362026243 220446 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Illegal drugs is an important part of the economy and makes people creative too. Legalizing it might cause problems for these reasons? < 1362026270 917426 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :would drugs not make you creative if they were legal? < 1362026282 472630 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It won't. < 1362026295 706931 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Yeah would be a shame if we lost all that economic innovation from having gangs literally at war in Mexico < 1362026315 817400 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I have no problem if you want to use these drugs and make yourself dead and whatever, but making them legal might ruin the economy. < 1362026333 736549 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`addquote I have no problem if you want to use these drugs and make yourself dead and whatever, but making them legal might ruin the economy. < 1362026337 727163 :HackEgo!codu@codu.org PRIVMSG #esoteric :976) I have no problem if you want to use these drugs and make yourself dead and whatever, but making them legal might ruin the economy. < 1362026384 1091 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :this is an... odd position to take < 1362026395 189650 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :But seriously, broken window fallacy, etc. < 1362026409 419912 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :I mean do you know how much the US spends on enforcement? < 1362026430 715897 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :zzo38: so why does the drug only make you creative if it's illegal? < 1362026445 464630 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo we should illegalize placebos < 1362026452 12063 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :I think he means the creativity engendered by trying to get around the illegality. < 1362026455 331241 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Like drug cannons. < 1362026458 298493 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh, heh < 1362026465 92959 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes, like that is what I meant. < 1362026468 242684 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :we should make industrial strength placebos < 1362026472 138515 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :well let's legalize marijuana and then they can make cocaine cannons instead < 1362026474 185969 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :illegalise gazebo < 1362026474 610476 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :s < 1362026475 984204 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's better because of alliteration < 1362026481 995726 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Man's got a point. < 1362026488 96916 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :kmc for ATF commissioner! < 1362026513 365013 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :if elected I will personally consume more alcohol, tobacco, and firearms than any previous ATF commissioner < 1362026516 269250 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that is the promise i make < 1362026522 933758 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :are we talking like actually eating guns < 1362026533 520508 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :THE GUN IS GOOD < 1362026536 358086 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :THE PENIS IS EVIL < 1362026559 778356 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :you know how there's that presidential candidate whose platform is just the KJV < 1362026568 838814 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :kmc's like that but with the Zardoz screenplay < 1362026575 632956 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1362026587 666056 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Stay close to me - inside my aura! < 1362026659 396139 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If only I could be a presidential candidate. :-( < 1362026659 586312 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the voice of the turtle is heard in the land < 1362026665 765255 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :(that's a Zardoz quote *and* a bible quote) < 1362026686 964651 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :shachaf: It's pretty easy! I mean, if you don't mind not being on the ballot. < 1362026698 168775 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: Don't I have to be born in the US or something? < 1362026703 782531 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Nah. < 1362026714 206605 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, depends on president of what, I guess. < 1362026719 784520 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :The CPUSA's VP candidate last year was Colombian, and the prez candidate was underage. < 1362026723 435332 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :I think it was the CPUSA anyway. < 1362026727 594354 :quintopia!~quintopia@unaffiliated/quintopia QUIT :Remote host closed the connection < 1362026775 283482 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Apparently I can't be president of .fi either. < 1362026781 720916 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Can I be president of #esoteric? < 1362026805 83882 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :How do you write thirteen and a half in roman numbers? < 1362026835 943270 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 276 seconds < 1362026840 414800 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :XI\ < 1362026872 974506 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :xıv < 1362026913 177473 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1362026987 474816 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Oh, it was the Party for Socialism and Liberation. < 1362027833 462802 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Good night < 1362028896 981322 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: Thanks! < 1362029022 72681 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :shachaf, er? < 1362029066 470586 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :For `olisting. < 1362029108 175071 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Ah < 1362029122 110311 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :
ACTION wonders if Blaze's monad could be made to fit the monad laws
< 1362029145 859295 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what does that mean < 1362029153 262112 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Add a Return constructor. Make m >>= f pass () to f if m is anything other than Return. < 1362029167 652756 :md_5!md_5@mcdevs/trusted/md-5 QUIT :Ping timeout: 260 seconds < 1362029167 802554 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I _think_ that at least satisfies the first two laws < 1362029176 53162 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :it's not quite a monad if it doesn't satisfy the monad laws, now is it < 1362029176 356909 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Haven't looked at the third yet. < 1362029185 326014 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Fine. Blaze's "monad" < 1362029196 959495 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Thinking about how it could be altered to fix it < 1362029197 288081 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :people can talk about satisfying them modulo some equivalence relation < 1362029211 903734 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :btw what's blaze's "monad" < 1362029221 346066 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :monqy, Html. < 1362029237 534772 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :https://github.com/jaspervdj/blaze-markup/blob/master/src/Text/Blaze/Internal.hs < 1362029238 849127 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :is html a monad now < 1362029252 482555 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(MarkupM) < 1362029257 381556 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Why would Html be a monad? < 1362029257 972125 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: Blaze's Monad. hth < 1362029269 151613 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: thank you < 1362029274 769027 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :The author of the library acted like it was for some conveniences < 1362029284 508516 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Why would Html even be a type constructor? < 1362029292 729238 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Sgeo: this is bad < 1362029293 904740 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :https://github.com/jaspervdj/blaze-markup/blob/master/src/Text/Blaze/Internal.hs#L156 < 1362029296 836762 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Wasn't Blaze just like Writer Something except broken for some reason? < 1362029310 222426 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: good instance < 1362029314 953006 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :we should import it into lens < 1362029318 317761 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Quit: Leaving. < 1362029346 892675 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess that one is safe... < 1362029368 444095 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :fsvo safe < 1362029369 609825 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe. < 1362029375 682721 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :glad they marked all those inline < 1362029401 185005 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :it's about as safe as fromjust*LESS SAFE???? < 1362029412 903694 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :"imo yes" < 1362029445 304421 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: why,youcan't get bottom out of it canyou? < 1362029492 524430 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :upon rereading, yeah i guess so < 1362029498 783134 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :except < 1362029500 497678 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :maybe not??? < 1362029510 531975 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what if you bind and then you have a bottom just sitting around < 1362029524 740680 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :and then you try and force that bottom < 1362029529 208181 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :bam dead < 1362029533 177764 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh i thought you meant the functor instance < 1362029535 981779 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh < 1362029539 117998 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"i didn't even see the monad instance" < 1362029551 684799 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ew that instance is bad < 1362029565 196842 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :why would you make an instance like that < 1362029567 440577 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :exactly < 1362029572 603208 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :its so bad < 1362029581 642258 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :why not just use writer.......................... < 1362029591 923963 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :theres a nice monoid instance over there < 1362029601 718856 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what is even going on here < 1362029616 567295 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it makes me 4mad < 1362029625 344488 :md_5!md_5@mcdevs/trusted/md-5 JOIN :#esoteric < 1362029631 86585 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(actually i was already 4mad to begin with) < 1362029640 376376 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :It makes me 14MAD01. < 1362029642 44949 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :extramad??? < 1362029657 185285 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Because 14MAD is even more mad than 04mad. < 1362029698 702061 :keb!~keb@c-71-59-209-166.hsd1.or.comcast.net JOIN :#esoteric < 1362029705 216192 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`welcome keb < 1362029706 906484 :HackEgo!codu@codu.org PRIVMSG #esoteric :keb: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1362029710 19216 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so is the point of this instance just to abuse donotation < 1362029718 401398 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :But 04mad is more mad than 04MAD. In fact, 04MAD isn't mad at all; it's just sort of peacefully introspective. < 1362029744 643354 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :this instance: seriously awful?? < 1362029748 711983 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :shachaf, one of the examples of using Blaze uses forM_ < 1362029750 689429 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: well you can use functions that expect monads??? but you'll probably get a lot of bottoms sitting around < 1362029766 749981 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: not if they assume the monad laws......... < 1362029768 130638 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :@type forM_ < 1362029769 613009 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Monad m => [a] -> (a -> m b) -> m () < 1362029773 612708 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: well, that too < 1362029780 119518 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :which i typically assume < 1362029831 835924 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :@type foldMap < 1362029836 676947 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(Foldable t, Monoid m) => (a -> m) -> t a -> m < 1362029850 697919 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :
ACTION gestures.
< 1362029857 113061 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :shachaf, is it ethical to use a Writer monad primarily for the do notation? < 1362029884 247497 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :using writer is better than making your own broken instance at least < 1362029916 724027 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Is "Is it ethical" the central question of Haskell? < 1362029929 8279 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes you've figured it out < 1362029937 541231 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :The key. < 1362029943 32852 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :I think we should build the endokleislicategory monoid and use that with writer < 1362029945 141089 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :The key to Sgeo, also. < 1362029946 756578 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :so we can embed other monads < 1362029958 780515 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :in a writer's accumulator < 1362029965 788288 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1362029984 156473 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://www.bbc.co.uk/berkshire/content/articles/2006/12/06/divide_zero_feature.shtml < 1362029998 847355 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh ive seen that < 1362030018 295298 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Man that was funny when it was new. < 1362030025 713843 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I haven't even seen it before. < 1362030028 280285 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :remember that guys other stuff too < 1362030059 420049 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Yeah. It's good stuff. < 1362030067 14598 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: no < 1362030081 551994 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :
ACTION ponders Haskell type magickery for cryptography.
< 1362030117 488805 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: "what other stuff" < 1362030131 385060 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :We need to turn chosen-key-relations-in-the-middle into Haskell stuff. < 1362030141 487800 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Oh right, I forgot. I came here to say a specific thing. < 1362030154 665540 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :well i've always heard homomorphic encryption explained in cat theory terms, that's pretty much haskell < 1362030176 324277 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: http://www.bookofparagon.com/ < 1362030177 776782 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cat theory? That's pretty popular on the Internet. < 1362030195 217370 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :I have a cat on me right now. < 1362030200 977797 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Her egory is missing. < 1362030203 780118 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :you should never tell anyone that According to a friend of mine, you don't like pancakes. < 1362030211 195120 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :monqy: Oh, christ. < 1362030228 286766 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Anderson has been trying to market his ideas for transreal arithmetic and "Perspex machines" to investors. He claims that his work can produce computers which run "orders of magnitude faster than today's computers".[7][12] He has also claimed that it can help solve such problems as quantum gravity,[7] the mind-body connection,[13] consciousness[13] and free will.[13] < 1362030263 46133 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: how does it compare to vortex math < 1362030274 393223 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :it's in a similar vein < 1362030277 741699 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Related: < 1362030279 48100 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Holy shit, I found the solution to the prime numbers. They are a slightly altered fibonacci like sequence on a translated number line! What do I have to be able to show for my discovery to be taken seriously and what issues are there in math regarding primes are there? I don't want people getting credit using my discovery when I can do it myself. < 1362030285 318880 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Oh yeah,[15] I've heard of those.[2] Kind of a silly[6] idea, isn't it.[6] < 1362030321 713575 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Bike: good < 1362030327 783091 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Bike: where is this < 1362030371 120804 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :4chan. < 1362030422 690662 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :is there any followup i want to know more < 1362030473 565451 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :http://boards.4chan.org/sci/res/5569709 < 1362030478 365845 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The symbol for nullity (bottom) < 1362030626 857245 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"literally no idea what everyone here is babbling on about, OP found a proof that a countably infinite set lies in bijection with a different countably infinite set." < 1362030742 753360 :TeruFSX!~TeruFSX@65-128-137-85.mpls.qwest.net QUIT :Ping timeout: 240 seconds < 1362030779 820 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :gosh this all went down today? < 1362030790 657633 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :4chan is hell < 1362030802 2206 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Only the latest bullshit news from your friendly village bicycle. < 1362030813 511571 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :more like villain bicycle < 1362030988 506838 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :that striping pattern is the result of factors of 3 < 1362030989 779815 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :"They are a well define sequence but lack a generating functions." < 1362030992 280871 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Why, that's not true. < 1362031028 105105 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :One generating function for the prime numbers is the function f(x) = \sum_{n=1}^\infty p_n x^n, where p_n is the nth prime number. < 1362031082 684228 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :I have a simple algorithm that generates all primes which are multiples of 5. I'm proofreading the paper now, and will submit it this weekend. < 1362031086 660433 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :tswett: :-) have you noticed that 4chan is hell < 1362031283 550997 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :so far I have found a way to generate the first 50 primes using this algorithm < 1362031312 818867 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :"Define the meaning of the limit of a function using only rational numbers." < 1362031333 18860 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Needless to say. < 1362031570 279257 :madbr!boulam@198-84-253-87.cpe.teksavvy.com PRIVMSG #esoteric :that thread is horrible < 1362031599 994660 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what did you expect < 1362031612 797666 :madbr!boulam@198-84-253-87.cpe.teksavvy.com PRIVMSG #esoteric :nothing < 1362031832 713893 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :why do they even have a science and math forum, what do they expect to get out of it? < 1362031846 777064 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :gems like this < 1362031906 599316 :sirdancealot!~sirdancea@98.82.broadband5.iol.cz QUIT :Quit: ragequit < 1362031925 32098 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Why will some programs fail to follow the principle of extended ASCII? < 1362031937 152285 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :There's a principle of extended ASCII? < 1362031938 650945 :cantcode!~cantcode@98.82.broadband5.iol.cz JOIN :#esoteric < 1362031944 901914 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :It's a zzoprinciple. < 1362032023 140185 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :The principle of extended ASCII is that the codes 0x00 to 0x7F are always ASCII, and that the non-ASCII codes are not used for commands and that kinds of stuff (and I didn't just make up this principle). < 1362032048 573850 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is "(and I didn't just make up this principle)" part of the principle? < 1362032074 633960 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :No < 1362032084 229325 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :At least, I don't think so. < 1362032113 857135 :keb!~keb@c-71-59-209-166.hsd1.or.comcast.net QUIT :Ping timeout: 246 seconds < 1362032151 146256 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :join #erotic < 1362032165 777590 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1362032169 265736 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :woops forgot the slash < 1362032210 803927 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :… < 1362032215 173546 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Does #erotic real? < 1362032218 678301 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Does the filename need a slash? < 1362032258 330237 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Does #esoteric have an auxilary channel for erotic internet roleplay? < 1362032267 595335 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :zzo38: no but I like it better with it, harry/draco all the way < 1362032269 748056 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :erotic esolangs? < 1362032291 520204 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :does fuckfuck count < 1362032339 106508 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hm < 1362032347 701749 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :maybe if you wrote some erotic fiction that is also a fuckfuck program < 1362032396 698303 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :If I write erotic monqy/shachaf fanfiction is it actually nonfiction? Is it Turing complete? Does erotic fanfiction form a monad if it has shachaf in it? < 1362032420 328811 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :all excellent questions < 1362032462 250095 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :I'm pretty sure the slash operator forms a monoid. < 1362032524 579789 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi < 1362032526 31221 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :are you sure it's even associative < 1362032560 268715 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Oh, maybe you're right... < 1362032565 280906 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :I think I can invert it too though. < 1362032575 97865 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :The identity can be Sgeo. < 1362032580 833353 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ok < 1362032583 274189 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :I love shachaf < 1362032622 13918 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :don't we all < 1362033212 765921 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I found on Wikipedia, the roman numbers for one half is actually S. < 1362033239 539404 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what is the roman numbers for epsilon < 1362033269 155262 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(actually without the dot; because "S" is 1/2 and "S." is 7/12) < 1362033298 150809 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't know what is the roman numbers for epsilon. < 1362033512 789210 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :zzo38: is there notation for other numbers of twelfths besides six and seven? < 1362033528 265241 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes, a colon means 1/6 < 1362033533 303104 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :A dot means 1/12 < 1362033548 205682 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Look it up in Wikipedia for information < 1362033603 962282 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :So now I know how to write the name of the "pope" of one of the lesser-known churches I have written about in the Dungeons&Dragons game, using roman numbers. < 1362033623 404536 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :He has fractions in his name? < 1362033658 827790 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes. < 1362033664 242289 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Meaning what? < 1362033699 407073 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Meaning fractions. < 1362033714 126494 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :I mean, what do they mean in the context of his name. < 1362033750 501211 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Usually "Ted Dicksterson III" means "the Ted Dicksterson after Ted Dicksterson II", I don't get how that works with fractions. < 1362033815 619658 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Well, for some reason (not precisely known, but there might be theories), one of them taking that name is numbered by a half. < 1362033849 251292 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Bike, you should play Frog Fractions to help you learn about fractions. < 1362033852 888655 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(Sorry, I'm obsessed) < 1362033903 245326 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It is of the church of Gxxyuxihuvxi, but instead they will usually say "the deity whose name shall not be mentioned because is difficult to pronounce" instead of their proper name. < 1362033924 748816 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1362033935 765737 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :How is it pronounced? < 1362033958 306321 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It is difficult. < 1362034005 128473 :madbr!boulam@198-84-253-87.cpe.teksavvy.com PRIVMSG #esoteric :tell us using phonetic alphabet : http://en.wikipedia.org/wiki/International_Phonetic_Alphabet < 1362034021 358440 :madbr!boulam@198-84-253-87.cpe.teksavvy.com PRIVMSG #esoteric :x-sampa is also acceptable if you're familiar with that < 1362034034 55417 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :One problem is that I don't know how to pronounce, so using symbols won't help! < 1362034068 165262 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :"Gxxyuxihuvxi" is just the written form of the name (and only when using the English alphabet); not the spoken form. < 1362034373 340372 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Sgeo this hardly seems very fraction-related at all! < 1362034380 833641 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 272 seconds < 1362034478 791865 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1362034535 698941 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :The points are fractions, the score is displayed as fraction. Therefore, you're learning about fractions! < 1362034546 997684 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Actually they're floats now. < 1362034552 666718 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :This is pretty advanced. < 1362034588 868287 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`smlist < 1362034594 838050 :HackEgo!codu@codu.org PRIVMSG #esoteric :shachaf monqy elliott < 1362034608 272952 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :!!!!! < 1362034630 591235 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Have you looked through the possible upgrades? < 1362034686 159328 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :i've uninstalled lockon twice < 1362034767 900616 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Yeah... it's gonna take forever to get that Warp Drive. Stupid economy :( < 1362034777 778579 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I read somewhere that the E0x command in .MOD affects the "LED filter" but OpenMPT doesn't have that command? < 1362034784 106892 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(Hint: You need to get the Warp Drive) < 1362034789 518273 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: are you playing frog fractions < 1362034819 183683 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: don't give Bike hints................ just because you got hints doesn't mean you have to spread them on < 1362034832 358676 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :which part of frog fractions are you on Bike < 1362034852 46768 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(I don't know if I have any music files using that command, but still some documents says it is valid commands) < 1362034867 751849 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :The part where I got bored because everything is slow on this machine, and went back to listening to Staircase Whip on infinite repeat. < 1362034905 959606 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Obviously, "Gxxyuxihuvxi" is pronounced /gksksˈjʌksɪhʌvksi/. < 1362034914 293777 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Thanks. < 1362034945 923772 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :tswett: To you it is. OK < 1362034979 542897 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But maybe it is still difficult anyways < 1362035016 786340 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :I'd say /ksks'jʌks/ is difficult yes < 1362035045 47989 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :shachaf, maybe Bike needs a hint? < 1362035061 706878 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :/ksksˈjʌks/ isn't a part of that I have difficulty pronouncing. < 1362035120 267124 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Also the name is in English letter because is what we have; the proper letters are difficult. < 1362035151 780779 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :save frog fractions for when you have a good computer?? frog fractions deserves it < 1362035167 480820 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Mmhm. < 1362035174 166246 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Can it be pronounced correctly using only the human body? < 1362035179 94351 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :(And the air surrounding it?) < 1362035193 968353 :sebbu!~sebbu@adijon-152-1-42-26.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1362035194 116936 :sebbu!~sebbu@adijon-152-1-42-26.w83-194.abo.wanadoo.fr QUIT :Changing host < 1362035194 117098 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1362035206 301956 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Probably not. < 1362035239 645368 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It isn't meant for human to pronounce, but it is difficult for others too anyways. < 1362035296 255149 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Reminds me of that one Fry and Laurie skit about a guy named "Nippl-e", pronounced by dropping a pen held horizontally from a height of about a foot. < 1362035371 904491 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Over what kind of surface? < 1362035479 408246 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :A desk or something. < 1362035588 201675 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :If I drop it into water, can that be called an accent? < 1362035652 845607 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Well, any way of pronouncing things is an accent. < 1362035686 345161 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :The only question is whether or not it would sound significantly different. < 1362035738 722134 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :(Do I pronounce "n" differently from most people? Why, yes I do. I pronounce it with my tongue, whereas other people pronounce it with *their* tongues.) < 1362035780 851254 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1362035788 709996 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I pronounce it with your tongue. < 1362036293 828144 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :At this rate my fanfiction will be outdone by the channel itself. < 1362036323 227973 :madbr!boulam@198-84-253-87.cpe.teksavvy.com PRIVMSG #esoteric :I'd do it with a click < 1362036337 916268 :madbr!boulam@198-84-253-87.cpe.teksavvy.com PRIVMSG #esoteric :Derek *klk!* < 1362036354 775082 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: Aeronautic fanfiction, right? < 1362036365 519598 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i love airplanes < 1362036430 657679 :Bike!~Glossina@63-229-134-7.ptld.qwest.net PRIVMSG #esoteric :Well, you'll love being fucked by one then. < 1362036817 835585 :carado!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 JOIN :#esoteric < 1362037078 825925 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Ping timeout: 272 seconds < 1362037093 439296 :epicmonkey!~epicmonke@46.164.134.18 JOIN :#esoteric < 1362037290 231006 :fftw!~fastest@la-pinta.la.net.ua QUIT :Ping timeout: 264 seconds < 1362037454 632910 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1362037776 772615 :fftw!~fastest@la-pinta.la.net.ua JOIN :#esoteric < 1362038246 1891 :tromp_!~tromp@rtc35-242.rentec.com QUIT :Remote host closed the connection < 1362038272 213891 :tromp_!~tromp@rtc35-242.rentec.com JOIN :#esoteric < 1362038820 35963 :rodgort!~rodgort@li125-242.members.linode.com QUIT :Ping timeout: 248 seconds < 1362038910 599915 :rodgort!~rodgort@li125-242.members.linode.com JOIN :#esoteric < 1362039034 358072 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@ask nooodl Why didn't you put langtons ant on rosettacode? < 1362039034 545908 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1362039195 894227 :madbr!boulam@198-84-253-87.cpe.teksavvy.com QUIT :Quit: Radiateur < 1362040253 134941 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric < 1362040959 810416 :Bike!~Glossina@63-229-134-7.ptld.qwest.net QUIT :Quit: slep < 1362041583 597885 :Haz!Haz@c-71-205-195-188.hsd1.mi.comcast.net JOIN :#esoteric < 1362041626 997705 :Haz!Haz@c-71-205-195-188.hsd1.mi.comcast.net PRIVMSG #esoteric :lua sucks < 1362041629 100654 :Haz!Haz@c-71-205-195-188.hsd1.mi.comcast.net PRIVMSG #esoteric :suck it, nerds < 1362041630 423594 :Haz!Haz@c-71-205-195-188.hsd1.mi.comcast.net PART :#esoteric < 1362041786 122292 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ok < 1362042082 111379 :doesthiswork!~Adium@75.87.251.5 QUIT :Quit: Leaving. < 1362042159 41354 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: Haz sure showed you huh < 1362042258 750540 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yeah totally < 1362042959 449763 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1362043712 45527 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I found Haz. < 1362043816 375153 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :In #vidyadev < 1362043824 317496 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Courtesy of #lua < 1362044091 724621 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Ping timeout: 260 seconds < 1362044314 845523 :carado!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 QUIT :Ping timeout: 246 seconds < 1362044937 907549 :carado!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 JOIN :#esoteric < 1362047984 802044 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 272 seconds < 1362048090 529509 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1362048313 492990 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1362052307 639892 :carado_!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1362054278 318408 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1362054280 941336 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Client Quit < 1362054292 582773 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1362054393 512235 :TeruFSX!~TeruFSX@65.128.137.85 JOIN :#esoteric < 1362054701 884567 :mroman_!~roman2@fmnssun.ibone.ch JOIN :#esoteric < 1362054945 290085 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn QUIT :*.net *.split < 1362054945 478029 :mroman!~roman2@fmnssun.ibone.ch QUIT :*.net *.split < 1362054945 628287 :Sanky!~SankyZNC@unaffiliated/sanky QUIT :*.net *.split < 1362054976 885212 :TeruFSX!~TeruFSX@65.128.137.85 QUIT :Ping timeout: 272 seconds < 1362055027 547192 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn JOIN :#esoteric < 1362056610 456304 :epicmonkey!~epicmonke@46.164.134.18 QUIT :Ping timeout: 276 seconds < 1362057145 850477 :carado!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 QUIT :Ping timeout: 246 seconds < 1362060113 675918 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1362060174 213609 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 JOIN :#esoteric < 1362060928 883311 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1362061602 265139 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: http://esolangs.org/w/index.php?title=Talk:Undefined_behavior&diff=next&oldid=35561 is incorrect, no? < 1362061638 450082 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott: it is < 1362061642 136057 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :a gets modified twice < 1362061652 117168 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :but the comment beforehand is also wrong < 1362061659 412722 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :it is un*specified*, not un*defined* < 1362061700 918631 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :the original example was UB < 1362061711 922426 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :right < 1362061718 605081 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well i nominate you to fix the article < 1362061722 913290 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :if it is broken < 1362061780 72042 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :fixed < 1362061848 555730 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :thank you for your services to america < 1362061874 163032 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: shouldn't one of those comments be "unspecified" or such < 1362061881 989342 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or do I know even less about C than I thought < 1362061885 301689 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I'm not fixing discussion posts < 1362061903 673273 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :that's like trying to fix people who are wrong on the internet < 1362061910 969818 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :no i meant < 1362061913 886312 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the comments in the article < 1362061917 787600 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :in the C code < 1362061920 518045 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :no < 1362061924 321089 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :it is undefined in both cases < 1362061927 788896 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ok < 1362061964 13661 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I believe there is actually at least one compiler where b = b++ managed to add 2 < 1362062014 8196 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :mm < 1362062218 244828 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I don't want to go to class :( < 1362062256 843595 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :actually, there are a large number of things I need to do today, and I want to do none of them < 1362063105 807327 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :you have to go by small steps, piece by piece. attack the problem from the beginning. < 1362063105 994212 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :boily: You have 1 new message. '/msg lambdabot @messages' to read it. < 1362063139 841947 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :no you have to give up < 1362063147 298439 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and cry and flail around wildly and then get nothing done < 1362063148 494128 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :by which I mean: don't do the first task, then don't do the second after it. < 1362063154 25108 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh that works too < 1362063161 194433 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :an innovative alternate approach < 1362063179 206348 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what if you have to be doing the third task while not doing the second task < 1362063221 947883 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :or worse: what if you're stuck in a livelock not doing multiple tasks at the same time? < 1362063240 715905 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :we need a non-scheduler to schedule not doing things. < 1362063270 272317 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I guess I'll begin to procrastinate on that starting tomorrow. < 1362063329 935396 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :@tell oerjan I fail to see how infinite recursion breaks total ordering. but then, IANAM. (I am not a mathematician) < 1362063330 95093 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1362063376 345980 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :neither is oerjan, he just plays one on IRC. < 1362063379 305406 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :plays one on Ph.D. < 1362063452 399604 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :OTOH, I *should* be able to understand this. I remember having painful memories of math classes in university. < 1362065861 856521 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1362066131 360302 :GOMADWarrior!~Regis@186.222.62.76 JOIN :#esoteric < 1362066725 564553 :GOMADWarrior!~Regis@186.222.62.76 QUIT :Ping timeout: 255 seconds < 1362067347 761208 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :haha < 1362067353 142994 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :total ordering of what? < 1362067543 496009 :GOMADWarrior!~Regis@186.222.62.76 JOIN :#esoteric < 1362067959 877221 :Taneb!~nathan@host-2-99-86-31.as13285.net JOIN :#esoteric < 1362068496 984941 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Arc_Koen < 1362068507 374366 :impomatic!~digital_w@146.90.165.144 JOIN :#esoteric < 1362069262 826511 :Sanky!~SankyZNC@unaffiliated/sanky JOIN :#esoteric < 1362069910 594323 :Bike!~Glossina@63.229.134.7 JOIN :#esoteric < 1362069918 94781 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :coppro, your face < 1362069948 62257 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Phantom_Hoover: my face is well-ordered! < 1362069960 641386 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :well that's just your choice < 1362070295 870049 :sebbu!~sebbu@ADijon-152-1-42-26.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1362070296 300722 :sebbu!~sebbu@ADijon-152-1-42-26.w83-194.abo.wanadoo.fr QUIT :Changing host < 1362070296 450781 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1362070576 138540 :Taneb!~nathan@host-2-99-86-31.as13285.net QUIT :Quit: Leaving < 1362071257 842516 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 246 seconds < 1362071640 73989 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1362072355 938573 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 248 seconds < 1362072689 393120 :sebbu!~sebbu@83.194.56.26 JOIN :#esoteric < 1362072689 588975 :sebbu!~sebbu@83.194.56.26 QUIT :Changing host < 1362072689 589152 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1362072953 531103 :Taneb!~nathan@host-2-99-86-31.as13285.net JOIN :#esoteric < 1362073073 796203 :doesthiswork!~Adium@75.87.251.5 JOIN :#esoteric < 1362073209 340143 :sebbu2!~sebbu@83.194.56.26 JOIN :#esoteric < 1362073209 493500 :sebbu2!~sebbu@83.194.56.26 QUIT :Changing host < 1362073209 493638 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1362073308 556991 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 245 seconds < 1362073484 762671 :augur!~augur@208.58.5.87 QUIT :Ping timeout: 256 seconds < 1362073558 459113 :sebbu2!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 245 seconds < 1362074181 399633 :sebbu!~sebbu@83.194.56.26 JOIN :#esoteric < 1362074181 586282 :sebbu!~sebbu@83.194.56.26 QUIT :Changing host < 1362074181 586442 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1362074447 484774 :Taneb!~nathan@host-2-99-86-31.as13285.net QUIT :Ping timeout: 255 seconds < 1362075608 677853 :Taneb!~nathan@2.99.86.31 JOIN :#esoteric < 1362075636 789290 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1362077809 84671 :Snowyowl!5c6b415a@gateway/web/freenode/ip.92.107.65.90 JOIN :#esoteric < 1362078671 82922 :Snowyowl_!5c6b415a@gateway/web/freenode/ip.92.107.65.90 JOIN :#esoteric < 1362078803 104820 :Snowyowl!5c6b415a@gateway/web/freenode/ip.92.107.65.90 QUIT :Ping timeout: 245 seconds < 1362078947 588504 :NuclearMeltdown!~rep@unaffiliated/antiliberal QUIT :Quit: User disconnected < 1362078990 622934 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1362079053 40897 :Snowyowl_!5c6b415a@gateway/web/freenode/ip.92.107.65.90 QUIT :Ping timeout: 245 seconds < 1362079434 963641 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1362079446 58690 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Hello < 1362079476 804437 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :Hey, AnotherTest < 1362079499 423757 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :`welcome AnotherTest < 1362079510 322392 :HackEgo!codu@codu.org PRIVMSG #esoteric :AnotherTest: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1362079511 861742 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :mroman_: I continuously seem to fail installing the packages required to build the burlesque interpreter. < 1362079531 946473 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Thanks for the welcome, now I have the right to < 1362079544 339246 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :'WeLcOmE doesthiswork < 1362079556 198552 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :oh right < 1362079561 166318 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :`WeLcOmE doesthiswork < 1362079565 527271 :HackEgo!codu@codu.org PRIVMSG #esoteric :DoEsThIsWoRk: WeLcOmE To tHe iNtErNaTiOnAl hUb fOr eSoTeRiC PrOgRaMmInG LaNgUaGe dEsIgN AnD DePlOyMeNt! FoR MoRe iNfOrMaTiOn, ChEcK OuT OuR WiKi: HtTp://eSoLaNgS.OrG/WiKi/mAiN_PaGe. (fOr tHe oThEr kInD Of eSoTeRiCa, TrY #eSoTeRiC On iRc.dAl.nEt.) < 1362079600 929816 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :`wElCoMe AnotherTest < 1362079602 275288 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wElCoMe: not found < 1362079718 191598 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :`WELCOME doesthiswork < 1362079721 5443 :HackEgo!codu@codu.org PRIVMSG #esoteric :DOESTHISWORK: WELCOME TO THE INTERNATIONAL HUB FOR ESOTERIC PROGRAMMING LANGUAGE DESIGN AND DEPLOYMENT! FOR MORE INFORMATION, CHECK OUT OUR WIKI: HTTP://ESOLANGS.ORG/WIKI/MAIN_PAGE. (FOR THE OTHER KIND OF ESOTERICA, TRY #ESOTERIC ON IRC.DAL.NET.) < 1362079737 195415 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :i'd already seen that one < 1362079771 330256 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Hm. I'm not sure if you can do anything else < 1362079783 26915 :doesthiswork!~Adium@75.87.251.5 PRIVMSG #esoteric :it's missing the one where random letters are repeated, it's the style of the times < 1362079819 731768 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Ping timeout: 260 seconds < 1362080472 982205 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :!blsq "5+2*5" "+";;{"-";;{"*";;{"/";;{rd}m[}m[}m[}m[}m[{{{ {.*} r[ } m[{.*} r[} m[{.-} r[} m[{.+} r[ < 1362080473 295869 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{{{5.0}}} {{{2.0} {5.0}}}} < 1362080478 442351 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :hm < 1362080495 241353 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :!blsq {{{{5.0}}} {{{2.0} {5.0}}}} {{{ {.*} r[ } m[{.*} r[} m[{.-} r[} m[{.+} r[ < 1362080495 467670 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 15.0 < 1362080509 632990 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :well that's weird, I really need a decent interpreter though < 1362080538 115840 :Snowyowl!5c6b415a@gateway/web/freenode/ip.92.107.65.90 JOIN :#esoteric < 1362082063 599033 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1362082533 757902 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1362082759 853065 :carado!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 JOIN :#esoteric < 1362083379 814589 :KingOfKarlsruhe!~chatzilla@p4FDCD6CF.dip.t-dialin.net JOIN :#esoteric < 1362083400 770911 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1362083429 389415 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1362083646 278717 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Add a Return constructor. Make m >>= f pass () to f if m is anything other than Return. <-- that's basically how you make a free monad. although you need to disassemble m when it contains >>= too. < 1362083646 746110 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :oerjan: You have 1 new message. '/msg lambdabot @messages' to read it. < 1362083650 762894 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages < 1362083651 298422 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :boily said 5h 38m 42s ago: I fail to see how infinite recursion breaks total ordering. but then, IANAM. (I am not a mathematician) < 1362083730 222031 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell boily a total ordering requires always returning a comparison result (LT, EQ or GT.) you cannot do that if you infinitely recurse, can you. < 1362083730 741516 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1362083793 123789 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :bottom is a perfectly valid comparison result < 1362083794 863012 :carado!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 QUIT :Ping timeout: 246 seconds < 1362083804 628835 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: not in a total order. < 1362083847 48022 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :bottom is kinda nasty. < 1362083847 222783 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :boily: You have 1 new message. '/msg lambdabot @messages' to read it. < 1362083862 879093 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell boily note i don't mean that the _values_ are infinite structures, but that _comparing_ them is an non-halting operation because of infinite recursion. although if your EQ is perfect structural identity you cannot really avoid the latter with the former. < 1362083863 475592 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1362083869 351733 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh there he is :P < 1362083885 547891 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :Trivia: I never actually fixed the Bootleg Chinese Graphics Card problem < 1362083917 178705 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :is that some kind of complexity theoretic problem or philosophical thought-experiment < 1362083930 208049 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :No < 1362083934 664905 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kmc: if it isn't, it needs to be < 1362083964 361902 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> :t EQ < 1362083966 739295 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : :1:1: parse error on input `:' < 1362083967 754853 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t EQ < 1362083969 599546 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Ordering < 1362083975 776417 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: if we can make spam messages into esolang names, then we can make the Bootleg Chinese Graphics Card problem < 1362083993 184914 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :It sounds graph theory ish < 1362083993 858264 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :into a theoretical thought experiment < 1362083995 527160 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I like how Ordering has an Ord instance < 1362084001 969962 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> EQ > LT < 1362084004 338396 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : True < 1362084006 626077 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> EQ > GT < 1362084008 766550 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : False < 1362084029 668661 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: istr there's some nice application of that < 1362084037 847798 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :oerjan: Probably sorting < 1362084053 237718 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :It's also a monoid < 1362084058 118410 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :> EQ `mappend` GT < 1362084059 931207 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Terminated < 1362084061 483914 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :> EQ `mappend` GT < 1362084063 694080 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : GT < 1362084064 380345 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :great monoid < 1362084075 717091 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :> LT `mappend` GT < 1362084077 402547 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : LT < 1362084088 833671 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm maybe the monoid was involved < 1362084100 670839 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :It's not a group, though < 1362084117 734677 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> mconcat $ zipWith compare [0..] [0, 2..] < 1362084119 759355 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : LT < 1362084149 794176 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :pretty sure that's the same as compare on lists < 1362084213 89201 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> compare [0..] [0,2..] < 1362084215 327488 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : LT < 1362084275 456880 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :whoah whoah whoah, zzo apparently spent time on something awful < 1362084309 414221 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i think you can zipWith Traverse instances, although you need to choose one of the elements to give the final structure < 1362084326 223701 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*one of the zipped values < 1362084350 421643 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: horrible, what did he do < 1362084363 675204 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or is that something awful the webcomic < 1362084408 469243 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh it's not a webcomic < 1362084417 431300 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :Phantom_Hoover, sounds awful < 1362084418 72853 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh that's something positive < 1362084436 7957 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oerjan why are you living under this rock < 1362084447 861760 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> Data.Foldable.foldl (\x acc -> pure x) :: (Foldable f, Applicative f) => f a -> f a < 1362084450 153384 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match type `a' with `t0 b0 -> a' < 1362084450 302955 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : `a' is a rigid type variable b... < 1362084465 216118 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Oh wait, need the empty < 1362084467 751936 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: i've heard of both, i just somehow confused the names < 1362084469 943717 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> Data.Foldable.foldl (\x acc -> pure x) :: (Foldable f, Applicative f) => f a -> f a -> f a < 1362084472 205987 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match type `a' with `f a' < 1362084472 385101 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : `a' is a rigid type variable bound by... < 1362084483 407481 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Ooh < 1362084488 374499 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :That's why it didn't work < 1362084511 235001 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i think you might even be able to zip a Traversable with a Foldable. < 1362084538 974094 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well, Foldable has toList, so that's pretty obvious < 1362084652 487028 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :`seen Ngevd < 1362084656 779370 :HackEgo!codu@codu.org PRIVMSG #esoteric :2013-02-24 20:51:27: `list < 1362084665 33435 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`seen boily < 1362084665 225496 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :`seen atriq < 1362084665 605771 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Does Foldable have fromList too? < 1362084673 556329 :HackEgo!codu@codu.org PRIVMSG #esoteric :2013-02-28 20:51:05: `seen boily < 1362084675 373283 :HackEgo!codu@codu.org PRIVMSG #esoteric :not lately; try `seen atriq ever < 1362084677 574756 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :FreeFull, no < 1362084693 168764 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Nope < 1362084693 731028 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :`seen edwardk ever < 1362084707 526465 :HackEgo!codu@codu.org PRIVMSG #esoteric :2012-07-24 16:03:20: and we also don't have coexponentials < 1362084763 992764 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1362084774 766677 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Is there any typeclass for datatypes that have empty elements? < 1362084808 250145 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I guess monoid < 1362084810 3652 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :Possibly Default < 1362084823 717306 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t let zippy g ts fs = flip evalState (toList fs) . flip traverse ts $ \x -> do (y:ys) <- get; put ys; return $ g x y in zippy < 1362084825 742397 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `toList' < 1362084825 891905 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Perhaps you meant one of these: < 1362084825 892011 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : `Data.Foldable.toList' (imported from Data.Foldable), < 1362084829 781159 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :FreeFull: what's an "empty element"? < 1362084835 683797 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t let zippy g ts fs = flip evalState (Data.Foldable.toList fs) . flip traverse ts $ \x -> do (y:ys) <- get; put ys; return $ g x y in zippy < 1362084837 433599 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(Foldable t, Traversable t1) => (a1 -> a -> b) -> t1 a1 -> t a -> t1 b < 1362084880 446932 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :`seen Phantom____Hoover < 1362084886 871972 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 246 seconds < 1362084888 458851 :HackEgo!codu@codu.org PRIVMSG #esoteric :not lately; try `seen Phantom____Hoover ever < 1362084891 776120 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :`seen Phantom____Hoover ever < 1362084910 812464 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t Data.Foldable.foldl (\x acc -> x) mempty :: (Foldable f, Applicative f, Monoid f) => f a -> f a < 1362084912 898500 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Expecting one more argument to `f' < 1362084913 47366 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : In an expression type signature: < 1362084913 47562 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (Foldable f, Applicative f, Monoid f) => f a -> f a < 1362084923 957496 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1362084980 666775 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Failure < 1362084999 638913 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t Data.Foldable.foldl (\x acc -> pure x) mempty < 1362085001 454709 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Occurs check: cannot construct the infinite type: a0 = f0 a0 < 1362085001 604438 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : In the first argument of `pure', namely `x' < 1362085001 604844 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : In the expression: pure x < 1362085012 999950 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Ah, dammit < 1362085025 838756 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric ::t Data.Foldable.foldr mappend mempty < 1362085026 812586 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(Foldable t, Monoid b) => t b -> b < 1362085027 823335 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :!blsq "!eyB" <- < 1362085027 973223 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : "Bye!" < 1362085047 603959 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t pure . Data.Foldable.foldl mappend mempty < 1362085049 707121 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(Applicative f, Foldable t, Monoid b) => t b -> f b < 1362085058 810521 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Quit: Leaving. < 1362085068 757112 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t Data.Foldable.mconcat < 1362085070 968867 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `Data.Foldable.mconcat' < 1362085071 126513 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Perhaps you meant one of these: < 1362085071 276237 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : `Data.Foldable.concat' (imported from Data.Foldable), < 1362085073 510157 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :That's not what I wanted < 1362085075 810693 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t Data.Foldable.concat < 1362085076 154981 :heroux!~heroux@5070823C.static.ziggozakelijk.nl QUIT :Ping timeout: 245 seconds < 1362085077 650639 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Foldable t => t [a] -> [a] < 1362085082 320219 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bah < 1362085194 518488 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I thought "Ooh, lists are monoids" but then it turned out to be a stupid idea < 1362085202 235334 :heroux!~heroux@5070823C.static.ziggozakelijk.nl JOIN :#esoteric < 1362085241 8489 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t foldMap id < 1362085243 39913 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(Foldable t, Monoid m) => t m -> m < 1362085248 914241 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric ::t fold < 1362085250 456047 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(Foldable t, Monoid m) => t m -> m < 1362085257 252705 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1362085396 180143 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric ::t \f -> flip $ appEndo . foldMap (Endo . f) < 1362085397 533092 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Foldable t => (a -> c -> c) -> c -> t a -> c < 1362085418 834346 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric ::t foldr < 1362085419 780483 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(a -> b -> b) -> b -> [a] -> b < 1362085425 500495 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric ::t Data.Foldable.foldr < 1362085426 826838 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Foldable t => (a -> b -> b) -> b -> t a -> b < 1362085433 940625 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1362085475 578963 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t DF.foldr < 1362085477 717175 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Couldn't find qualified module. < 1362085500 550830 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t Data.Map.insert < 1362085502 845401 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Ord k => k -> a -> M.Map k a -> M.Map k a < 1362085507 367009 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t Map.insert < 1362085509 402385 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Couldn't find qualified module. < 1362085510 633916 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t M.insert < 1362085512 681918 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Ord k => k -> a -> M.Map k a -> M.Map k a < 1362085542 307843 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric ::t (\f -> flip $ appEndo . foldMap (Endo . f), \f -> Data.Foldable.foldr (mappend . f) mempty) < 1362085543 736247 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(Foldable t1, Foldable t, Monoid b) => ((a -> c -> c) -> c -> t a -> c, (a1 -> b) -> t1 a1 -> b) < 1362085559 291355 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :foldr in terms of foldMap, foldMap in terms of foldr < 1362085560 742738 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i recall when only M worked. i suppose having the fully qualified is an improvement, although it should have both really < 1362085601 899467 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric ::t forever (return ()) < 1362085603 637337 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Monad m => m b < 1362085615 72969 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: yep, those are default methods, no? < 1362085627 813403 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :oerjan, roughly < 1362085639 533336 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*method defaults < 1362085640 99895 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :Those are the default methods as written by me who's just had a beer < 1362085640 355804 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: erm I think Foo.Bar.baz should *always* work if you have it imported < 1362085687 54791 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: oh even if you import it otherwise? anyway my thought is that there should be a more principled choice of abbreviations, like have the initialism always working < 1362085698 876846 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so DM.insert < 1362085711 943541 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :admittedly this _can_ cause conflicts < 1362085727 58528 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(do Data.Monoid and Data.Map have any conflicting names?) < 1362085756 285630 :Snowyowl!5c6b415a@gateway/web/freenode/ip.92.107.65.90 PRIVMSG #esoteric :hello? < 1362085760 237590 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :(I don't think so) < 1362085762 591934 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :Hey, Snowyowl < 1362085763 342908 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Snowyowl: g'day < 1362085771 629285 :Snowyowl!5c6b415a@gateway/web/freenode/ip.92.107.65.90 PRIVMSG #esoteric :(sorry, just checking whether I'd timed out or not) < 1362085778 206770 :Snowyowl!5c6b415a@gateway/web/freenode/ip.92.107.65.90 PRIVMSG #esoteric :(it doesn't always say) < 1362085787 94267 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :@ping < 1362085787 250822 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :pong < 1362085789 171822 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :`ping < 1362085791 704236 :HackEgo!codu@codu.org PRIVMSG #esoteric :pong < 1362085794 38626 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :^ping < 1362085802 274940 :Snowyowl!5c6b415a@gateway/web/freenode/ip.92.107.65.90 PRIVMSG #esoteric :I forgot about that. < 1362085807 412917 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :fungot... < 1362085807 567674 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Taneb: where was i truncated? < 1362085818 48401 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^def ping ul (pong)S < 1362085818 199944 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Defined. < 1362085821 80150 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :(that's... actually appropriate) < 1362085828 933498 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :^ping < 1362085829 85452 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :pong < 1362085833 619651 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :!ping < 1362085837 916601 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :~ping < 1362085838 67576 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :Pong! < 1362085842 454335 :EgoBot!codu@codu.org PRIVMSG #esoteric :Pong! < 1362085852 646987 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :metasepia is very enthusiastic < 1362085856 9522 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: in OCaml, Foo.Bar.baz works even if you don't have it imported < 1362085861 904381 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!help interpreters < 1362085862 746206 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Sorry, I have no help for interpreters! < 1362085863 722213 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the import is only neded to be able to use it unqualified < 1362085866 65048 :Snowyowl!5c6b415a@gateway/web/freenode/ip.92.107.65.90 PRIVMSG #esoteric :you're all just happy I've found a legitimate use for !ping < 1362085871 468024 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!help languages < 1362085872 99179 :EgoBot!codu@codu.org PRIVMSG #esoteric :​languages: Esoteric: 1l 2l adjust asm axo bch befunge befunge98 bf bf8 bf16 bf32 boolfuck cintercal clcintercal dimensifuck glass glypho haskell kipple lambda lazyk linguine malbolge pbrain perl qbf rail rhotor sadol sceql trigger udage01 underload unlambda whirl. Competitive: bfjoust fyb. Other: asm c cxx forth sh. < 1362085875 581658 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :!help userinterps < 1362085875 930581 :EgoBot!codu@codu.org PRIVMSG #esoteric :​userinterps: Users can add interpreters written in any of the languages in !help languages. See !help addinterp, delinterp, show | !userinterps. List interpreters added with !addinterp. < 1362085882 807267 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :!help languages < 1362085882 993718 :EgoBot!codu@codu.org PRIVMSG #esoteric :​languages: Esoteric: 1l 2l adjust asm axo bch befunge befunge98 bf bf8 bf16 bf32 boolfuck cintercal clcintercal dimensifuck glass glypho haskell kipple lambda lazyk linguine malbolge pbrain perl qbf rail rhotor sadol sceql trigger udage01 underload unlambda whirl. Competitive: bfjoust fyb. Other: asm c cxx forth sh. < 1362085892 656070 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :!userinterps < 1362085892 806580 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Installed user interpreters: about acro aol austro bc bct bf2c bfbignum botsnack brit brooklyn bypass_ignore bytes cat chaos chiqrsx9p choo cmd cpick ctcp dc decide drawl drome dubya echo ehird elmer fudd glogbot_ignore google graph hello helloworld id inc insanetemp jethro kraut lg lperl lsh map monqy num numberwang ook pansy pi pikhq ping pirate plot postmodern postmodern_aoler prefixes python python2 redneck reverse rimshot rot13 rot47 ruby_ sadbf sanetemp sf < 1362085907 922636 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!addinterp ping unlambda ````.p.o.n.gi < 1362085908 801628 :EgoBot!codu@codu.org PRIVMSG #esoteric :​There is already an interpreter for ping! < 1362085912 69278 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1362085916 558406 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :!numberwant 7 < 1362085920 722073 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :!ping < 1362085920 872369 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!show ping < 1362085921 621765 :EgoBot!codu@codu.org PRIVMSG #esoteric :c puts("Pong!"); < 1362085924 883467 :EgoBot!codu@codu.org PRIVMSG #esoteric :Pong! < 1362085948 876410 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :!show monqy < 1362085949 208294 :EgoBot!codu@codu.org PRIVMSG #esoteric :haskell import Data.Char; main = interact (map toLower) < 1362085950 570150 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :!google bastille < 1362085951 206326 :EgoBot!codu@codu.org PRIVMSG #esoteric :http://google.com/search?q=bastille < 1362085955 15484 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: kernel update, restarting < 1362085974 465452 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :!monqy THis is pretty cool I guess < 1362085988 449705 :EgoBot!codu@codu.org PRIVMSG #esoteric :runghcXXXX26454.hs: epollWait: invalid argument (Bad file descriptor) \ runghcXXXX26454.hs: : hGetContents: invalid argument (Invalid argument) \ runghcXXXX26454.hs: ioManagerDie: write: Bad file descriptor < 1362085993 910185 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :v.cool < 1362086004 879173 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :EgoBot... < 1362086005 737091 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Gregor: OOPS < 1362086087 849178 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!haskell print "Hi!" < 1362086091 938260 :EgoBot!codu@codu.org PRIVMSG #esoteric :​"Hi!" < 1362086105 349176 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!haskell main = print "Hi!" < 1362086112 211480 :EgoBot!codu@codu.org PRIVMSG #esoteric :​"Hi!" < 1362086115 488766 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1362086123 527736 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!monqy What is happening here < 1362086131 624737 :EgoBot!codu@codu.org PRIVMSG #esoteric :runghcXXXX27859.hs: epollWait: invalid argument (Bad file descriptor) \ runghcXXXX27859.hs: : hGetContents: invalid argument (Invalid argument) \ runghcXXXX27859.hs: ioManagerDie: write: Bad file descriptor < 1362086133 807081 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :!haskell print "Hi!"; main = print "Hi!" < 1362086136 543860 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :probaly has to do with the 'input' interact wants < 1362086140 608815 :EgoBot!codu@codu.org PRIVMSG #esoteric :​\ /tmp/runghcXXXX27964.hs:1:1: \ Parse error: naked expression at top level < 1362086178 769940 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :``just my guess,, < 1362086180 424434 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `just: not found < 1362086188 20983 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!addinterp test haskell print "Hi!" < 1362086188 746891 :EgoBot!codu@codu.org PRIVMSG #esoteric :​There is already an interpreter for test! < 1362086195 334218 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!show test < 1362086195 925117 :EgoBot!codu@codu.org PRIVMSG #esoteric :That is not a user interpreter! < 1362086202 841394 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :WAT < 1362086203 618890 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :!hide test < 1362086210 370369 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :!test this < 1362086232 906366 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!help languages < 1362086233 681535 :EgoBot!codu@codu.org PRIVMSG #esoteric :​languages: Esoteric: 1l 2l adjust asm axo bch befunge befunge98 bf bf8 bf16 bf32 boolfuck cintercal clcintercal dimensifuck glass glypho haskell kipple lambda lazyk linguine malbolge pbrain perl qbf rail rhotor sadol sceql trigger udage01 underload unlambda whirl. Competitive: bfjoust fyb. Other: asm c cxx forth sh. < 1362086241 910178 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!delinterp test < 1362086242 742170 :EgoBot!codu@codu.org PRIVMSG #esoteric :​test is not a user interpreter. < 1362086247 788709 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!addinterp test haskell print "Hi!" < 1362086248 585948 :EgoBot!codu@codu.org PRIVMSG #esoteric :​There is already an interpreter for test! < 1362086252 925275 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :!addinterp qqq haskell getLine >>= putStrLn < 1362086253 408761 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter qqq installed. < 1362086258 106429 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :!qqq break please < 1362086261 278489 :EgoBot!codu@codu.org PRIVMSG #esoteric :break please < 1362086263 428192 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::0 < 1362086266 508136 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1362086270 652926 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :!delinterp qqq < 1362086270 994231 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter qqq deleted. < 1362086277 177102 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :!addinterp qqq haskell interact id < 1362086277 699969 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter qqq installed. < 1362086283 302388 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :!qqq hello?? < 1362086285 790366 :EgoBot!codu@codu.org PRIVMSG #esoteric :hello?? < 1362086289 42712 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :HMM < 1362086289 267723 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fancy < 1362086290 528433 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::-0 < 1362086298 601185 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!show monqy < 1362086299 309414 :EgoBot!codu@codu.org PRIVMSG #esoteric :haskell import Data.Char; main = interact (map toLower) < 1362086313 222633 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!monqy test < 1362086319 849190 :EgoBot!codu@codu.org PRIVMSG #esoteric :runghcXXXX31619.hs: epollWait: invalid argument (Bad file descriptor) \ runghcXXXX31619.hs: : hGetContents: invalid argument (Invalid argument) \ runghcXXXX31619.hs: ioManagerDie: write: Bad file descriptor < 1362086324 846637 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!delinterp monqy < 1362086325 548578 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter monqy deleted. < 1362086327 380897 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :!delinterp qqq < 1362086327 558543 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter qqq deleted. < 1362086335 656832 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :oh noes, you deleted monqy < 1362086338 185798 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :!addinterp tanebdk haskell module Main where import Data.Char; main = interact (map toLower) < 1362086338 341422 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter tanebdk installed. < 1362086346 998958 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :!tanebdk Test < 1362086349 257485 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!addinterp monqy haskell import Data.Char; main = interact (map toLower) < 1362086349 882515 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter monqy installed. < 1362086350 705181 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :!addinterp qqq haskell import Data.Char; main = putStrLn "hi" < 1362086351 212691 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter qqq installed. < 1362086352 580354 :EgoBot!codu@codu.org PRIVMSG #esoteric :runghcXXXX32222.hs: : hGetContents: invalid argument (Invalid argument) \ runghcXXXX32222.hs: epollWait: invalid argument (Bad file descriptor) \ runghcXXXX32222.hs: ioManagerDie: write: Bad file descriptor < 1362086353 997831 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!monqy test < 1362086359 622143 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :!qqq test < 1362086361 481890 :EgoBot!codu@codu.org PRIVMSG #esoteric :runghcXXXX32409.hs: epollWait: invalid argument (Bad file descriptor) \ runghcXXXX32409.hs: : hGetContents: invalid argument (Invalid argument) \ runghcXXXX32409.hs: ioManagerDie: write: Bad file descriptor < 1362086365 833366 :EgoBot!codu@codu.org PRIVMSG #esoteric :hi < 1362086375 215398 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :!delinterp tanebdk < 1362086375 390800 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter tanebdk deleted. < 1362086384 794191 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :maybe i have to add monqy and then it will work...................... < 1362086397 563369 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :!delinterp qqq < 1362086397 907249 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter qqq deleted. < 1362086405 270849 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i wonder if it has something to do with how !haskell tries both ghci and module form < 1362086411 785331 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe it breaks on the first one < 1362086425 453972 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!delinterp monqy < 1362086426 276326 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter monqy deleted. < 1362086465 868614 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!addinterp monqy haskell import Data.Char; interact (map toLower) < 1362086466 664292 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter monqy installed. < 1362086470 392059 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!monqy test < 1362086476 958596 :EgoBot!codu@codu.org PRIVMSG #esoteric :​\ /tmp/runghcXXXX888.hs:1:19: \ Parse error: naked expression at top level < 1362086483 313426 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok not that < 1362086489 728665 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!delinterp monqy < 1362086490 397518 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter monqy deleted. < 1362086494 104324 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :Maybe it has an old GHCi < 1362086502 656022 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1362086506 113686 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :!addinterp qqq haskell import Data.Char; main = interact id < 1362086506 435694 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter qqq installed. < 1362086510 334554 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :!qqq hello?? < 1362086516 110524 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :!addinterp tanebdk haskell :m + Data.Char; interact id < 1362086516 441494 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter tanebdk installed. < 1362086516 601996 :EgoBot!codu@codu.org PRIVMSG #esoteric :runghcXXXX1286.hs: epollWait: invalid argument (Bad file descriptor) \ runghcXXXX1286.hs: : hGetContents: invalid argument (Invalid argument) \ runghcXXXX1286.hs: ioManagerDie: write: Bad file descriptor < 1362086522 489120 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :!tanebdk hello? < 1362086529 741176 :EgoBot!codu@codu.org PRIVMSG #esoteric :syntax: :module [+/-] [*]M1 ... [*]Mn \ \ /tmp/runghcXXXX1594.hs:1:1: parse error on input `:' < 1362086535 549389 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :heh < 1362086549 300723 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :; not accepted in ghci < 1362086554 416652 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1362086554 584998 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :!delinterp tanebdk < 1362086554 751372 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter tanebdk deleted. < 1362086558 456312 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :!addinterp tanebdk haskell :m + Data.Char\n interact id < 1362086558 608362 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter tanebdk installed. < 1362086564 531703 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :!tanebdk long shot < 1362086570 776915 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :!delinterp qqq < 1362086571 99318 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter qqq deleted. < 1362086572 113330 :EgoBot!codu@codu.org PRIVMSG #esoteric :syntax: :module [+/-] [*]M1 ... [*]Mn \ \ /tmp/runghcXXXX2496.hs:1:1: parse error on input `:' < 1362086580 167193 :Taneb!~nathan@2.99.86.31 PRIVMSG #esoteric :!delinterp tanebdk < 1362086580 330279 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter tanebdk deleted. < 1362086601 795296 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :!addinterp qqq haskell import Data.Char; main = print (toLower 'B') < 1362086602 276934 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter qqq installed. < 1362086603 989533 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :!qqq < 1362086611 508619 :EgoBot!codu@codu.org PRIVMSG #esoteric :​'b' < 1362086639 356361 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :!delinterp qqq < 1362086639 670484 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter qqq deleted. < 1362086669 740429 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!addinterp monqy haskell import Data.Char; main = putStr . map toLower =<< getContents < 1362086670 563804 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter monqy installed. < 1362086674 952995 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!monqy test < 1362086681 703692 :EgoBot!codu@codu.org PRIVMSG #esoteric :runghcXXXX5034.hs: epollWait: invalid argument (Bad file descriptor) \ runghcXXXX5034.hs: : hGetContents: invalid argument (Invalid argument) \ runghcXXXX5034.hs: ioManagerDie: write: Bad file descriptor < 1362086686 662643 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok that didn't work < 1362086696 471046 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's getContents that breaks < 1362086708 676068 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :this is some deep stuff < 1362086763 417767 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :presumably stdin is something weird? < 1362086784 63389 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :it worked nicely in 'ghci mode' < 1362086791 599404 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :weird??? < 1362086810 54952 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :monqy: um where? < 1362086821 693397 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1362086832 806239 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :!addinterp qqq haskell getContents >>= putStr < 1362086833 114342 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter qqq installed. < 1362086835 343117 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :!qqq hello < 1362086838 66872 :EgoBot!codu@codu.org PRIVMSG #esoteric :hello < 1362086870 235416 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh < 1362086918 994224 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!delinterp monqy < 1362086919 623463 :EgoBot!codu@codu.org PRIVMSG #esoteric :​That interpreter doesn't exist! < 1362086921 553470 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!delinterp monqy < 1362086922 158786 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter monqy deleted. < 1362087036 879115 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@hoogle :: IO String < 1362087037 466088 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Prelude getContents :: IO String < 1362087037 616134 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :System.IO getContents :: IO String < 1362087037 616332 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Prelude getLine :: IO String < 1362087041 362229 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!addinterp monqy haskell import Data.Char; main = putStr . map toLower =<< getLine < 1362087042 317956 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter monqy installed. < 1362087048 568807 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!monqy test < 1362087054 956792 :EgoBot!codu@codu.org PRIVMSG #esoteric :runghcXXXX7396.hs: : hGetLine: invalid argument (Invalid argument) < 1362087059 450184 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fff < 1362087066 997149 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok it's _not_ just getContents < 1362087101 419194 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it may seem that !haskell with module format simply doesn't have a working stdin < 1362087106 177664 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy is hard..... not like monoids!!!!!!!! < 1362087110 860619 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell Gregor it may seem that !haskell with module format simply doesn't have a working stdin < 1362087111 235198 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1362087119 886127 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(reference for the viewers at home: monoids are well-established to be so easy) < 1362087123 101697 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`? monqu < 1362087124 989659 :HackEgo!codu@codu.org PRIVMSG #esoteric :monqu? ¯\(°_o)/¯ < 1362087126 256939 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`? monqy < 1362087127 930202 :HackEgo!codu@codu.org PRIVMSG #esoteric :The friendship monqy is an ancient Chinese mystery; ask itidus21 for details. < 1362087138 289582 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!delinterp monqy < 1362087138 906890 :EgoBot!codu@codu.org PRIVMSG #esoteric :​That interpreter doesn't exist! < 1362087140 780793 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!delinterp monqy < 1362087141 632708 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter monqy deleted. < 1362087146 436301 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bloody final space < 1362087162 162745 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :@tell itidus21 ancient chinese mystery? < 1362087162 316003 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1362087177 460985 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you have to use @ask not @tell < 1362087220 324948 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!addinterp monqy haskell http://oerjan.nvg.org/monqy < 1362087221 926416 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :whoa < 1362087223 977261 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter monqy installed. < 1362087229 489976 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!monqy TEST now < 1362087235 710371 :EgoBot!codu@codu.org PRIVMSG #esoteric :syntax: :module [+/-] [*]M1 ... [*]Mn \ \ /tmp/runghcXXXX8717.hs:1:1: parse error on input `:' < 1362087240 380195 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sheesh < 1362087242 197657 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :okay uh < 1362087251 929734 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :are you spending all this time making a thing that lowercases what you give it < 1362087264 455939 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :IN HASKELL < 1362087279 11616 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :i refuse to believe this is as difficult as you're making it look < 1362087284 291535 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :it's easy actually < 1362087288 226525 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!delinterp monqy < 1362087289 75399 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter monqy deleted. < 1362087289 416192 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ive been hiding the secret this whole time < 1362087292 839344 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!addinterp monqy haskell http://oerjan.nvg.org/monqy < 1362087294 372275 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter monqy installed. < 1362087300 69551 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!monqy NOW what < 1362087307 333003 :EgoBot!codu@codu.org PRIVMSG #esoteric :​\ /tmp/runghcXXXX9861.hs:1:3: parse error on input `:' < 1362087310 947251 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1362087320 42931 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :at least, i think i have the secret?????? < 1362087327 162446 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :what's the secret monqy < 1362087330 136076 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :deliver us from this peril < 1362087331 658166 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i'll never tell < 1362087339 78029 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :deliver us < 1362087346 176571 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!delinterp monqy < 1362087346 806838 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter monqy deleted. < 1362087398 542286 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!show slashes < 1362087401 131355 :EgoBot!codu@codu.org PRIVMSG #esoteric :perl (sending via DCC) < 1362087423 317118 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm that's inconclusive < 1362087438 345202 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!help userinterps < 1362087439 114326 :EgoBot!codu@codu.org PRIVMSG #esoteric :​userinterps: Users can add interpreters written in any of the languages in !help languages. See !help addinterp, delinterp, show | !userinterps. List interpreters added with !addinterp. < 1362087445 118804 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!userinterps < 1362087445 695228 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Installed user interpreters: about acro aol austro bc bct bf2c bfbignum botsnack brit brooklyn bypass_ignore bytes cat chaos chiqrsx9p choo cmd cpick ctcp dc decide drawl drome dubya echo ehird elmer fudd glogbot_ignore google graph hello helloworld id inc insanetemp jethro kraut lg lperl lsh map num numberwang ook pansy pi pikhq ping pirate plot postmodern postmodern_aoler prefixes python python2 qqq redneck reverse rimshot rot13 rot47 ruby_ sadbf sanetemp sfed < 1362087457 685217 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!choo hm.. < 1362087458 763380 :EgoBot!codu@codu.org PRIVMSG #esoteric :hm.. m.. .. . < 1362087462 213532 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!show choo < 1362087463 2581 :EgoBot!codu@codu.org PRIVMSG #esoteric :bf >,[>,]<++++++++++++++++++++++[<]>[[.>]<[<]>[-]>] < 1362087474 424280 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that _definitely_ takes stdin < 1362087518 317273 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :well you can get haskell to take stdin too < 1362087522 747726 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: it would be easy if !haskell wasn't broken. < 1362087531 604704 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :monqy: um what do you think we were doing < 1362087537 782295 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oerjan: the wrong thing!! < 1362087538 579279 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there's an actual bug in !haskell < 1362087543 371235 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1362087546 268920 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :but there's a workaround < 1362087550 18434 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh? < 1362087550 453983 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :(i think) < 1362087566 724020 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :note that not only getContents, but even getLine broke < 1362087573 621283 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1362087609 306524 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yeah my workaround works < 1362087638 491713 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :are you working around needing import Data.Char < 1362087641 772506 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1362087656 456478 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hint: the workaround is VERY STUPID < 1362087670 747433 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :writing toLower yourself? < 1362087673 405960 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :no < 1362087680 773639 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok that was my idea :P < 1362087704 135944 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh i just checked something in winghci < 1362087706 130147 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :it has to do with a ghci peculiarity < 1362087711 670111 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes i found one :P < 1362087713 452280 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :!chaos control < 1362087720 101553 :EgoBot!codu@codu.org PRIVMSG #esoteric :​\ /tmp/runghcXXXX16290.hs:1:26: \ Could not find module `System.Random' \ Use -v to see a list of the files searched for. < 1362087720 975645 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :no? < 1362087727 659804 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :oh good < 1362087752 933627 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!addinterp monqy haskell interact (map Data.Char.toLower) < 1362087753 733252 :EgoBot!codu@codu.org PRIVMSG #esoteric :​Interpreter monqy installed. < 1362087762 362886 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!monqy DID YOU MEAN THIS? < 1362087762 512606 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1362087766 31311 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1362087767 584366 :EgoBot!codu@codu.org PRIVMSG #esoteric :did you mean this? < 1362087770 315585 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :wow < 1362087773 189842 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :wow. < 1362087774 755752 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!monqy YAY < 1362087777 753221 :EgoBot!codu@codu.org PRIVMSG #esoteric :yay < 1362087804 541371 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :what does that have to do with monqy? < 1362087808 965075 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :no idea < 1362087810 333887 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :exactly < 1362087816 351461 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :have you ever seen monqy use capitals < 1362087819 478727 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1362087845 444770 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :I haven't seen monqy at all < 1362087921 425891 :TeruFSX!~TeruFSX@65-128-137-85.mpls.qwest.net JOIN :#esoteric < 1362087996 111589 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`log ^[^:] < 1362088003 384505 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1362088006 725931 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`log ^[^:]: < 1362088028 635751 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1362088034 668927 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1362088040 217254 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`log < 1362088046 959424 :HackEgo!codu@codu.org PRIVMSG #esoteric :2012-04-18.txt:01:21:39: hi Sgeo < 1362088051 520202 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh < 1362088077 369964 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`log ^..:..:..: < 1362088093 774859 :HackEgo!codu@codu.org PRIVMSG #esoteric :2012-04-22.txt:04:56:20: maybe just not care about plants < 1362088129 674151 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :programming is hard. < 1362088134 576616 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh there's an S there < 1362088150 418828 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy expresses his anti-environmentalist believfs < 1362088156 208505 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but it's obviously tab completed so it may not count < 1362088158 732187 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`log ^..:..:..: .*(?-i[A-Z]) < 1362088161 405005 :HackEgo!codu@codu.org PRIVMSG #esoteric :grep: unrecognized character after (? or (?- < 1362088167 377986 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :LAME < 1362088178 51447 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :or maybe.... maybe sed is the hard one........... < 1362088182 436556 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no idea if that should even work. < 1362088209 190503 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`log ^..:..:..: .*[A-Z] < 1362088220 528881 :HackEgo!codu@codu.org PRIVMSG #esoteric :2012-06-08.txt:19:13:05: hell is a stairdance party and ive been there multiple times in light < 1362088220 742273 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :`pastlog monqy < 1362088226 837379 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well that didn't < 1362088230 27613 :HackEgo!codu@codu.org PRIVMSG #esoteric :2011-09-24.txt:03:07:29: hi < 1362088236 532484 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh no < 1362088238 218992 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :Excellent. < 1362088249 761481 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think monqy doesn't like us stalking him from the future < 1362088250 62955 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :is log case-insensitive? Beautiful. < 1362088255 666834 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :monqy: yep < 1362088263 844810 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :maybe don't use it < 1362088295 39314 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and i have no idea if there's a way to work around it (without rewriting the script) < 1362088321 888985 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :`run cat `which log` < 1362088323 788426 :HackEgo!codu@codu.org PRIVMSG #esoteric :​#!/bin/sh \ cd /var/irclogs/_esoteric \ if [ "$1" ]; then \ grep -P -i -- "$1" ????-??-??.txt | shuf -n 1 \ else \ file=$(shuf -en 1 ????-??-??.txt) \ echo "$file:$(shuf -n 1 $file)" \ fi < 1362088329 698937 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the (?-i modifier in perlre looked promising, but obviously grep -P doesn't support it < 1362088369 931945 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :`run grep -P -- "^..:..:..: .*[A-Z]" /var/irclogs/_esoteric/????-??-??.txt | shuf -n 1 < 1362088377 12353 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/var/irclogs/_esoteric/2011-08-01.txt:20:50:24: Phantom_Hoover: 05:37:27: elliott_: i did an edit of it: http://oi51.tinypic.com/34h0z.jpg < 1362088379 166197 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :woops < 1362088393 551251 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :time for The Most Complicated Regular Expression Ever < 1362088394 932956 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that one doesn't count either < 1362088411 47299 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :elliott: i don't think the email regex would even fit in irc :( < 1362088413 585358 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :`run cd /var/irclogs/_esoteric; grep -P -- "^..:..:..: .*[A-Z]" ????-??-??.txt | shuf -n 1 < 1362088419 389758 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :good edit though < 1362088421 641345 :HackEgo!codu@codu.org PRIVMSG #esoteric :2011-08-27.txt:08:03:39: I've had all the parser-handwriting experience I feel I need < 1362088424 205447 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :remember that edit monqy < 1362088432 178891 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OOH < 1362088440 200717 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :monqy: great success < 1362088443 752536 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :um < 1362088447 216393 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I doesn't really count does it < 1362088447 506935 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elliott: yes it's Good < 1362088450 421256 :Taneb!~nathan@2.99.86.31 QUIT :Quit: Leaving < 1362088460 863013 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :imo, monqy should run a command looking for A-Z that then returns itself from th elogs. < 1362088462 57188 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :well i use 'i' a lot don't i < 1362088476 246093 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Bike: good idea < 1362088482 306590 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :`run cd /var/irclogs/_esoteric; grep -P -- "^..:..:..: .*[A-Z]" ????-??-??.txt | shuf -n 1 < 1362088492 111629 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :just give it enough tries and maybe it'll work??? < 1362088495 751079 :HackEgo!codu@codu.org PRIVMSG #esoteric :2011-06-21.txt:06:20:12: who would do thAT < 1362088505 202387 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :good question monqy < 1362088517 926596 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i often wonder that myself < 1362088595 729356 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :`run cd /var/irclogs/_esoteric; grep -P -- "^..:..:..: .*[A-Z]" ????-??-??.txt | shuf -n 1 < 1362088604 821230 :HackEgo!codu@codu.org PRIVMSG #esoteric :2011-08-16.txt:00:22:02: evincar: I also noticed that in your example, there's a bit of weirdness < 1362088611 886372 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :"Mail::RFC822::Address is a Perl module to validate email addresses according to the RFC 822 grammar. It provides the same functionality as RFC::RFC822::Address, but uses Perl regular expressions rather that the Parse::RecDescent parser. This means that the module is much faster to load as it does not need to compile the grammar on startup." wow i forgot that was the justification < 1362088625 187494 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :good < 1362088663 486596 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ibtsocs < 1362088727 834170 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that ones bad btw < 1362088731 541491 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it only handles like 8-deep nested comments iirc < 1362088756 394631 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :oh no!! < 1362088806 798286 :Snowyowl!5c6b415a@gateway/web/freenode/ip.92.107.65.90 PRIVMSG #esoteric :oh god, parsing strict emails with a regex < 1362088846 477997 :Snowyowl!5c6b415a@gateway/web/freenode/ip.92.107.65.90 PRIVMSG #esoteric :I'm so glad that's not my problem. < 1362088875 582640 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> foldr id "Shocking!" . repeat $ \s -> '(':s++")" < 1362088884 347286 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((... < 1362088920 493662 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~eval foldr id "Shocking!" . repeat $ \s -> '(':s++")" < 1362088920 986470 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :Snowyowl: For Speed < 1362088921 258889 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :Error (1): Ambiguous occurrence `foldr' < 1362088921 443227 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :It could refer to either `GHC.Base.foldr', < 1362088921 592951 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : imported from `Data.List' at Imports.hs:16:1-16 < 1362088921 593126 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : (and originally defined in `base:GHC.Base') < 1362088921 593231 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : or `Data.Foldable.foldr', < 1362088921 742961 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : imported from `Data.Foldable' at Imports.hs:13:1-20 < 1362088927 746052 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: clearly it use that perl feature to do recursion, whatever that was < 1362088931 941809 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hm another acme module idea: something which can strip an infinite number of spaces from the beginning of a string < 1362088936 34299 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :using vacuum magic of course < 1362088943 338380 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :vacuum magic? < 1362088952 391345 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :vacuum is a library for GHC heap introspection < 1362088963 850492 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :oh how "nice" < 1362089010 332533 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :infinite space is vacuum magic, check < 1362089029 93911 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~eval foldr id "Shocking!" . repeat $ \s -> '(':s++")" < 1362089029 679446 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :Error (1): Ambiguous occurrence `foldr' < 1362089029 829073 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :It could refer to either `Data.Foldable.foldr', < 1362089029 829250 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : imported from `Data.Foldable' at Imports.hs:13:1-20 < 1362089029 829358 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : or `GHC.Base.foldr', < 1362089029 829464 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : imported from `Data.List' at Imports.hs:16:1-16 < 1362089030 630016 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : (and originally defined in `base:GHC.Base') < 1362089042 452872 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :aaaaah come on. I hid it! < 1362089063 211607 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oerjan: haha < 1362089068 366509 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :with any luck i will collapse the false vacuum < 1362089085 518572 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :band name < 1362089110 449405 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :false vacuum collapse? < 1362089137 407928 :Snowyowl!5c6b415a@gateway/web/freenode/ip.92.107.65.90 PRIVMSG #esoteric :ais523: I ran into Formula after clicking the Random Page button. It's now driving me insane. I've almost cracked Hello, World. < 1362089145 374801 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :Collapse the False Vacuum < 1362089147 230596 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Snowyowl: ooh < 1362089151 37498 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in 2D? < 1362089154 121380 :Snowyowl!5c6b415a@gateway/web/freenode/ip.92.107.65.90 PRIVMSG #esoteric :yes < 1362089160 353637 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm really curious as to whether that's TC or not < 1362089201 602335 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :oh that's a nasty language < 1362089204 324273 :Snowyowl!5c6b415a@gateway/web/freenode/ip.92.107.65.90 PRIVMSG #esoteric :Can't help you there. All I've figured out so far is that you can write a finite state machine in it. < 1362089223 413346 :Snowyowl!5c6b415a@gateway/web/freenode/ip.92.107.65.90 PRIVMSG #esoteric :which is enough for cat and hello, so it'll do for now < 1362089228 362092 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :"With three variables Formula can reasonably simply simulate a Minsky machine, and so is Turing complete."? < 1362089242 843139 :Snowyowl!5c6b415a@gateway/web/freenode/ip.92.107.65.90 PRIVMSG #esoteric :*any finite state machine < 1362089355 897645 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :olsner: that's presumably 3D < 1362089358 530055 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: Poulet! < 1362089414 176008 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yeah, it's obviously TC in 3D < 1362089419 387886 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and obviously TI in 1D < 1362089429 384781 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 QUIT :Remote host closed the connection < 1362089437 150098 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :TI? < 1362089456 476752 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :texas instruments < 1362089480 812580 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :turing incomplete < 1362089496 876130 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :(woe be to the turing incomplete machine) < 1362089780 698557 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yeah, turing incomplete < 1362089827 333487 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :maybe "subrecursive" would sound cooler < 1362089986 924145 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1362090421 697053 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: "If the output is in the range [-½,½], " shouldn't that be (-½,½) since the end values are already taken by the first rule? < 1362090430 442743 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: yeah < 1362090440 592262 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I wasn't completely up on notation when I wrote that < 1362090460 490376 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1362090488 193047 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fixed < 1362090534 897696 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :so, does this have anything to do with exponential diophantines or should i read the article again while more awake < 1362090589 403760 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ooh is this one of those turing-equivalent thingies < 1362090613 663118 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :what isn't < 1362090636 758886 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: i doubt you need anything that heavy to settle this < 1362090677 778484 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's more of a question of how to move around with only two variables that can be incremented/decremented < 1362090713 400188 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i am assuming that the formulas are powerful enough that you can express any reasonably simple function of the variables < 1362090797 326930 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm right two variables is precisely when you have the wire-crossing problem < 1362090828 318427 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oerjan, do you know of any graph colouring-related turing equivalent thingies < 1362090854 242703 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not on the spot < 1362090883 37570 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but basically, if there are any NP-complete-problem related ones, you can probably translate < 1362090912 512710 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :since 3-coloring is NP-complete < 1362090925 847105 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(even with planar graphs) < 1362091147 538219 :Snowyowl!5c6b415a@gateway/web/freenode/ip.92.107.65.90 PRIVMSG #esoteric :okay, bottom of the page: http://esolangs.org/wiki/User:Snowyowl/Hello,_world!_in_Formula < 1362091148 65264 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1362091184 753629 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm is it decidable whether an elementary function is equal to a given rational number? if so Formula should be possible to implement in principle < 1362091249 832894 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(it's not known whether e+pi is rational, say, but it might still be decidable whether it's equal to a particular one) < 1362091272 729913 :Snowyowl!5c6b415a@gateway/web/freenode/ip.92.107.65.90 PRIVMSG #esoteric :Dunno. With only addition, multiplication, and division, you can use fraction arithmetic. < 1362091289 196538 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: well if it /isn't/ rational, then it's definitely decidable that for each rational, it's not equal to that rational < 1362091291 245732 :Snowyowl!5c6b415a@gateway/web/freenode/ip.92.107.65.90 PRIVMSG #esoteric :trigonometric functions muddy the waters a bit. < 1362091291 395439 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, it's the exponential stuff that complicates things :P < 1362091292 359790 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :via decimal expansion < 1362091305 128685 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: well yeah but that doesn't help < 1362091324 478471 :Snowyowl!5c6b415a@gateway/web/freenode/ip.92.107.65.90 PRIVMSG #esoteric :yeah, it doesn't terminate if it turns out they are equal < 1362091335 565013 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :we need to be able to confirm the n + 1/2 cases < 1362091337 16068 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: it allows you to write an implementation that may work correctly, you just can't prove it works correctly < 1362091341 803158 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :i thought you only need arithmetic and abs to make it uncomputable < 1362091345 106956 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and 0 < 1362091356 996963 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :to make equalling a constant uncomputable, i mean < 1362091383 608140 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :like, the question would be "with Formula's operations, is there any way to produce a rational that isn't provably rational?" < 1362091396 475012 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: not without quantification... < 1362091420 59164 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: with only arithmetic and abs you can only get rational numbers < 1362091465 898357 :yours_truly!~yours@mc-189-127.IPReg.mcmaster.ca JOIN :#esoteric < 1362091476 455812 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 276 seconds < 1362091477 658388 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :oh it's rationals, pi, log(2), a variable, arithmetic, composition, abs, and trigonometry. < 1362091480 16900 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: hm i guess that's equivalent < 1362091509 935602 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: if there isn't, an implementation that worked via comparing decimal expansions would work < 1362091517 689634 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: "a variable"? what's that used for? < 1362091526 576431 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :just without a proof of that statement, we wouldn't know it worked < 1362091529 920777 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :oerjan: http://en.wikipedia.org/wiki/Richardson's_theorem < 1362091539 744534 :Snowyowl!5c6b415a@gateway/web/freenode/ip.92.107.65.90 QUIT :Quit: Page closed < 1362091547 745266 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: "a variable" is the only thing that isn't included in Formula here, so... < 1362091556 531485 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(in spirit) < 1362091636 267690 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hey zeilberger < 1362091639 431588 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :is citated. < 1362091642 397311 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :from that wp article. hi. < 1362091645 232701 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :citated < 1362091647 590240 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :di i just write that < 1362091650 417613 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :am i drunk irl < 1362091672 310308 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i dunno, have you started drinking yet? < 1362091672 873256 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :hi elliott < 1362091684 317929 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: no but I am sure this channel will drive me to it sooner or later < 1362091715 780454 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: we'll just get you to skip straight to heroin for convenience < 1362091718 457461 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :oh zeilberger's an ultrafinitist < 1362091722 262618 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :well now < 1362091755 141898 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :"Guess what? Programming is even more fun than proving, and, more importantly it gives as much, if not more, insight and understanding" what a nerd < 1362091762 603686 :yours_truly!~yours@mc-189-127.IPReg.mcmaster.ca QUIT :Quit: Leaving < 1362091775 22141 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :zeilberge is fantastic < 1362091776 962768 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i love him < 1362091780 90539 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bike: proving and programming feel quite similar to me < 1362091788 814113 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :whatever could have given you that idea ais < 1362091798 985620 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :elliott: what kind of phantasm we talkin' here? < 1362091820 780885 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :help < 1362091830 717089 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :i mean does he write psychotic blog posts or something < 1362091833 262318 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :i liked A=B < 1362091861 820068 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :http://www.math.rutgers.edu/~zeilberg/OPINIONS.html < 1362091869 809738 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :good filename < 1362091871 377337 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :he is great < 1362091885 42374 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :holy hell < 1362091921 179085 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :why is he capitalizing everything < 1362091925 653049 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i especially like http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimPDF/real.pdf < 1362091932 675023 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and i'm not being as sarcastic as i once would be saying such a thing < 1362091956 871412 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :« In particular, Turing thesis's (recently edited and republished by Andrew Appel in this attractive book (with an insightful introduction by him)), is utter nonsense, talking about "oracles", that lead to lots of beautiful, but fictional and irrelevant work by logicians and theoretical computer scientists.» < 1362091973 879162 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :Also the "halting problem" is meaningless, as stated (so it is not surprising that it is "undecidable"). The question "does the program halt" is the same as "does there exist an integer N such that the program halts in less than N steps?", and it is tacitly assumed that N can be anything, i.e. taken over the "infinite" set of positive integers. < 1362092017 770322 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :alright elliott am i going to regret reading this pdf < 1362092024 979091 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :holy shit yes i am < 1362092040 512486 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :come on < 1362092047 175346 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ultrafinitism is cool < 1362092064 70219 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :yes but this is too close < 1362092087 907284 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :anyone who has seen http://www.scottaaronson.com/blog/?p=103 and doesn't like ultrafinitism at least a little is lame < 1362092101 903973 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :yeah ok that guy is a pretty good argument. < 1362092130 513300 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :but i mean < 1362092133 381844 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :digital messiah < 1362092160 906702 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Turing was one of the most important people in the history of computer science < 1362092162 853942 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : since 3-coloring is NP-complete < 1362092163 4712 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : (even with planar graphs) < 1362092174 319078 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :HAHAHAHA FINALLY MY HERALDRY-BASED ESOLANG CAN BE A REALITY < 1362092199 118110 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :
ACTION realises ~10 seconds too late that NP-complete is not the same as turing-equivalent
< 1362092200 544962 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :oh god we're doomed < 1362092205 353884 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :FreeFull: who are you talking to < 1362092208 15223 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :no, you're safe < 1362092209 44018 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :for now < 1362092217 339120 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :._. < 1362092251 892132 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: yes < 1362092252 906766 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :elliott this has more italics than words i think < 1362092275 61013 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: i have no idea what you are responding to but i agree < 1362092280 445267 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :Instead the real REAL 'line' is neither real, nor a line. < 1362092281 65616 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Phantom__Hoover: i say you make that heraldry-based esolang anyhow < 1362092283 433421 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.scottaaronson.com/blog/?p=103 < 1362092291 535498 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what about the long line < 1362092323 934452 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :oh christ dude you could at least use delta-epsilon formulation of derivatives couldn't you < 1362092336 648253 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :does that paper use non-standard analysis < 1362092344 749944 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :because it is a basic universal fact that non-standard analysis is great < 1362092351 128300 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :Unfortunately no. < 1362092386 543701 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oerjan, how can i??? < 1362092393 39306 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :np-complete-complete? < 1362092396 359932 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :what is this shit? < 1362092397 684843 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :Instead he says that the h in the just-learning-derivatives formula is "the Fundamental mesh size, a Mathematical Universal constant, that unlike Planck's constant we will never know, but it is very tiny." < 1362092421 749933 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Phantom__Hoover: i am so sorry < 1362092424 999229 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :integration is a riemann sum < 1362092432 34875 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :elliott i'm really regretting this help < 1362092444 506662 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :REAL (i.e. discrete) analysis is conceptually simpler than traditional ‘real’ (continuous) analysis, < 1362092447 553225 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :and of course is much truer. But it is, on the whole, technically more difficult. Hence ‘Naked Brain’ < 1362092450 544713 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :humans had no choice but to pursue the latter kind. < 1362092478 632711 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :is Bike < 1362092487 939478 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :is Bike laying into that ultrafinitist guy elliott loves < 1362092506 73111 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Bike, omg make fun of people who don't believe in lem < 1362092516 740714 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :Phantom__Hoover: PKD is pretty funny yes < 1362092529 681919 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :pretty sure stanis£aw £em unambiguously exists < 1362092534 69725 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i got £ because i did compose l - < 1362092537 604346 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :nah, PKD thought he was a soviet committee. < 1362092539 207261 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i assumed it would help me it didnt < 1362092557 45113 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :"[...]I am sure that the full arsenal of continuous complex analysis can be discretized, but the details might be too complicated for humans. < 1362092565 374802 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :like, ultrafinitism is one thing, this is just embarassing < 1362092569 871144 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh i guess he died < 1362092579 49485 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :people do that :( < 1362092594 45350 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i... i miss my compose key < 1362092603 500614 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I have shift+altgr be compose < 1362092611 473956 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I WANT A REAL COMPOSE KEY < 1362092655 269333 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :elliott: does this guy even know about rational geometry or is he going to keep ranting about nonsense for the whole paper < 1362092670 391247 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you're just jealous < 1362092723 698732 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :Ugh, I actually /am/ kind of jealous, because I know this guy could Maple circles around me. < 1362092743 694871 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :we're onto zeilberger??? < 1362092752 489550 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :yes. < 1362092756 736628 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :elliott has infected me. Again. < 1362092797 818342 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :«Andrew Wiles alleged 'proof' of FLT» < 1362092803 692439 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :*Wiles's < 1362092917 659889 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :he likes wiles btw < 1362092927 415195 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :he's a bit confusing & also the best < 1362092933 996549 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :"a bit" < 1362092972 554109 :TeruFSX!~TeruFSX@65-128-137-85.mpls.qwest.net QUIT :Ping timeout: 256 seconds < 1362092994 11422 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Phantom__Hoover: menu as compose then? < 1362093026 864377 :TeruFSX!~TeruFSX@65-128-137-85.mpls.qwest.net JOIN :#esoteric < 1362093028 573099 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I TRIED BUT I JUST CAN'T MAKE IT WORSE < 1362093030 562349 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :WORK < 1362093031 934415 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I MEAN WORK < 1362093111 585784 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :This is almost as bad as reading Kahan rant about playstations... < 1362093138 22033 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :you guys and your pet academic crazies < 1362093179 999987 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :when i am old and respected and elliott is a fringe hyperfinitist nutcase i guess i can joke about him at parties < 1362093188 190464 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: https://www.securelist.com/en/blog/208194129/ this is an interesting thig < 1362093209 52505 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it's a targeted backdoor pdf-exploit-based malware that uses twitter as a dead drop for communication < 1362093226 437857 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :with google search as a backup < 1362093244 589312 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom__Hoover: excuse me i will be professor of fuck Phantom__Hoover constructive type theory is the best thing in the universe at the university of stupid professorship names < 1362093246 774572 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :what, what happened to using hashname irc channels like the good old days ;_; < 1362093247 440664 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :*thing < 1362093250 418148 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :so the malware never directly connects with the control server < 1362093262 252389 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :elliott: i want to found this university < 1362093272 408277 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: you can be professor of founding this university < 1362093285 841063 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :shit yes < 1362093287 982380 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :«ancient Italian comments in the shellcode copied from Dante Aligheri’s “Divine Comedy”» < 1362093288 131923 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :do you have a phd in founding universities < 1362093292 933956 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kind of a prerequisite < 1362093298 885588 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, so do numbers over, say, 23 exist < 1362093307 288179 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom__Hoover: yes but only on thursdays < 1362093312 562588 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :Phantom__Hoover: http://www.scottaaronson.com/blog/?p=103 is important!! < 1362093335 617206 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :elliott: No but I have a lack of Ph.D. in not having necessary prerequisites to founding universities. < 1362093339 138640 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ps i am actually moderately confident that the natural numbers exist < 1362093342 478795 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1362093351 219193 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but only the kind that starts from 0 < 1362093369 638148 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :Zeilberger says that 0 shouldn't be taught though. < 1362093378 115156 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :Are you disagreeing with a guy with a name as great as "Zeilberger"? < 1362093396 788374 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kill your idols, Bike < 1362093437 202255 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :right he's a platonist too < 1362093478 449014 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :Fiora: Wow, the bait looks really good. < 1362093539 846536 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Yeah, the really targeted attacks like this, stuxnet, etc are interesting, just like < 1362093541 936572 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :Fiora: Also, I'm getting an https failure here :| < 1362093545 987273 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :how well they know their targets, well-crafted bait and stuff < 1362093546 430239 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION gives up on reading the logs on accounting of starting to get a headache
< 1362093552 876312 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric ::< < 1362093577 940013 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*-ing < 1362093588 473534 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :"These URLs provide access to the C2s, which then provide potential commands and encrypted transfers of additional backdoors onto the system via GIF files." this sounds like CSI < 1362093605 909444 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: can you teach me something < 1362093619 161767 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :unlikely, but what? < 1362093636 885224 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: I know right? XD it sounds like pure technobabble except it's real < 1362093692 100775 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :well, done with pdf, that was totally nuts < 1362093712 188952 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: anything < 1362093734 2225 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: never move to a place where you have housemates. hth. < 1362093741 445061 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION got a new one today
< 1362093851 930384 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :have you ever had any swedish ones < 1362093867 945941 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not that i recall. there was a german one this autumn. < 1362093891 725573 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :
ACTION goes back to a paper that uses "Human Action System" and abbreviates it as "HAS", which is totally not crazy
< 1362093900 529919 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1362093990 340500 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: what was your phd about again < 1362094027 75068 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Cantor dynamical systems and K-theory and C*-algebras < 1362094035 919255 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :coolio < 1362094057 217798 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mostly the two former < 1362094115 97381 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :what's a cantor dynamical system < 1362094129 883972 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the K-theory got extracted from the last into the first < 1362094144 711389 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: it's a dynamical system on a Cantor set, hth < 1362094163 773384 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :that actually does kind of h < 1362094169 863445 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :spooky < 1362094172 739848 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there should probably be a "minimal" before dynamical < 1362094198 247128 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: wow, I understand four of those words, and only two of them are the same. six if you relax the definition of word. < 1362094204 986559 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ooh, six/two/seven then < 1362094211 82280 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :oh it's complete and compact, not as weird as i thought < 1362094235 814027 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :here are the words: dynamical (ok this one might be cheating), system, and < 1362094240 214295 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and perhaps: theory, algebras < 1362094247 220819 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :don't you know what the cantor set is? < 1362094262 806282 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :it's george "fuck you" cantor's second most famous thing < 1362094265 455070 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: it's a compact metrizable zero-dimensional space without isolated points < 1362094276 880572 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :psh, easy then < 1362094314 462800 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :k-theory meanwhile is what, something grothendieck invented probably, must be hard < 1362094316 792424 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also the common way of displaying it is that "remove middle thirds of intervals from [0,1], recursively" thing. < 1362094316 944836 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :what is a c* algebra < 1362094352 948567 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :"A C*-algebra is a complex algebra A of continuous linear operators on a complex Hilbert space with two additional properties: A is a topologically closed set in the norm topology of operators. A is closed under the operation of taking adjoints of operators." < 1362094362 423906 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :complex is right < 1362094369 492296 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :pun!!! < 1362094372 638832 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i know what cantor set is btw < 1362094380 272212 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :well you should have listed it then < 1362094387 6402 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :23:27:06 Cantor dynamical systems and K-theory and C*-algebras < 1362094390 465371 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: there is no hilbert space, they're just all isomorphic to one which is one a hilbert space < 1362094390 615740 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the word set is not in this title < 1362094393 726855 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well not a title i guess < 1362094408 756516 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :oerjan: i was quoting wikipedia, i'm nowhere near understanding what a C* algebra is. < 1362094428 470750 :GOMADWarrior!~Regis@186.222.62.76 QUIT :Ping timeout: 264 seconds < 1362094439 856108 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*is on < 1362094450 984443 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :looks like oerjan gets to correct the wp article < 1362094457 604800 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh! < 1362094476 28952 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION refuses
< 1362094480 553140 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :if you're lucky you could get into a flamewar with Zeilberger about how illegitimate topology is! < 1362094502 60409 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :does zeilberger acknowledge topologies on finite sets < 1362094520 404793 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :elliott: you should have listed Cantor anyway since you know who he is, and possibly made a humorous joke based on his name. < 1362094521 591953 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :he likes finite categories i think < 1362094532 219168 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :topologies on finite sets are just partial preorders < 1362094532 368870 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: I never Cantor algebra I didn't like < 1362094534 927916 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :er < 1362094535 988384 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :presumably he doesn't have any truck with proper classes < 1362094539 33389 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: I never Cantor dynamical system I didn't like < 1362094550 111529 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :"that works" < 1362094629 551002 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: K-theory is somewhat similar to homology theory < 1362094651 34232 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i remember once trying to read the wp article on homology < 1362094652 834227 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it went badly < 1362094671 975321 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :i don't know what that is either oerjan, but it's okay, you don't have to try to explain. < 1362094683 736067 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :
ACTION getting distracted again by reading scholarpedia on minimal dynamic systems
< 1362094696 645352 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1362094699 391344 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: well homology is considerably less obscure than K-theory, is all :P < 1362094713 806791 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :granted < 1362094720 787147 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :homology is like homotopy because most of the letters are the same < 1362094731 514530 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1362094748 344994 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: how many years of effort will it take to understand your thesis < 1362094757 491714 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :homology is homotopy invariant, so they're not unrelated terms < 1362094765 338936 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: 67 < 1362094776 571401 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: does that mean you don't understand it < 1362094778 720913 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :other problems: i think of "homologous" which is a comparative anatomy thing and, hopefully, not related to this at all < 1362094787 92570 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i may have understood it once < 1362094853 508514 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: hm i vaguely recall noticing both definitions when looking up "homologi" in a norwegian encyclopedia once long ago < 1362094861 456963 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oerjan, are homologous structures of the same homology class thing < 1362094871 668450 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :That's not even a sentence. < 1362094876 486429 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Phantom__Hoover: ...maybe. i don't remember. < 1362094900 876797 :Gregor!codu@codu.org TOPIC #esoteric :#esoteric welcomes its new prime minister, Ed "Brainfuck Derivative" Centipede | Channel is publicly logged. You can find the URL in the log. < 1362094901 199012 :oonbotti!~oonbotti@91-145-118-87.bb.dnainternet.fi PRIVMSG #esoteric :Nothing here < 1362094914 783162 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i think probably they're homotopy-equivalent at least so... < 1362094922 163066 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :wow, that's some good message handling, oonbotti. < 1362094935 633345 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: once, long ago, when i looked up "homologi" in a norwegian encyclopedia, it had both mathematical and anatomical definitions, afair. < 1362094947 802127 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :oerjan: I meant at phantom hoover. < 1362094956 982419 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :your sentence as adequately sentencistic. < 1362094959 971547 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :was* < 1362094972 700884 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric :And still is. < 1362094974 307180 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it's a perfectly cromulent sentence < 1362094979 881948 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :go prescriptivise in a corner somewhere < 1362095004 75206 :Bike!~Glossina@63.229.134.7 PRIVMSG #esoteric ::( < 1362095046 758476 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yay!