< 1394669627 270685 :kasia13!~perdito@46.114.2.144 JOIN :#esoteric < 1394669653 920037 :kasia13!~perdito@46.114.2.144 NICK :haggy < 1394669680 405580 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :oerjan: how did I end up in a channel that has oerjan in the name? < 1394669777 628422 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :how should i know < 1394670232 920421 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :It's definitely connected to you, or someone trying to make victims think it's connected to you < 1394670248 492576 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :It's #!oerjan@sprocket.nvg.ntnu.no < 1394670274 548270 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :And I have not the faintest idea why or how it exists or I landed there < 1394670308 242460 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :did it happen when you joined some other channel? < 1394670366 472708 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :It... may have? I don't know, it happened when I opened my IRC client < 1394670371 145370 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Or some time after < 1394670406 914402 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Actually, seems like some time before, like I was logging, but didn't realize I was there before < 1394670435 604944 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: can you check if you are banned in some channel you usually join? < 1394670457 666362 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also given the timing, i have one possible suspect. < 1394670463 824154 :ChanServ!ChanServ@services. MODE #esoteric +o :oerjan > 1394670463 857391 NAMES :#esoteric < 1394670487 244502 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :#acehack but that's been like that for a while < 1394670487 355449 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :*!*siruf@unaffiliated/motley$##fix_your_connection > 1394670487 377905 NAMES :#esoteric < 1394670488 211550 :ChanServ!ChanServ@services. MODE #esoteric +o :elliott_ > 1394670488 233229 NAMES :#esoteric < 1394670493 746499 :elliott_!~elliott@unaffiliated/elliott MODE #esoteric +b :haggy!*@* > 1394670493 768377 NAMES :#esoteric < 1394670496 34383 :elliott_!~elliott@unaffiliated/elliott KICK #esoteric haggy :ban evasion < 1394670501 3654 :elliott_!~elliott@unaffiliated/elliott MODE #esoteric +b :*!*perdito@* > 1394670501 25595 NAMES :#esoteric < 1394670511 275220 :elliott_!~elliott@unaffiliated/elliott MODE #esoteric +b :$a:perdito > 1394670511 296794 NAMES :#esoteric < 1394670555 523808 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Hmm, might be others tht I'm not sure if I attempt to autojoin < 1394670563 692656 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: thank you for opping to make me notice that. < 1394670566 617388 :elliott_!~elliott@unaffiliated/elliott MODE #esoteric -o :elliott_ > 1394670566 639618 NAMES :#esoteric < 1394670573 225964 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :YOU'RE WELCOME < 1394670592 908703 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Don't see anything else banny in Freenode < 1394670597 653632 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :The server tab < 1394670807 852763 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -o :oerjan > 1394670807 874239 NAMES :#esoteric < 1394670851 556133 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: are you on any channel on which sirus has ops? < 1394670865 724498 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I don't know who sirus is < 1394670879 81038 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :someone i banned yesterday < 1394670885 815388 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because they kept quitjoining < 1394670889 265488 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Then again, I barely know who's in most of the channels < 1394670908 838740 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :siruf is in #elixir-lang < 1394670912 882143 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Which I'm in < 1394670948 700251 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm that only has a single ban < 1394670956 713553 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which is not relevant. < 1394670974 152312 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait siruf < 1394670986 113517 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :siruf is who you unbanned just before < 1394670989 712558 :w00tles!~w00tles@87-104-164-168-dynamic-customer.profibernet.dk JOIN :#esoteric < 1394671008 62107 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :if you have server window logs they will probably contain the answer. < 1394671011 119223 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, i somehow mistyped it everywhere else < 1394671021 315493 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :If it helps, Ienpw_III was there too < 1394671060 857893 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: well elliott_ is right, look in your logs to see what messages happened before you entered the channel < 1394671136 599680 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Don't see oerjan in the server logs anywhere except when I did the whois < 1394671154 177420 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well you must have entered the channel at one point. < 1394671166 644471 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I don't think Quassel lists that in the server window < 1394671184 154746 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :[19:57:08] * Channel #!oerjan@sprocket.nvg.ntnu.no created on 2014-03-10 22:21:18 UTC < 1394671192 764660 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and it's not messages with "oerjan" that are interesting, it's what other channels your client was _trying_ to join when it happened. < 1394671193 693685 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I have logs from 3/10 in there < 1394671201 644996 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah. < 1394671240 335603 :trn!jhj@2600:3c00::f03c:91ff:feae:3efa QUIT :Ping timeout: 265 seconds < 1394671260 206093 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :of course it's also possible you joined it through some hilarious mistyping :P < 1394671281 752010 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Seems like somehow it's related to ##nomic < 1394671288 601300 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Another ##nomic user in there, you're in there < 1394671289 597706 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i guess siruf is in the clear, then, the channel happened before. < 1394671315 192808 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :doesn't have much ban there either. < 1394671320 771386 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe it was an invite? < 1394671348 509187 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Hmm... do I autojoin invites? < 1394671357 189642 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Someone invite me somewhere? < 1394671394 513260 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm nowhere else, so don't ask me < 1394671407 838538 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well except ##nomic where i don't have ops < 1394671421 874676 :Sgeoweb!44c2df0c@gateway/web/freenode/ip.68.194.223.12 JOIN :#esoteric < 1394671437 610668 :trn!jhj@2600:3c00::f03c:91ff:feae:3efa JOIN :#esoteric < 1394671491 366341 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :The invite ends up in the server tab, not forced. Can invites be forced? < 1394671529 934825 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sounds unlikely < 1394671539 998837 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1394671544 258213 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but channel forwards are, of course < 1394671549 614305 :Sgeoweb!44c2df0c@gateway/web/freenode/ip.68.194.223.12 QUIT :Client Quit < 1394671561 564947 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :whether through bans or otherwise. < 1394671581 907380 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well unless there's an option not to, could be < 1394671617 659541 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I'm automatically forwarded to #nethack4 every day, but that's not atypical < 1394671630 29165 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's a mystery < 1394671752 804841 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1394671820 421058 :iamcal____!sid1110@gateway/web/irccloud.com/x-zwcntaqmesjgoiaf QUIT :Ping timeout: 265 seconds < 1394671823 367856 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1394671830 148838 :iamcal____!sid1110@gateway/web/irccloud.com/x-ccdncjukahnpvngk JOIN :#esoteric < 1394671831 345376 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :* Channel #!oerjan@sprocket.nvg.ntnu.no created on 2014-03-10 22:21:18 UTC < 1394671835 840320 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Is the exact timestamp < 1394671854 257373 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's not what i saw when i joined < 1394671886 318257 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe something went horribly wrong during a netsplit < 1394671936 366738 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 QUIT :Ping timeout: 265 seconds < 1394671968 424817 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 JOIN :#esoteric < 1394671971 923261 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1394671977 351677 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net QUIT :Ping timeout: 264 seconds < 1394671988 418862 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nothing interesting happened in #esoteric at that time, fwiw. you joined nearly an hour later. < 1394672096 367088 :sn0wboard!~sn0wboard@46.115.69.54 JOIN :#esoteric < 1394672155 676316 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: if you have #esoteric on autojoin, it seems unlikely that you would have joined that channel at the time it was created but not #esoteric? < 1394672187 562393 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :[19:57:08] --> Sgeo (~quassel@ool-44c2df0c.dyn.optonline.net) has joined #!oerjan@sprocket.nvg.ntnu.no < 1394672187 617676 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :[19:57:08] *** Mode #!oerjan@sprocket.nvg.ntnu.no +ns by dickson.freenode.net < 1394672187 617816 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :[19:57:08] * Channel #!oerjan@sprocket.nvg.ntnu.no created on 2014-03-10 22:21:18 UTC < 1394672188 302390 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1394672203 618834 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Ienpw_III may have been there before me < 1394672232 978162 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what timezone is that 19:57 < 1394672323 985851 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :EDT (near daylight savings border though, mayve) < 1394672363 812846 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`date 19:57 EDT < 1394672364 404662 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :date: invalid date `19:57 EDT' < 1394672369 791103 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :WHATEVER < 1394672389 231284 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :stupid americans think people understand letter codes < 1394672389 289978 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :`date 19:57 EST < 1394672389 863533 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :date: invalid date `19:57 EST' < 1394672440 48353 :w00tles!~w00tles@87-104-164-168-dynamic-customer.profibernet.dk QUIT :Quit: quit < 1394672442 13224 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm 15:57 UTC < 1394672452 316009 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: um was this on the 10th? < 1394672467 559786 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait < 1394672479 692423 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :23:57 < 1394672506 89615 :sn0wboard!~sn0wboard@46.115.69.54 PRIVMSG #esoteric :`date 20:00 PDT < 1394672506 644854 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :date: invalid date `20:00 PDT' < 1394672524 386276 :sn0wboard!~sn0wboard@46.115.69.54 PRIVMSG #esoteric :`date 8pm PDT < 1394672524 940462 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :date: invalid date `8pm PDT' < 1394672573 458454 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sn0wboard: i vaguely suspect it's complaining that it's not containing, like, a _date_. < 1394672616 459582 :sn0wboard!~sn0wboard@46.115.69.54 PRIVMSG #esoteric :you need to know where it's 20:00 now? < 1394672618 384253 :sn0wboard!~sn0wboard@46.115.69.54 PRIVMSG #esoteric :or when? < 1394672631 399595 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: well if that was on the 10th then it was nearly 40 minutes _after_ you joined. < 1394672667 995879 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sn0wboard: no, i am trying to find out where those times Sgeo are referring to are in the #esoteric logs, although i'm not sure we're even on the same date. < 1394672679 402654 :sn0wboard!~sn0wboard@46.115.69.54 PRIVMSG #esoteric :okay < 1394672716 137090 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: was that 19:57 on the 10th or today? < 1394672752 167164 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because i am, as should be obvious, trying to find out if anything interesting happened at the point in time when you _first_ entered the channel. < 1394672771 640482 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and getting slightly impatient in the process. < 1394672875 521073 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :The 10th < 1394672889 341866 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i should definitely never go into tech support, i'd be a serial killer in days. < 1394672922 942277 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :23:57:42: I remember you talking about Smalltalk inspiring Feather < 1394672941 619432 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's the only thing in the #esoteric logs at that minute < 1394672999 561340 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hmph i was there at the time but i don't keep ##nomic logs < 1394673007 400003 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 264 seconds < 1394673017 566745 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh well. the mystery remains. < 1394673128 743017 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Nothing interesting there at least as far as I can see < 1394673283 938216 :sn0wboard!~sn0wboard@46.115.69.54 PRIVMSG #esoteric :seems you guys are bored.. though that impression could be deceiving as well < 1394673317 699242 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sn0wboard: well you didn't catch the beginning of the mystery < 1394673325 400040 :sn0wboard!~sn0wboard@46.115.69.54 PRIVMSG #esoteric :true fact < 1394673360 28741 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :apparently Sgeo somehow found himself in a channel named #!oerjan@sprocket.nvg.ntnu.no and we have no idea why < 1394673372 110702 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i certainly didn't make it. i think. < 1394673397 902886 :sn0wboard!~sn0wboard@46.115.69.54 PRIVMSG #esoteric :oh.. < 1394673406 478554 :sn0wboard!~sn0wboard@46.115.69.54 PRIVMSG #esoteric :..hell! < 1394673490 53088 :sn0wboard!~sn0wboard@46.115.69.54 PRIVMSG #esoteric :see! when knowledge increase wonder deepens < 1394673520 13711 :sn0wboard!~sn0wboard@46.115.69.54 PRIVMSG #esoteric :welly well..didn't mean to disturb drwatson < 1394673522 510379 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :woah dude < 1394673574 787754 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :don't have any more ideas really. i took a look at the raw #esoteric channel logs, nothing there either. < 1394674447 293476 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1394674658 200406 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :00:13:47 -!- kasia13 [~perdito@46.114.2.144] has joined #esoteric < 1394674660 91611 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :00:54:56 -!- sn0wboard [~sn0wboard@46.115.69.54] has joined #esoteric < 1394674667 239725 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :sn0wboard: why are you ban evading? < 1394675288 611945 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 252 seconds < 1394675589 155307 :ChanServ!ChanServ@services. MODE #esoteric +o :elliott_ > 1394675589 177634 NAMES :#esoteric < 1394675644 701809 :elliott_!~elliott@unaffiliated/elliott MODE #esoteric +b :*!*sn0wboard@* > 1394675644 725557 NAMES :#esoteric < 1394675663 895778 :elliott_!~elliott@unaffiliated/elliott KICK #esoteric sn0wboard :you have carefully ensured you are never going to get unbanned, please go away forever < 1394675740 647698 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tragic. < 1394675750 372635 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is there any easy way to query all IP blocks owned by a certain ISP? < 1394675756 295867 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'd like to ban his temporarily. < 1394675768 841178 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or at least a certain AS thingy < 1394675802 726984 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :AS? < 1394675855 658761 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Autonomous_system_(Internet) I assume < 1394675988 323351 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :whatever, I'll just ban him the next time too. < 1394675990 946174 :elliott_!~elliott@unaffiliated/elliott MODE #esoteric -o :elliott_ > 1394675990 968186 NAMES :#esoteric < 1394675994 877595 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :idiot. < 1394676005 684932 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no idea what he's getting out of this. < 1394676070 554461 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1394676105 281277 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1394676391 333448 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 264 seconds < 1394676391 424870 :Slereahphone!~slereahph@80.10.161.234 QUIT :Ping timeout: 264 seconds < 1394676396 673816 :vravn!~vravn@syn.rook.sx QUIT :Quit: vravn goes < 1394677049 843204 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Good night < 1394677675 234961 :shikhout!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1394677678 128126 :tertu!~quassel@143.44.65.14 JOIN :#esoteric < 1394677863 478134 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :kmc: do you hate html yet? < 1394677867 322422 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1394677869 379967 :shikhout!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1394677873 345936 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds < 1394677956 598498 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :shrug < 1394679556 906845 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :kmc: what do you think about Idris (if I haven't asked already)? < 1394680209 611018 :tertu!~quassel@143.44.65.14 QUIT :Quit: No Ping reply in 180 seconds. < 1394680210 402457 :tertu_!~quassel@143.44.65.14 JOIN :#esoteric < 1394680388 339072 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1394680924 451215 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :sounds cool, haven't had time to learn it < 1394680941 525247 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :if I learn a new language for fun in the near future, it'd probably be Idris < 1394681028 41132 :luserdroog!636c1b05@gateway/web/freenode/ip.99.108.27.5 JOIN :#esoteric < 1394681054 69468 :luserdroog!636c1b05@gateway/web/freenode/ip.99.108.27.5 PRIVMSG #esoteric :Lukasiewicz Logic Interpreter in PS. https://gist.github.com/luser-dr00g/9519896 < 1394681097 83131 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1394681139 426291 :luserdroog!636c1b05@gateway/web/freenode/ip.99.108.27.5 PRIVMSG #esoteric :Lukasiewicz appears to be the "root" of all algebraic computation on computers. < 1394681265 11096 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :you know, many plants in fact have multiple roots < 1394681428 427136 :luserdroog!636c1b05@gateway/web/freenode/ip.99.108.27.5 PRIVMSG #esoteric :Hm. you're right. Banyan trees, for one. < 1394681466 465385 :luserdroog!636c1b05@gateway/web/freenode/ip.99.108.27.5 PRIVMSG #esoteric :the 1962 APL book describes multiply-rooted tree also. < 1394681625 587797 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :by the way, new sort algorithm! has applications to security or some shit http://arxiv.org/abs/1403.2777 < 1394681978 718661 :luserdroog!636c1b05@gateway/web/freenode/ip.99.108.27.5 PRIVMSG #esoteric :I'm reading nearby http://arxiv.org/pdf/1309.7584.pdf < 1394682369 935612 :sebbu!~sebbu@ADijon-152-1-42-203.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1394682405 759663 :sebbu!~sebbu@ADijon-152-1-42-203.w83-194.abo.wanadoo.fr QUIT :Changing host < 1394682405 816268 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1394682675 165755 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1394682710 387362 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1394682913 903859 :luserdroog!636c1b05@gateway/web/freenode/ip.99.108.27.5 QUIT :Ping timeout: 245 seconds < 1394682979 374710 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 264 seconds < 1394683457 701892 :luserdroog!636c1b05@gateway/web/freenode/ip.99.108.27.5 JOIN :#esoteric < 1394683558 842735 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Trying to figure out if I need to be too concerned about salt intake < 1394683565 912536 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Different groups disagree < 1394683568 955065 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :
ACTION sighs
< 1394683599 565660 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :At least I'm pretty sure with, e.g. gluten, that there's no actual concern for people who don't specifically have gluten issues < 1394683602 801961 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i haven't seen these groups and i have no serious reason to believe they're disagreeing. ount me in on the agreement side < 1394683668 506419 :CADD_!uid21876@gateway/web/irccloud.com/x-edgrwodqtazhffel JOIN :#esoteric < 1394683676 331870 :chaiomanot!~chaiomano@75-121-39-142.dyn.centurytel.net PRIVMSG #esoteric :Sgeo, i imagine there are quite a few things to worry about before salt < 1394683686 235453 :chaiomanot!~chaiomano@75-121-39-142.dyn.centurytel.net PRIVMSG #esoteric :including gluten, which is almost always bad < 1394683697 162093 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :or what if it's a salt of radium? < 1394683708 110985 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Bike: http://healthland.time.com/2012/11/05/why-even-healthy-people-should-watch-their-salt-intake/ American Heart Association, US Department of Agriculture < 1394683715 530155 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :it could happen, people < 1394683793 626653 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :Sgeo: looks like both are recommending less salt. < 1394684362 2075 :luserdroog!636c1b05@gateway/web/freenode/ip.99.108.27.5 PRIVMSG #esoteric :Salt figures prominently in Lovecraft's resurrection stories. < 1394684401 243234 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1394685148 395915 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu QUIT :Quit: leaving < 1394685898 152507 :nisstyre_!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1394685923 149381 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Ping timeout: 246 seconds < 1394687971 239078 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net JOIN :#esoteric < 1394688577 260137 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1394688827 257074 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net JOIN :#esoteric < 1394689315 357617 :tertu_!~quassel@143.44.65.14 QUIT :Ping timeout: 264 seconds < 1394690460 651975 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric < 1394690479 864754 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: Leaving < 1394691089 368990 :Sprocklem!~Sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1394691939 55126 :w00tles!~w00tles@87-104-164-168-dynamic-customer.profibernet.dk JOIN :#esoteric < 1394691975 153991 :w00tles!~w00tles@87-104-164-168-dynamic-customer.profibernet.dk QUIT :Client Quit < 1394692116 397490 :lexande!arapp@terpsichore.ugcs.caltech.edu JOIN :#esoteric < 1394693081 363947 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1394693182 360703 :Slereahphone!~slereahph@80.10.159.144 JOIN :#esoteric < 1394693406 971369 :Slereahphone!~slereahph@80.10.159.144 QUIT :Remote host closed the connection < 1394693518 59010 :Slereahphone!~slereahph@80.10.159.144 JOIN :#esoteric < 1394695257 924731 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1394695772 150980 :chaiomanot!~chaiomano@75-121-39-142.dyn.centurytel.net QUIT :Ping timeout: 246 seconds < 1394696927 395875 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1394697135 243625 :Slereahphone!~slereahph@80.10.159.144 QUIT :Remote host closed the connection < 1394697195 375377 :Slereahphone!~slereahph@80.10.159.144 JOIN :#esoteric < 1394698273 302261 :nisstyre_!~yourstrul@oftn/member/Nisstyre QUIT :Ping timeout: 240 seconds < 1394698655 284288 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk QUIT :Excess Flood < 1394698674 526101 :Sellyme!~Sellyme@2605:4d00:0:2::7a JOIN :#esoteric < 1394699217 579913 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1394699271 734198 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1394700255 202004 :Sgeo_!~quassel@ool-44c2df0c.dyn.optonline.net JOIN :#esoteric < 1394700457 327896 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1394700755 868157 :Qwerty20140313!~ff@82.162.180.31 JOIN :#esoteric < 1394700920 46299 :Qwerty20140313!~ff@82.162.180.31 PART :#esoteric < 1394701591 129421 :MoALTz!~no@user-46-113-90-183.play-internet.pl JOIN :#esoteric < 1394702202 401852 :password2!~password@197.78.164.215 JOIN :#esoteric < 1394702521 74553 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1394703792 579325 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :So instead of journals telling us about cool new algorithms, we now have irc (peer review sold separately) < 1394704104 433510 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu JOIN :#esoteric < 1394704618 157070 :Froo!~Frooxius@cust-101.ktknet.cz QUIT :Quit: *bubbles away* < 1394704633 185329 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1394704836 467882 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :the world would be a much better place if peer review was sold separately < 1394704847 596805 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :imo < 1394704980 79998 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :sold? < 1394704998 924763 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :as in, you buy a journal and pay extra for it to be peer reviewed < 1394705169 483311 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i hear the new thing is post-publication review, anyway < 1394705341 816190 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :At the moment, peer reviewers pay for peer review. < 1394705421 106376 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1394705491 833216 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :@massages-loud < 1394705491 935893 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :You don't have any messages < 1394705512 922738 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Huh, I received an email which, according to the headers, was sent 12 hours ago. < 1394705836 860413 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :perfectly normal. that just means you are from yesterday. < 1394705968 283459 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :@localtime Jafet < 1394706075 759095 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@cloacaltime < 1394706201 963635 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :... < 1394706225 498219 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :I think it's prime time to dust my mapole. haven't had a good occasion to use it lately... < 1394706253 704288 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :
ACTION makes a few practice swings, then *THWACKS* Jafet happily ^^
< 1394706423 201377 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :When you mapole someone hard enough, they ooze mapole syrup. < 1394706979 507257 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Bike: “Using this construction results in a running time for Zig-zag Sort of 19600 n log n, in terms of compare-exchange operations.” < 1394707209 344225 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Expander graphs aer cool, they hide in big-O and doesn't afraid of anything < 1394707341 643517 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :fungot: stop contaminating people. Jafet sounds like you. < 1394707341 749430 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: holy water by boiling the hell out of spain. one of a breakthrough. somehow the killing of the gods, by terry pratchett) < 1394707359 712787 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :oh, so that's how they make holy water! < 1394707411 992813 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :`` echo 'Holy water is water made by boiling the hell out of Spain.' >wisdom/'holy water' < 1394707414 160538 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1394707437 544436 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :`cat bin/\` < 1394707438 248217 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cat: bin/\`: No such file or directory < 1394707440 952986 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :`cat bin/` < 1394707441 593660 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :exec bash -c "$1" < 1394707517 115690 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :That is a disingenuous slight on fungot. I don't even know any transcripts from European parliament sessions. < 1394707517 222289 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Jafet: they say that a black sheep has 3 bags full of holes; with the monster was responsible for endless tragedies of all the gods get angry if you can be tamed with carrots? salmon gets thinner at both ends." ( macbeth, by patrick mcgoohan) < 1394707579 494213 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :fungot: does calamari get squigglier at both ends? < 1394707579 586155 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :hmm, salmon does get thinner at both ends < 1394707579 642147 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: they say that a wand in a bag. ( bulfinch's mythology, by the roadside for ninety-nine years and a rock mole: a japanese stabbing knife. < 1394707680 784725 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :fungot: cuttlefish then? < 1394707680 892385 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :olsner: they say that a hacker who ate too fast and choked to death: the oxford english dictionary is quite sure which. and the lower world to hades. poseidon is associated in many places, not knowing who he was, plays an important part in the fires of hell and many more names besides. ( the fellowship of the ring, by w.b. yeats) < 1394707711 324861 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :^style < 1394707711 380951 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack* oots pa qwantz sms speeches ss wp youtube < 1394707716 339708 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :nethack??? < 1394707724 211141 :metasepia!~metasepia@96.127.201.149 JOIN :#esoteric < 1394707729 608062 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :~metar CYUL < 1394707730 265454 :metasepia!~metasepia@96.127.201.149 PRIVMSG #esoteric :CYUL 131030Z 34012G18KT 3SM -SN DRSN VV015 M14/M17 A2963 RMK SN8 SLP035 < 1394707750 556103 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :^style enron < 1394707750 665145 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Selected style: enron (subset of the Enron email dataset) < 1394707762 845490 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Now fungot can get down to business. < 1394707763 310136 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Jafet: of the going rate schedule) was a better and i were them) 6-1 and looking to get on the stack of mail will be best to wait. rep. other rate changes capping the market. < 1394707808 488396 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Two parentheses now into the OUT tray. Marvellous efficiency. < 1394707926 949341 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :two unbalanced parentheses, you mean. fungot doesn't believe in protection of the environment. < 1394707927 165055 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: best of all, the capacity..... .a bunch of construction within the central and eastern gas regions will be for the physical for physical and power physical to a more complete on that). < 1394707985 602296 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :fungot: bzzt, even more wrong parentheses... get a grip < 1394707985 867763 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :olsner: let me know of any of the ect legal dept of commerce for lehman and enron < 1394708066 633089 :w00tles!~w00tles@192.38.10.2 JOIN :#esoteric < 1394708080 445232 :w00tles!~w00tles@192.38.10.2 QUIT :Remote host closed the connection < 1394708124 810082 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :the stuff you learn about bananas → http://www.symmetrymagazine.org/breaking/2009/07/23/antimatter-from-bananas < 1394708350 15186 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Banana_equivalent_dose < 1394708707 268972 :boily!~boily@96.127.201.149 QUIT :Quit: YELLOW CURVED CHICKEN < 1394708711 321951 :metasepia!~metasepia@96.127.201.149 QUIT :Remote host closed the connection < 1394709314 400936 :MoALTz_!~no@user-46-113-90-183.play-internet.pl JOIN :#esoteric < 1394709485 69599 :MoALTz!~no@user-46-113-90-183.play-internet.pl QUIT :Ping timeout: 246 seconds < 1394709755 195446 :Slereahphone!~slereahph@80.10.159.144 QUIT :Quit: Colloquy for iPhone - http://colloquy.mobi < 1394709794 16063 :Slereahphone!~slereahph@80.10.159.144 JOIN :#esoteric < 1394710262 142212 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 246 seconds < 1394710400 598879 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :^style oots < 1394710400 711510 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Selected style: oots (Order Of The Stick) < 1394710407 587763 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :hi fungot < 1394710407 694721 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :FireFly: would i be carrying our monthly" says that's what my dad and i sneak by any monsters and a whole lot of us who would be surprised what people will believe when they've all sucked" was, in that case, i will begin tracking them now by " age old" she means, " after i die". < 1394710445 834547 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Hm, the oots wordset seems subpar for fungot responses < 1394710445 941517 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :FireFly: there, that ought to be good. and it was wrong, so no, that is my position, and then, i blacked out. when the big worm showed me, and they've all sucked" was, in my opinion. < 1394710663 280083 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Possibly the paramaters have been suboptimal. < 1394712177 257467 :Slereahphone!~slereahph@80.10.159.144 QUIT :Remote host closed the connection < 1394712198 223388 :Slereahphone!~slereahph@80.10.159.144 JOIN :#esoteric < 1394712273 809338 :MoALTz__!~no@user-46-113-90-183.play-internet.pl JOIN :#esoteric < 1394712299 957190 :Slereahphone!~slereahph@80.10.159.144 QUIT :Remote host closed the connection < 1394712481 226301 :MoALTz_!~no@user-46-113-90-183.play-internet.pl QUIT :Ping timeout: 240 seconds < 1394712727 387390 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1394713340 231621 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1394713771 179772 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net JOIN :#esoteric < 1394713787 275063 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1394714178 763324 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : or what if it's a salt of radium? <-- oh come on, who would be putin radioactive elements in food < 1394714334 260981 :Slereahphone!~slereahph@80.10.159.144 JOIN :#esoteric < 1394714704 334950 :Slereahphone!~slereahph@80.10.159.144 QUIT :Quit: Colloquy for iPhone - http://colloquy.mobi < 1394714819 205693 :Slereahphone!~slereahph@80.10.159.144 JOIN :#esoteric < 1394715108 156622 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1394715331 583985 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1394715368 569850 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1394715632 248309 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 241 seconds < 1394715769 283244 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Ping timeout: 240 seconds < 1394716101 209840 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1394716110 433774 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :did google just start using a terrible font for their search results < 1394716134 515770 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if website font selection were client-side, we wouldn't have this problem! < 1394716156 997090 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :oerjan: yes, I think so < 1394716242 942574 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :okay < 1394717052 212103 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok darths & droids, i didn't see _this_ coming. < 1394717122 721146 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"font-family: arial, sans-serif;" < 1394717134 619387 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Some pages seem to indicate they've merely changed font sizes. < 1394717141 789320 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And removed link underlining and such. < 1394717365 986301 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :admittedly, that _is_ par for the course in d&d. < 1394717675 147288 :password2!~password@197.78.164.215 QUIT :Ping timeout: 246 seconds < 1394717750 521203 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's just that somehow the new google style makes it take longer for me to see what i want in the search results... < 1394717770 243518 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's probably just that your old-man eyes aren't any good for the modern webs. < 1394717779 14675 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hopefully this will pass. < 1394717815 853124 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: well, that too. < 1394717815 959907 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :/. "Physicist Proposes a New Type of Computing" sounds Wolframesque. < 1394717869 872872 :FireFly!~firefly@oftn/member/FireFly QUIT :Excess Flood < 1394717881 97321 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that reminds me of that tao navier-stokes thing, but he's a mathematician. < 1394717909 471385 :nycs!~nycs@rrcs-24-39-141-128.nyc.biz.rr.com NICK :`^_^v < 1394717954 788769 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1394718041 473286 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :today's darths & droids also has a nice conduit table < 1394718128 617767 :MoALTz__!~no@user-46-113-90-183.play-internet.pl QUIT :Quit: Leaving < 1394718427 531796 :Sgeo_!~quassel@ool-44c2df0c.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1394718599 890471 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1394719159 379314 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Ping timeout: 264 seconds < 1394719749 195023 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1394719995 841555 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1394720388 361228 :trout!root@freebsd/developer/variable QUIT :Read error: Operation timed out < 1394720555 884726 :variable!root@freebsd/developer/variable JOIN :#esoteric < 1394720668 304871 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (sin ∘ cos) 1 < 1394720668 561958 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:6: error: expected: "$", < 1394720668 674525 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "$>", "&&", "&&&", "*", "***", < 1394720668 732209 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "+", "++", "-", "->", ".", "/", < 1394720668 732379 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "/=", ":+", "::", "<", "<$", < 1394720668 732476 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "<$>", "<*>", "<+>", "<->",14↵… < 1394720669 417725 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: `∘' < 1394720805 382381 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1394720883 379836 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1394720904 559490 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I like that "let's list all possible operators" error. < 1394720977 481543 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :TIL stackoverflow doesn't allow you to simply correct a syntax error: edits must be at least six characters. < 1394721175 480485 :iamcal____!sid1110@gateway/web/irccloud.com/x-ccdncjukahnpvngk QUIT :Quit: Connection closed for inactivity < 1394721225 86235 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, we have two bots on the same prefix? < 1394721226 620177 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> 2 < 1394721226 941452 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :042 : 12Integer < 1394721227 618435 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 2 < 1394721242 278465 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyone know any good Idris/Haskell polyglots? < 1394721261 386165 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: haha, that's probably an attempt to stop people farming edits for karma or something < 1394721268 813516 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :does it let you edit it twice as a workaround? < 1394721342 110388 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I haven't looked at Idris in a while, thanks for reminding me < 1394721415 220072 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: i don't know, but my edit needs to be approved anyhow (and with the snark i ended up adding to make it go through, might not even be >:) ) < 1394721446 853194 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't know Idris at all, but I vaguely remember it's functional < 1394721459 50303 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523: Incidentally, in case you haven't noticed, idris-ircslave replies are also full of color. < 1394721466 108206 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I haven't noticed < 1394721480 491134 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :nor could I, without opening up the raw view window or using a different client < 1394721487 178762 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or, I guess, turning color back on < 1394721488 283474 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's a red "2" and a blue "Integer" there. < 1394721534 924233 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> "Hello, world!" < 1394721535 353282 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04"Hello, world!" : 12String < 1394721536 71256 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "Hello, world!" < 1394721540 444163 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess that works < 1394721543 308998 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not very interesting though < 1394721587 930732 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Something that does two different but reasonable things would be nicer. < 1394721635 537596 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, Idris has very Haskell-like syntax, apparently < 1394721686 560463 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so trying to cause the programs to be implemented differently will be hard < 1394721743 27732 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, evaluated differently < 1394721767 332806 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Idris is strict and Haskell is lazy, but that's hard to observe in the absence of side effects < 1394721801 129568 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, well, it sounds rather like the C and C++ different-result polyglottery, where the devil is also in the details. < 1394721932 877925 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I don't know any of the details of Idris, and very few of the details of Haskell < 1394721935 942228 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> "> " ++ show "Hello, world!" < 1394721936 942406 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "> \"Hello, world!\"" < 1394721938 765458 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04"> \"Hello, world!\"" : 12String < 1394721951 18216 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> text $ "> " ++ show "Hello, world!" < 1394721951 353221 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :No such variable text < 1394721952 128367 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : > "Hello, world!" < 1394721968 990597 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Jafet: heh, that'd be an amusing botloop if it worked < 1394721984 965432 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although lambdabot added a leading space, it's well aware of such tricks < 1394721997 21228 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> putStrLn "Hello, world!" < 1394721997 383695 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04MkIO (\13w => 09prim_io_bind (mkForeignPrim (04FFun 04"putStr" 04[04FString04] 04FUnit) 04"Hello, world!\n" 13w) (\13x => 04prim__IO 13x)) : 12IO 12() < 1394721998 161473 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : < 1394722014 806364 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ooh, Idris has a non-opaque IO type < 1394722032 348458 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :a little disappointing that neither bot actually ran the IO action once it was produced, though < 1394722083 798375 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :To aid our color-challenged viewers: that's a red "MkIO", a pink "w", a bright green "prim_io_bind", a red "FFun .. \n", a pink "w" again, a pink "x", a red "prim__IO", a pink "x", and a blue "IO ()"; with all the rest in default color. < 1394722091 968879 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's like having a permanent `rainwords, almost. < 1394722145 506690 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: do you see why I turned color off now? :-) < 1394722146 726416 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: it's actually a red "FFun ... \n\"" < 1394722159 558162 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and it's, in my opinion, more purple than pink. < 1394722160 301228 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although the original cause was a bot that was outputting in black, using mIRC colored backgrounds < 1394722169 257858 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and thus produced output that was unreadable outside mIRC < 1394722190 263465 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott_: you may be using a different client or terminal than fizzie < 1394722196 301923 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :as in, it may actually be purple for you and pink for him < 1394722224 219444 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott_: Yes, I made a mistake there; though looking closer, it seems to be separately a red "FFun .. FUnit" followed by a red "\"Hello, world!\\n\"". < 1394722236 857734 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :true. < 1394722240 453745 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you win this round. < 1394722245 191601 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :your prize is hosting the wiki < 1394722261 289709 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't like this game show. < 1394722298 585673 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> instance Show IO where show _ = "> hi" < 1394722298 918753 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:1: error: expected: ":", < 1394722299 29574 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : end of input, operator < 1394722299 86155 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :instance Show IO where show _ = "> hi" < 1394722299 86399 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :^ < 1394722299 697028 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input `instance' < 1394722313 574763 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, you managed to produce a different error message in the two bots < 1394722315 392163 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :congratulations < 1394722368 252085 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :huh, Idris knows how to optimize addition into not being unary < 1394722380 39187 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :one of my colleagues at work was working on that for Agda < 1394722512 270542 :evalj!~jeval@51B6E3DC.dsl.pool.telekom.hu JOIN :#esoteric < 1394722526 84156 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's probably just special-cased. < 1394722554 294851 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :It doesn't matter with agda, because no one expects to run agda code. < 1394722593 814179 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess explaining agda to programmers is like explaining game semantics to economists < 1394722605 912976 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the latter is a fun explanation, really < 1394722634 259180 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"it's sort-of like how games work in economics, but you know everyone's strategy in advance rather than trying to work it out, and you don't really care who wins, what you're interested in is whether the game will end at all" < 1394722705 926373 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> 2 ** 3 < 1394722706 260173 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:3: error: expected: "$", < 1394722706 481965 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "$>", "&&", "&&&", "***", "+", < 1394722706 538636 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "++", "-", "->", ".", "/", "/=", < 1394722706 538786 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : ":+", "::", "<", "<$", "<$>", < 1394722706 538879 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "<*>", "<+>", "<->", "<<", "<=",14↵… < 1394722706 967086 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 8.0 < 1394722711 157406 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :bleh < 1394722758 251872 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> (1 ** [2]) < 1394722758 694974 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't disambiguate name: Data.HVect.::, Prelude.List.::, Data.Vect.Quantifiers.::, Prelude.Stream.::, Prelude.Vect.:: < 1394722759 471148 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (GHC.Show.Show t0) < 1394722759 582425 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of `M857856901971536584611453.show_M8578569019715365846... < 1394722759 639089 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : The type variable `t0' is ambiguous < 1394722759 639229 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Possible fix: add a type signature that fixes these type variable(s) < 1394722759 639376 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Note: there are several potential instances: < 1394722774 173209 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> (2 ** 3) < 1394722774 850205 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't resolve type class 12Num (P (09fromInteger 042)) < 1394722775 674057 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 8.0 < 1394722778 259798 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so close < 1394722786 84495 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> (2.0 ** 3.0) < 1394722786 418251 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't unify < 1394722786 781977 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 12Float < 1394722786 839472 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :with < 1394722786 839620 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 13P 042.0 < 1394722786 839713 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Specifically:14↵… < 1394722787 196392 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 8.0 < 1394722796 63729 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I always wonder if GHC actually used that many type variables internally. < 1394722858 126586 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :bleh, ** does something in the two languages, but I'm not sure we can construct something that's both an Idris predicate and a Haskell number < 1394722865 377667 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*something completely different < 1394722867 783728 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> (2 ** undefined) < 1394722868 5676 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:7:No such variable undefined < 1394722868 858267 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : *Exception: Prelude.undefined < 1394722919 256828 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :elliott: Isabelle/HOL manages to use binary without too much special-casing (the binary rewrite rules for nat are tagged "[code]") < 1394722950 940735 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Of course, numbers are still represented as church numerals, because who cares about constant factors. < 1394722985 782982 :variable!root@freebsd/developer/variable QUIT :Excess Flood < 1394722992 954973 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is there anything lambdabot will interpret as numeric, that takes an argument? < 1394722993 216540 :`^_^v!~nycs@rrcs-24-39-141-128.nyc.biz.rr.com QUIT :Excess Flood < 1394722994 777272 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1394723016 122790 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> 1 2 3 < 1394723017 341182 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Could not deduce (GHC.Num.Num < 1394723017 453853 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:3:Can't infer type for (|(|fromInteger 1 , fromInteger 1 , |) , 1 , 1 , 1 , 1 , 1 , 1 , |) (|(|fromInteger 2 , fromInteger 2 , |) , 2 , 2 , 2 , 2 , 2 , 2 , |) < 1394723017 512049 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (GHC.Integer.Type.Integer -> GHC.Integer.Type.Integer ->... < 1394723017 568277 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from the ambiguity check for `e_1123' < 1394723017 568445 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : from the context (GHC.Num.Num (a -> a1 -> t), < 1394723017 568600 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : GHC.Num.Num a, < 1394723023 561327 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :That used to work. < 1394723029 975202 :`^_^v!~nycs@rrcs-24-39-141-128.nyc.biz.rr.com JOIN :#esoteric < 1394723066 713225 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@let instance Num a => Num (a -> a) where fromInteger = const < 1394723067 415539 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : .L.hs:171:23: < 1394723067 637784 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Could not deduce (a ~ Integer) < 1394723067 694792 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : from the context (Num a) < 1394723067 694943 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : bound by the instance declaration at .L.hs:170:10-32 < 1394723067 695034 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : `a' is a rigid type variable bound by < 1394723083 536044 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@let instance Num a => Num (a -> a) where fromInteger = const . fromInteger < 1394723084 350808 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : .L.hs:170:10: Warning: < 1394723084 461607 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No explicit method or default declaration for `+' < 1394723084 518293 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : In the instance declaration for `Num (a -> a)' < 1394723084 518445 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : < 1394723084 518536 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : .L.hs:170:10: Warning: < 1394723092 655719 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> 1 2 3 < 1394723093 323765 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:3:Can't infer type for (|(|fromInteger 1 , fromInteger 1 , |) , 1 , 1 , 1 , 1 , 1 , 1 , |) (|(|fromInteger 2 , fromInteger 2 , |) , 2 , 2 , 2 , 2 , 2 , 2 , |) < 1394723093 380647 :nooodl!~nooodl@91.177.69.110 JOIN :#esoteric < 1394723093 805929 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Could not deduce (GHC.Num.Num < 1394723093 917542 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (GHC.Integer.Type.Integer -> GHC.Integer.Type.Integer ->... < 1394723093 973880 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from the ambiguity check for `e_1123' < 1394723093 974060 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : from the context (GHC.Num.Num (a -> a1 -> t), < 1394723094 360253 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : GHC.Num.Num a, < 1394723151 903694 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I like Idris's error messages, not because they're useful, but because they hint at insane internal implementation details < 1394723166 487324 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@define < 1394723166 636391 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Define what? < 1394723168 470187 :variable!root@freebsd/developer/variable JOIN :#esoteric < 1394723176 559224 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@undefun < 1394723176 781371 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Undefined. < 1394723180 828602 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@let instance Num a => Num (a -> a) where { fromInteger = const . fromInteger; (+)=(+); (-)=(-); (*)=(*); abs=abs; signum=signum } < 1394723182 93942 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1394723188 663862 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> 0 1 < 1394723189 108580 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:3:Can't infer type for (|(|fromInteger 0 , fromInteger 0 , |) , 0 , 0 , 0 , 0 , 0 , 0 , |) (|(|fromInteger 1 , fromInteger 1 , |) , 1 , 1 , 1 , 1 , 1 , 1 , |) < 1394723189 812577 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Could not deduce (GHC.Num.Num (GHC.Integer.Type.Integer -> t)) < 1394723190 34154 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from the ambiguity check for `e_101' < 1394723190 90803 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : from the context (GHC.Num.Num (a -> t), GHC.Num.Num a) < 1394723190 90997 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : bound by the inferred type for `e_101': < 1394723190 91094 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (GHC.Num.Num (a -> t), GHC.Num.Num a) => t < 1394723238 141757 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> (0 :: Integer -> Integer) 1 < 1394723238 586138 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:27:Can't disambiguate name: Data.HVect.::, Prelude.List.::, Data.Vect.Quantifiers.::, Prelude.Stream.::, Prelude.Vect.:: < 1394723239 470783 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 0 < 1394723317 379329 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :idris seems to have some sort of need to store each integer eight times. < 1394723324 622623 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :type annotations aren't going to work for this, Idris uses : and Haskell uses :: < 1394723354 38165 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> [] :: [] < 1394723354 370310 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't disambiguate name: Data.HVect.Nil, Prelude.List.Nil, Data.Vect.Quantifiers.Nil, Prelude.Vect.Nil < 1394723355 258515 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expecting one more argument to `[]' < 1394723365 727226 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> [] : [] < 1394723366 100724 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:4: error: expected: "$", < 1394723366 157698 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "$>", "&&", "&&&", "*", "***", < 1394723366 157864 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "+", "++", "-", "->", ".", "/", < 1394723366 157955 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "/=", ":+", "::", "<", "<$", < 1394723366 158086 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "<$>", "<*>", "<+>", "<->",14↵… < 1394723366 919631 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [[]] < 1394723370 18649 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Ping timeout: 268 seconds < 1394723375 46470 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> 0.0 < 1394723375 305838 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :040.0 : 12Float < 1394723376 232558 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 0.0 < 1394723393 819947 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> 0.0 6.6 < 1394723394 152495 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:5:040.0 does not have a function type (12Float) < 1394723394 930448 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Could not deduce (GHC.Real.Fractional (GHC.Types.Double -> t)) < 1394723395 41301 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from the ambiguity check for `e_10066' < 1394723395 98229 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : from the context (GHC.Real.Fractional (a -> t), < 1394723395 98384 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : GHC.Real.Fractional a) < 1394723395 98479 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : bound by the inferred type for `e_10066': < 1394723396 598102 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :sadly, neither seems to accept [] as the name of the type of an empty list < 1394723436 735117 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Surely that's () (up to isomorphism) < 1394723461 308891 :evalj!~jeval@51B6E3DC.dsl.pool.telekom.hu QUIT :Remote host closed the connection < 1394723513 83921 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :no, () is an empty tuple < 1394723518 994695 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> () :: () < 1394723519 328103 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't disambiguate name: Data.HVect.::, Prelude.List.::, Data.Vect.Quantifiers.::, Prelude.Stream.::, Prelude.Vect.:: < 1394723519 994481 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : () < 1394723522 824652 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> () : () < 1394723523 85447 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:4: error: expected: "$", < 1394723523 308692 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "$>", "&&", "&&&", "*", "***", < 1394723523 365923 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "+", "++", "-", "->", ".", "/", < 1394723523 366099 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "/=", ":+", "::", "<", "<$", < 1394723523 366195 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "<$>", "<*>", "<+>", "<->",14↵… < 1394723523 885529 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match expected type `[()]' with actual type `()' < 1394723531 634969 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and ::/: care about lists < 1394723545 830326 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although Idris has like five different sorts of lists and idris-ircslave seems unable to distinguish between them < 1394723547 924694 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> [1, 2, 3] < 1394723548 404632 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't disambiguate name: Data.HVect.::, Prelude.List.::, Data.Vect.Quantifiers.::, Prelude.Stream.::, Prelude.Vect.:: < 1394723548 960194 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [1,2,3] < 1394723678 429811 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Advanced dependently typed language, cutting edge PLT, compiles to javascript, but appears unable to get syntax scoping right < 1394723688 705562 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I have reservations < 1394723903 672884 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Jafet: This is what you get when you overload and leave off a top-level type signature. < 1394723929 245152 :yorick!~yorick@oftn/member/yorick QUIT :Ping timeout: 240 seconds < 1394723935 641555 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yeah, it's basically a case of an ambiguous overload < 1394723944 263924 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :[,] just desugars to :: and Nil. < 1394723950 138273 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :> :t Nil < 1394723950 471066 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04Data.HVect.Nil : 12HVect 04[] < 1394723950 581201 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04Prelude.List.Nil : 12List 13a < 1394723950 637665 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04Data.Vect.Quantifiers.Nil : 12All 13P 04[] < 1394723950 637815 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04Prelude.Vect.Nil : 12Vect 040 13a < 1394723951 136600 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input `:' < 1394723955 843873 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :> :t (::) < 1394723956 65910 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04Data.HVect.:: : 13t -> (12HVect 13ts) -> 12HVect (13t 04:: 13ts) < 1394723956 178200 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04Prelude.List.:: : 13a -> (12List 13a) -> 12List 13a < 1394723956 235208 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04Data.Vect.Quantifiers.:: : (13P 13x) -> (12All 13P 13xs) -> 12All 13P (13x 04:: 13xs) < 1394723956 235358 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04Prelude.Stream.:: : 13a -> (12Lazy (12Stream 13a)) -> 12Stream 13a < 1394723956 623850 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input `:' < 1394723958 62405 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04Prelude.Vect.:: : 13a -> (12Vect 13n 13a) -> 12Vect (04S 13n) 13a < 1394723974 140921 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :> with Vect [1,2,3] < 1394723974 512966 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04[04104, 04204, 04304] : 12Vect 043 12Integer < 1394723975 174946 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: `with'Not in scope: data constructor `Vect' < 1394723999 737273 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :< ais523> I like Idris's error messages, not because they're useful, but because they hint at insane internal implementation details – On that note: < 1394724037 745294 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :> S (| "foo", Z, True |) < 1394724038 84364 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :041 : 12Nat < 1394724038 641195 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:4: parse error on input `|' < 1394724049 92833 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :So [1,2,3] is handled by normal syntax rules? < 1394724070 248572 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :No, [,] is built-in sugar. < 1394724073 569049 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I haven't figured out what (| |) does yet, is it basically "out of these values, choose the one that has the correct type"? < 1394724080 445269 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :ais523: Yes, just that. < 1394724089 906763 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :OK, then I have figured it out :-) < 1394724096 804997 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> (| 1, 2 |) < 1394724097 732714 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:2: parse error on input `|' < 1394724098 400299 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :041 : 12Integer < 1394724106 212189 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, "any one that has the correct type" < 1394724108 751986 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :The first one, note. < 1394724134 837185 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> fix < 1394724135 58301 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:1:No such variable fix < 1394724135 723860 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1394724135 834632 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (Data.Typeable.Internal.Typeable a0) < 1394724136 55637 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of `M299318430146378453612262.show_M2993184301463784536... < 1394724136 112816 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : The type variable `a0' is ambiguous < 1394724136 112953 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Possible fix: add a type signature that fixes these type variable(s) < 1394724136 113044 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Note: there are several potential instances: < 1394724150 803811 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@morale < 1394724178 111915 :Slereahphone!~slereahph@80.10.159.144 QUIT :Remote host closed the connection < 1394724197 291509 :Slereahphone!~slereahph@80.10.159.144 JOIN :#esoteric < 1394724198 697665 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :> [True, S Z, "foo"] < 1394724199 31790 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04[04True04, 04104, 04"foo"04] : 12HVect 04[12Bool04, 12Nat04, 12String04] < 1394724199 587948 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: data constructor `S'Not in scope: data constructor `Z' < 1394724231 832242 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Melvar: I'm reading the tutorial: is there any easy way to desugar a proof back into a program? < 1394724279 602298 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1394724320 913281 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :I don’t think so. < 1394724343 440774 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, that's disappointing < 1394724368 323238 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :I mean, it generates a term internally, but I don’t know of any way to get it out. < 1394724369 210293 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`addquote you win this round. your prize is hosting the wiki I don't like this game show. < 1394724371 216902 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1176) you win this round. your prize is hosting the wiki I don't like this game show. < 1394724395 666458 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yeah, it's obviously doing that internally, a way to dump the desugared form into the program seems pretty useful < 1394724546 774508 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :What is a proof, just a term of a given type? < 1394724559 750845 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :ais523: That’s not really just “desugared”, it’s “delaborated”. < 1394724566 816985 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Melvar: err, right < 1394724583 760547 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Idris has a "proof { trivial; }" syntax < 1394724587 518186 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> proof { trivial; } < 1394724587 850352 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't infer type for {x104} < 1394724588 628843 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:16: parse error on input `;' < 1394724604 702908 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that desugars into a term of a given type < 1394724627 261207 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> proof { trivial; } : (Bool -> Bool) < 1394724627 631510 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:20: error: expected: "$", < 1394724627 688531 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "$>", "&&", "&&&", "*", "***", < 1394724627 688671 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "+", "++", "-", "->", ".", "/", < 1394724627 688760 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "/=", ":+", "::", "<", "<$", < 1394724627 688847 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "<$>", "<*>", "<+>", "<->",14↵… < 1394724628 78152 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:16: parse error on input `;' < 1394724633 234481 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, not like that though < 1394724640 960577 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :ais523: No type annotation syntax. < 1394724658 610209 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Just the. < 1394724666 940702 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I assumed : was type annotation, but it's type /declaration/? < 1394724667 163190 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`unidecode ↵ < 1394724667 941582 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+21B5 DOWNWARDS ARROW WITH CORNER LEFTWARDS] < 1394724670 975688 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's probably workaroundable < 1394724681 730399 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :> :t the < 1394724682 64257 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Basics.the : (13a : 12Type) -> 13a -> 13a < 1394724682 878356 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input `:' < 1394724690 824727 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :↑ That’s what you usually use. < 1394724697 460398 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah, and the workaround's already been written < 1394724712 726228 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> the (Bool->Bool) (proof {trivial;}) < 1394724713 59642 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't unify < 1394724713 199574 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 12Bool 12= 12Bool < 1394724713 257040 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :with < 1394724713 257170 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 12Bool -> 12Bool < 1394724713 257260 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Specifically:14↵… < 1394724713 763944 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:33: parse error on input `;' < 1394724726 260661 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh ofc < 1394724730 661361 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :trivial only proves things equal to each other < 1394724739 128328 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> the (1=1) (proof {trivial;}) < 1394724739 503845 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't unify < 1394724739 615614 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 09fromInteger 041 12= 09fromInteger 041 < 1394724739 672849 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :with < 1394724739 672983 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 09fromInteger 041 12= 09fromInteger 041 < 1394724739 673071 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Specifically:14↵… < 1394724740 364551 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:7: parse error on input `=' < 1394724754 70925 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :bleh, I should have realised that would happen < 1394724759 911882 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and did, but not before I stopped pressing return < 1394724764 911906 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> the (Z=Z) (proof {trivial;}) < 1394724765 245912 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :INTERNAL ERROR: Nothing to fill in. < 1394724765 302185 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :This is probably a bug, or a missing error message. < 1394724765 302337 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Please consider reporting at https://github.com/idris-lang/Idris-dev/issues < 1394724765 912369 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:7: parse error on input `=' < 1394724771 796008 :Slereahphone!~slereahph@80.10.159.144 QUIT :Read error: Connection reset by peer < 1394724775 945593 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :OK, /that/ should have worked :-) < 1394724787 864073 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :> the (Fin 3) 1 < 1394724788 308183 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04fS 04fZ : 12Fin 043 < 1394724788 956989 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: `the'Not in scope: data constructor `Fin' < 1394724789 67051 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant `Fini' (imported from Lambdabot.Plugin.Haskell.Eval.Trusted) < 1394724797 118811 :Slereahphone!~slereahph@80.10.159.144 JOIN :#esoteric < 1394724808 399170 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> refl < 1394724808 733134 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):0:0:Incomplete term 04refl < 1394724809 438903 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: `refl' < 1394724823 619812 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> refl : 1 = 1 < 1394724823 954682 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:6: error: expected: "$", < 1394724824 45522 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "$>", "&&", "&&&", "*", "***", < 1394724824 102778 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "+", "++", "-", "->", ".", "/", < 1394724824 102937 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "/=", ":+", "::", "<", "<$", < 1394724824 103094 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "<$>", "<*>", "<+>", "<->",14↵… < 1394724824 516615 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:10: parse error on input `=' < 1394724830 388021 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1394724834 425352 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> the (1=1) refl < 1394724834 535825 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> the (1=1) refl < 1394724834 759222 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04refl : 041 12= 041 < 1394724834 869755 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04refl : 041 12= 041 < 1394724835 313164 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:7: parse error on input `=' < 1394724835 423964 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : can't find file: L.hs < 1394724838 394962 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :snap < 1394724846 174381 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :this idris-ircslave/lambdabot spam is just horrible < 1394724866 604207 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yeah, but we can't exactly move the bots into another channel, unless they have autorejoin set < 1394724876 881028 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :we could possibly persuade idris-ircslave to change prefix? < 1394724894 400082 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, lamabdabot has a race condiiton < 1394724925 46625 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :labmobdat < 1394724946 212026 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but yeah, "the (Z=Z) (proof {trivial;})" should be a synonym for "the (Z=Z) (refl)" < 1394724953 193745 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Hmm, the guys in #idris are used to using > for it. < 1394724969 180060 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because proof {trivial;} attempts to use refl if possible < 1394724985 560820 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yeah, we need some sort of bot namespacing by channel < 1394725007 727593 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Melvar: per-channel configuration not easy? < 1394725023 258804 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :idris-ircslave: > 123 < 1394725027 629080 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is there any way to address it directly? < 1394725027 851179 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Currently, there is no configuration at all. < 1394725036 651651 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well, okay, per-channel prefix :) < 1394725036 874720 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Only by /msg . < 1394725061 682491 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm. < 1394725074 386234 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess there is no way to do it without batching one bot, even with my lambdabot admin access < 1394725103 105430 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Let me just do a few things, and then add a prefix so we can at least work around it. < 1394725112 584041 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@eval 1+1 < 1394725117 897983 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm < 1394725121 196393 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :@run 1+1 < 1394725122 274009 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 2 < 1394725124 523759 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there we go < 1394725132 36039 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so at least lambdabot has an alternative prefix < 1394725142 303342 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess we could always use the thutubot workaround < 1394725183 781297 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(in case you don't know what happened: thutubot's written in Thutu, a pretty primitive language; thutubot has an Underload evaluator written in Thutu, so I added a Haskell impl as a joke, which worked via PMing lambdabot) < 1394725308 547493 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :So what’s free? < 1394725315 537800 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 1 : Integer < 1394725315 866160 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:3: error: expected: "$", < 1394725315 974994 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "$>", "&&", "&&&", "*", "***", < 1394725316 31182 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "+", "++", "-", "->", ".", "/", < 1394725316 31336 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "/=", ":+", "::", "<", "<$", < 1394725316 31428 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "<$>", "<*>", "<+>", "<->",14↵… < 1394725316 558640 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: data constructor `Integer' < 1394725323 462827 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hmph, indeed no annotation < 1394725391 221182 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [] :: [[()]] < 1394725391 767415 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't disambiguate name: Data.HVect.Nil, Prelude.List.Nil, Data.Vect.Quantifiers.Nil, Prelude.Vect.Nil < 1394725392 135026 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [] < 1394725401 66954 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bah < 1394725411 980818 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`bot < 1394725412 680989 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bot: not found < 1394725416 5127 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :^bot < 1394725421 821536 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :^fungot < 1394725430 56664 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what are you trying to do. < 1394725440 48113 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@bot < 1394725440 266876 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric ::) < 1394725447 278790 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Hmm, that must be the only "fungot" line that fungot does not reply to. < 1394725447 390306 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Jafet: i get to go. surrender, and we all know things i would be as another sword arm this deadly but well-hidden booby trap, goblin friend, and she won't give that stern paladin look to my eviscerated remains of a dragon are indistinguishable from the real belkar and i are a bit too. < 1394725464 558387 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :^prefixes < 1394725464 615293 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, jconn ) , blsqbot ! < 1394725498 160859 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Melvar: i _greatly_ recommend ( hth < 1394725508 898833 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :# perhaps? < 1394725513 546376 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :I SAID ( < 1394725520 932706 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Fine, fine. < 1394725525 490291 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yay! < 1394725561 227138 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yeah, it make sense to make it the opposite of jconn, really < 1394725572 956678 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: there's another reason too < 1394725573 979133 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the sad part is we didn't come up with an interesting Idris/Haskell polyglot before the fix < 1394725581 235084 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: go on < 1394725606 936751 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it will make me _finally_ be able to use ^ul instead of ^bf for fungot's ^prefixes command :P < 1394725607 45668 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: my master as the new lord. everyone in this room is now eyeing you illusory belkar and i are a bit, and if the big boot goes my way! where are you, haley, that thing almost ate me too! < 1394725622 290 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: haha, I was wondering if it was something to do with balancing parens < 1394725631 935842 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also we should have > listed in ^prefixes < 1394725632 483440 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :ais523: It’s still going to accept > because #idris knows it that way. < 1394725643 335180 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes, that makes sense < 1394725647 155707 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it shouldn't be changed for #idris < 1394725658 660537 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :except, maybe, if you feel the need to invite lambdabot in over there to evaluate some Haskell < 1394725684 70832 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :@hoogle asum < 1394725684 507973 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Data.Foldable asum :: (Foldable t, Alternative f) => t (f a) -> f a < 1394725698 268100 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Melvar: can't it just ignore > in #esoteric? < 1394725826 504119 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :elliott_: It could, but I’m quite uncomfortable with hardcoding that in. < 1394725850 830913 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :really IRC needs some sort of properly namespaced bot framework, where channels can configure bot prefixes themselves < 1394725853 138353 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hardcore it listening to > in #idris? :) < 1394725876 347286 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or maybe some sort of complex ban, where you can prevent specific users seeing lines that match specific regexes < 1394725910 501300 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that'd also let you do things like [no-glogbot-log] or whatever it was, opside < 1394725931 798236 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: it's called "bot: command" < 1394725943 587374 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's just convention < 1394725947 201417 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no it's an extremely advanced namespace framework < 1394725958 533832 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net QUIT :Quit: Terminated < 1394725959 814201 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and not a particularly widely used convention either < 1394725973 605927 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :EgoBot: c printf "Hello, world!" < 1394725975 109939 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net JOIN :#esoteric < 1394725980 349541 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :see what I mean? < 1394725985 398732 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fungot: ul (test)S < 1394725985 507686 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :ais523: so, " shojo brain big," what's next?" heh, " fatty" last? < 1394725997 192842 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: and your properly namespaced bot framework would be widely-used? < 1394726003 148167 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that is not the program I asked you to run, young bot! < 1394726005 144823 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :one more bot uses my scheme than uses yours in here < 1394726013 324024 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott_: no, I meant as part of the ircd < 1394726022 633029 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :like, getting the ircd to translate bot prefixes on the fly < 1394726026 270452 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :according to rules set up per-channel < 1394726042 17647 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then every bot uses it automatically < 1394726046 801676 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :lambdabot: @run "You can do it, right?" < 1394726047 865012 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "You can do it, right?" < 1394726069 406499 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@botsnack < 1394726069 551946 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric ::) < 1394726149 99631 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( Z < 1394726149 468207 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :040 : 12Nat < 1394726152 793567 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :> True < 1394726153 198063 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04True : 12Bool < 1394726153 747191 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : True < 1394726173 611938 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :I believe that will do for now. < 1394726202 395055 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess @run still exists. < 1394726307 110871 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :What about bot suffixes \o/ < 1394726307 548191 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69                        | < 1394726307 656937 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69                        |\ < 1394726346 366551 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1394726498 965931 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^prefixes < 1394726499 58898 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, jconn ) , blsqbot ! < 1394726534 956442 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net QUIT :Quit: Terminated < 1394726549 702194 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^def prefixes ul (Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-ircslave ( , jconn ) , blsqbot !)S < 1394726549 796022 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Defined. < 1394726551 413997 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net JOIN :#esoteric < 1394726553 588998 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^prefixes < 1394726553 698090 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-ircslave ( , jconn ) , blsqbot ! < 1394726578 428300 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :idris-ircslave: Z < 1394726578 540501 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :040 : 12Nat < 1394726600 536151 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run sed -i 's/, jconn/, idris-ircslave ( , jconn/' bin/prefixes < 1394726602 601766 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1394726606 825908 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`prefixes < 1394726607 539942 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-ircslave ( , jconn ) , blsqbot ! < 1394726611 276708 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 264 seconds < 1394726623 580407 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!show prefixes < 1394726624 556679 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :sh echo 'Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, jconn ) , blsqbot !' < 1394726635 18570 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!help < 1394726635 344139 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​help: General commands: !help, !info, !bf_txtgen. See also !help languages, !help userinterps. You can get help on some commands by typing !help . < 1394726645 730296 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!deluserinterp prefixes < 1394726660 351568 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!help userinterps < 1394726660 462343 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​userinterps: Users can add interpreters written in any of the languages in !help languages. See !help addinterp, delinterp, show | !userinterps. List interpreters added with !addinterp. < 1394726666 294717 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!delinterp prefixes < 1394726666 661102 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter prefixes deleted. < 1394726697 876067 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!addinterp prefixes sh echo 'Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-ircslave ( , jconn ) , blsqbot !' < 1394726697 984187 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: if the power, as duly noted. i've been up on the mountain < 1394726698 311434 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter prefixes installed. < 1394726706 19833 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!prefixes < 1394726708 723712 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-ircslave ( , jconn ) , blsqbot ! < 1394726718 56882 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :AT LAST < 1394726929 222815 :spiette!~spiette@2607:fad8:4:6:a288:b4ff:fe60:a3b0 QUIT :Ping timeout: 240 seconds < 1394726929 656841 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :oerjan: Also did you see I added “idris-ircslave: ” as a prefix for it? < 1394726960 401952 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :On that note, has anyone asked about the name yet? < 1394726985 894879 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I, RC slave. < 1394727057 316351 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :The reasoning was that it uses “idris --ideslave”, but connects it to IRC rather than an IDE. < 1394727083 939759 :Slereahphone!~slereahph@80.10.159.144 QUIT :Quit: Colloquy for iPhone - http://colloquy.mobi < 1394727386 677848 :AnotherTest!~turingcom@94-224-16-52.access.telenet.be JOIN :#esoteric < 1394727389 432364 :Slereahphone!~slereahph@80.10.159.144 JOIN :#esoteric < 1394727456 55949 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Melvar: it didn't need explanation. all bots are slaves. < 1394727569 983858 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(I’m actually fairly sure someone once complained about the “slave” in the name.) < 1394727610 822376 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :(botsnack < 1394727632 853266 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it's actually more of a slave than most bots: you can't even feed it < 1394727871 495128 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :I’m probably going to have to turn it into a proper bot with commands and matchers and stuff some time … < 1394727907 658335 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :And ( just works like > ; it will only interpret, it does nothing else. < 1394727942 380665 :spiette!~spiette@mtl.savoirfairelinux.net JOIN :#esoteric < 1394727972 228064 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :then define a botsnack operator < 1394728510 912888 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1394728525 301802 :MoALTz!~no@user-46-113-90-183.play-internet.pl JOIN :#esoteric < 1394729943 393378 :nisstyre_!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1394730115 353522 :MoALTz!~no@user-46-113-90-183.play-internet.pl QUIT :Quit: Leaving < 1394730956 815979 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@botsnack idris-ircslave ... I wonder if I should implement that. < 1394730957 23936 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric ::) < 1394731010 98998 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :how would lambdabot give snacks to other bots? < 1394731087 608160 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :
ACTION feeds idris-ircslave a sandwich.
< 1394731093 158212 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :something like that ;) < 1394731176 967730 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(you can get creative when it comes to food. it could be an OSI sandwich, for example. < 1394731179 957118 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :) < 1394731219 225111 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :
ACTION composes a good botsnack response for idris-ircslave. Not going to put it in just now, though.
< 1394731230 342793 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Help! I"m stuck between OSI layers 2 and 3!) < 1394731438 252182 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1394732484 551802 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :fsbot uses `,' ? < 1394733317 9486 :yorick_!~yorick@oftn/member/yorick JOIN :#esoteric < 1394733337 470688 :yorick!~yorick@oftn/member/yorick QUIT :Excess Flood < 1394733519 451488 :yorick_!~yorick@oftn/member/yorick NICK :yorick < 1394734947 656162 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :idris-ircslave: help < 1394734947 758868 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:1:No such variable help < 1394734955 724617 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I guess that's eval too < 1394735128 94372 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1394735279 236540 :nisstyre_!~yourstrul@oftn/member/Nisstyre QUIT :Quit: WeeChat 0.4.3 < 1394735344 113808 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Yes, it is. < 1394735488 907382 :c031n6!6adc1fbd@gateway/web/freenode/ip.106.220.31.189 JOIN :#esoteric < 1394735540 193841 :tertu!~quassel@143.44.65.14 JOIN :#esoteric < 1394735599 323219 :c031n6!6adc1fbd@gateway/web/freenode/ip.106.220.31.189 PRIVMSG #esoteric :i want to join a esoteric language community......can anyone help ? < 1394735653 260655 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :You kind of just did < 1394735663 674841 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I mean, this channel is some sort of esoterig language community < 1394735673 651465 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`relcome c031n6 < 1394735674 836447 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​06c031n6: 13Welcome 04to 07the 08international 09hub 02for 06esoteric 13programming 04language 07design 08and 09deployment! 02For 06more 13information, 04check 07out 08our 09wiki: 02. 06(For 13the 04other 07kind 08of 09esoterica, 02try 06#esoteric 13on 04irc.dal.net.) < 1394735725 101941 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Programming language, though. Not just language in general. < 1394735738 109252 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think this /is/ the main community, but it spends a lot of time offtopic < 1394735740 567866 :c031n6!6adc1fbd@gateway/web/freenode/ip.106.220.31.189 PRIVMSG #esoteric :i know that < 1394735743 977417 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the other esolang communities I know of have all died < 1394735755 323958 :password2!~password@197.78.153.55 JOIN :#esoteric < 1394735771 491451 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com PRIVMSG #esoteric :c031n6: what do you mean "join" < 1394735791 14358 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523: There was an esolang mailing list message just the other day, in 2012. < 1394735811 593710 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :2012 is "just the other day"? < 1394735821 729113 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also I'm pretty sure someone posted on alt.lang.intercal some time in the last several years < 1394735822 695802 :c031n6!6adc1fbd@gateway/web/freenode/ip.106.220.31.189 PRIVMSG #esoteric :anyone here to help me out developing a esoteric lang which would give me an edge in developing a much proper prog'g lang pls < 1394735845 678524 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, you want to practice on esolangs in order to move onto more serious compiling? that makes a lot of sense < 1394735847 49342 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :this isn't an esolang development "help" channel i think < 1394735852 86584 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :quintopia: yes it is < 1394735856 828264 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :just it hasn't been used for that in years < 1394735860 768092 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh okay < 1394735863 741973 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :due to low demand < 1394735867 999555 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :righto < 1394735870 469448 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it used to be used like that all the time, though < 1394735886 737019 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :c031n6: I'd suggest trying to create something with a proper type system of some sot < 1394735888 173390 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*sort < 1394735902 420281 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :most serious compiled languages need to be able to handle that < 1394735911 214656 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and even interpreted languages tend to be horribly slow without it < 1394735923 885373 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com PRIVMSG #esoteric :c031n6: i dont think esolangs are a good stepping stone to a proper language < 1394735952 927570 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :augur: I'm not certain < 1394735962 897020 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :much of the initial work I did on Anarchy ended up relevant to my PhD < 1394735975 736270 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and the compiler development practice definitely helped < 1394735997 457575 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :like, knowing how to write a parser (even if it's just via yacc) is really helpful, and the general ideas of AST traversal < 1394736007 161591 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :now, you can write interps/compilers for many esolangs without worrying about that stuff < 1394736024 962942 :c031n6!6adc1fbd@gateway/web/freenode/ip.106.220.31.189 PRIVMSG #esoteric :thnx and a more easier way to master writing compilers than following books ? < 1394736040 54929 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but, you can work on something that needs it < 1394736058 865992 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :c031n6: I'd say working on optimizers (within an existing compiler) can be good practice for writing compilers < 1394736072 760066 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it forces you to think in the right sort of way, working out how much information you can track about the program < 1394736081 837036 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and if there's an existing compiler, much of the work has been done for oyu < 1394736085 815947 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*you < 1394736107 110875 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :also building code generators < 1394736121 609692 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so long as it's more complex than a textual substitution BF compiler < 1394736128 908853 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :which is a sort of compiler where you decide the source language on the fly < 1394736132 270145 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, what are good esolangs to start with when writing compilers < 1394736147 953093 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Underload, perhaps; that's moderately difficult to compile < 1394736148 92729 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :perl < 1394736156 490362 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :quintopia: I mean compiling from < 1394736161 557677 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yes < 1394736163 640143 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so do i' < 1394736167 405048 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's theoretically impossible to compile Perl via any method than bundling an interp < 1394736174 907714 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also it's a very large language < 1394736180 222168 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*any method other than < 1394736181 430685 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yes < 1394736188 772469 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :very good practice at compiler building there < 1394736204 451803 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :quintopia: practice normally implies being easier than the real thing < 1394736227 310704 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but just by being here we've proved we're not normal < 1394736288 839637 :c031n6!6adc1fbd@gateway/web/freenode/ip.106.220.31.189 QUIT :Ping timeout: 245 seconds < 1394736293 907270 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :gah, I hate this, an opportunity for the channel to be ontopic, and you're basically just acting like you'd prefer it to be offtopic < 1394736333 487268 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :sometimes I really wonder why I stay here < 1394736559 57722 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :sorry i'm not srs enough. but i do like the channel the way it usually is. < 1394736575 705867 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yeah but I don't < 1394736580 287139 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's basically just a social channel < 1394736600 466059 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :like, a few years back < 1394736605 888097 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you'd have conversations about Befunge that lasted /weeks/ < 1394736858 301573 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I just realized that the bfjoust fad seems to be over. < 1394736908 896110 :erdic!erdic@unaffiliated/motley JOIN :#esoteric < 1394736955 592453 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :int-e: it's not fully over, but it's definitely slowed < 1394736966 577026 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I got frustrated by preparation beating every program and still not getting #1 on the hill < 1394736986 145860 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so gave it a break for a while < 1394736994 174244 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if I can get it, or another program, to #1, then interest will spark up again < 1394736996 684673 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I've been really busy < 1394737143 292355 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :you stay here for those few lucid moments when things get interesting. you never know when they'll come < 1394737203 497663 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes < 1394737249 321535 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that sounds like life < 1394737298 642209 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :waiting for lucid moments? mmm < 1394737514 386119 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i get the feeling this place would be as boring as ##cs is most of the time were there a requirement to stay on topic < 1394737625 90913 :AnotherTest!~turingcom@94-224-16-52.access.telenet.be QUIT :Read error: Connection reset by peer < 1394738006 842277 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It certainly would give me less data to draw plots with. < 1394738020 427064 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric ::P < 1394738032 162794 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :you are quite to data wrangler < 1394738181 373807 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :we'd also have to ban fungot. < 1394738181 476816 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :int-e: so, the lives of any hobgoblins to their death on the mountain < 1394738262 334502 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fungot is ontopic, though < 1394738262 442777 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :ais523: the, uh, i just need to keep the theme going. a classic i like, and you may end. < 1394738265 840853 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :being written in an esolang < 1394738311 634411 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :fungot rarely says things that are on-topic < 1394738311 909085 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :quintopia: " i want, he could be the king here and there, that ought to be good. < 1394738378 337531 :evalj!~jeval@51B6E3DC.dsl.pool.telekom.hu JOIN :#esoteric < 1394738482 463321 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyone have a J/Idris polyglot handy? :-) < 1394738654 554512 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :now, that's an interesting idea < 1394738659 546262 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :automatic polyglot generator < 1394738675 937812 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although it'd probably exploit comment syntax differences, that's the normal way to make really large polyglots < 1394738707 285345 :password2!~password@197.78.153.55 QUIT :Ping timeout: 264 seconds < 1394738754 827524 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Somehow that sounds really familiar, but I can't find anything related. (Possibly I'm just thinking of some particular polyglot that had used some semi-automatic generation.) < 1394738762 301775 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :automatic ouroboros generators are probably easier < 1394738779 64807 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what's the largest comment-less polyglot extant? < 1394738799 121703 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, interesting question < 1394738807 851715 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :do you consider things like putting most of the program into a string literal as commenting? < 1394738815 768961 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :no that's fine < 1394738836 596792 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :seeing as how 90% of languages use the same syntax for strings... < 1394738860 873946 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :q< anything inside these angle brackets won't be seen by Perl... > < 1394738918 708997 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Awib is a polyglot, and a large(ish, relatively speaking) program, but very comment-based. < 1394738929 499528 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, I didn't realise awib was a polyglot < 1394738931 634167 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what's the other language? < 1394738947 734550 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :maybe I should just read it < 1394738970 247808 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's a brainfuck-C-bash-Tcl polyglot. < 1394739010 695761 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, awib's definition of esolangs is quite interesting < 1394739012 93056 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But all four parts are quite separate blocks, and use comment tricks for isolation. < 1394739039 356706 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"An esoteric programming language is a language not only ill-suited for serious software development, but actually designed with this characteristic in mind." < 1394739066 856870 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I would ask why, but I guess there isn't really a reason < 1394739082 537991 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :nor does there really have to be < 1394739086 984642 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(wrt the polyglotting, I mean) < 1394739162 992885 :lifthras1ir!~lifthrasi@115.68.131.49 QUIT :Ping timeout: 252 seconds < 1394739274 254803 :lifthrasiir!~lifthrasi@115.68.131.49 JOIN :#esoteric < 1394740244 444919 :erdic!erdic@unaffiliated/motley QUIT :Remote host closed the connection < 1394740276 927558 :erdic!erdic@unaffiliated/motley JOIN :#esoteric < 1394740865 225877 :AnotherTest!~turingcom@94-224-16-52.access.telenet.be JOIN :#esoteric < 1394740960 737850 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1394741497 237094 :x^2!~x^2@147.4.174.98 QUIT :Ping timeout: 240 seconds < 1394741681 151100 :x^2!~x^2@147.4.174.98 JOIN :#esoteric < 1394742495 855556 :shikhout!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1394742534 149644 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1394742563 912264 :variable!root@freebsd/developer/variable NICK :trout < 1394742667 378199 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1394742669 388028 :shikhout!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1394743437 64775 :glogbackup!~glogbacku@192.3.160.190 QUIT :Ping timeout: 264 seconds < 1394743738 833893 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net QUIT :Quit: Terminated < 1394743956 384810 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net JOIN :#esoteric < 1394744022 121964 :tertu!~quassel@143.44.65.14 QUIT :Ping timeout: 255 seconds < 1394744029 256939 :tertu!~quassel@143.44.65.14 JOIN :#esoteric < 1394744788 902300 :luserdroog!636c1b05@gateway/web/freenode/ip.99.108.27.5 QUIT :Ping timeout: 245 seconds < 1394746039 626864 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ais523: So that makes Haskell an esoteric programming language in spirit? ("Avoid success at all cost", of course ultimately it's a failure.) < 1394746081 707618 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I'm not sure what "serious" software development is. < 1394746088 378959 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :int-e: I thought the parens went around "success at all cost" < 1394746123 242722 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ais523: you could be right, I have not considered that possibility. < 1394746148 691966 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't think Haskell can really be an esolang just because it was a (successful in that respect!) attempt to unify all the independent attempts to create lazy pure functional languages that were springing up at the time < 1394746162 541126 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and, well, lazy functional languages were pretty eso once (just look at Unlambda) < 1394746178 476699 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but with enough persistence trying to make them work, they eventually did < 1394746206 766326 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :to make that perfectly clear, I do not consider Haskell to be an esoteric programming language. I'm just wondering whether the proposed definition stretches far enough to include it. < 1394746274 936142 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, my working definition of an esoteric language is "a language for which it there would be no point in trying to make an ecosystem of libraries" < 1394746279 602588 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it works quite well, apart from Funge-98 < 1394746337 464797 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's not that far of for Funge-98, since while there is an ecosystem of libraries, the point is debatable. (Though it certainly makes up a large part of the Funge-98 Experience, so maybe that counts.) < 1394746343 430677 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :s/of/off/ < 1394747236 399410 :Slereah_!~jackal@176.222.51.233 QUIT :Read error: Connection reset by peer < 1394747316 814072 :Sorella_!~queen@201.80.214.167 JOIN :#esoteric < 1394747349 167513 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1394747491 340094 :AnotherTest!~turingcom@94-224-16-52.access.telenet.be QUIT :Ping timeout: 264 seconds < 1394748554 690522 :oklopol!~oklopol@dyn60-339.yok.fi QUIT :Ping timeout: 252 seconds < 1394749599 381020 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1394750062 151122 :atslash!~atslash@broadband-46-188-0-82.2com.net QUIT :Quit: Leaving < 1394750224 128899 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : and, well, lazy functional languages were pretty eso once (just look at Unlambda) <-- unlambda isn't really lazy. even the d operator doesn't actually cache any result. < 1394750234 688304 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*d function < 1394750238 960685 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh right, I was confused < 1394750244 599299 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but you don't need caching to be lazy < 1394750258 200478 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes you do. < 1394750260 726488 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in fact, one of the largest reasons for laziness – that you can't store values of the type in question – prevents caching < 1394750301 877543 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if you're not caching the result then you are reevaluating it every time, which isn't a very lazy thing to do (and essentially call-by-name, although unlambda has no names) < 1394750347 793432 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that is, functionally laziness is an optimization of call-by-name < 1394750368 422793 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :aka call-by-need < 1394750375 813006 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, I treat call-by-name as lazy < 1394750387 705058 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :my definition of "lazy" is "function arguments might not be evaluated even if the function's result is used" < 1394750392 323922 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :hellørjan. ais523ello. < 1394750410 105771 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boillo < 1394750462 269007 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: the more general term is non-strict < 1394750488 947997 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that covers all the implementations with the same pure semantic result as laziness and call-by-name < 1394750513 48236 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :of course side effects mess things up < 1394750517 128446 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is there a difference between "lazy" and "call-by-need" with your definition? < 1394750525 910730 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not sure. < 1394750540 930648 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because if not, I think my definition's more useful < 1394750581 112140 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :lazy means call-by-need < 1394750584 631521 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :non-strict means non-strict < 1394750589 831042 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :call-by-name means call-by-name < 1394750603 362308 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :A means A < 1394750615 950346 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(A rand-om observation) < 1394750686 760412 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :
ACTION wonders what an om is, and why it is randing...
< 1394750726 648630 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott_: is that you agreeing with oerjan? < 1394750740 233329 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1394750744 451516 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't really like it because call-by-need is so semantically ugly < 1394750767 696135 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :even parallel call-by-need is better < 1394750768 67272 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's why laziness is an implementation detail < 1394750787 131648 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, there are definitely impure call-by-name languages < 1394751051 560464 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: an om is an objectivist mastermind hth < 1394751199 960855 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :oerjan: td partially h. I still haven't grasped all the nuances of objectivism. < 1394751255 80652 :vravn!~vravn@syn.rook.sx JOIN :#esoteric < 1394751259 418491 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :`relcome vravn < 1394751260 528675 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​08vravn: 09Welcome 02to 06the 13international 04hub 07for 08esoteric 09programming 02language 06design 13and 04deployment! 07For 08more 09information, 02check 06out 13our 04wiki: 07. 08(For 09the 02other 06kind 13of 04esoterica, 07try 08#esoteric 09on 02irc.dal.net.) < 1394751277 901045 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: i am quite suspecting that nobody has. < 1394751314 508465 :vravn!~vravn@syn.rook.sx PRIVMSG #esoteric :Thanks for the welcome < 1394751338 774415 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :oerjan: oh well. my main concern of the moment is a sudden panic caused by a lack of haskell in my recent life. < 1394751344 405422 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1394751472 994284 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ic < 1394751528 187539 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :I keep trying to functionalise the Java I produce during the day. < 1394751594 683429 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run fix$(0:).(<**>[id,xor 1]).tail < 1394751598 399984 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1394751607 810359 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm that didn't work well. < 1394751634 706167 :metasepia!~metasepia@96.127.201.149 JOIN :#esoteric < 1394751638 620819 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :~eval fix $ (0:) . (<**> [id, xor 1]) . tail < 1394751639 366993 :metasepia!~metasepia@96.127.201.149 PRIVMSG #esoteric :Error (127): < 1394751648 684212 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :oh, an error 127! < 1394751652 71300 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run fix$(0:).(<**>[id,xor 1]).tail < 1394751655 837075 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1394751656 619635 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :~eval fix $ (0:) . (<**> [id, xor 1]) . tail < 1394751656 726462 :metasepia!~metasepia@96.127.201.149 PRIVMSG #esoteric :Error (127): < 1394751666 238327 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t fix$(0:).(<**>[id,xor 1]).tail < 1394751667 128484 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Num a, Bits a) => [a] < 1394751679 173097 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :ah. of course an error 127. I'm not running the cuttle from the same machine as before... < 1394751681 738309 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait hm < 1394751692 178736 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run fix$(0:).tail.(<**>[id,xor 1]) < 1394751693 458327 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [0,1,1,0,1,0,0,1,1,0,0,1,0,1,1,0,1,0,0,1,0,1,1,0,0,1,1,0,1,0,0,1,1,0,0,1,0,1... < 1394751697 762315 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :silly mistake < 1394751718 350342 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :thue-morse? < 1394751730 665964 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but of-course < 1394751770 19827 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: are you telling me you _left_ a job where you could do haskell? surely you have no one but yourself to blame. < 1394751846 944255 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh dear did i break him < 1394751878 836165 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :I could do Haskell in my free time. now I can't. I drown my sorrows in games of Magic during lunchtime. < 1394751884 170797 :b_jonas!~x@russell2.math.bme.hu QUIT :Ping timeout: 246 seconds < 1394751914 370138 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :(also, having two friends move from Québec City over to Montréal) < 1394751931 828934 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait, is this due to lack of free time, or draconian work policies? < 1394751957 627920 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :complete lack of free time. besides, the new job is fun, challenging and interesting. < 1394751975 426935 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :YOU ARE MAKING NO SENSE HTH < 1394752041 102721 :vravn!~vravn@syn.rook.sx QUIT :Excess Flood < 1394752066 556083 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quith the vravn < 1394752154 565203 :vravn!~vravn@syn.rook.sx JOIN :#esoteric < 1394752220 918371 :nooodl!~nooodl@91.177.69.110 QUIT :Quit: Ik ga weg < 1394752317 205685 :metasepia!~metasepia@96.127.201.149 QUIT :Remote host closed the connection < 1394752317 423136 :boily!~boily@96.127.201.149 QUIT :Read error: Connection reset by peer < 1394752361 973294 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1394752386 237282 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :as I was saying before I realized I was horrendously lagging... < 1394752396 547525 :boily!~boily@96.127.201.149 PRIVMSG #esoteric : YOU ARE MAKING NO SENSE HTH ← I KNOW TWNH < 1394752407 785519 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :`rot13 vravn < 1394752408 425800 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ienia < 1394752436 335407 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :vravn: YOU ARE REVEALED < 1394752441 185708 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no wtf is ienia < 1394752443 693102 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*now < 1394752466 988176 :metasepia!~metasepia@96.127.201.149 JOIN :#esoteric < 1394752475 428312 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :~duck ienia < 1394752477 447302 :metasepia!~metasepia@96.127.201.149 PRIVMSG #esoteric :--- No relevant information < 1394752482 509037 :Froox!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1394752487 328322 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :~duck vravn < 1394752488 294931 :metasepia!~metasepia@96.127.201.149 PRIVMSG #esoteric :--- No relevant information < 1394752498 692606 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ominous < 1394752511 583044 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :clearly someone is hiding something here < 1394752525 182875 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :ienia ienia cthulhu fhtagn? < 1394752538 265814 :jix!~jix@jixco.de QUIT :Ping timeout: 240 seconds < 1394752568 714617 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`rot13 oerjan < 1394752569 251941 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :brewna < 1394752636 797714 :jix!~jix@jixco.de JOIN :#esoteric < 1394752705 263144 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 240 seconds < 1394752714 543330 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok i admit i'm brewing on something. or trying to, anyway. < 1394752756 750095 :CADD_!uid21876@gateway/web/irccloud.com/x-edgrwodqtazhffel NICK :CADD < 1394752765 224442 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hmmmm < 1394752782 564586 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Anyone here built a physical approximation to a Turing machine < 1394752792 299738 :CADD!uid21876@gateway/web/irccloud.com/x-edgrwodqtazhffel NICK :Guest95255 < 1394752795 556281 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :And willing to share advice for someone wanting to do it?> < 1394752824 79072 :x^2!~x^2@147.4.174.98 QUIT :Ping timeout: 255 seconds < 1394752886 930803 :x^2!~x^2@147.4.174.98 JOIN :#esoteric < 1394752983 800654 :x^2!~x^2@147.4.174.98 QUIT :Client Quit < 1394753104 162484 :Slereahphone!~slereahph@80.10.159.144 QUIT :Quit: Colloquy for iPhone - http://colloquy.mobi < 1394753403 50688 :Guest95255!uid21876@gateway/web/irccloud.com/x-edgrwodqtazhffel NICK :CADD_ < 1394753539 48269 :Sellyme!~Sellyme@2605:4d00:0:2::7a QUIT :Excess Flood < 1394753603 206854 :b_jonas!~x@russell2.math.bme.hu JOIN :#esoteric < 1394753664 980124 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk JOIN :#esoteric < 1394753761 434169 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1394754069 310780 :jix_!~jix@jixco.de JOIN :#esoteric < 1394754198 432193 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk QUIT :Excess Flood < 1394754294 735063 :Sellyme!~Sellyme@irc.sellyme.com JOIN :#esoteric < 1394754309 79268 :ion!ion@heh.fi PRIVMSG #esoteric :http://i.imgur.com/ruxIrOf.jpg < 1394754337 658384 :jix!~jix@jixco.de QUIT :Write error: Broken pipe < 1394754412 444204 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ion, have you ever made an approximate Turing machine? < 1394754433 415438 :jix_!~jix@jixco.de QUIT :Ping timeout: 240 seconds < 1394754485 297281 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot, have you ever made an approximate Turing machine? < 1394754485 418622 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: a little too much to heart, really... i almost just got killed here, as instructed the orcs and told me what needed. is that true, vaarsuvius, you don't understand, i just need to keep that a secret! < 1394754499 448714 :jix!~jix@jixco.de JOIN :#esoteric < 1394754539 749539 :ion!ion@heh.fi PRIVMSG #esoteric :taneb: No. Also what fungot said. < 1394754539 804629 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :ion: wow, that is such a stupid magic item that can allow any bandit that defeated < 1394754614 359544 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Some of my friends at uni and I are going to try < 1394754627 736680 :ion!ion@heh.fi PRIVMSG #esoteric :neat < 1394754764 288193 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Anyway I'm going to sleep now < 1394755109 125528 :vravn!~vravn@syn.rook.sx QUIT :Excess Flood