< 1398298020 774142 :Zerker!~zerker@24-205-85-23.dhcp.psdn.ca.charter.com JOIN :#esoteric < 1398298221 732906 :lambdabot!~lambdabot@silicon.int-e.eu QUIT :Quit: brb < 1398298601 563144 :lambdabot!~lambdabot@silicon.int-e.eu JOIN :#esoteric < 1398298684 357583 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> (1,2,3)^..each < 1398298685 984102 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [1,2,3] < 1398298686 246383 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:8: error: expected: "$", < 1398298686 432063 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric : "$>", "&&", "&&&", "*", "***", < 1398298686 432144 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric : "+", "++", "-", "->", ".", "/", < 1398298686 432180 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric : "/=", ":+", ":-", "::", ":::", < 1398298686 432216 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric : ":=", "<", "<$", "<$>", "<*>",14↵… < 1398298705 224594 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :sorry. funny error though :) < 1398299296 139588 :Zerker!~zerker@24-205-85-23.dhcp.psdn.ca.charter.com QUIT :Remote host closed the connection < 1398299694 722290 :tromp!~tromp@ool-4575eb51.dyn.optonline.net JOIN :#esoteric < 1398299694 947609 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :@run (1,2,3,4,5,6,7,8,9,10,11,12)^..each < 1398299696 292330 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Could not deduce (Control.Lens.Each.Each < 1398299696 477714 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11) < 1398299696 477786 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11) < 1398299696 477823 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : a < 1398299696 477858 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : a) < 1398299724 320867 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :idris-ircslave: that's not for you, be quiet < 1398299724 506857 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:19: error: expected: "$", < 1398299724 692185 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric : "$>", "&&", "&&&", "*", "***", < 1398299724 692260 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric : "+", "++", "-", "->", ".", "/", < 1398299724 692313 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric : "/=", ":+", ":-", "::", ":::", < 1398299724 692356 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric : ":=", "<", "<$", "<$>", "<*>",14↵… < 1398299735 880200 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :would not address again < 1398299801 271798 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :fungot: do you expect ($)? < 1398299801 457161 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: ( ( ( a()**)a*:a*)(a()**)a*:a*)((x1)(x2)(x3)) ...out of time! don't let?! < 1398299828 616825 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :even fungot spews out punctuation-heavy error messages! Sir Fungellot is corrupted! < 1398299828 829359 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: use the ' ' ' delete a value of type " airbus is a big fan of avril....but this song " there ain't no difference from before! < 1398299843 378347 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :fungot: of course. everything is the same. < 1398299843 563737 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: agora alice c64 ct darwin discworld europarl ff7 fisher ic irc* jargon lovecraft nethack pa speeches ss wp youtube < 1398301109 580442 :lexande!arapp@terpsichore.ugcs.caltech.edu QUIT :Ping timeout: 252 seconds < 1398301211 27686 :ski!~ski@remote1.student.chalmers.se JOIN :#esoteric < 1398301438 753931 :lexande!arapp@terpsichore.ugcs.caltech.edu JOIN :#esoteric < 1398301867 269602 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net QUIT :Quit: Terminated < 1398301954 908064 :boily!~boily@96.127.201.149 QUIT :Quit: SLEEP < 1398301978 28224 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net JOIN :#esoteric < 1398302676 774672 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Gregor: Can a malicious soundfont do anything bad? < 1398302741 367334 :Gregor!~Gregor@libdl.so PRIVMSG #esoteric :Not without bugs in the soundfont interpreter/renderer. < 1398302769 566752 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1398302782 374312 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :what if it makes you listen to orchestral music done in bike horns < 1398302893 646497 :ion!ion@heh.fi PRIVMSG #esoteric :Is that good or bad? < 1398302908 12829 :ion!ion@heh.fi PRIVMSG #esoteric :Sounds appropriate for, say, P.D.Q. Bach. < 1398303609 772132 :augur!~augur@129-2-129-33.wireless.umd.edu QUIT :Remote host closed the connection < 1398303872 307765 :hungryhippo!hungryhipp@76.85.185.205 JOIN :#esoteric < 1398303989 801414 :hungryhippo!hungryhipp@76.85.185.205 PART :#esoteric < 1398304169 704815 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Ignition14]]4 10 02http://esolangs.org/w/index.php?diff=39398&oldid=39397 5* 03Oerjan 5* (+18) 10I recommend previewing hth < 1398304769 499402 :constant!root@freebsd/developer/variable QUIT :Ping timeout: 250 seconds < 1398304943 744241 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1398305030 832983 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :What happens if you use something like data Foo = Foo with DataKinds? < 1398305610 145287 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fancy < 1398305753 120902 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: http://www.haskell.org/ghc/docs/latest/html/users_guide/promotion.html#promotion-syntax < 1398305762 204633 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :ty < 1398307135 479836 :variable!root@freebsd/developer/variable JOIN :#esoteric < 1398308240 447919 :contrapumpkin!~copumpkin@unaffiliated/copumpkin NICK :copumpkin < 1398309148 26984 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1398309439 929253 :xpte!uid17782@gateway/web/irccloud.com/x-bemtdjkeokdiylos QUIT : < 1398309450 148636 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1398309497 851829 :xpte!uid17782@gateway/web/irccloud.com/x-cnusvbhujkswewvu JOIN :#esoteric < 1398309520 228802 :xpte!uid17782@gateway/web/irccloud.com/x-cnusvbhujkswewvu PART :#esoteric < 1398309750 75373 :drdanmaku!uid17782@gateway/web/irccloud.com/x-cnusvbhujkswewvu JOIN :#esoteric < 1398309905 281108 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :It should be possible to write a liftMn that takes a type-level nat, right? < 1398309913 752436 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Would look ugly though, if I actually understand this < 1398309931 231552 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :liftMn (Proxy :: Proxy 2) (+) [1,2,3] [4,5,6] < 1398310762 640593 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :https://github.com/usrbinnc/netcat-cpi-kernel-module an album by a band named netcat, released as a kernel module < 1398310792 517699 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :I hope it uses its added privilege for the ultimate DRM < 1398310886 17156 :Sorella!~queen@oftn/member/Sorella QUIT :Quit: It is tiem! < 1398310932 898690 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :"Building also requires several gigabytes of memory. We're not totally sure why, but we think it is because because the compiler is making lots of copies of several large, static arrays that contain track data." fascinating < 1398310990 850418 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :good < 1398311447 558538 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm that suggested new (:: t) syntax won't work as a proxy if t is not of kind * < 1398311452 120450 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :2048 has a lot of zugzwang < 1398311481 25821 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :clearly id must also have polymorphic kind hth < 1398312198 28538 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :polymorphic kindness < 1398312234 920286 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i guess this is vaguely on topic https://twitter.com/christinelove/status/458808917837873152 < 1398312247 99530 :kallisti!~adam@h243.27.40.69.dynamic.ip.windstream.net QUIT :Ping timeout: 245 seconds < 1398312319 415048 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I'm tempted to try Ultrix now < 1398312334 468450 :tertu!~tertu@143.44.70.199 JOIN :#esoteric < 1398312342 613767 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :do you have Ulterior motive < 1398312442 980828 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :my first logins to this account was to an ultrix machine, nvg's first server. < 1398312514 313920 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Mostly because I've heard of it because of OpenSSLRampage < 1398312522 791844 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :And want to bring it out of its coffin < 1398312555 71021 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :sgeo have you seen jsmess < 1398312575 751671 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :a few days ago i tried to run Lemmings on an Amiga and got some bizarre kernel area. it would be nostalgic if the system wasn't older than me < 1398312591 296017 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Now I have < 1398312609 976798 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I've seen similar but narrower in scope (one machine) things before < 1398312646 826120 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i don't know what unixes it has, though, if any < 1398312665 386248 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :kernel error* < 1398312681 329169 :tromp!~tromp@ool-4575eb51.dyn.optonline.net QUIT :Remote host closed the connection < 1398312714 267267 :tromp!~tromp@ool-4575eb51.dyn.optonline.net JOIN :#esoteric < 1398312756 655515 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Ooh, E.T. good game? < 1398312787 111404 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :isn't it the notorious opposite of a good game < 1398312821 393239 :FreeFull_!~freefull@defocus/sausage-lover JOIN :#esoteric < 1398312849 701443 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :yes < 1398312863 997195 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 252 seconds < 1398312889 581864 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Hmm, wanted to find a blind let's play < 1398312894 293323 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Someone who hasn't heard how bad it is < 1398312932 543842 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :apparently i can play a gundam http://en.wikipedia.org/wiki/Bandai_RX-78 < 1398312947 941777 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :whoa http://arstechnica.com/gaming/2014/04/atari-landfill-in-new-mexico-to-be-dug-up-on-saturday-ars-will-be-on-scene/ < 1398312986 117308 :tromp!~tromp@ool-4575eb51.dyn.optonline.net QUIT :Ping timeout: 276 seconds < 1398312998 955174 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :here's a long article about why it's not so bad, and how to fix it with a few binary patches http://www.neocomputer.org/projects/et/ < 1398313072 528914 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Did it come with a manual < 1398313077 298330 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :The UI seems a bit unhelpful < 1398313101 861627 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :well, yeah, 80s < 1398313414 141340 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Hmm, wanted to find a blind let's play <-- are you saying the game gets better if you are blind twh < 1398313486 587254 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :http://projectnaptha.com/ this looks nifty < 1398314458 355841 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Ping timeout: 240 seconds < 1398315927 952520 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric > 1398316876 853160 JOIN :#esoteric > 1398316880 942291 JOIN :#esoteric > 1398316881 459298 JOIN :#esoteric > 1398316924 278708 JOIN :#esoteric < 1398316925 248925 :glogbot!dlopen@libdl.so JOIN :#esoteric > 1398316928 355252 JOIN :#esoteric > 1398316928 863634 JOIN :#esoteric < 1398316946 265217 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1398317058 395092 :FreeFull_!~freefull@defocus/sausage-lover QUIT :Ping timeout: 240 seconds < 1398318246 423855 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1398319427 384885 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Bike: umuuvvmmuivwmnnwluwnuwwolhwhus < 1398319507 702420 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I AB5ENTH|NDEDLY5ELECT RANDU1 Bl.OO<5 OFTEXTHSI READ, PND FEEL SLRONSCDUSLY SATISFIED LHEN THE HIGHUGHTED AREA |"PKE5 H 5Yl’R1ETRICHL 5|-PPE < 1398319514 554418 :password2!~password@197.78.134.100 JOIN :#esoteric < 1398319599 412954 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :are you saying text recognition isn't perfect < 1398319708 250838 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Quit: WeeChat 0.4.3 < 1398319889 416083 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well the first one is obviously upside down, it should be snymytomnumntmuuwmltnwwmnnwn < 1398319913 318646 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which is a common welsh greeting. < 1398319947 747919 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :uh < 1398319964 91200 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :well, good evening < 1398320005 392278 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :good evening. < 1398320054 427394 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :god morgen < 1398321600 654791 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :"@todo Better Documentation" exactly what you want when you're trying to figure out a program in a language you don't know < 1398321690 217979 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@todo < 1398321690 365182 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :0. SamB: A way to get multiple results from a google search < 1398321690 512669 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :1. dons: improve formatting of @dict < 1398321690 512863 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :2. dons: write Haskell Manifesto < 1398321690 512970 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :3. lispy: don't let lambdabot's prettyprinter split the sequence @foo across lines < 1398321690 513075 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :4. TheHunter: priviledged users should get priviledged listcommands. < 1398321692 312977 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :[39 @more lines] < 1398321724 619706 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :lambdabot: So much to do, so little time. < 1398321820 241808 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@dict och forbandet løgn < 1398321820 389305 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :There is no dictionary database 'och'. < 1398321820 536439 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :There is no dictionary database 'forbandet'. < 1398321820 536508 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :There is no dictionary database 'løgn'. < 1398321837 130045 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@help dict < 1398321837 277395 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :dict provides: dict-help all-dicts bouvier cide devils easton elements foldoc gazetteer hitchcock jargon thesaurus vera wn world02 < 1398321851 859345 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@dict < 1398321852 6860 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :I perform dictionary lookups via the following 14 commands: < 1398321852 154836 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :all-dicts ... Query all databases on dict.org < 1398321852 154906 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :bouvier ..... Bouvier's Law Dictionary < 1398321852 154946 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :cide ........ The Collaborative International Dictionary of English < 1398321852 155012 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :devils ...... The Devil's Dictionary < 1398321853 968991 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :easton ...... Easton's 1897 Bible Dictionary < 1398321855 969559 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :elements .... Elements database < 1398321857 979081 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :foldoc ...... The Free On-line Dictionary of Computing < 1398321859 988436 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :gazetteer ... U.S. Gazetteer (2000) < 1398321861 639330 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :well this is verbose. < 1398321861 981457 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :hitchcock ... Hitchcock's Bible Names Dictionary (late 1800's) < 1398321863 982284 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :jargon ...... Jargon File < 1398321865 983746 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :thesaurus ... Moby Thesaurus II < 1398321902 30204 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@devils potable < 1398321903 454284 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :*** "potable" devil "The Devil's Dictionary (1881-1906)" < 1398321905 456396 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :POTABLE, n. Suitable for drinking. Water is said to be potable; < 1398321907 476324 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :indeed, some declare it our natural beverage, although even they find < 1398321909 456936 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :it palatable only when suffering from the recurrent disorder known as < 1398321911 459004 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :thirst, for which it is a medicine. Upon nothing has so great and < 1398321913 459386 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :[6 @more lines] < 1398321916 96220 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@more < 1398321916 243361 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :diligent ingenuity been brought to bear in all ages and in all < 1398321917 468105 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :countries, except the most uncivilized, as upon the invention of < 1398321919 551381 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :substitutes for water. To hold that this general aversion to that < 1398321921 475187 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :liquid has no basis in the preservative instinct of the race is to be < 1398321923 477826 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :unscientific -- and without science we are as the snakes and toads. < 1398321925 491257 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : < 1398321968 632688 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@quit OKAY < 1398321968 779507 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Not enough privileges < 1398321971 87696 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1398321983 725357 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: OKAY < 1398322115 647436 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :"it was either you or me, lambdabot" < 1398322572 268717 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 QUIT :Ping timeout: 258 seconds < 1398322700 902611 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :lambdabot needs a pastbin < 1398322704 581294 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :*pastebin < 1398323095 569363 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 JOIN :#esoteric < 1398323301 680531 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fungots fall on fungot falls < 1398323301 827948 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: ( c) a player resigns from an office has whatever duties, then 3 extra " 0" and ( down-from n ( 0 < 1398323307 689399 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :hi pikhq, how goes it? < 1398323944 311303 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fun fact: ARIN now has a single /8 left, too -- https://www.arin.net/announcements/2014/20140423.html < 1398325237 564459 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1398325532 751231 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :"By APNIC policy, each current or future member can receive only one /22 block from this last /8 (there are 16384 /22 blocks in the last /8 block)." < 1398325712 945338 :slereah_!~slereah@46.218.232.202 JOIN :#esoteric < 1398325714 762204 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :You know < 1398325718 159260 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :Thinking about it < 1398325721 923443 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :Maybe I should do both < 1398325730 665631 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :Like check the length of the series < 1398325742 781125 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :And if it's short, I use the regular Baum Welch algorithm < 1398325749 709658 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :but if it's long, it's log ahoy < 1398325778 826589 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :the regular baumkuchen algorithm < 1398325809 608167 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :Yes, the bumspank algorithm < 1398326168 45462 :password2!~password@197.78.134.100 QUIT :Ping timeout: 276 seconds < 1398326678 705020 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Ping timeout: 252 seconds < 1398326844 124520 :augur!~augur@pool-71-178-143-33.washdc.east.verizon.net JOIN :#esoteric < 1398328065 964903 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1398328147 414218 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net QUIT :Quit: Terminated < 1398328183 464001 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net JOIN :#esoteric < 1398328923 954076 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1398328924 148548 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1398330854 508422 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@botsnack < 1398330854 655866 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric ::) < 1398330858 949647 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@run > 1 < 1398330860 129443 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input ‘>’ < 1398330865 419722 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@run 1 < 1398330866 626402 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hah. < 1398330866 908920 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1 < 1398331108 100854 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :@scoobysnack < 1398331108 248420 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Unknown command, try @list < 1398331283 131776 :drdanmaku!uid17782@gateway/web/irccloud.com/x-cnusvbhujkswewvu QUIT :Quit: Connection closed for inactivity < 1398331319 374348 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: do you think something like http://flint.cs.yale.edu/flint/publications/flex.pdf would be realistic for rust < 1398334223 751978 :yiyus!1242712427@je.je.je JOIN :#esoteric < 1398334346 993878 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1398334486 490436 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: also i wonder whether shipwreck is named after http://www.marxists.org/archive/lenin/works/1912/may/08c.htm < 1398334750 535858 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1398335055 816865 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Quit: *bubbles away* < 1398335422 178894 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :Woo, the logs work < 1398335438 145475 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :So it turns out the last value was ~ e^-1611.5 < 1398335458 107110 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :About 10^-700 < 1398335531 910160 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1398336569 850623 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@run 1611 / log 2 < 1398336571 604658 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 2324.18171087212 < 1398336686 938725 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :int-e: do you have a 1 in 1611 probability that you're trying to estimate how long before you have a 50% chance of it happening? < 1398336757 752549 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ais523: I was estimating the exponent field in a floating point representation of e^-1611.5 < 1398336764 537058 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :binary floating point that is < 1398336773 994571 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah right < 1398336963 651234 :augur_!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1398337091 84788 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :huh, I'm seeing the headlines "OpenBSD forks OpenSSL" < 1398337100 281505 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which confuses me, because I thought OpenSSL was their project in the first plae < 1398337101 942710 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*place < 1398337178 266463 :augur!~augur@pool-71-178-143-33.washdc.east.verizon.net QUIT :Ping timeout: 240 seconds < 1398337188 742700 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Not everything that starts "Open" is theirs. < 1398337193 558136 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I know < 1398337198 95410 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I thought that in particular was < 1398337250 986453 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :What I think is boringly unimaginative is the "LibreSSL" name. I mean, Openswan got forked as Libreswan back when they had problems of their own. < 1398337288 59853 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :are they copying the OpenOffice/LibreOffice thing? < 1398337332 117249 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Huh, I didn't even think of that. < 1398337379 951903 :nooodl!~nooodl@187.131-241-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1398337398 333394 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that has to be the highest-profile open→libre fork < 1398337402 326625 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not sure if it was the first < 1398337502 55189 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :What's next, LibreStreetMap? < 1398337555 303015 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(LibreVPN, LibreLDAP, LibreSceneGraph, LibreTTD, ...) < 1398337832 996540 :boily!~boily@96.127.201.149 QUIT :Quit: FREE CHICKEN < 1398340265 307318 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1398340358 869850 :Melvar!~melvar@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :< mroman> > foldl1 (\a b -> (a,b)) [1,2,3] < mroman> Would that work in idris? – The answer is: Yes! Idris can do that. More seriously, mutatis mutandis, the idea can be made to work. < 1398340369 893896 :hexagon!nyuszika7h@pdpc/supporter/active/nyuszika7h NICK :h3xagon < 1398340374 372196 :h3xagon!nyuszika7h@pdpc/supporter/active/nyuszika7h NICK :hexagon < 1398341036 47003 :Melvar!~melvar@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :Using only things I have available at the repl: < 1398341046 384678 :Melvar!~melvar@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :( elim_for Prelude.List.List Integer (elim_for Prelude.List.List Integer (const Type) () (\x,xs,y => (Integer,y))) (the () ()) (\x, xs, xs' => (x, xs')) < 1398341046 531960 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :09<> 12Integer (09<> 12Integer (\13v => 12Type) 12() (\13x => \13xs => \13y => 12(12Integer12, 13y12))) 04() (\13x3 => \13xs4 => \13xs' => 04(13x304, 13xs'04)) : (13scrutinee : 12List 12Integer) -> < 1398341046 679741 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :09<> 12Integer (\13v => 12Type) 12() (\13x => \13xs => \13y => 12(12Integer12, 13y12)) 13scrutinee < 1398341058 803283 :Melvar!~melvar@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :( elim_for Prelude.List.List Integer (elim_for Prelude.List.List Integer (const Type) () (\x,xs,y => (Integer,y))) (the () ()) (\x, xs, xs' => (x, xs')) [1,2,3] < 1398341058 993708 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :04(04104, 04204, 04304, 04()04) : 12(12Integer12, 12Integer12, 12Integer12, 12()12) < 1398342171 556881 :nucular!~MOO@p4FF90371.dip0.t-ipconnect.de JOIN :#esoteric < 1398342171 898690 :nucular!~MOO@p4FF90371.dip0.t-ipconnect.de QUIT :Changing host < 1398342172 52138 :nucular!~MOO@unaffiliated/nucular JOIN :#esoteric < 1398342460 891283 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :I name my variables according to what will give the best alignment in the code < 1398342475 682384 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :Since I tab things everywhere < 1398342482 995109 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :Name too long? SHORTEN IT < 1398342751 953226 :nooodl_!~nooodl@187.131-241-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1398342797 460588 :aloril!~aloril@dsl-tkubrasgw2-54f80b-12.dhcp.inet.fi QUIT :Ping timeout: 264 seconds < 1398342865 75874 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1398342940 468892 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Use single-letter variable names < 1398342943 262513 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :
ACTION mentions something about PHP's hashing algorithm for built-in functions
< 1398342953 63356 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Allows for perfect alignment and reduces the number of keystrokes < 1398342959 914836 :nooodl!~nooodl@187.131-241-81.adsl-dyn.isp.belgacom.be QUIT :Ping timeout: 252 seconds < 1398343060 76865 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1398343627 258084 :aloril!~aloril@dsl-tkubrasgw2-54f80b-12.dhcp.inet.fi JOIN :#esoteric < 1398343691 348180 :Slereah!~jackal@176.222.51.233 QUIT :Ping timeout: 250 seconds < 1398343703 641868 :Slereah!~jackal@bau91-h01-176-189-82-82.dsl.sta.abo.bbox.fr JOIN :#esoteric < 1398344294 917132 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :FireFly : Plus it would be nice to leave something for the next intern to do < 1398344299 934535 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :Also no loops, only gotos! < 1398344495 492770 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1398344523 885392 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :indirectly lost: 7,204,400 bytes in 350 blocks < 1398344526 340234 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :Damn < 1398344535 222868 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :That's a lot of bytes < 1398344535 849216 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :slereah_: is that a valgrind report? < 1398344539 803947 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :yep < 1398344551 567547 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :worrying about indirectly lost isn't normally worth it, those are memory leaks that'll go away if you fix the "directly lost" leaks < 1398344560 71142 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :basically, leaks caused as a result of other leaks < 1398344561 617920 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :Probably yes < 1398344568 39307 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :I know the problem < 1398344721 201917 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :The bigger problem though is that the algorithm doesn't work < 1398344747 81445 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the memory management algorithm? or the algorithm that the leaky code is trying to impl? < 1398344962 903472 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :The latter < 1398344970 9778 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :Baum Welch algorithm thing < 1398344980 308572 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :But it does not converge to anything < 1398345054 724030 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Impressive, given how it's guaranteed to. < 1398345133 180709 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :Yeah < 1398345139 147090 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :Don't know where the code fucks up < 1398345154 543610 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :FireFly: sometimes when I write comments, I try to make every line the same length < 1398345157 935307 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"manually justified" < 1398345171 978839 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if you have around 76 columns to write in, which is typical, it's actually not very difficult < 1398345173 376866 :tertu!~tertu@143.44.70.199 QUIT :Ping timeout: 264 seconds < 1398345197 850631 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Do you hyphenate? < 1398345564 38039 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :no < 1398345569 95686 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :just pick different words < 1398345579 636462 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Wonder if there are automatic tools for that. < 1398345956 809362 :password2!~password@197.78.161.219 JOIN :#esoteric < 1398346079 70705 :nycs!~nycs@rrcs-24-39-141-128.nyc.biz.rr.com NICK :`^_^v < 1398346553 140240 :slereah_!~slereah@46.218.232.202 QUIT :Quit: Leaving < 1398346816 717195 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Subject: LEGITIMATE BUSINESS PROPOSAL!!! < 1398346817 78767 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Greetings to you, I am Mrs.Helen Wong, from Shanghai Banking Corporation Limited. (China)I have a business proposal of USD$30,000,000 < 1398346824 439638 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :From: Mrs. Helen Wong < 1398346835 349488 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Come on, at least try. < 1398346916 1267 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :your mail client is supposed to display that as "Mrs. Helen Wong", because the e-mail address is too technical for layfolks < 1398347165 741516 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :FedEx customer support number's phone IVR menu starts with "press 1 if you have received an e-mail about a shipment you were not expecting". < 1398347169 652403 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I assume that's because of spam. < 1398347196 827269 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that seems plausible < 1398347205 877528 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :either that or their email notification system is broken < 1398347222 788575 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It was also spoken in an entirely different voice than the rest of the menus. < 1398347245 353924 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Jafet: there's a theory that spammers intentionally make their emails look like spam to humans (if not spam filters), because they're only going to be able to get money out of the most gullible targets anyway, and thus it helps to filter for gullibility in advance < 1398347262 25610 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: is this in English or Finnish? < 1398347269 971820 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Finnish, I was paraphrasing a bit. < 1398347274 772365 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It might well be the same for English. < 1398347319 759706 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I also had to navigate three levels down (main menu -> "international shipments" -> "press 5 for further options") before learning the shortcut ("0#") to talk to a human. < 1398347386 192513 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there's a well-known pseudo-shortcut of hitting 0 repeatedly to get past those systems, I'm not sure if that generally works or not now that it's well-known < 1398347397 859289 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :At least my up-and-coming ISP's customer service number uses speech recognition, which makes one feel very futuristic. < 1398347403 327083 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :a lesser-known method where you stay completely silent for about a minute and it assumes you have a pulse phone rather than a touch-tone phone < 1398347407 101598 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and connects you to a human then < 1398347417 275363 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but speech recognition avoids that loophol < 1398347418 212420 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*loophole < 1398347434 966727 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :clearly we need a speech synthesizer based on `words < 1398347437 489088 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`words < 1398347439 61019 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :libulie < 1398347504 81688 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523: I stayed completely silent for maybe 30 seconds (because I couldn't really figure out what to say to the speech recognizer) and it started a speech about how I can also select this or that number with the keypad. < 1398347506 174139 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Apparently, speech synthesizers are now good enough for... youtube videos. < 1398347545 377469 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Jafet: occasionally, YouTube has an option to autogenerate subtitles based on speech recognition < 1398347547 625070 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Of course that was approximately the same moment when I actually started speaking, which made the menu text stop, but I also stopped talking out of confusion. It was all very awkward. < 1398347557 513320 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :even more occasionally, it also gives you the option to run the resulting subtitles through Google Translate < 1398347566 175242 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if this ever comes up, I recommend using it < 1398347573 9034 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :sometimes it even produces something intelligible < 1398347581 2742 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Automatic closed captioning, sounds legit. < 1398347612 127625 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I used the YouTube speech recognition subtitles a year and half ago when giving a surprise lecture (the normal lecturer cancelled with no lead-up time) on a machine learning class. < 1398347616 172798 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Jafet: well the BBC seemed to use automatic closed captioning on 888 sometimes, but that might have had humans intervening < 1398347621 438625 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Though it'd be both thematically appropriate and funny. < 1398347629 106509 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It was at least the latter. < 1398347637 199221 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :certainly, there were many cases where there were computer-like mistakes but followed by a correction < 1398347641 825807 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(On the rare occasion that I am near a television, the closed captioning looks bad enough that it might have been automatically generated anyways) < 1398347646 120570 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(The language model they were using wasn't very well-versed on probablistic models and the EM algorithm.) < 1398347697 150742 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(I showed them some open MIT lecture video thing, since I couldn't really think of much else.) < 1398347711 662825 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :like http://www.xkcd.com/806/ ? < 1398347728 372616 :Sellyme!~Sellyme@irc.sellyme.com PART :#esoteric < 1398347798 540160 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(I should explain the 888 thing for people who aren't British and/or aren't old enough to have seen a 10-to-20-year-old television; basically, the UK analog TV channels had an information service which was a bit like a website but much more limited, with the information carried in the vertical retrace time between frames; each page had a three-digit number; and number 888 was reserved for the closed captions (and sent much more frequently than the < 1398347800 18662 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :other numbers, which would be updated every 20 seconds or so, and normally cycled between multiple pages) < 1398347812 202474 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :100 was the home page, and I think 199 was the index < 1398347831 224509 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: yes, that's called teletext < 1398347837 691531 :tertu!~tertu@143.44.70.199 JOIN :#esoteric < 1398347885 289023 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: in the UK, it was called Teletext by ITV, but Ceefax by the BBC < 1398347918 455986 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Teksti-TV ("text TV") in Finland. < 1398347942 593744 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I used to get video game recommendations from Teletext < 1398347948 811657 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I see < 1398347951 919310 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Teletext is directly responsible for my love of Advance Wars < 1398347982 432605 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I used to read the letters from the viewers occasionally. < 1398347992 513531 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what's Advance Wars? < 1398348005 208599 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Plus there was a page for DXers. < 1398348032 972489 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: a computer game series for the Gameboy Advance and Nintendo DS; it's actually part of a larger series called Nintendo Wars, but has an identity of its own < 1398348042 448500 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's basically a lightweight turn-based strategy game < 1398348062 390154 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The sidebar at http://www.yle.fi/tekstitv/html/P100_01.html -- the web-terface to the "Finnish BBC's" TeleText service -- claims they still have 1.7 million "users", though I find that slightly dubious, they don't exactly explain how they've arrived at that number. < 1398348072 201543 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I understand Ceefax was shut down the other year? < 1398348079 985051 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think I heard people being disappointed about it. < 1398348085 958227 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 252 seconds < 1398348104 781265 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: there was a replacement for digital TVs, not sure if that's still going < 1398348108 180868 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think it is but I'm not sure < 1398348112 704571 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'm not sure whether TV stations still have teletext here in Hungary even after the all-digital thing < 1398348114 919390 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the major change is that it supports 4-digit numbers now < 1398348144 927562 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1398348150 665277 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :teletext is a really ancient system, it was designed to be easily decodable by simple electronics, and that shows < 1398348156 397587 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :DVB has some amount of TeleText support, they've kept at least that YLE thing. < 1398348165 31395 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so not only it's limited, but it also has a locale-dependent character set < 1398348204 86772 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yes, it seems we still have teletext < 1398348208 813443 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Huh, there's actually more details about those 1.2 million users, it was based on some opinion poll. < 1398348223 3642 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :there's a javascript-based copy on the internet at http://www.teletext.hu/ < 1398348274 764902 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :1.2 million look at teletext at least once a week, 780 000 visit at least daily, 360 000 at least twice a day; 97% do it via a TV. < 1398348309 866310 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Trending down in the "less than 25 years" age category, somehow I'm not terribly surprised. < 1398348333 231162 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: how can they measure that? it's a passive system, the tv doesn't send signals < 1398348342 492096 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :seriously < 1398348347 292518 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Like I said, polling. < 1398348356 554488 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And then extrapolating. < 1398348368 40510 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :They don't mention sample sizes, but come on, we're not doing *science* here. < 1398348384 354670 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :at least they don't quote numbers with absolute error of 0.01 persons like some of the tv channel viewer statistics < 1398348397 783289 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :which, mind you, in the analog tv era were also impossible to produce for exactly the same reason < 1398348413 592986 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :for digital tv, maybe you can get teletext statistics, I don't know < 1398348424 464908 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I've no idea how that works < 1398348442 383783 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1398348488 579694 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I've read about it, and I think it was something deliciously old-fashioned. < 1398348529 652843 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I mean, they've got all that MHP stuff and so on going on, but the teletext was going through something involving things not too far departed from the analogue formats. < 1398348584 332125 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :MHP? < 1398348612 960033 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's one of these "interactive TV" things they did around DVB. < 1398348628 565776 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's a Java VM involved and all that, I don't know if it's actually used anywhere. < 1398348648 881397 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"In May 2010 the largest deployments DVB-MHP are in Italy (DVB-T), Korea (DVB-S), Belgium (DVB-C) and Poland (DVB-S) with trials or small deployments in Germany, Spain, Austria, Colombia, Uruguay and Australia. MHP service was also offered in Finland by Finnish Broadcating Corporation (Yleisradio), but the service was shut down at the end of 2007 after technical failure. The shutdown wasn't ... < 1398348649 30005 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :jesus, java vm in your tv? just like in old mobile phones? scary < 1398348655 249879 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :... ever officially announced." < 1398348657 428254 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Wikipedia.) < 1398348704 60624 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's also the MHEG-5 language. < 1398348932 328707 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yeah, DVB-TXT is a standard for encoding the teletext stuff in a MPEG-2 bitstream, the idea being that a DVB receiver box connected the "old-fashioned way" can then disentangle it and re-embed it in the vertical blanking interval signal, and an old TV set then re-decode it out. < 1398348969 760913 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: that's scary < 1398349052 920373 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I haven't been following the market at all, I don't know if native DVB receivers in TVs (and boxes connected over HDMI) can do teletext decoding. I guess so, if they've got all those millions of users still. < 1398349064 624933 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :This is extra great when you factor in that many new Smart TVs have cameras in them < 1398349231 380252 :drdanmaku!uid17782@gateway/web/irccloud.com/x-uaikxpuydmicohrb JOIN :#esoteric < 1398349243 306591 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"-- these fields correspond to the 43 bytes following the clock-run-in sequence of an EBU Teletext data packet as defined in ITU-R Recommendation BT.653 -- Data packets are inserted in the same order as they are intended to arrive at the Teletext decoder or to be transcoded into the VBI --" so apparently DVB-TXT is just stuffing that same bitstream in. < 1398349284 329155 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1398349333 213380 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`run fgrep 'KELVIN SIGN' bin/UnicodeData.txt < 1398349333 909399 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :212A;KELVIN SIGN;Lu;0;L;004B;;;;N;DEGREES KELVIN;;;006B; < 1398349346 173139 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Degrees Kelvin. < 1398349366 856953 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The decrees of Kelvin. < 1398349635 108987 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh, that reminds me, I have a crazy idea < 1398349761 86487 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :let's redefine UTC so it increases a little bit faster than it does now, but jumps back an hour once a year; < 1398349784 148339 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and make local time follow it but jump back an hour a different date of the year, < 1398349800 376107 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so that UTC and local time are symmetric, both jump back an hour compared to the other < 1398349820 969266 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and their offsets alternate between the two values they use now, < 1398349834 126274 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but local time won't skip an hour forward anymore < 1398350124 489968 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I have an even crazier idea < 1398350130 655787 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Don't use this daylight saving crap < 1398351015 248594 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1398351147 962150 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is this channel really > 10% bots? < 1398351150 449309 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right now it'd need 9 < 1398351184 642925 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot, info < 1398351184 791523 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : Isabelle is not running. \ Loaded theories: Main "~~/src/HOL/Library/Code_Target_Nat" "~~/src/HOL/Number_Theory/Primes" \ 0 lines in session. \ Command timeout is 20 s. \ Unicode translation enabled. \ Colour output enabled. < 1398351195 569025 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :applybot, clog, egobot, fungot, glogbot, HackEgo, idris-ircslave, jconn, lambdabot are the ones that have bot-like names or that I know are bots < 1398351195 731273 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : *** Unrecognized command < 1398351195 878805 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :ais523: " and this is a new game. there is no quadrant which naturally led to a fnord and fnord hoarsely at something which amused myself that way. consider this platform i am aware, commissioner, that there are no gentiles in the garden, examining the fastenings of the drawing-room window, washing and the summoning of the small piece of source code anywhere there's whitespace is ignored and made my own, freed. in c, it's dlope < 1398351197 602421 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: possible < 1398351205 731574 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and that's 9 exactly < 1398351207 526410 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so I guess it is < 1398351235 884813 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :myndzi is somewhere between 0 and 1 of a bot < 1398351246 410011 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :So that makes the >10% by a hair < 1398351252 893394 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what's glogbot? < 1398351272 618673 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Does the codu.org logs, I presume. < 1398351274 949400 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :glogbot, ais says you're a bot, is that true? < 1398351308 857216 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"monotone" sounds like a bot. (No offense.) < 1398351326 528992 :monotone!~monotone@room208.org NICK :polytone < 1398351339 985326 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's much less like one. < 1398351349 877046 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :MindlessDrone seems somewhat likely < 1398351537 691162 :variable!root@freebsd/developer/variable NICK :trout < 1398351704 53276 :home!~home@c-50-175-20-39.hsd1.tx.comcast.net JOIN :#esoteric < 1398351727 942111 :home!~home@c-50-175-20-39.hsd1.tx.comcast.net PRIVMSG #esoteric :hello < 1398351734 925439 :home!~home@c-50-175-20-39.hsd1.tx.comcast.net PRIVMSG #esoteric :are you guys all bots? < 1398351767 965098 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not all of us < 1398351770 130139 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :quite a few are, though < 1398351771 997978 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :yes < 1398351774 366674 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I'm a bot < 1398351777 694364 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fungot: are you a bot? < 1398351777 841955 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :ais523: and more plus the latin is a timeless language < 1398351780 944962 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :please insert liquor < 1398351884 291426 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :home: ‰ is out from % by a factor of 10 < 1398351890 911779 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so what the topic means is that we're more than 10% bots < 1398351893 495752 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I counted, and this is true < 1398351906 312480 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Well, this was true. < 1398351958 976925 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :we need another 8 non-bots to join before it becomes false, unless I missed one, or unless you count myndzi who is sometimes a bot (e.g. \o/) < 1398351963 549987 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, hmm < 1398351969 878167 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :maybe the ) threw it off: \o/ < 1398351970 365126 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69                           | < 1398351970 541458 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69                          /^\ < 1398351971 959247 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there we go < 1398351977 434438 :atehwa!atehwa@aulis.sange.fi QUIT :Ping timeout: 264 seconds < 1398352016 328082 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> 9 / 82 * 100 < 1398352016 513689 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :0410.975609756097562 : 12Float < 1398352017 780229 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 10.975609756097562 < 1398352029 994923 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I sit corrected < 1398352047 880102 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`echo hi < 1398352048 370076 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hi < 1398352067 675842 :atehwa!~atehwa@aulis.sange.fi JOIN :#esoteric < 1398352085 320193 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well at least two bots agree on the bot percentage < 1398352090 615182 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right down to the number of decimal places involved < 1398352103 922200 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :!c printf("%lf\n", 9.0 / 82.0 * 100.0); < 1398352108 492265 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :10.975610 < 1398352123 239986 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :EgoBot disagrees on the number of decimal places, though < 1398352202 572431 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :) (9 % 82) * 100 NB. jconn disagrees on the number of decimal places too < 1398352202 926674 :jconn!~va@1-130.ipswich.cc.colocall.com PRIVMSG #esoteric :b_jonas: 10.9756 < 1398352252 496878 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :now we have to get fungot to do the same calculation < 1398352252 644187 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :ais523: i know i didn't know that you've had it for some time i added a new page and sends it to emacs, i suggest, vote). you need just some 50 more metres and i'm home, and realised i forgot to take down what he actually checks < 1398352270 208153 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :!echo 'scale=64;9/0.82' | bc < 1398352270 815450 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​'scale=64;9/0.82' | bc < 1398352276 542140 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` echo 'scale=64;9/0.82' | bc < 1398352277 279815 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :10.9756097560975609756097560975609756097560975609756097560975609756 < 1398352283 854238 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: I was going to ask you if fungot supported fingerprints for floating-point arithmetic, then I realised it doesn't run Funge code (it's just /written/ in Funge code) < 1398352284 1878 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :ais523: that is just a value of type is created containing the syntax for mark if he was really gonna get worse and worse each week, < 1398352304 59176 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :!echo `` echo 'scale=64;9/0.82' | bc < 1398352304 512061 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​`` echo 'scale=64;9/0.82' | bc < 1398352334 290476 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :!echo @run 1 < 1398352335 17843 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​@run 1 < 1398352347 262505 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :phew :) < 1398352360 368431 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@run 9 / 82 * 100 :: CReal < 1398352361 815065 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 10.9756097560975609756097560975609756097561 < 1398352371 743871 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there are basically two mechanisms for preventing botloops used in this channel < 1398352375 578426 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :some bots don't accept input from other bots < 1398352382 734097 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :other bots refuse to produce output that will be run by other bots < 1398352396 947619 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :neither sort of bot can be involved in a loop, relatively obviously < 1398352398 894530 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: the proper way would be for bots to output NOTICE only, not PRIVMSG < 1398352403 540116 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@run text "!echo too many spaces" < 1398352404 757727 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : !echo too many spaces < 1398352406 435275 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but people seem to hate that, so not even my bot does that yet < 1398352408 464316 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: yeah but if you send a channel notice, it annoys mIRC users < 1398352415 579761 :Melvar!~melvar@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :!echo > 1 < 1398352415 998006 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​> 1 < 1398352417 296804 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :thus, mIRC continues to break IRC by its very existence < 1398352423 544740 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :^echo > 1 < 1398352423 692634 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :> 1 > 1 < 1398352423 840731 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :04False : 12Bool < 1398352425 64227 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : False < 1398352428 33290 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I wonder how many actual irc users NOTICE annoys these days. < 1398352436 572377 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :idris-ircslave doesn't ignore fungot < 1398352444 150603 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :b_jonas: right, that client apparently produces popups for NOTICEs < 1398352450 582864 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this seems potentially usable for a loop, if you could get idris-ircslave to output a line starting with a ^ < 1398352467 646009 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: as a compromise, jevalbot (of which jconn is an instance) always starts reply lines in channels with the nick of whoever asked < 1398352474 624364 :int-e!~noone@static.88-198-179-137.clients.your-server.de NOTICE #esoteric :blubb! < 1398352475 830444 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that's not enough to stop all bot loops, but it stops some < 1398352480 7031 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: that's not very good at preventing botloops < 1398352485 988664 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because bots often use their own nick as a prefix < 1398352487 482923 :Melvar!~melvar@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :( § < 1398352487 630151 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:1: error: expected: ":", < 1398352487 630222 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric : end of input, operator < 1398352487 630261 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :§ < 1398352487 630297 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :^ < 1398352489 932091 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: if all bots did that, then it was enough < 1398352502 550520 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in fact, it might make them easier, if you have two bots interpreting the same language < 1398352507 968013 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :b_jonas: not true < 1398352509 898680 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Melvar: clever < 1398352520 571734 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although, not very useful unless you can produce text after the ^ < 1398352528 376962 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :( ^ < 1398352528 524409 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:1: error: expected: ":", < 1398352528 524964 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric : end of input, operator < 1398352528 671554 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :^ < 1398352528 671620 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :^ < 1398352542 100987 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :( ^ul (test)S < 1398352542 247413 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:1: error: expected: ":", < 1398352542 247485 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric : end of input, operator < 1398352542 247533 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :^ul (test)S < 1398352542 247581 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :^ < 1398352547 926066 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :elliott: if all bots did that, then you couldn't get any bot address any other bot (unless you took their nick just before they enter) < 1398352554 643237 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, fungot didn't run it < 1398352567 540326 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :) (|.' 3QL80ZccObJYffKUf9dZ7Zdrtnk4RR6gprNgzA') ": (9 % 82) * 100 < 1398352567 969118 :jconn!~va@1-130.ipswich.cc.colocall.com PRIVMSG #esoteric :b_jonas: |length error < 1398352568 475287 :jconn!~va@1-130.ipswich.cc.colocall.com PRIVMSG #esoteric :b_jonas: | (|.' 3QL80ZccObJYffKUf9dZ7Zdrtnk4RR6gprNgzA') ":(9%82)*100 < 1398352569 247367 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the should have given an error message, but we should have got the "test" output first < 1398352570 966435 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :b_jonas: well, okay < 1398352576 942231 :Melvar!~melvar@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :!echo ( 1 < 1398352577 419331 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​( 1 < 1398352578 73016 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :) (|.' 3QL80ZccObJYffKUf9dZ7Zdrtnk4RR6gprNgzA') , ": (9 % 82) * 100 < 1398352578 276698 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :b_jonas: but given that one single bot breaks that, it's not a very useful property < 1398352578 495313 :jconn!~va@1-130.ipswich.cc.colocall.com PRIVMSG #esoteric :b_jonas: AzgNrpg6RR4kntrdZ7Zd9fUKffYJbOccZ08LQ3 10.9756 < 1398352587 544273 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :b_jonas: you might as well obey the RFC and say all bots should use NOTICE < 1398352598 964475 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that would also "solve" the problem < 1398352600 522314 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :elliott: yes, that's what I should do when I rewrite my bots < 1398352608 58928 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@run ap (++) show "@run ap (++) show " < 1398352608 954443 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :not really, NOTICE is really annoying < 1398352609 354265 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "@run ap (++) show \"@run ap (++) show \"" < 1398352614 513315 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :b_jonas: also, you assume that no nick can ever be a valid command to a bot < 1398352619 754389 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@run text $ ap (++) show "@run text $ ap (++) show " < 1398352620 960429 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : @run text $ ap (++) show "@run text $ ap (++) show " < 1398352623 815566 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :/nick ^something < 1398352637 547417 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :AzgNrpg6RR4kntrdZ7Zd9fUKffYJbOccZ08LQ3 of fungot? < 1398352637 694895 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :b_jonas: it's just so stupid that ' stty erase h' has to be all " pow!" and he was suddenly i rose, put up her mouth, pulled down by the gold saucer... think his name was close ever, and yet, at least, that is expressions which have not been able, to assume responsibilities. he went on, " the conclusion is, then thou, the greatest soldier, de. she wanna be friends, his state vsurp'd, his realme a slaughter-house, his subjects, < 1398352642 156540 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :^ isn't legal in nicks, is it/ < 1398352687 131905 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I think `^_^v will disagree. < 1398352694 390159 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I made some bot loops a few years ago < 1398352698 462741 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :they were fun < 1398352704 678806 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :not using my own bots of course, because that would be too easy < 1398352737 209612 :Melvar!~melvar@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :I wonder why idris-ircslave isn’t listening to EgoBot. < 1398352778 394243 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's normally a good thing, isn't it? < 1398352787 506714 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :^ul ( test )aS < 1398352787 654395 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :( test ) < 1398352787 801386 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:6: error: expected: "$", < 1398352787 801465 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric : "$>", "&&", "&&&", "*", "***", < 1398352787 801503 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric : "+", "++", "-", "->", ".", "/", < 1398352787 801540 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric : "/=", ":+", ":-", "::", ":::", < 1398352787 801578 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric : ":=", "<", "<$", "<$>", "<*>",14↵… < 1398352793 465943 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it listens to fungot, at least < 1398352793 613442 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :ais523: uh, sorry, i have no information. he seemed, in fine, i can verify it was, that he was overcome with the vastness, profundity, and fnord < 1398352808 430071 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :!echo > var "hi" < 1398352808 685537 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​> var "hi" < 1398352853 514487 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :> var "hi" < 1398352853 661810 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :When elaborating an application of constructor 04__infer: < 1398352854 743934 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : hi < 1398352873 479259 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :maybe EgoBot prints something invisible, let me check < 1398352893 102507 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`unicode ​ < 1398352894 517779 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+200B ZERO WIDTH SPACE \ UTF-8: e2 80 8b UTF-16BE: 200b Decimal: ​ \ ​ \ Category: Cf (Other, Format) \ Bidi: BN (Boundary Neutral) < 1398352896 580762 :nc_jonas!~x@russell2.math.bme.hu JOIN :#esoteric < 1398352920 98844 :nc_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :!echo > var "hi" < 1398352920 710655 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​> var "hi" < 1398352991 221365 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Anyway, this started as a discussion on the seeming proliferation of bots. < 1398352994 879278 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yes, it does print somethign invisible. and I think we checked this once < 1398353009 638740 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Jafet: I think we had a much higher rate of bots on #buubot back when it was more popular < 1398353009 785567 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I agree with the use of ‰ in the topic, anyway < 1398353018 891428 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's like this channel's use of diareses when appropriate < 1398353055 156745 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :lambdabot: > let n:ns = ["lambdacat", "lambdadog", "lambdabot"]; x@[a,b,c] = [": > let n = ","; [a,b,c] = "," in text $ n ++ a ++ show (ns ++ [n]) ++ b ++ show x ++ c"] in text $ n ++ a ++ show (ns ++ [n]) ++ b ++ show x ++ c < 1398353075 281828 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm. needs to use @run < 1398353082 255306 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :lambdabot: @run 1 < 1398353083 684328 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1 < 1398353096 388915 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :lambdabot: @run let n:ns = ["lambdacat", "lambdadog", "lambdabot"]; x@[a,b,c] = [": @run let n = ","; [a,b,c] = "," in text $ n ++ a ++ show (ns ++ [n]) ++ b ++ show x ++ c"] in text $ n ++ a ++ show (ns ++ [n]) ++ b ++ show x ++ c < 1398353097 639212 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : lambdacat: @run let n = ["lambdadog","lambdabot","lambdacat"]; [a,b,c] = [":... < 1398353105 614243 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hah. < 1398353147 381113 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so it'd need to be a really short quine. < 1398353149 254192 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's not quite a perfect quine, it forgot the pattern match the second tiem round < 1398353151 329249 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*time < 1398353154 456074 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(cyclic quine) < 1398353178 439909 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :lambdacat? what's this? < 1398353179 814224 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh < 1398353186 885503 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but those lambdacats are just funny pics < 1398353189 744723 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :how do they help? < 1398353200 92126 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and what are lambdadogs? < 1398353201 844307 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :right. I added the x@ as an afterthought, it's easy enough to fix in [a,b,c] < 1398353252 991322 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :b_jonas: the idea was to cycle through the nicks < 1398353286 270872 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um < 1398353302 885020 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric : lambdabot: @run "you don't reply to anything that starts with a space, do you?" < 1398353325 359163 :Melvar!~melvar@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :λcats say μ < 1398353344 577553 :nc_jonas!~x@russell2.math.bme.hu QUIT :Ping timeout: 265 seconds < 1398353346 164792 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :b_jonas: Of course not :) < 1398353454 53152 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@let cheat = text "lambdacat: @run cheat" -- lambdabot is too powerful < 1398353455 688421 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1398353461 740514 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :lambdabot: @run cheat < 1398353463 412784 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : lambdacat: @run cheat < 1398353474 966993 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's a good thing that it adds that space. < 1398353490 422540 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :int-e: I remember doing that to exploit some sort of impromptu golf contest < 1398353539 649064 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :) text =: 'what, like this?' < 1398353540 73574 :jconn!~va@1-130.ipswich.cc.colocall.com PRIVMSG #esoteric :b_jonas: |ok < 1398353541 427542 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :) text < 1398353541 866271 :jconn!~va@1-130.ipswich.cc.colocall.com PRIVMSG #esoteric :b_jonas: what, like this? < 1398353606 549045 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :assignment in J is backwards from Pascal? as in =: not :=? < 1398353619 181149 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: yes < 1398353679 933799 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@run text (ap printf show "text (ap printf show %s)") < 1398353681 205807 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : text (ap printf show "text (ap printf show %s)") < 1398353695 935722 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :huh, Haskell has a printf? < 1398353706 660404 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that seems hard to fit into the type system < 1398353711 477740 :Melvar!~melvar@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :ais523: It’s because : (and .) is a modifier on the previous character generally. So = is compare equality, =: is global assign, =. is local assign, and there are many such triples. < 1398353712 448264 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Jafet: wouldn't var instead of text work? < 1398353724 766624 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Melvar: ah right < 1398353737 49044 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@run var $ ap printf show "var $ ap printf show %s") < 1398353738 361651 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:47: parse error on input ‘)’ < 1398353740 176362 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@run var $ ap printf show "var $ ap printf show %s" < 1398353741 465927 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : var $ ap printf show "var $ ap printf show %s" < 1398353746 558262 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Melvar: I was very impressed with Perl 6 for inventing the .= operator < 1398353754 492907 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :a .= b expands to "a = a.b" < 1398353783 9169 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :where b would typically be a method call < 1398353803 155288 :Melvar!~melvar@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :ais523: Doesn’t perl 5 already have that, except . means append there? < 1398353816 968508 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Melvar: yes, that's less interesting < 1398353820 82002 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it doesn't have a ->= operator < 1398353836 713713 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ais523: isn't = as a suffix some form of meta-operator? < 1398353843 539744 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :coppro: yes < 1398353845 124265 :Melvar!~melvar@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :But yeah, Perl 6 interestingly generalized this sort of thing. < 1398353845 559954 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :because it's perl 6 and it would be too simple otherwise < 1398353873 172105 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although interpreting method calls as an infix operator seems a little weird to me, because I consider what's on the right to be syntactically different from what's on the left < 1398353886 974192 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that said, Perl 5 has =>, which has a syntactically different left < 1398353892 280826 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and is otherwise identical to a comma < 1398353904 981630 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1398353926 134389 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :perl 6 is overengineere < 1398353927 954408 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :+d < 1398353930 356986 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes, beautifully < 1398353931 356340 :Melvar!~melvar@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :ais523: Well, in some languages/contexts, method call is just reverse application. < 1398353933 163843 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :we should add it to esolang for that reason < 1398353940 84394 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think its main purpose for existence is being overengineered < 1398353959 803312 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ais523: did you see Tarpit, btw? I was bored < 1398353977 45101 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :no, and I have to go home now, so I won't get to see it until later < 1398353980 252592 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is it a tarpit? < 1398353981 58237 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :@run var $ concatMap (["\\", "\"", ", ", "@run var $ concatMap([", "]!!) [3,1,0,0,1,2,1,0,1,1,2,1,3,1,2,1,4,1,4]"]!!) [3,1,0,0,1,2,1,0,1,1,2,1,3,1,2,1,4,1,4] < 1398353982 321761 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : @run var $ concatMap(["\\", "\"", "@run var $ concatMap([", "]!!) [3,1,0,0,1... < 1398353989 443168 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :it isn't :D < 1398353995 558843 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric ::-) < 1398353999 920376 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :definitely don't have time to see it now, then < 1398354001 419557 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :bye everyone < 1398354002 968043 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1398354064 390313 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm, it really truncates early < 1398354166 335859 :home!~home@c-50-175-20-39.hsd1.tx.comcast.net PRIVMSG #esoteric : concatMap([", "]!!) < 1398354181 281054 :home!~home@c-50-175-20-39.hsd1.tx.comcast.net QUIT :Quit: Lost terminal < 1398354226 940032 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what the heck, lambdabot? < 1398354309 371776 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it truncates each line after 80 characters *on channels* < 1398354337 452875 :nooodl_!~nooodl@187.131-241-81.adsl-dyn.isp.belgacom.be NICK :nooodl < 1398354357 252484 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's happier to be verbose in privmsg < 1398354360 442261 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yeah < 1398354374 184075 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :jconn allows longer lines < 1398354601 887186 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so do we have any loopable bots here? I tried to set up a loop using fungot once, but I couldn't < 1398354602 77700 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :b_jonas:, so i'd make stuff up to. why, this is for you guys are a lot of the design, prisoners and slaves that have sucked. rephrase: " i tried todo a _" is 0 < 1398354630 359894 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :b_jonas: we might, but we'll kill you < 1398355019 461649 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@where+ loop > () < 1398355019 461720 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :I will never forget. < 1398355022 785591 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@where loop < 1398355022 933561 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :> () < 1398355023 80568 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :04() : 12() < 1398355069 117645 :Melvar!~melvar@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :I never cease to be amused by that one. < 1398355078 533686 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :nice < 1398355157 716993 :tertu!~tertu@143.44.70.199 QUIT :Ping timeout: 252 seconds < 1398356215 710125 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :We've had botloops in the history of the channel. < 1398356240 726658 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But HackEgo and EgoBot have that zero-width space thing, and fungot has a manual ignore list. < 1398356240 873615 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: " and this is a new game. there is no quadrant which naturally led to a fnord style for the operator, or identical here.) indent all < 1398356248 564066 :password2!~password@197.78.161.219 QUIT :Quit: Leaving < 1398356308 34334 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Proper flood control is the best, but it is usually not implemented < 1398356443 585892 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, and fungot-babble has a limit of not replying to the same person more than four (or so) times in a row. < 1398356443 773825 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: it's what that guy in medina, a village near the mystic mountain" 65,000,000 b. c.? yes, i'd have done something very brave? fnord 06:22, 29, no. 2, 2, 3, 4, 8, 13, 1(::**) ...bad insn! < 1398356485 898178 :AnotherTest!~turingcom@94-224-29-210.access.telenet.be JOIN :#esoteric < 1398357017 650708 :adu!~ajr@pool-108-28-107-114.washdc.fios.verizon.net JOIN :#esoteric < 1398357206 676387 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :zero-width space thing? < 1398357340 487195 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :they put a zero-width before their output, i think, which trips up other prefix commands < 1398357482 408780 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1398357655 705849 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: for the record, jconn has an ignore list too, but it's not really up-to-date so bots on this channel are probably not on it; < 1398357694 626352 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :however, a bot could send a private message with a special command to jconn to have it added to its ignore list (this is temporarily, lasts only until jconn restarts) < 1398357788 305078 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Bike: Approximately so, except not to lines starting with an alphanumeric character. < 1398357851 709234 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1398358575 686362 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1398358997 737827 :nooodl_!~nooodl@187.131-241-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1398359173 931309 :nooodl!~nooodl@187.131-241-81.adsl-dyn.isp.belgacom.be QUIT :Ping timeout: 252 seconds < 1398359281 672025 :zzo38!~zzo38@24-207-51-179.eastlink.ca JOIN :#esoteric < 1398359598 196206 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :OK now I renamed some functions, such as taillib_close into taillib_free and taillib_open into taillib_read < 1398359622 438492 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I agree it is better this way. < 1398359708 865931 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I mentioned also interface for Haskell and SQL as well as C, but I forgot one; another one may be useful to have is Forth. Possibly the Forth interface can be write-only, although someone else could make a read/write interface too if you like to. < 1398359727 385443 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hi, zzo38 < 1398359735 532383 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1398359738 970071 :MoALTz!~no@user-109-243-247-192.play-internet.pl JOIN :#esoteric < 1398359967 67080 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Hello < 1398360601 68910 :Vamadeus!~quassel@unaffiliated/vegabondsx JOIN :#esoteric < 1398360614 804867 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It is good idea, what is suggested before; to add functions to add a object, text, subroutine, instruction, etc. < 1398360726 296728 :password2!~password@197.78.161.219 JOIN :#esoteric < 1398360751 595864 :password2!~password@197.78.161.219 QUIT :Max SendQ exceeded < 1398361276 82708 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I try to think of, what is the best interface to add such thing on? < 1398361334 893782 :password2!~password@197.78.161.219 JOIN :#esoteric < 1398361382 392548 :password2!~password@197.78.161.219 QUIT :Max SendQ exceeded < 1398361439 343111 :password2!~password@197.78.161.219 JOIN :#esoteric < 1398361447 625353 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I did already add one Game*taillib_new_game(void) function. < 1398361478 699074 :password2!~password@197.78.161.219 QUIT :Max SendQ exceeded < 1398361545 62839 :password2!~password@197.78.161.219 JOIN :#esoteric < 1398361572 474344 :HackEgo!~HackEgo@162.248.166.242 QUIT :Remote host closed the connection < 1398361592 45329 :HackEgo!~HackEgo@162.248.166.242 JOIN :#esoteric < 1398362075 896840 :nooodl_!~nooodl@187.131-241-81.adsl-dyn.isp.belgacom.be NICK :nooodl < 1398362365 675980 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`coins < 1398362367 264272 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :alfromcoin luicoin ahacoin loopcoin beckoucoin duscoin kondccoin undcoin laborishcoin frogcoin retacoin eningianiquecoin calliicoin truckcoin luctcoin prolecoin grandcoin dumerycourcogcoin gotocoin v--coin < 1398362401 223456 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :laborishcoin, the currency of the proletariat. < 1398362434 848407 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, there's plain "prolecoin" on the very same line, too. Must be some sort of a plot. < 1398362564 113619 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :communist coins :O < 1398362626 796537 :adu!~ajr@pool-108-28-107-114.washdc.fios.verizon.net QUIT :Quit: adu < 1398362747 507174 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"“I just don’t care [about fiddling with my phone while driving and hitting a cyclist] because I’ve already been through a lot of bullshit and my car is like pretty expensive and now I have to fix it,” she told a police officer." < 1398362923 742006 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I blame google for not taking over the road system yet < 1398362957 692146 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It isn't Google's job to take over the road system (nor should it be). < 1398363074 721462 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :oi oklopol < 1398363084 154331 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :isometries of a metric space needn't be surjective right? < 1398363131 999138 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :zzo38: tell that to justine tunney < 1398363155 359755 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.theguardian.com/technology/2014/mar/20/occupy-founder-obama-eric-schmidt-ceo-america < 1398363226 731068 :zzo38!~zzo38@24-207-51-179.eastlink.ca QUIT :Remote host closed the connection < 1398363256 711991 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :zzo couldn't handle the champagne tranarchist < 1398363466 349672 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :oi el ol' goog http://math.stackexchange.com/questions/340326/if-f-m-to-m-an-isometry-is-f-bijective < 1398363472 508770 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :kmc, the fuck? < 1398363483 438959 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i know, right? < 1398363494 850161 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :Jafet, ahahaha my counterexample was way more complicated than that < 1398363644 835093 :Taneb!~Taneb@runciman.hacksoc.org QUIT :Disconnected by services < 1398363667 981006 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Wait, why is that not surjective < 1398363674 258816 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Oh, I read N as Z < 1398363690 666939 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :kmc: beaut < 1398363695 608777 :atriq!~Taneb@runciman.hacksoc.org JOIN :#esoteric < 1398363703 422425 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Jafet: Have you accidentally tilted your head 90 degrees? < 1398363723 380678 :atriq!~Taneb@runciman.hacksoc.org QUIT :Disconnected by services < 1398363729 657154 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :"Explaining on Twitter why she thinks anti-capitalism is compatible with promotion of her employers, " < 1398363742 196941 :glogbackup!~glogbacku@192.3.160.190 QUIT :Remote host closed the connection < 1398363744 718750 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :Phantom_Hoover: infinite space with distance between any pair of points is 1 < 1398363747 160070 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :*where < 1398363748 532531 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :hmm < 1398363755 738616 :Taneb-!~Taneb@runciman.hacksoc.org JOIN :#esoteric < 1398363824 152932 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :yeah it's really obvious now < 1398363849 286834 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :first answer in the stackexchange link is more natural of course < 1398363904 256969 :Slereah!~jackal@bau91-h01-176-189-82-82.dsl.sta.abo.bbox.fr PRIVMSG #esoteric :I want to go to the meta stack exchange < 1398363906 586166 :tertu!~tertu@143.44.70.199 JOIN :#esoteric < 1398363906 733493 :Slereah!~jackal@bau91-h01-176-189-82-82.dsl.sta.abo.bbox.fr PRIVMSG #esoteric :And post a thread < 1398363916 491023 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :⤙ < 1398363917 101638 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :ര < 1398363917 249640 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :ഗ < 1398363918 375076 :Slereah!~jackal@bau91-h01-176-189-82-82.dsl.sta.abo.bbox.fr PRIVMSG #esoteric :"GETTING RID OF MY STACKS FOR NEW STACKS" < 1398363923 945226 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :my geometry exam toay had the question 'prove that the set of all isometrie of a metric space form a transformation group' < 1398363930 165751 :Slereah!~jackal@bau91-h01-176-189-82-82.dsl.sta.abo.bbox.fr PRIVMSG #esoteric :WILL ANYONE TAKE MY OLD STACKS FOR OTHER STACKS < 1398363930 385070 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wtf. "the one corporation that gives away everything for free"?! < 1398363941 892719 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :which is obviously bullshit because isometries aren't invertible < 1398363955 408164 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Where does she think Google gets its money? Ok, so she's the product, but still, that's ridiculous. < 1398363973 490990 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Slereah: lololol < 1398363978 216964 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :int-e: Well, but I mean, they're building the superintelligence. < 1398363978 874613 :Slereah!~jackal@bau91-h01-176-189-82-82.dsl.sta.abo.bbox.fr PRIVMSG #esoteric :I thought google was making its money on human bones < 1398363992 582166 :Slereah!~jackal@bau91-h01-176-189-82-82.dsl.sta.abo.bbox.fr PRIVMSG #esoteric :They steal children's bones < 1398363995 556199 :Slereah!~jackal@bau91-h01-176-189-82-82.dsl.sta.abo.bbox.fr PRIVMSG #esoteric :And sell them < 1398364009 587745 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :probably they were thinking of R^n < 1398364140 707065 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Google's sponsoring this conference I'm going to, they've invited people (probably according to some ALGORITHM) to this "Google Research Happy Hour" thing to "hear perspectives" and "meet and talk" about a "slew of interesting problems". < 1398364171 305285 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :For the good of mankind, I'm sure. < 1398364224 236085 :Slereah!~jackal@bau91-h01-176-189-82-82.dsl.sta.abo.bbox.fr PRIVMSG #esoteric :Don't go, it's a trap! < 1398364226 792840 :Slereah!~jackal@bau91-h01-176-189-82-82.dsl.sta.abo.bbox.fr PRIVMSG #esoteric :The NSA is there! < 1398364229 638830 :Slereah!~jackal@bau91-h01-176-189-82-82.dsl.sta.abo.bbox.fr PRIVMSG #esoteric :With nets! < 1398364350 65933 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't know, a "happy hour" at a "rooftop bar", how could it be a trap. < 1398364398 596347 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :is the booze free or no < 1398364404 334396 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :maybe it's ad-supported < 1398364411 432986 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I guess that's usually how these things work. < 1398364417 887001 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fizzie: take a parachute < 1398364447 98966 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :or bring, hmm. < 1398364455 4133 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think it's only something like a sixth floor, can you parachute-jump from that low? < 1398364483 238161 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I don't know. < 1398364486 50231 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Florence isn't known for it's skyscrapers, I believe. < 1398364581 987246 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i walked to the top of some old church in florence < 1398364589 188464 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but yeah it wasn't that high < 1398364599 467056 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The Duomo, I guess? < 1398364624 694944 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :probably < 1398364645 967637 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There are like two "main" speech recognition conferences, and the other was in Florence in 2011, I was there too. < 1398364652 90995 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's even pretty much the same conference center. < 1398364706 396018 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Slightly different buildings on the other side of a street, from what I saw in a map.) < 1398365352 13175 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1398365775 16566 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net QUIT :Quit: Terminated < 1398365786 614621 :Melvar!~melvar@dslb-092-072-129-222.pools.arcor-ip.net QUIT :Quit: WeeChat 0.4.3 < 1398366097 131767 :Vamadeus!~quassel@unaffiliated/vegabondsx QUIT :Remote host closed the connection < 1398366311 698971 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 252 seconds < 1398366487 919303 :Melvar!~melvar@dslb-092-072-129-222.pools.arcor-ip.net JOIN :#esoteric < 1398366627 854506 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I guess this was bound to happen http://flappy2048.com/ < 1398366703 398483 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That seems a lot easier to control than Flappy Bird. < 1398366768 726183 :Slereah!~jackal@bau91-h01-176-189-82-82.dsl.sta.abo.bbox.fr PRIVMSG #esoteric :The hitbox is very forgiving < 1398366796 684509 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but then the walls start moving (and I stopped at 4096) < 1398366815 435105 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I stopped at 4096 too. < 1398366988 681893 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, I did 32768 too. The main trouble (for me) seems to be distinguishing between the boxes when the numbers get large. < 1398367087 527503 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I stopped at 2048 < 1398367895 705672 :password2!~password@197.78.161.219 QUIT :Ping timeout: 252 seconds < 1398368036 928895 :nucular!~MOO@unaffiliated/nucular QUIT :Quit: Excess Food < 1398368735 695453 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :looks like http://mainisusuallyafunction.blogspot.com/2014/02/x86-is-turing-complete-with-no-registers.html made it to /r/programming today < 1398368874 909424 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Do you get to see some sort of analytics thing on visitor counts or something? < 1398368912 368428 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1398368918 659670 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :there's a basic one built into blogspot < 1398368925 36247 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and i also have google analytics turned on, I think, but I never look at it < 1398368944 48646 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Was there a SPIKE? < 1398368953 673890 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1398368957 135272 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :(why caps?) < 1398368965 932284 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't know. Emphasis. < 1398368975 746564 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Did it make you feel like a rockstar programmer? < 1398368999 818087 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :no, I didn't even trash the last hotel room I stayed in for work < 1398369041 334803 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Google Analytics seems to have a lot of stuff that would be useful if I was trying to make money from my blog < 1398369054 505379 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :not so much otherwise < 1398369073 57053 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :How do people make money from blogs, anyway? Just ad revenue, or something else? < 1398369082 97128 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i,i just add revenue < 1398369089 84347 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :another way is affiliate links < 1398369104 231825 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :if you review products and people click a link to amazon to buy them, you can get a cut < 1398369108 420103 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, right, I've seen those. < 1398369135 360213 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :there was somebody who talked about editing amazon URLs in user comments to add the affiliate tag < 1398369138 883014 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :(automatically) < 1398369143 712265 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :which seems sleazy to me < 1398369177 338887 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :it's kind of sleazy but the links are actually due to your site, so < 1398369199 8240 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think I've heard of some hotel/net cafe/wifi provider/something like that, who had a transparent proxy rewriting all links everywhere with the affiliate tag. < 1398369207 870626 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's somewhat more sleazy. < 1398369225 172151 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I've heard of an ISP doing that < 1398369228 765363 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yes indeed. < 1398369233 426246 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :As in, landline < 1398369234 260844 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yikes < 1398369244 334179 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :stupid future < 1398369256 232315 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Definitely sleazy, and forbidden by Amazon < 1398369274 870178 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :The person who noticed contacted Amazon about it < 1398369395 935098 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I got the idea for that blog post here, on November 5, while in a state of joyous intoxication < 1398369500 711337 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :worked out most of how to do it on a long flight (SFO-ICN) < 1398369900 171467 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: did you see my link yesterday < 1398369949 614095 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :maybe < 1398369950 638160 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :which < 1398369992 482011 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i guess there were two < 1398369997 288180 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i meant http://flint.cs.yale.edu/flint/publications/flex.pdf < 1398370177 579001 :tertu!~tertu@143.44.70.199 QUIT :Ping timeout: 240 seconds < 1398370292 733283 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1398370351 954932 :tertu!~tertu@143.44.70.199 JOIN :#esoteric < 1398371129 471084 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1398372505 991331 :tertu!~tertu@143.44.70.199 QUIT :Ping timeout: 252 seconds < 1398372716 695159 :AnotherTest!~turingcom@94-224-29-210.access.telenet.be QUIT :Ping timeout: 265 seconds < 1398373238 990468 :tertu!~tertu@143.44.70.199 JOIN :#esoteric < 1398373803 917055 :tertu!~tertu@143.44.70.199 QUIT :Ping timeout: 252 seconds < 1398373821 872914 :tertu!~tertu@143.44.70.199 JOIN :#esoteric < 1398373898 623413 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Ping timeout: 240 seconds < 1398374673 799815 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net JOIN :#esoteric < 1398374686 73736 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Read error: Operation timed out < 1398375124 398004 :Bike_!~Glossina@wl-nat101.it.wsu.edu JOIN :#esoteric < 1398375203 77816 :Bike_!~Glossina@wl-nat101.it.wsu.edu NICK :Bicyclidine < 1398375424 386830 :MoALTz_!~no@user-109-243-247-192.play-internet.pl JOIN :#esoteric < 1398375424 921574 :tertu!~tertu@143.44.70.199 QUIT :Ping timeout: 276 seconds < 1398375529 692929 :MoALTz__!~no@user-109-243-247-192.play-internet.pl JOIN :#esoteric < 1398375601 541176 :MoALTz!~no@user-109-243-247-192.play-internet.pl QUIT :Ping timeout: 240 seconds < 1398375716 719179 :MoALTz_!~no@user-109-243-247-192.play-internet.pl QUIT :Ping timeout: 252 seconds < 1398375878 141799 :MoALTz_!~no@user-109-243-247-192.play-internet.pl JOIN :#esoteric < 1398376012 510269 :MoALTz!~no@user-109-243-247-192.play-internet.pl JOIN :#esoteric < 1398376087 834272 :MoALTz__!~no@user-109-243-247-192.play-internet.pl QUIT :Ping timeout: 276 seconds < 1398376171 567307 :MoALTz_!~no@user-109-243-247-192.play-internet.pl QUIT :Ping timeout: 252 seconds < 1398376385 571733 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"SAMSUNG-SGH-E250/1.0 Profile/MIDP-2.0 Configuration/CLDC-1.1 UP.Browser/6.2.3.3.c.1.101 (GUI) MMP/2.0 (compatible; Googlebot-Mobile/2.1; +http://www.google.com/bot.html)" funny User-Agent, there. < 1398376406 625841 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Wonder if it's always the same, or if it randomly picks different "mobiley" UAs. < 1398376433 472091 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Mozilla/5.0 (iPhone; CPU iPhone OS 6_0 like Mac OS X) AppleWebKit/536.26 (KHTML, like Gecko) Version/6.0 Mobile/10A5376e Safari/8536.25 (compatible; Googlebot/2.1; +http://www.google.com/bot.html)" < 1398376441 186940 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess that might answer it. < 1398376461 868158 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, that's not even Googlebot-Mobile. < 1398376474 836113 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That some kind of an iGooglebot, then. < 1398376487 593453 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu QUIT :Read error: Connection reset by peer < 1398376717 118976 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1398376838 713122 :Bike_!~Glossina@wl-nat101.it.wsu.edu JOIN :#esoteric < 1398376901 942006 :Bike_!~Glossina@wl-nat101.it.wsu.edu NICK :Bicyclidine < 1398377404 612975 :impomatic!~digital_w@39.123.125.91.dyn.plus.net PART :#esoteric < 1398377482 333564 :`^_^v!~nycs@rrcs-24-39-141-128.nyc.biz.rr.com QUIT :Quit: This computer has gone to sleep < 1398377535 334627 :`^_^v!~nycs@rrcs-24-39-141-128.nyc.biz.rr.com JOIN :#esoteric < 1398378195 197763 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1398378370 148435 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run 42 / 3 -- are you very slow today? < 1398378371 600759 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 14.0 < 1398378393 714307 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait i was looking at the second field < 1398378524 101250 :nooodl!~nooodl@187.131-241-81.adsl-dyn.isp.belgacom.be QUIT :Quit: Ik ga weg < 1398379132 482476 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( (1,(2,(3,4))) < 1398379132 747805 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :04(04104, 04204, 04304, 04404) : 12(12Integer12, 12Integer12, 12Integer12, 12Integer12) < 1398379138 461543 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ic < 1398379181 116798 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( (((1,2),3),4) < 1398379181 334629 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :04(04(04(04104, 04204)04, 04304)04, 04404) : 12(12(12(12Integer12, 12Integer12)12, 12Integer12)12, 12Integer12) < 1398379211 560729 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( 3 == (3,()) < 1398379211 708060 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :Can't resolve type class 12Num 12(12Integer12, 12()12) < 1398379220 441849 :ion!ion@heh.fi PRIVMSG #esoteric :Ooh, that’s nice sugar. < 1398379246 956988 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Haskell tuples are actually a severe regression. < 1398379249 255965 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ocaml is weird: < 1398379250 445688 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :# 1,2,3,4;; - : int * int * int * int = (1, 2, 3, 4) < 1398379250 593344 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :# (1,2),(3,4);; - : (int * int) * (int * int) = ((1, 2), (3, 4)) < 1398379279 249177 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait Melvar's fold didn't leave out the () in the printing < 1398379336 510282 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well ocaml is about the same as haskell there < 1398379341 616430 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :except for syntax < 1398379348 356430 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Well, I find that it looks weird. semantically it's not so different from Haskell's (,,,,) constructors. < 1398379361 40331 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: raw:ML {* (((1,2),3),4) *} < 1398379361 617372 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : val it = (((1, 2), 3), 4): ((int * int) * int) * int < 1398379373 499406 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: raw:ML {* (1,(2,(3,4))) *} < 1398379374 77348 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : val it = (1, (2, (3, 4))): int * (int * (int * int)) < 1398379391 30282 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Hmm wait, I thought ML had this < 1398379406 218413 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :applybot: raw:ML {* 1,2,3,4 *} < 1398379406 365993 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : *** Unrecognized command < 1398379416 693601 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :applybot: raw:ML {* (1,2,3,4) *} < 1398379416 841121 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : *** Unrecognized command < 1398379422 328864 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fun? < 1398379426 36749 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well ocaml is an ml variant < 1398379439 112291 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I didn't want to let anyone else run arbitrary ML code. < 1398379439 537768 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :what does applybot speak? < 1398379446 790714 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so it stands to reason it'll have inherited much syntax < 1398379449 368221 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Jafet: fair enough < 1398379461 409923 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: term "((1, 2), 3)" -- isabelle < 1398379463 62243 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : ((1∷'a, 2∷'b), 3∷'c) ∷ "('a * 'b) * 'c" < 1398379472 351733 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: term "(1, (2, 3))" < 1398379473 948347 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : (1∷'a, 2∷'b, 3∷'c) ∷ "'a * 'b * 'c" < 1398379490 656757 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Interesting. (I've had some exposure to Isabelle) < 1398379501 811638 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Ok, so ML doesn't have inductive tuples. < 1398379524 406516 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: raw:ML {* #4 (1, 2, 3, 4, 5) *} -- it does have this though < 1398379524 985068 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : *** Outer syntax error: command expected, < 1398379538 286059 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot: raw:ML {* #4 (1, 2, 3, 4, 5) *} < 1398379538 894913 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : val it = 4: int < 1398379606 206652 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run (1,2,3,4,5)^._4 < 1398379607 742204 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 4 < 1398379617 83339 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :lens to the rescue < 1398379651 547642 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@type _9 < 1398379652 424990 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Field9 s t a b, Functor f) => (a -> f b) -> s -> f t < 1398379676 249645 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :lens is so painful with all that s t a b bing. < 1398379708 59537 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :Field9 huh < 1398379709 635585 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :good class < 1398379714 460335 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :have you seen http://cokmett.github.io/cokmett/ yet < 1398379740 574502 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(click on picture to activate) < 1398379767 716927 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I remember there was an instance alpha-equivalent to b a c k s t a b < 1398379777 793626 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s t a b is my fault :'( < 1398379836 885460 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION swats shachaf -----###
< 1398379855 869291 :tromp!~tromp@ool-4575eb51.dyn.optonline.net JOIN :#esoteric < 1398379867 714549 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now go make edwardk change it to s w a t twh < 1398379878 743720 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(the twh is optional) < 1398379901 563157 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm. s,t = source, target? < 1398379920 569054 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: i can never remember which way the s t a b go without looking them up :( < 1398379929 919132 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :
ACTION still has to learn lenses.
< 1398379932 562114 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: It could mean so many different things! < 1398379934 957941 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :source/target < 1398379941 123686 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or s could stand for state < 1398379953 906348 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm source/target is mnemonic at least < 1398379967 534136 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION scribbles in brain
< 1398379997 517380 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> (`runState` ("a",2)) $ do { _2 += 5 } -- s is the state! < 1398379997 667860 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:2: error: expected: ")", < 1398379997 815258 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric : expression, name, operator < 1398379997 815335 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric :(`runState` ("a",2)) $ do { _2 += 5 } -- s is the state! < 1398379997 815373 :idris-ircslave!~ircslave@dslb-092-072-129-222.pools.arcor-ip.net PRIVMSG #esoteric : ^ < 1398379998 968748 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ((),("a",7)) < 1398380009 526988 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or s stands for "structure" < 1398380029 618424 :oerjan!oerjan@sprocket.nvg.ntnu.no TOPIC #esoteric :The channel with 100‰ > bots | PSA: fizzie is running the wiki now, contact him for any problems | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ < 1398380039 682831 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :structure was the original one, state was what convinced edwardk, and source/target is a nice mnemonic now < 1398380044 417156 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: DON'T RUIN MY MNEMONIC AGAIN < 1398380137 452705 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think i asked some time whether cokmett was statistically guaranteed to stop (i.e. probability 1) but i never got an answer beyond "check the code" < 1398380154 587276 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hey, with all type variables in there you can make an fstab < 1398380171 979931 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Functor f => (a -> f b) -> s -> f t) < 1398380217 702404 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1398380231 259085 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1398380238 577034 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: um btw if s is a state then you need s ~ t, no? < 1398380240 851188 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :"This gets rid of the SIXTY_FOUR_BIT_LONG, SIXTY_FOUR_BIT (not the same!), THIRTY_TWO_BIT, SIXTEEN_BIT and EIGHT_BIT defines." < 1398380262 946110 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1398380265 612794 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1398380302 112229 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: chickening in again? < 1398380333 994355 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: yes < 1398380341 63195 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: unless you use... indexed state < 1398380357 817699 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :which has nothing do with with indexed lenses, by the way < 1398380366 719150 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@run sort "check in" == sort " chicken" < 1398380367 942652 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : True < 1398380379 11798 :adu!~ajr@pool-108-28-107-114.washdc.fios.verizon.net JOIN :#esoteric < 1398380384 451234 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: OOH < 1398380388 543661 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :cute < 1398380400 955389 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(curtesy of the internet anagram finder) < 1398380463 938505 :ineiros_!~itniemin@bayesianconspiracy.org JOIN :#esoteric < 1398380466 241391 :ineiros!~itniemin@bayesianconspiracy.org QUIT :Read error: Operation timed out < 1398380474 624265 :aloril!~aloril@dsl-tkubrasgw2-54f80b-12.dhcp.inet.fi QUIT :Read error: Operation timed out < 1398380477 118341 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :oh boy. < 1398380603 1969 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :I am... I feel... I don't know how to feel. < 1398380622 662424 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :uhm... < 1398380637 814175 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 252 seconds < 1398380643 333808 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :do you need another smashmouth injection < 1398380654 437733 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :fwasgada! < 1398380722 511095 :aloril!~aloril@dsl-tkubrasgw2-54f80b-12.dhcp.inet.fi JOIN :#esoteric < 1398380884 690373 :sebbu!~sebbu@ADijon-152-1-26-86.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1398380918 837995 :sebbu!~sebbu@ADijon-152-1-26-86.w83-194.abo.wanadoo.fr QUIT :Changing host < 1398380918 985423 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1398380940 919613 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm reading the cokmett source is complicated by the fact the original haste isn't included in the github :( < 1398380949 971703 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(aka i give up) < 1398380970 299990 :erdic!erdic@unaffiliated/motley QUIT :Remote host closed the connection < 1398381005 958566 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :oerjan: cokmett, as in edwardk's caterogical dual? < 1398381013 389097 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :`ello fowl < 1398381014 57606 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :fellowl < 1398381015 61627 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :obviously. < 1398381030 306763 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :OKÉ. < 1398381032 711144 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh right you joined after i pasted http://cokmett.github.io/cokmett/ < 1398381089 747211 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(we were discussing lens again) < 1398381205 524843 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but now we've lost focus < 1398381212 445112 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :int-e............................... < 1398381266 924414 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :what, one of the humble weekly sales games is called "cthulhu saves the world" ... < 1398381268 974666 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :also, this just in → http://ro-che.info/articles/2014-04-24-lens-unidiomatic.html < 1398381376 484865 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :int-e: i think i saw that one a couple months ago, it was basically an rpg parody < 1398381379 967742 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Despite having some (fairly basic) understanding of what prisms are, this signature tells me nothing at all, even despite the usage of type synonyms. < 1398381391 632121 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :this is just contentless FUD. < 1398381398 49901 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1398381411 691948 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`words < 1398381413 46003 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :gresuper < 1398381424 753047 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`url bin/words < 1398381425 411061 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/words < 1398381432 704471 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :the idea of programmers using actual empirical data for these things is lolarious imo < 1398381439 935440 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that type signature is very simple and anyone who actually understands what a prism is and what Traversable is can understand it. < 1398381455 855291 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :he could have picked a way better example but it kinda illustrates how little of a point he has there. < 1398381460 170397 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :I understand neither. Traversable still confuzzle my brain. < 1398381466 684766 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :"anything with STAB" < 1398381489 936218 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :"A Prism l is a 0-or-1 target Traversal that can also be turned around with remit to obtain a Getter in the opposite direction. " look, do people actually read these words and get information from them < 1398381503 560619 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :that's not to do with the blog, i just, god < 1398381508 338452 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but then, I already knew the Haskell community was surprisingly regressive in so many ways. < 1398381537 563352 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh right it's only `coins which has a default argument < 1398381539 747150 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Bicyclidine: that's old documentation ("remit" doesn't exist now). https://hackage.haskell.org/package/lens-4.1.2/docs/Control-Lens-Prism.html < 1398381543 760518 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(well, "remit" was renamed.) < 1398381567 55833 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that sentence makes perfect sense to me but the rest of the docs beyond it are more useful. < 1398381569 838959 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :i mean, i have some idea of what prisms are because shachaf explained them once < 1398381586 22225 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's just leading with the formal definition and then trying to explain it < 1398381590 413129 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I think you can argue both ways around have merits < 1398381625 640662 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"traversal that you can invert to construct things with" isn't that elaborate a concept, though < 1398381654 569640 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :and that's the version i do understand :P < 1398381711 960310 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well, s/invert/turn around with re/ < 1398381715 859455 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :boily: one of the main points of the lens library is that indeed, focus :: s -> (a, a -> s) does not exist as such; it's been abstracted away into a (possibily contravariant) functor. < 1398381721 380012 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :s/construct things with/obtain a Getter in the opposite direction/ < 1398381751 359625 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :nooooo you're falling into the academicese pit again < 1398381753 555494 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(but at least I understood 'focus' ...) < 1398381805 935495 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :
ACTION wonders whether he could persuade ekmett to rename 'lens' to 'unfocussed'.
< 1398381844 773247 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but I guess I'm taking the pun too far. < 1398381857 963212 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :also i just want to say that "i have to read the documentation" is a pretty rad complaint to have about something < 1398381880 530973 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"unlike all other haskell packages out there" < 1398381882 621051 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :int-e: egbhgehgheeeehghghghg. < 1398381910 735486 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: well the other haskell packages don't _have_ documentation so they _must_ be understood just from the types hth < 1398381913 155733 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :boily: good job. "No anagrams found." < 1398381933 761791 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: there is that, yes. < 1398381936 197518 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :the snooty "like some kind of RUBY programmer" thing is also great < 1398381950 527455 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :disgusting < 1398382016 250471 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I agree with this sentiment, "This is why I regard lens as a language in its own." < 1398382096 301827 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :some say lens has too many operators but i'm starting to wish basic haskell's operators were as logical < 1398382101 486337 :adu!~ajr@pool-108-28-107-114.washdc.fios.verizon.net QUIT :Quit: adu < 1398382130 893528 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(see my discussion of *> <$ <*> <$> etc. the other day) < 1398382172 74179 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I want to have a look at lens-family < 1398382179 129338 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :int-e: yes, I think that's a reasonable statement. lens would be a reasonable thing to build into a language, and some of the glue it takes to put it into Haskell is a little ugly. < 1398382192 582631 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but most of that post is nonsense < 1398382199 493766 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1398382206 206210 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :lens-family has subtly incompatible operators with lens I think :( < 1398382219 297536 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :plus it can't do prisms which are a very big deal < 1398382356 691755 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :type APrism s t a b = Overloaded Prismoid Mutator s t a b -- "If you see this in a signature for a function, the function is expecting a Prism, not some kind of alien invader." < 1398382359 872332 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :helpful. < 1398382381 495692 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t below < 1398382382 460033 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Choice p, Traversable f, Applicative f1) => APrism' s a -> p (f a) (f1 (f a)) -> p (f s) (f1 (f s)) < 1398382399 491908 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it hasn't precisely improved :P < 1398382406 191413 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: no, that is just ghci < 1398382409 470502 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it mangles type signatures < 1398382412 471706 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh. < 1398382418 140125 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :even on :t ? < 1398382422 492098 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes. < 1398382423 717146 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's not good. < 1398382427 410331 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't know why, either. < 1398382430 623641 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it makes using lens more painful. < 1398382443 904436 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's something about it expanding out because of the -> I think. < 1398382445 915622 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :arity stuff < 1398382455 129330 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :This is abstraction hell, looking at lens always feels like how I imagine learning math starting with category theory would be. < 1398382480 70579 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :weird, right < 1398382516 376516 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(unless I ignore the types and use a tutorial instead. but that's contrary to how I usually approach haskell libraries. nonidiomatic indeed.) < 1398382532 318522 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: perhaps it's because Prism' includes a forall and it gets to the right of a -> ? < 1398382545 366678 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: yeah, maybe < 1398382572 682016 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :int-e: the types are mostly easy to follow except where edwardk made them needlessly complex if you learn the basic "lens theory" first. unfortunately I don't know of a good introduction to lens theory < 1398382587 4353 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's a case of having to understand the underlying semantic objects before being able to read the types < 1398382600 341203 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :y'all can't sell libraries at all, lol < 1398382620 956636 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t undefined :: Int -> Prism' Bool Char < 1398382621 830335 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Choice p, Applicative f) => Int -> p Char (f Char) -> p Bool (f Bool) < 1398382633 398362 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :nice < 1398382655 319803 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t undefined :: Prism' Bool Char < 1398382656 131129 :realzies!~pinky@unaffiliated/realazthat QUIT :Quit: realzies < 1398382656 282220 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Choice p, Applicative f) => p Char (f Char) -> p Bool (f Bool) < 1398382679 326171 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm seems the -> is not important < 1398382700 406143 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t undefined :: Lens' Bool Char < 1398382701 212680 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Functor f => (Char -> f Char) -> Bool -> f Bool < 1398382715 861046 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric ::t undefined :: Lens Bool Char < 1398382716 680732 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expecting two more arguments to ‘Lens Bool Char’ < 1398382716 863314 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected a type, but ‘Lens Bool Char’ has kind ‘* -> * -> *’ < 1398382716 863417 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : In an expression type signature: Lens Bool Char < 1398382721 627486 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :darn < 1398382730 993586 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t undefined :: Lens Bool Char Int Word8 < 1398382731 848904 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Functor f => (Int -> f Word8) -> Bool -> f Char < 1398382781 594184 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Lens' is an abbreviation for when you have a lens that doesn't change types, so they're pairwise the same < 1398382831 482580 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@type iso < 1398382832 278223 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Profunctor p, Functor f) => (s -> a) -> (b -> t) -> p a (f b) -> p s (f t) < 1398382849 427395 :adu!~ajr@pool-108-28-107-114.washdc.fios.verizon.net JOIN :#esoteric < 1398382859 233988 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run (1,2)&_2.~"hi" < 1398382860 761074 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (1,"hi") < 1398382875 404395 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's an example of changing the type < 1398382905 514791 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t let _ = (1,2)& l .~"hi"; l = _2 in l < 1398382906 391088 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Field2 s t a b, Functor f) => (a -> f b) -> s -> f t < 1398382920 753692 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops no monomorphism < 1398382937 680697 :Taneb-!~Taneb@runciman.hacksoc.org NICK :Taneb < 1398382969 436428 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t let l = _2 where _ = (1,2)& l .~"hi" in l < 1398382969 953837 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Num t1, Num t) => ASetter (t, t1) (t, [Char]) t1 [Char] < 1398382999 6331 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe not too instructive < 1398383009 694068 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu QUIT :Ping timeout: 252 seconds < 1398383219 87796 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :also love the use of "intuitively" here: "Intuitively it is a bifunctor where the first argument is contravariant and the second argument is covariant." < 1398383239 94322 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(from the documentation of Profunctor) < 1398383587 248512 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1398383587 478586 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1398383592 208263 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :(oh, a hat of spirit shield!) < 1398383869 813131 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wth is "dungeon crawl stone soup" < 1398383930 683822 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :a videoed game < 1398383977 967492 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Sorry, I should stop asking those "I'm going to google this, but first let me phrase it as a question" questions.