> 1409276157 683349 JOIN :#esoteric < 1409276159 308172 :glogbot!dlopen@libdl.so JOIN :#esoteric > 1409276161 821131 JOIN :#esoteric > 1409276162 344754 JOIN :#esoteric < 1409276181 157039 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :huzzah! < 1409276268 171440 :oerjan!oerjan@sprocket.nvg.ntnu.no TOPIC #esoteric :All glogged up again | brainfuck survey: https://www.surveymonkey.com/s/L82SNZV | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ | If something is possible, then it's possible that nothing is possible. | 987659473857929758374956789 < 1409276388 485691 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :I genuinely have no clue why it wasn't on... < 1409276410 381134 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :out taking over the world maybe? < 1409276416 159983 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Probably. < 1409276525 490628 :Bicyclidine!~Glossina@wl-nat99.it.wsu.edu QUIT :Ping timeout: 260 seconds < 1409276870 847643 :Hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 260 seconds < 1409276935 130690 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@check \f g x -> ((maybeToList . ((f :: Bool -> [()]) <=< g)) (x::())) == ((maybeToList . f) <=< (maybeToList . g)) x < 1409276936 801421 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type ‘[]’ with ‘Data.Maybe.Maybe’ < 1409276936 882276 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: GHC.Types.Bool -> Data.Maybe.Maybe () Actual type: GHC.Types.... < 1409276945 731974 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1409276952 351139 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh the other way < 1409276996 810095 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fine tekmo you win this one < 1409277325 761213 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@check \f g x -> ((listToMaybe . ((f :: Bool -> [()]) <=< g)) (x::())) == ((listToMaybe . f) <=< (listToMaybe . g)) x < 1409277327 975651 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : *** Failed! Falsifiable (after 3 tests): < 1409277328 99813 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [()]> <() -> [Bool]> () < 1409277343 944895 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's the one i misread it as initially < 1409277397 476653 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm quickcheck could do with some better printing of function counterexamples :P < 1409277519 384699 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> (\True -> [()]) < 1409277521 148511 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [()]> < 1409277615 104536 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let x = (); g _ = [False,True]; f = flip when [] in ((listToMaybe . ((f :: Bool -> [()]) <=< g)) (x::())) == ((listToMaybe . f) <=< (listToMaybe . g)) x < 1409277617 10178 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : True < 1409277620 717975 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1409277624 510726 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh < 1409277711 219166 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let x = (); g _ = [True,False]; f = flip when [] in ((listToMaybe . ((f :: Bool -> [()]) <=< g)) (x::())) == ((listToMaybe . f) <=< (listToMaybe . g)) x < 1409277713 499991 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : False < 1409277717 629491 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there you go < 1409277838 715092 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@type (<=<) < 1409277840 585178 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Monad m => (b -> m c) -> (a -> m b) -> a -> m c < 1409277888 454953 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's like compose, except in a monad (kleisli) category. < 1409277910 400928 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it is compose in that category < 1409277940 674515 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: remind me what the thing about the kleisli category being the category of free algebras was? < 1409277998 990906 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :long since forgotten, although istr all monads essentially coming from varieties of universal algebras < 1409278061 400538 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :basically you get a monad by combining the adjunctions of the free and underlying functions of such a variety... < 1409278077 175003 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um < 1409278091 843371 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*combining the adjoint free < 1409278094 659446 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh, variety is a technical word < 1409278101 418865 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes < 1409278125 422364 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :basically "defined by equations", like monoids, groups or rings < 1409278199 726271 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if you can also have implications between equations, you have a quasi-variety < 1409278208 241954 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :iirc < 1409278238 531524 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and fields don't count because you need to be able to have an implication from an _in_equality (x /= 0 => x has inverse) < 1409278260 339049 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that sounds more complicated than the thing about free algebras < 1409278290 303787 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well one of the things about varieties is that they _have_ free algebras. < 1409278318 144192 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm not quite sure on the spot if quasi-varieties do too, but e.g. fields don't. < 1409278391 226220 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well hm < 1409278411 792047 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a -> m b means of course a function from a to the free algebra on b, in this picture < 1409278425 23211 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :why? < 1409278447 341816 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or well, to the underlying set of the free algebra < 1409278447 557964 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wait, what's an algebra here < 1409278462 602198 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well for [] the algebras are monoids < 1409278469 296234 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i'm thinking of https://en.wikipedia.org/wiki/Monad_(category_theory)#Algebras_for_a_monad < 1409278499 130526 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh, maybe that page answers my question < 1409278527 464052 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :let's hope so < 1409278570 600383 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i'm not sure it does, it just claims it's true < 1409278612 69590 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i am not about to try and understand that again < 1409278685 516142 :MoALTz_!~no@user-31-174-165-85.play-internet.pl JOIN :#esoteric < 1409278877 536277 :MoALTz!~no@user-31-174-165-85.play-internet.pl QUIT :Ping timeout: 260 seconds < 1409278880 457558 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :"Quickcheck found a counterexample: f = (\x. [])(False := [()]) g = \x. [True, False] x = ()" < 1409278939 757509 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(This took longer than it should have, because HOL doesn't have proper monads) < 1409278983 284065 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's exactly the same example, isn't it :P < 1409279004 802161 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :except that f syntax is weird < 1409279100 286268 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :It uses function update syntax < 1409279136 694278 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i still _think_ it's equivalent to the f = flip when [] that i wrote. < 1409279182 660387 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :It looks like that's the only counterexample, up to permutations < 1409279208 364837 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i think you could have more elements in the [()] list < 1409279213 844987 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(flip unless [] would also work, for example) < 1409279259 360111 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and more elements in the [True,False] list as well < 1409279394 306269 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :f needs to return [] for the first element in the list g returns, and non-[] for some other element < 1409281231 605810 :Lymia!~fujoshi@108-205-143-75.lightspeed.rcsntx.sbcglobal.net JOIN :#esoteric < 1409281231 698008 :Lymia!~fujoshi@108-205-143-75.lightspeed.rcsntx.sbcglobal.net QUIT :Changing host < 1409281231 698137 :Lymia!~fujoshi@inportb/loli/cirno-chan JOIN :#esoteric < 1409283076 920210 :FreeFull!~freefull@defocus/sausage-lover QUIT :Read error: Connection reset by peer < 1409283144 272576 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1409284155 944034 :mauris!~mauris@220.113-242-81.adsl-dyn.isp.belgacom.be QUIT :Ping timeout: 240 seconds < 1409284782 722836 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Textual IRC Client: www.textualapp.com < 1409288594 363526 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The wiki-to-IRC pipe should also be back up now. < 1409288599 140903 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(It's not automagicalized.) < 1409288640 217779 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric ::O < 1409288649 608136 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :am I insane for wanting to do math in agda? < 1409288661 169681 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I think I've lost track of what sane is these days < 1409288691 144509 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :have you been prescribed psychoactive drugs by a health maintenance institution < 1409288819 986649 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :no < 1409288830 934649 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :but that's because I've been avoiding the shrinks < 1409288838 91375 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :also the grows, but that's less urgent < 1409289070 777387 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :did you know some of us are actually mentally ill < 1409289156 126979 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :lies < 1409289525 179185 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Quit: ZNC - http://znc.sourceforge.net < 1409289583 223513 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott_: hey stop scaring away the normals. both of them. < 1409289615 113513 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :heh < 1409289617 340532 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: we're all normal here. i'm normal. you're normal. < 1409289626 172867 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :the weirds are *out there* < 1409289630 108773 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ACTION shudders < 1409289631 719043 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :how do you know i'm normal. < 1409289642 637492 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :you're here aren't you? < 1409289655 684920 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fiendish < 1409291141 335370 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :coppro: Why not do math in brainfuck? < 1409291312 605169 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric ::D < 1409291729 450941 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Ping timeout: 260 seconds < 1409291736 681806 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1409292593 103281 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1409292768 13516 :nisstyre!yourstruly@oftn/member/Nisstyre QUIT :Ping timeout: 260 seconds < 1409292890 21272 :nisstyre!yourstruly@oftn/member/Nisstyre JOIN :#esoteric < 1409293715 59184 :MoALTz_!~no@user-31-174-165-85.play-internet.pl QUIT :Quit: Leaving < 1409294997 817189 :ion!ion@heh.fi QUIT :Excess Flood < 1409295000 327676 :ion!ion@heh.fi JOIN :#esoteric < 1409296599 366954 :AnotherTest!~turingcom@d51A45FF2.access.telenet.be JOIN :#esoteric < 1409300402 396256 :attumm!~attumm@ip94-58-212-87.adsl2.static.versatel.nl JOIN :#esoteric < 1409300593 30171 :attumm!~attumm@ip94-58-212-87.adsl2.static.versatel.nl PART #esoteric :"Leaving" < 1409300969 659121 :Mikescher!c391eca4@gateway/web/freenode/ip.195.145.236.164 JOIN :#esoteric < 1409300978 997068 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1409301169 957597 :Mikescher!c391eca4@gateway/web/freenode/ip.195.145.236.164 PRIVMSG #esoteric :!bfjoust mikescher_so_multivac_v1 http://maximum-sonata.codio.io/myBot.bfjoust < 1409301211 586944 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1409301211 679900 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1409301652 897149 :Mikescher!c391eca4@gateway/web/freenode/ip.195.145.236.164 QUIT :Quit: Page closed < 1409302075 882567 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Did Gregor just miss EgoBot too, or was that intentional? < 1409302491 525174 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au NICK :Patashu < 1409302494 938906 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Quit: Soundcloud (Famitracker Chiptunes): http://www.soundcloud.com/patashu MSN: Patashu@hotmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 . < 1409302525 977838 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1409302748 652929 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Client Quit < 1409302754 264060 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1409302771 798544 :impomatic_!~digital_w@167.156.125.91.dyn.plus.net PRIVMSG #esoteric :Gregor: thanks for fixing the logging. < 1409302860 389804 :impomatic_!~digital_w@167.156.125.91.dyn.plus.net PRIVMSG #esoteric :Would it be possible for me to have the #corewars glogbackup logs check? (I generally follow up on any questions, comments etc from when I'm offline) < 1409303845 322439 :olsner!~salparot@c83-252-201-82.bredband.comhem.se QUIT :*.net *.split < 1409303853 895764 :Gracenotes_!~person@192.241.203.42 QUIT :*.net *.split < 1409303868 854476 :olsner!~salparot@c83-252-201-82.bredband.comhem.se JOIN :#esoteric < 1409303868 908253 :Gracenotes_!~person@192.241.203.42 JOIN :#esoteric < 1409303889 193346 :elliott_!~elliott@unaffiliated/elliott QUIT :*.net *.split < 1409303889 879901 :FireFly!~firefly@oftn/member/FireFly QUIT :*.net *.split < 1409303896 217980 :skarn!skarn@unaffiliated/skarn QUIT :*.net *.split < 1409303899 176338 :diginet!~diginet@107.170.146.29 QUIT :*.net *.split < 1409303918 137669 :rodgort!~rodgort@192.241.198.49 QUIT :*.net *.split < 1409303919 260636 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e QUIT :*.net *.split < 1409303921 874086 :mroman!~roman2@fmnssun.ibone.ch QUIT :*.net *.split < 1409303952 153857 :impomatic_!~digital_w@167.156.125.91.dyn.plus.net QUIT :*.net *.split < 1409303959 20890 :ion!ion@heh.fi QUIT :*.net *.split < 1409303962 24095 :sebbu!~sebbu@unaffiliated/sebbu QUIT :*.net *.split < 1409303962 495456 :idris-bot!~ircslave@dslb-094-221-215-107.094.221.pools.vodafone-ip.de QUIT :*.net *.split < 1409303981 398721 :FreeFull!~freefull@defocus/sausage-lover QUIT :*.net *.split < 1409303986 456109 :jj2baile!~jon@high-fructose-corn-syrup.csclub.uwaterloo.ca QUIT :*.net *.split < 1409303997 274314 :variable!root@freebsd/developer/variable QUIT :*.net *.split < 1409303997 672720 :Guest2171!~pinky@pool-74-108-116-26.nycmny.fios.verizon.net QUIT :*.net *.split < 1409304008 629132 :jix!~jix@jixco.de QUIT :*.net *.split < 1409304028 47726 :olsner!~salparot@c83-252-201-82.bredband.comhem.se QUIT :*.net *.split < 1409304037 480957 :Gracenotes_!~person@192.241.203.42 QUIT :*.net *.split < 1409304054 174689 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl QUIT :*.net *.split < 1409304058 782645 :clog!~nef@bespin.org QUIT :*.net *.split < 1409304060 79006 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl QUIT :*.net *.split < 1409304067 887939 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :*.net *.split < 1409304076 325938 :lambdabot!~lambdabot@silicon.int-e.eu QUIT :*.net *.split < 1409304076 672195 :heroux!sandroco@50708355.static.ziggozakelijk.nl QUIT :*.net *.split < 1409304090 95113 :qlkzy!~qlkzy@li559-28.members.linode.com QUIT :*.net *.split < 1409304091 616577 :hogeyui__!~hogeyuiVP@vps.usamimi.biz QUIT :*.net *.split < 1409304095 846178 :shachaf!~shachaf@unaffiliated/shachaf QUIT :*.net *.split < 1409304112 451388 :J_Arcane!~jarcane@dsl-trebrasgw2-54f949-238.dhcp.inet.fi QUIT :*.net *.split > 1409304118 791792 JOIN :#esoteric < 1409304119 447250 :glogbot!dlopen@libdl.so JOIN :#esoteric > 1409304122 915694 JOIN :#esoteric > 1409304123 431083 JOIN :#esoteric < 1409304161 5885 :maurer!~maurer@MIMUNG.ECE.CMU.EDU JOIN :#esoteric < 1409304178 264911 :b_jonas!~x@russell2.math.bme.hu JOIN :#esoteric < 1409304447 730263 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1409304613 891642 :tromp!~tromp@ool-4570a006.dyn.optonline.net JOIN :#esoteric < 1409304614 74539 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net JOIN :#esoteric < 1409304614 74683 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1409304614 74749 :Taneb!~Taneb@runciman.hacksoc.org JOIN :#esoteric < 1409305563 738049 :AnotherTest!~turingcom@d51A45FF2.access.telenet.be QUIT :Read error: Connection reset by peer < 1409305566 855313 :AnotherTest_!~turingcom@d51A45FF2.access.telenet.be JOIN :#esoteric < 1409305574 739183 :AnotherTest_!~turingcom@d51A45FF2.access.telenet.be NICK :AnotherTest < 1409305646 75601 :quintopi1!~quintopia@74.117.159.204 JOIN :#esoteric < 1409305855 538894 :quintopia!~quintopia@unaffiliated/quintopia QUIT :Ping timeout: 272 seconds < 1409305866 5645 :coppro!raedford@taurine.csclub.uwaterloo.ca QUIT :Ping timeout: 272 seconds < 1409305872 223517 :coppro!raedford@taurine.csclub.uwaterloo.ca JOIN :#esoteric < 1409306190 314606 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1409306367 286964 :mroman_!~roman2@fmnssun.ibone.ch JOIN :#esoteric < 1409306385 195411 :diginet_!~diginet@107.170.146.29 JOIN :#esoteric < 1409306451 375954 :myndzl!myndzi@kingofstackers.com JOIN :#esoteric < 1409306536 536757 :skarn_!skarn@binary.firrre.com JOIN :#esoteric < 1409306660 991599 :skarn_!skarn@binary.firrre.com QUIT :Changing host < 1409306661 178255 :skarn_!skarn@unaffiliated/skarn JOIN :#esoteric < 1409306665 322283 :skarn!skarn@unaffiliated/skarn QUIT :Killed (sendak.freenode.net (Nickname regained by services)) < 1409306665 459049 :skarn_!skarn@unaffiliated/skarn NICK :skarn < 1409306966 9850 :elliott_!~elliott@unaffiliated/elliott QUIT :*.net *.split < 1409306966 9963 :FireFly!~firefly@oftn/member/FireFly QUIT :*.net *.split < 1409306966 404637 :diginet!~diginet@107.170.146.29 QUIT :*.net *.split < 1409306967 119992 :rodgort!~rodgort@192.241.198.49 QUIT :*.net *.split < 1409306967 257296 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e QUIT :*.net *.split < 1409306967 257360 :mroman!~roman2@fmnssun.ibone.ch QUIT :*.net *.split < 1409307057 744667 :rodgort!~rodgort@192.241.198.49 JOIN :#esoteric < 1409307137 276441 :lifthrasiir!~lifthrasi@115.68.131.49 JOIN :#esoteric < 1409307165 219277 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1409307178 244015 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1409307574 730458 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :I can breathe! < 1409307985 129696 :yiyus!1242712427@je.je.je QUIT :Ping timeout: 244 seconds < 1409308325 877 :zzo38!~zzo38@24-207-51-179.eastlink.ca QUIT :Ping timeout: 244 seconds < 1409308325 1041 :jameseb!~jameseb_@runciman.hacksoc.org QUIT :Ping timeout: 244 seconds < 1409308325 1115 :KingOfKarlsruhe!~KingOfKar@unaffiliated/kingofkarlsruhe QUIT :Ping timeout: 244 seconds < 1409308325 1182 :maurer!~maurer@MIMUNG.ECE.CMU.EDU QUIT :Ping timeout: 244 seconds < 1409308325 1317 :glogbot!dlopen@libdl.so QUIT :Ping timeout: 244 seconds > 1409308331 50216 JOIN :#esoteric > 1409308335 174794 JOIN :#esoteric > 1409308335 690406 JOIN :#esoteric > 1409308378 947011 JOIN :#esoteric > 1409308383 70911 JOIN :#esoteric > 1409308383 585884 JOIN :#esoteric > 1409308438 948590 JOIN :#esoteric > 1409308443 72048 JOIN :#esoteric > 1409308443 587202 JOIN :#esoteric > 1409308503 43744 JOIN :#esoteric < 1409308504 232253 :glogbot!dlopen@libdl.so JOIN :#esoteric > 1409308507 164738 JOIN :#esoteric > 1409308507 679532 JOIN :#esoteric < 1409308546 724320 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :glogbot: dextromethorphan hydrobromide, pseudoephedrine hydrochloride, guaifenesin, and acetaminophen. < 1409308557 712875 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :boily: Are you TRYING to get us on some sort of a watch list? < 1409308748 904074 :impomatic_!~digital_w@167.156.125.91.dyn.plus.net PRIVMSG #esoteric :Aha, you have flu :-( < 1409308766 454293 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :fizzie: me? nah. nothing surprising at all in here. it's only cough syrup with some paracetamol in it. < 1409308793 738184 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :impomatic_: yup. < 1409308821 984218 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :boily: People do drink DXM for fun, you know. < 1409309019 193253 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :people make purple drank for fun too. that's their problem, not mine. < 1409309048 452438 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :(like that time my stupid cousin went to a bar one time, and downed a whole bottle of syrup during the night. I wonder how he's still alive.) < 1409309568 512257 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess it's a moot point, since a quick log-grep reveals (2011-07-02) someone conversing about how they "just cant seem to stop doing -- dissociative hallucinogens -- whether it be Ketamine or dextromethorphan". (In a discussion which I'm sure was very on-topic.) < 1409309591 481158 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, it's on-topic, it's just the wrong topic, since it goes into "crowleyan magick" and "charging sigils" immediately after. < 1409309620 51025 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't think we've seen many "wrong kind of esoteric" visitors as of late. < 1409309705 938122 :Gregor`!dlopen@libdl.so JOIN :#esoteric < 1409309729 118985 :Gregor`!dlopen@libdl.so NICK :Guest26100 < 1409309752 462248 :nisstyre!yourstruly@oftn/member/Nisstyre QUIT :Ping timeout: 240 seconds < 1409309753 780355 :monotone!~monotone@room208.org QUIT :Ping timeout: 240 seconds < 1409309754 560245 :Gregor!dlopen@libdl.so QUIT :Ping timeout: 240 seconds < 1409309754 778231 :int-e!~noone@static.88-198-179-137.clients.your-server.de QUIT :Ping timeout: 240 seconds < 1409309755 784540 :weissschloss!~viskestel@li607-220.members.linode.com QUIT :Ping timeout: 240 seconds < 1409309770 212829 :monotone!~monotone@room208.org JOIN :#esoteric < 1409309777 823050 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :of the multiple wrong kinds, I don't think I have seen any hispanophones here lately. < 1409309798 255198 :int-e!~noone@static.88-198-179-137.clients.your-server.de JOIN :#esoteric < 1409309809 838669 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :huh? what's the problem with hispanophones? spanish isn't esoteric a language enough? < 1409309818 276326 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yeah, I guess English is more esoteric < 1409309843 734737 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Judging from their channel topic, I believe #selinux has a related problem. < 1409309878 330089 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Heh, I parsed that as "Swedish Linux" before even thinking of SELinux. < 1409309920 425070 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :b_jonas: same thing with us here. “spanish oteric”. we've got people from Colombia and Venezuela, mainly. < 1409309933 927580 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :`? oteric < 1409309941 642222 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :oteric? ¯\(°​_o)/¯ < 1409309948 924795 :weissschloss!~viskestel@li607-220.members.linode.com JOIN :#esoteric < 1409310218 933474 :nisstyre!yourstruly@oftn/member/Nisstyre JOIN :#esoteric < 1409310223 415286 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh... < 1409310251 775758 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net JOIN :#esoteric < 1409310270 784198 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I thought most channels that are language-specific versions of other channels have a language code at the end of the name following either a "-" or a "." separator < 1409310276 482066 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but of course the confusion can make sense < 1409310283 675757 :tromp_!~tromp@ool-4570a006.dyn.optonline.net JOIN :#esoteric < 1409310331 116741 :weissschloss!~viskestel@li607-220.members.linode.com QUIT :Excess Flood < 1409310406 161252 :FireFly!~firefly@oftn/member/FireFly QUIT :Excess Flood < 1409310409 21950 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :The english-speaking channel for all emacs distributions, #emacsenen. < 1409310415 324985 :`^_^!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1409310435 376428 :tromp!~tromp@ool-4570a006.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1409310436 578831 :nycs!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 244 seconds < 1409310467 15583 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net QUIT :Ping timeout: 261 seconds < 1409310468 838201 :weissschloss!~viskestel@li607-220.members.linode.com JOIN :#esoteric < 1409310502 270413 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1409310588 353389 :jameseb-!~jameseb_@runciman.hacksoc.org NICK :jameseb < 1409310681 500993 :boily!~boily@96.127.201.149 QUIT :Quit: ENENENENEN CHICKEN < 1409311094 787943 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :OOH! < 1409311158 320107 :TieSoul_!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl JOIN :#esoteric < 1409311206 483717 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl QUIT :Read error: Connection reset by peer < 1409311236 141857 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl QUIT :Read error: Connection reset by peer < 1409311341 738712 :heroux!sandroco@50708355.static.ziggozakelijk.nl QUIT :Ping timeout: 255 seconds < 1409311342 42693 :jameseb!~jameseb_@runciman.hacksoc.org QUIT :Ping timeout: 255 seconds < 1409311342 556866 :qlkzy!~qlkzy@li559-28.members.linode.com QUIT :Ping timeout: 255 seconds < 1409311388 611363 :heroux!sandroco@50708355.static.ziggozakelijk.nl JOIN :#esoteric < 1409311390 562197 :jameseb!~jameseb_@runciman.hacksoc.org JOIN :#esoteric < 1409311477 811745 :qlkzy!~qlkzy@li559-28.members.linode.com JOIN :#esoteric < 1409311625 427225 :hogeyui___!~hogeyuiVP@vps.usamimi.biz JOIN :#esoteric < 1409311646 55416 :hogeyui__!~hogeyuiVP@vps.usamimi.biz QUIT :Ping timeout: 255 seconds < 1409311781 309478 :shachaf_!~shachaf@li227-219.members.linode.com JOIN :#esoteric < 1409311782 350275 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1409311798 753615 :heroux_!sandroco@50708355.static.ziggozakelijk.nl JOIN :#esoteric < 1409311808 86631 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh weird < 1409311820 780916 :quintopi1!~quintopia@74.117.159.204 QUIT :Ping timeout: 255 seconds < 1409311821 198266 :lambdabot!~lambdabot@silicon.int-e.eu QUIT :Ping timeout: 255 seconds < 1409311821 479813 :shachaf!~shachaf@unaffiliated/shachaf QUIT :Ping timeout: 255 seconds < 1409311821 764244 :heroux!sandroco@50708355.static.ziggozakelijk.nl QUIT :Ping timeout: 255 seconds < 1409311845 682608 :heroux_!sandroco@50708355.static.ziggozakelijk.nl NICK :heroux < 1409311984 455776 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what's going on with this server < 1409312164 566134 :lambdabot!~lambdabot@silicon.int-e.eu JOIN :#esoteric < 1409312289 490889 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :quintopia: There appears to be a ddos attack going on again. < 1409312313 908317 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Melvar: same story, different attackers < 1409312628 68251 :clog!~nef@bespin.org QUIT :Ping timeout: 255 seconds < 1409312655 165179 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 255 seconds < 1409312682 193027 :maurer_!~maurer@MIMUNG.ECE.CMU.EDU QUIT :Ping timeout: 255 seconds < 1409312776 285096 :maurer!~maurer@MIMUNG.ECE.CMU.EDU JOIN :#esoteric < 1409312923 982405 :TieSoul_!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl NICK :TieSoul < 1409312969 819081 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1409313089 432756 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl JOIN :#esoteric < 1409313101 801635 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :Hey < 1409313195 759244 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hi hello whats up < 1409313380 915142 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :dooot < 1409313695 324827 :Lorenzo64!~lorenzo@adsl-ull-146-2.42-151.net24.it JOIN :#esoteric < 1409313769 791342 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :doot :P < 1409313770 5434 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :TieSoul: PogChamp seems everybody's roll say. pew three? essentially be bot get? ヽ༼ຈل͜ຈ༽ノ ##bottesting OR? < 1409313840 502491 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :fungot seems to make slightly more sense < 1409313840 761771 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :quintopia: indeed you do, replace those square brackets make plt code hard to read < 1409313968 196769 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :TieSoul: whatcha working on now < 1409314002 846950 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :Not really anything at the moment < 1409314016 631253 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :doot < 1409314016 834022 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :TieSoul: lotid, anyways cole over seen? I've because of the 3 shit that reason have! < 1409314342 311245 :Tritonio!~Thunderbi@212.251.54.186 JOIN :#esoteric < 1409314476 427841 :lifthrasiir!~lifthrasi@115.68.131.49 QUIT :Ping timeout: 246 seconds < 1409314532 83384 :lifthrasiir!~lifthrasi@115.68.131.49 JOIN :#esoteric < 1409314978 252469 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1409315212 471782 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 245 seconds < 1409315216 355922 :clog!~nef@bespin.org JOIN :#esoteric < 1409315276 332048 :heroux!sandroco@50708355.static.ziggozakelijk.nl QUIT :Ping timeout: 250 seconds < 1409315390 412339 :heroux!sandroco@50708355.static.ziggozakelijk.nl JOIN :#esoteric < 1409315942 647941 :sebbu!~sebbu@ADijon-152-1-20-219.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1409315982 30646 :sebbu!~sebbu@ADijon-152-1-20-219.w83-194.abo.wanadoo.fr QUIT :Changing host < 1409315982 273128 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1409316464 839664 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl QUIT :Remote host closed the connection < 1409316560 862793 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl JOIN :#esoteric < 1409316755 346210 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1409317624 289747 :Hjulle!~hjulle@ankadagen.vth.sgsnet.se JOIN :#esoteric < 1409317776 607592 :nys!~nys@blk-215-85-138.eastlink.ca JOIN :#esoteric < 1409318649 607927 :Hjulle!~hjulle@ankadagen.vth.sgsnet.se PRIVMSG #esoteric :doot < 1409318650 158810 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :ACTION it'd TPP talked is could! KILL curve why on be. anyway. were is certain. < 1409318669 908923 :Hjulle!~hjulle@ankadagen.vth.sgsnet.se PRIVMSG #esoteric :^bots < 1409318675 167583 :Hjulle!~hjulle@ankadagen.vth.sgsnet.se PRIVMSG #esoteric :!bots < 1409319286 192009 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :^prefixes < 1409319286 402072 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , blsqbot ! < 1409319293 591157 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :!prefixes < 1409319296 853147 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :`prefixes < 1409319297 380480 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , blsqbot ! < 1409319370 503600 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :some time in the future we won't be able to write anything without triggering a bot < 1409319534 253466 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :Given that several of the listed ones seem to be missing, I am not worried. < 1409319534 604425 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl QUIT :Remote host closed the connection < 1409319790 685833 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :EgoBot is (hopefully) only temporarily gone; there's the whole bfjoust community to take care of, after all. < 1409319811 812474 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And metasepia's intermittently here. < 1409319864 625377 :Tritonio!~Thunderbi@212.251.54.186 QUIT :Quit: Tritonio < 1409320161 354121 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :Far as I can tell, jconn has been disappeared since May. I was going to say I don’t know I’ve seen blsqbot, but it’s been around. < 1409320616 174907 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Melvar: I don't run jconn continuously, only start it occasionally from my home computer. The alternative is j-bot which fftw runs, and was in on #jsoftware about five hours ago, it just isn't set up to join this channel. < 1409320625 878312 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Wait, jconn? < 1409320629 559377 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :That's not my instance. < 1409320645 583008 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :The instance I run at home occasionally is evalj, with the prefix ] < 1409320650 686291 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the prefix for j-bot is [ < 1409320652 351185 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 250 seconds < 1409320656 204200 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and for jconn it's ) , yes < 1409320661 540294 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but all of them listen to their name too < 1409320697 446328 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I don't recall whose jconn is < 1409320705 990232 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :maybe it's jconn that's fftw's? < 1409320786 923537 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl JOIN :#esoteric < 1409321776 329411 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 250 seconds < 1409322828 570563 :Lorenzo64!~lorenzo@adsl-ull-146-2.42-151.net24.it QUIT :Read error: Connection reset by peer < 1409323517 727394 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1409325389 430507 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :http://blog.openworm.org/post/96090226275/any-advanced-math-wizards-out-there < 1409326784 365430 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1409326787 718510 :mihow!~mihow@108.30.58.169 JOIN :#esoteric < 1409326832 432674 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1409327266 611830 :V4N13!~sektor@41.193.160.110 JOIN :#esoteric < 1409327594 274300 :Lorenzo64!~lorenzo@adsl-ull-146-2.42-151.net24.it JOIN :#esoteric < 1409327978 110920 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :b_jonas: Does "fftw" have anything to do with FFTW? < 1409328159 53833 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: yes, I believe that's where he's got his nick < 1409328212 808860 :AnotherTest!~turingcom@d51A45FF2.access.telenet.be QUIT :Ping timeout: 245 seconds < 1409329529 633385 :V4N13!~sektor@41.193.160.110 QUIT :Quit: Leaving < 1409329562 381307 :V4N13!~sektor@41.193.160.110 JOIN :#esoteric < 1409329712 785409 :V4N13!~sektor@41.193.160.110 PART :#esoteric < 1409331017 701576 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1409331579 38960 :zzo38!~zzo38@24-207-51-179.eastlink.ca JOIN :#esoteric < 1409331653 615542 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl QUIT :Remote host closed the connection < 1409331936 930124 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl NICK :TieSoul_ < 1409331955 908667 :TieSoul_!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl NICK :TieSoul < 1409332883 438129 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl NICK :TieSoul_ < 1409332887 77389 :MoALTz!~no@user-46-113-32-101.play-internet.pl JOIN :#esoteric < 1409332889 131224 :TieSoul_!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl NICK :TieSoul < 1409332896 507282 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl NICK :TieSoul_ < 1409332902 836446 :TieSoul_!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl NICK :TieSoul < 1409332939 852933 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Is there a function (a -> Bool) -> Traversal' a a such that the traversal it makes traverses only when its argument gives back true? < 1409332982 811254 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I have a feeling a function of that type might be a bit.. essential in a dynamically typed setting < 1409333053 98568 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no, because you can pass back in an a that would fail the predicate, breaking the laws < 1409333107 843730 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Didn't there used to be a function that could break the laws? < 1409333121 363413 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I think it exists, yes. < 1409333363 991100 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl NICK :TieSoul_ < 1409333369 372234 :TieSoul_!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl NICK :TieSoul < 1409333550 289165 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric ::t uncurry id < 1409333551 475996 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(b -> c, b) -> c < 1409334153 144818 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :iceweasel (31.0-1) unstable; urgency=medium < 1409334154 580792 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :* Since version 30.0, NTLMv1 authentication has been disabled because it's known as insecure. Companies and organizations still deploying the older protocol should upgrade to NTMLv2, unfortunately, it's not supported by iceweasel. < 1409334637 724933 :myndzl!myndzi@kingofstackers.com NICK :myndzi < 1409334772 136437 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl NICK :TieSoul_ < 1409334775 3955 :TieSoul_!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl NICK :TieSoul < 1409335057 828349 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl NICK :TieSoul_ < 1409335062 837686 :TieSoul_!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl NICK :Tiesoul < 1409335220 343207 :Froox!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1409335251 540747 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Read error: Connection reset by peer < 1409335345 781326 :shachaf_!~shachaf@li227-219.members.linode.com QUIT :Changing host < 1409335345 976399 :shachaf_!~shachaf@unaffiliated/shachaf JOIN :#esoteric < 1409335352 676601 :shachaf_!~shachaf@unaffiliated/shachaf NICK :shachaf < 1409336336 721483 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1409336482 725333 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 260 seconds < 1409336622 722058 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 260 seconds < 1409336663 358424 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl JOIN :#esoteric < 1409336968 267298 :Guest26100!dlopen@libdl.so NICK :Gregor < 1409337316 627043 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1409338442 856096 :aretecode!~aretecode@69.163.36.90 JOIN :#esoteric < 1409338806 770237 :jj2baile!~jon@high-fructose-corn-syrup.csclub.uwaterloo.ca QUIT :Ping timeout: 260 seconds < 1409339447 103097 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://sprunge.us/jeLQ -- this (picked up from ##c) was quite amusing. (Undefined, of course.) < 1409339546 710133 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :(of course) < 1409339595 740510 :pillow_!~pillow@59.96.204.92 JOIN :#esoteric < 1409339615 823067 :`^_^!~nycs@gw.hq.meetup.com NICK :`^_^v < 1409339901 993988 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://sprunge.us/aHQj is kind of analogous except relying on non-finite math rather than undefined stuff. < 1409340010 154137 :`^_^v!~nycs@gw.hq.meetup.com PRIVMSG #esoteric :what's the UB in the first one? < 1409340032 742441 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If you wonder about scanf(...) == 1, well, you know how GCC can be, all "warning: ignoring return value of 'scanf', declared with attribute warn_unused_result", so I just wrote an ion. (That's an assertion without the assert.) < 1409340073 290217 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm guessing it's generating a trap representation -- an object representation that does not represent a value of the type. < 1409340097 918947 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, not the generating, the act of reading it. < 1409340102 831729 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :representation of _Bool, I assume.. e.g. it might be a byte and might require that the byte be either 1 or 0 < 1409340114 570598 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, that's very conventional. < 1409340144 354326 :Bicyclidine!~Glossina@wl-nat109.it.wsu.edu JOIN :#esoteric < 1409340148 970177 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :and if (v.c) could perhaps generate something like if (v.c == true), which would then fail < 1409340150 921923 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Certain object representations need not represent a value of the object type. If the stored value of an object has such a representation and is read by an lvalue expression that does not have character type, the behavior is undefined." (C11 6.2.6.1p5) < 1409340230 177966 :pillow_!~pillow@59.96.204.92 PART #esoteric :"Leaving" < 1409340365 398114 :Lorenzo64!~lorenzo@adsl-ull-146-2.42-151.net24.it QUIT :Ping timeout: 260 seconds < 1409340384 137727 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's quite close. Actually, with optimizations off, it does "xorl $1, %eax; testb %al, %al; je skip_over_the_true_branch" to perform the !v.c test. < 1409340423 119683 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :With optimizations on, it might generate something else, but it also assumes (quite rightly) a boolean and only tests once. < 1409340426 446069 :lollo64it!~lorenzo@adsl-ull-175-192.42-151.net24.it JOIN :#esoteric < 1409340446 694557 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(In fact, my test case of if (x) f(); if (!x) f(); got turned into f(); alone.) < 1409340488 317420 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :the xor thing is odd though, if it does the test anyway, why not just do jne instead? < 1409340512 136917 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, I mean, it's a straight-forward translation. < 1409340524 312937 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :ah, it was optimization off < 1409340539 775939 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes. The "!" is the "xorl $1, %eax" part, and then comes the if (...) part. < 1409340783 310524 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Curiously enough, this clang (with optimizations off) ands the _Bool value by 1 before doing any testing. With them on, it assumes, but also just tests once for nonzeroness. So both "work". < 1409340935 562702 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :In LLVM there is the i1 type for booleans < 1409341215 190105 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :But I think it would also be better the way Pascal does it; the type specifies the range of possible values. < 1409341502 785783 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :So you can write it is 0 to 255, or whatever < 1409342044 846793 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl QUIT :Remote host closed the connection < 1409342070 495222 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl JOIN :#esoteric < 1409342126 865981 :Tiesoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :!befunge98 "CEXE"4(5R#@6.@ < 1409342127 25314 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :Tiesoul: 6 < 1409342137 291643 :Tiesoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :is that supposed to happen? < 1409342188 579412 :Tiesoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :!befunge98 "CEXE"4(5K#@6. @ < 1409342192 807521 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :Tiesoul: (Execution timed out.) < 1409342196 123304 :Tiesoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :!befunge98 "CEXE"4(5K#@6. @ < 1409342200 344907 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :Tiesoul: (Execution timed out.) < 1409342202 846083 :Tiesoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :huh < 1409342506 328380 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl QUIT :Remote host closed the connection < 1409342527 192778 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl JOIN :#esoteric < 1409342535 43394 :Tiesoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :!befunge98 "CEXE"4(5R#@6.@ < 1409342535 269431 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :Tiesoul: No output. < 1409342559 597208 :Tiesoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :??? < 1409342565 863760 :Tiesoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :this should output 6 I think < 1409342583 164297 :Tiesoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :!befunge98 "CEXE"4(5K#@6.@ < 1409342587 274635 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :Tiesoul: (Execution timed out.) < 1409342598 187548 :Tiesoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :!befunge98 "CEXE"4(4K#@6.@ < 1409342598 399368 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :Tiesoul: No output. < 1409342604 776305 :Tiesoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :!befunge98 "CEXE"4(1K#@6.@ < 1409342604 945005 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :Tiesoul: No output. < 1409342607 881947 :Tiesoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :!befunge98 "CEXE"4(2K#@6.@ < 1409342608 37613 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :Tiesoul: 6 < 1409342623 286119 :Tiesoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :"CEXE"4(2R#@6.@ < 1409342633 861944 :Tiesoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :!befunge98 "CEXE"4(2R#@6.@ < 1409342634 123403 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :Tiesoul: No output. < 1409342677 256470 :Tiesoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :!befunge98 "CEXE"4('#1X@5.@ < 1409342677 448604 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :Tiesoul: 5 < 1409342684 28124 :Tiesoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :!befunge98 "CEXE"4('#2X@5.@ < 1409342684 251241 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :Tiesoul: 1 < 1409342762 673993 :Tiesoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :!befunge98 "CEXE"4(cA#@5.@ < 1409342762 829600 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :Tiesoul: 5 < 1409342781 445879 :Tiesoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :!befunge98 "CEXE"4(d0A#@5.@ < 1409342781 601460 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :Tiesoul: 5 < 1409342785 7034 :Tiesoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :... < 1409342790 874549 :Tiesoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :this shouldn't happen I think < 1409342807 530431 :Tiesoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :oh wait < 1409342809 343287 :Tiesoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :nevermind < 1409342817 569290 :Tiesoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :!befunge98 "CEXE"4(e01A#@5.@ < 1409342817 724821 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :Tiesoul: 5 < 1409342820 208461 :Tiesoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :wat < 1409342840 23237 :Tiesoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :!befunge98 "CEXE"4(d01A#@5.@ < 1409342840 201366 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :Tiesoul: No output. < 1409342841 779316 :Tiesoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :there < 1409342843 811822 :Tiesoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric ::P < 1409342957 984864 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1409343261 710077 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :*yawn* < 1409343316 668570 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Today I saw Guardians of the Galaxy, for the third time < 1409343337 789337 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Which I think makes it the movie I have seen the most number of times in a cimema < 1409343818 783289 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 260 seconds < 1409344000 3689 :diginet_!~diginet@107.170.146.29 QUIT :Quit: diginet has quit! < 1409344030 570405 :diginet!~diginet@107.170.146.29 JOIN :#esoteric < 1409344077 308896 :KingOfKarlsruhe_!~KingOfKar@static.84.17.63.178.clients.your-server.de NICK :KingOfKarlsruhe < 1409344087 139700 :KingOfKarlsruhe!~KingOfKar@static.84.17.63.178.clients.your-server.de QUIT :Changing host < 1409344087 295844 :KingOfKarlsruhe!~KingOfKar@unaffiliated/kingofkarlsruhe JOIN :#esoteric < 1409345114 981559 :J_Arcane!~jarcane@dsl-trebrasgw2-54f949-238.dhcp.inet.fi QUIT :Quit: WeeChat 0.4.4-dev < 1409345219 988357 :J_Arcane!~jarcane@dsl-trebrasgw2-54f949-238.dhcp.inet.fi JOIN :#esoteric < 1409345773 229519 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hi Taneb < 1409345774 842457 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :why < 1409345783 620118 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i haven't seen it < 1409345795 658936 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It's a fun, light-hearted sci-fi movie < 1409345811 138627 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I recommend it < 1409345917 992947 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ok < 1409345930 720914 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what about snowpiercer < 1409346033 83396 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Haven't seen it < 1409346123 345214 :Bicyclidine!~Glossina@wl-nat109.it.wsu.edu QUIT :Ping timeout: 246 seconds < 1409346622 430823 :not^v!~notnot^v@2601:4:4500:e15:e846:1e77:a1de:d3c JOIN :#esoteric < 1409346741 43067 :Bicyclidine!~Glossina@wl-nat99.it.wsu.edu JOIN :#esoteric < 1409346864 354992 :drdanmaku!uid17782@gateway/web/irccloud.com/x-tncuxgfwqjsytgan JOIN :#esoteric < 1409347046 509499 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :DootBot: !help < 1409347046 819653 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :Taneb: !guess can you change shit Kappa yourself! < 1409347055 449306 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::( < 1409347077 554473 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :What does that mean? < 1409347205 451026 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I don't know < 1409347936 376902 :mihow!~mihow@108.30.58.169 QUIT :Quit: mihow < 1409348155 235502 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Cillian Murphy! < 1409348633 979592 :MoALTz_!~no@user-46-113-32-101.play-internet.pl JOIN :#esoteric < 1409348780 323706 :jameseb!~jameseb_@runciman.hacksoc.org QUIT :Ping timeout: 244 seconds < 1409348832 66823 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1409348904 347000 :diginet!~diginet@107.170.146.29 QUIT :Ping timeout: 244 seconds < 1409348909 29742 :jameseb!~jameseb_@runciman.hacksoc.org JOIN :#esoteric < 1409348950 525042 :diginet!~diginet@107.170.146.29 JOIN :#esoteric < 1409348985 738861 :jarcane!~jarcane@dsl-trebrasgw2-54f949-238.dhcp.inet.fi JOIN :#esoteric < 1409349110 35478 :KingOfKarlsruhe_!~KingOfKar@static.84.17.63.178.clients.your-server.de JOIN :#esoteric < 1409349116 325816 :Taneb!~Taneb@runciman.hacksoc.org QUIT :Disconnected by services < 1409349121 732391 :atriq!~Taneb@runciman.hacksoc.org JOIN :#esoteric < 1409349168 57715 :KingOfKarlsruhe!~KingOfKar@unaffiliated/kingofkarlsruhe QUIT :Disconnected by services < 1409349173 81464 :J_Arcane!~jarcane@dsl-trebrasgw2-54f949-238.dhcp.inet.fi QUIT :*.net *.split < 1409349173 990051 :MoALTz!~no@user-46-113-32-101.play-internet.pl QUIT :*.net *.split < 1409349174 787609 :lifthrasiir!~lifthrasi@115.68.131.49 QUIT :*.net *.split < 1409349176 160800 :FireFly!~firefly@oftn/member/FireFly QUIT :*.net *.split < 1409349176 160941 :`^_^v!~nycs@gw.hq.meetup.com QUIT :*.net *.split < 1409349194 763077 :KingOfKarlsruhe_!~KingOfKar@static.84.17.63.178.clients.your-server.de NICK :KingOfKarlsruhe < 1409349226 283670 :mauris!~mauris@91.176.188.212 JOIN :#esoteric < 1409349227 462921 :KingOfKarlsruhe!~KingOfKar@static.84.17.63.178.clients.your-server.de QUIT :Changing host < 1409349227 618233 :KingOfKarlsruhe!~KingOfKar@unaffiliated/kingofkarlsruhe JOIN :#esoteric < 1409349373 339558 :lifthrasiir!~lifthrasi@115.68.131.49 JOIN :#esoteric < 1409349494 933282 :jj2baile!~jon@high-fructose-corn-syrup.csclub.uwaterloo.ca JOIN :#esoteric < 1409349702 685658 :mauris!~mauris@91.176.188.212 QUIT :Quit: Leaving < 1409349710 566318 :Bicyclidine!~Glossina@wl-nat99.it.wsu.edu QUIT :Ping timeout: 244 seconds < 1409349712 484586 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :HALP HOW TO EXORCISE LAPTOP < 1409349948 26662 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu JOIN :#esoteric < 1409350273 862887 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1409350287 14406 :MoALTz!~no@user-46-113-32-101.play-internet.pl JOIN :#esoteric < 1409350287 171374 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1409350363 575745 :MoALTz!~no@user-46-113-32-101.play-internet.pl QUIT :Max SendQ exceeded < 1409350372 408225 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 305 seconds < 1409350434 590194 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :no seriously there is a demon in this computer < 1409350578 29437 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu QUIT :Ping timeout: 244 seconds < 1409350674 159495 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :quintopia: I suggest dunking it in holy water. < 1409350731 186055 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Sgeo_: i don't have enough money to buy a replacement :/ < 1409351072 455282 :skarn!skarn@unaffiliated/skarn QUIT :Ping timeout: 250 seconds < 1409351141 966021 :skarn!skarn@binary.firrre.com JOIN :#esoteric < 1409351163 204442 :skarn!skarn@binary.firrre.com NICK :Guest21595 < 1409351171 169628 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :evening < 1409351201 110813 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so I'm reading the classic textbook Aho, Ullman, "The Theory of Parsing, Translation, and Compiling", (1972), < 1409351222 106754 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and it seems like a really good book that tells what I wanted to learn about context-free languages in a style I like < 1409351248 134506 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but there's a sentence in it that seems as if it's written to address the community of this channel specifically < 1409351334 230271 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :after stating that there are context-free languages that have no unambiguous context-free grammars, and that these are called inherently ambiguous, it states “no inherently ambiguous programming languages have been devised yet” < 1409351575 553722 :TieSoul-mobile!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl JOIN :#esoteric < 1409351578 331282 :TieSoul-mobile!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :Hi < 1409351600 321481 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1409351623 831881 :TieSoul-mobile!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :Hey œrjan < 1409351697 235692 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`hello TieSoul < 1409351698 198181 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Hello < 1409351715 575396 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hijsel (your nick is a pun on your real name, right?) < 1409351721 930881 :evalj!~jeval@5400EF77.dsl.pool.telekom.hu JOIN :#esoteric < 1409351768 415239 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what? < 1409351776 964472 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that was to TieSoul-mobile < 1409351850 354185 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i saw his windows username in something he pasted < 1409352069 981589 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :am i being creepy < 1409352136 668391 :Guest21595!skarn@binary.firrre.com QUIT :Changing host < 1409352136 823876 :Guest21595!skarn@unaffiliated/skarn JOIN :#esoteric < 1409352154 499559 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07List of ideas14]]4 10 02http://esolangs.org/w/index.php?diff=40358&oldid=40351 5* 03B jonas 5* (+487) 10/* Mathematics */ inherently ambiguous context-free language < 1409352161 380380 :Guest21595!skarn@unaffiliated/skarn NICK :skarn < 1409352172 385009 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu JOIN :#esoteric < 1409352362 745900 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: Not at all, Mr. Johansen. < 1409352455 722596 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :okeikki < 1409352481 694672 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although i'm not sure it counts when we put it openly in the real name field < 1409352495 83912 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*ircname < 1409352517 352103 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu QUIT :Ping timeout: 260 seconds < 1409352580 280061 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :does such a language already exist? < 1409352632 227072 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i recall oklopol had a language that guessed the meaning from the types < 1409352639 942604 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or something like that < 1409352841 657663 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :coppro: asking "is anyone around?" when you have a specific question isn't very nice < 1409353112 983389 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t \p -> prism' id (mfilter p) < 1409353114 96528 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Choice p, Applicative f) => (a -> Bool) -> p a (f (Maybe a)) -> p (Maybe a) (f (Maybe a)) < 1409353184 102950 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [1,2,3,4] & traverse.prism' id (mfilter odd) %~ (+2) < 1409353185 792484 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Occurs check: cannot construct the infinite type: < 1409353185 948056 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : a ~ Data.Maybe.Maybe a < 1409353185 948232 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: a -> Data.Maybe.Maybe a < 1409353185 948322 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: a -> a < 1409353189 164963 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :eep < 1409353209 874798 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t mfilter < 1409353211 233665 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :MonadPlus m => (a -> Bool) -> m a -> m a < 1409353222 788749 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh right hm < 1409353247 450121 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [1,2,3,4] & traverse.prism' id (mfilter odd.return) %~ (+2) < 1409353249 392965 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [3,2,5,4] < 1409353264 940926 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo_: ^ *MWAHAHAHAHA* < 1409353295 665164 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> [1,2,3,4] & traverse . filtered odd %~ (+2) < 1409353297 386825 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [3,2,5,4] < 1409353313 293105 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :prism?? < 1409353313 457735 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh i didn't find that where i looked < 1409353323 392868 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why not? < 1409353339 63011 :nys!~nys@blk-215-85-138.eastlink.ca QUIT :Quit: quit < 1409353342 107619 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it can only traverse one item after all >:) < 1409353349 497402 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :> [1,2,3,4] & traverse . filtered odd %~ (+1) < 1409353351 401873 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [2,2,4,4] < 1409353370 232947 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose making it not a prism discourages using it in even more evil ways < 1409353438 832965 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's even more law-violating as a prism < 1409353454 223769 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :since there's no guarantee that the predicate applies to the thing you're constructing < 1409353485 38007 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :wot is this? < 1409353490 165502 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :ACTION ponders a Detect profunctor, that just contains a hashmap of symbols to bools, starting them all at true, and as various capabilities are used, setting them false as needed < 1409353496 961038 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :right, but it breaks for the same reason - not treating the selected subset as a closed type < 1409353502 74663 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think. < 1409353517 263328 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :closed? < 1409353537 188116 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i guess "closed under whatever arbitrary operation/value you provide" < 1409353539 851259 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :e.g. using dimap sets 'id to #f, using strong/etc. sets 'iso to #f < 1409353585 292108 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :So effectively determining the 'type' of optic even though they're all functions in a dynamically typed language < 1409353607 851427 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that sounds horrible < 1409353647 103028 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :? < 1409353679 849754 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Hmm, actually, dimap id id would fail to be id, hmm < 1409353712 286475 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1409353758 5343 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :But still, it reveals what will and will not throw an exception < 1409353782 30559 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Even if dimap blah id id should be morally equivalent to blah, it isn't because blah might not be a profunctor < 1409353793 698301 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :(Ok, so I'm changing order of arguments a bit) < 1409354211 384653 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm filtered is in Control.Lens.Fold because that's the only use that's definitely safe < 1409354223 981659 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but it's defined such that it allows cheating < 1409354240 608452 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu JOIN :#esoteric < 1409355140 568824 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: oh inherently ambiguous is a technical term < 1409355157 468268 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: yes, I tried to explain what it means < 1409355162 450010 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in that case i _really_ doubt any have been made < 1409355172 496385 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :why doubt? < 1409355191 270289 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok maybe by accident < 1409355200 372895 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I mean, there's so many esolangs, and this fact isn't something secret, it's in many other books about formal languages too, even if not formulated as a call for challenge < 1409355210 263994 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well it's a more advanced concept than most esolangs use, frankly < 1409355285 581699 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also i haven't read the wiki article yet, i need to catch up on the wiki later < 1409355293 963021 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1409355412 309503 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: you don't have to read what I wrote on the wiki, I just said the same thing on this channel 70 minutes ago < 1409355419 922285 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think even a very simple construction might work, < 1409355472 979569 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :such as a brainfuck variant where if the program doesn't have balanced brackets then it's considered a brainfuck program with an alternate symbol set where <> are the loop delimiters and [] are the head move operators < 1409355536 944227 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but it would be nicer if the language wasn't a brainfuck variant of course < 1409355668 367614 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i take it the language of unbalanced brackets isn't context-free then? < 1409355811 602689 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the language of unbalanced brackets is context-free < 1409355812 419057 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm actually i doubt that < 1409355830 616048 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because i recall defining a monoid of bracket matching state < 1409355849 942652 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in that case i doubt your language actually is inherently ambiguous < 1409355859 374327 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the book proves that the complement of any language recognized by a deterministic push-down automaton can also be recognized by a deterministic push-down automaton, which proves it's context-free < 1409355879 766432 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm right < 1409355887 393924 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's obvious < 1409355888 202158 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but the point here is that if the brackets are balanced, then the program is still valid, with the original brainfuck semantics < 1409355910 831745 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, but that doesn't mean it's intrinsically ambiguous < 1409355934 277987 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so the set of valid programs is the language of strings with balanced brackets unioned with the language of strings with balanced angle brackets, < 1409355938 118329 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you might be able to separate the two legal sublanguages into disjoint context-free languages < 1409355972 898306 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :well, I'm not completely sure it's intrinsically ambiguous yet, so you might need a somewhat different construction, yes < 1409355989 805109 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but I think it is < 1409356025 983388 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm well the latter is an intersection language, so not necessarily context-free < 1409356104 387406 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although that doesn't prove you cannot split in a different way < 1409356116 260994 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well you go ahead finding a proof :P < 1409356155 324076 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that, but more importantly define a similar language that isn't a brainfuck derivative, because we don't need another brainfuck derivative < 1409356178 445771 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good, good < 1409356255 527405 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Is there something like at or ix (not sure which) that allows for a default if the key isn't found? I assume that's only safe if the user promises to treat "no value present" as "this value is the default" consistently < 1409356282 874900 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Sgeo_: for what data structure? < 1409356292 392832 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Map < 1409356299 593990 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Is the thing I most have in mind < 1409356327 299306 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :guessing yes, let me look it up < 1409356373 155254 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo_: you use those together with non < 1409356402 464863 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t non < 1409356404 311941 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Profunctor p, Functor f, Eq a) => a -> p a (f a) -> p (Maybe a) (f (Maybe a)) < 1409356429 854003 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Sgeo_: http://www.haskell.org/ghc/docs/7.6.3/html/libraries/containers-0.5.0.0/Data-Map-Lazy.html#v:findWithDefault < 1409356445 531990 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: he's talking about lens < 1409356466 27854 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :hmm < 1409356470 985501 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh, so that's why those names "ix" and "at" are so strange < 1409356486 170995 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :But this always forcibly deletes the entry if you try to set to the value given to the non < 1409356488 493711 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :("at" would make sense in C++) < 1409356502 854951 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo_: yes that's considered a feature? < 1409356512 49059 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :ok < 1409356560 479601 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I love simple :: Iso' a a. < 1409356594 683668 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that _is_ pretty simple < 1409356614 844513 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why not Equality'? < 1409356638 886645 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, it is Equality'. < 1409356665 687755 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Is Equality' what I called 'id, or something else? < 1409356671 927029 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know.