< 1392595264 878941 :CADD!~CADD@12.227.104.109 JOIN :#esoteric < 1392595266 885153 :CADD!~CADD@12.227.104.109 QUIT :Client Quit < 1392595436 160628 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Even if I can represent most interesing things with getter+modifier, it may actually be _easier_ for end-users to define a van Laarhoven style lens < 1392595438 498084 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric ::/ < 1392595553 358918 :nooodl!~nooodl@91.177.110.60 PRIVMSG #esoteric :oerjan: elliott: i brute-force checked all brainfuck programs of length <= 10, and only two of them reverse input: ,[<,]>[.>] and ,[>,]<[.<] < 1392595566 724462 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :what a sensible thing to do < 1392595581 698332 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl: wait, really? < 1392595586 910683 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :did you actually do that < 1392595599 108923 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that first one is invalid if you disallow left tape underflow < 1392595601 445334 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :which is fairly standard < 1392595610 97855 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, both of them are wrong in that case < 1392595708 709395 :nooodl!~nooodl@91.177.110.60 PRIVMSG #esoteric :ignoring + and - you get only about 73 million programs, which isn't really a lot! and many of those are invalid (i.e. mismatched []) < 1392595775 329873 :nooodl!~nooodl@91.177.110.60 PRIVMSG #esoteric :here's my completely awful thing http://sprunge.us/jSJA < 1392595881 968463 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl: + and - could be used < 1392595885 906037 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :for loop conditiony stuff < 1392595896 625244 :nooodl!~nooodl@91.177.110.60 PRIVMSG #esoteric :this is kinda fun. here's a bunch of echo programs http://sprunge.us/bjVe < 1392595938 884161 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :does it check things in parallel? < 1392595959 983158 :nooodl!~nooodl@91.177.110.60 PRIVMSG #esoteric :nope it's really inefficient < 1392595980 561415 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess + and - would blow it up too much < 1392596097 144419 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :nooodl: you could also filter out programs containing NOPs (><, <>, -+, +-) < 1392596110 446570 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :since an equivalent shorter program would already have been tried < 1392596132 309406 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the solution is obvious, just run esotope on every input program to remove duplicates < 1392596179 70328 :nooodl!~nooodl@91.177.110.60 PRIVMSG #esoteric ::D < 1392596201 390245 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :actually that could even be viable < 1392596202 949641 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :if you reuse the IR < 1392596581 694411 :nooga_!~nooga@91.235.25.1 QUIT :Ping timeout: 248 seconds < 1392596845 231574 :nooodl!~nooodl@91.177.110.60 PRIVMSG #esoteric :here's all possible outputs for 5-character brainfuck programs http://sprunge.us/eXIL < 1392596900 331629 :nooodl!~nooodl@91.177.110.60 PRIVMSG #esoteric :wait this can't possibly handle things like ,[.,] or ,[.-] < 1392597258 756014 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :nooodl: Maybe that's all the possible finite outputs < 1392597287 549696 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Although ,[.-] would be finite < 1392597289 419576 :nooodl!~nooodl@91.177.110.60 PRIVMSG #esoteric :,[.-] is finite < 1392597289 951222 :nooodl!~nooodl@91.177.110.60 PRIVMSG #esoteric :yeah < 1392597582 784454 :pikhq_!~pikhq@2602:100:18b2:f790:a60:6eff:fece:493 PRIVMSG #esoteric :Except on EOF = -1 bignum implementations. :D < 1392597722 397786 :augur!~augur@50.246.68.190 QUIT :Remote host closed the connection < 1392597891 266534 :blotter!~blotter@184-157-11-33.dyn.centurytel.net QUIT :Ping timeout: 265 seconds < 1392598120 280366 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :nooodello < 1392598436 502251 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :bellotter < 1392598496 632761 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION might point out that mangling people's nicks probably doesn't nickping them, hth hth < 1392598510 976559 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...what just happened < 1392598524 953629 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :test < 1392598531 149194 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION tests hth < 1392598532 491917 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`coins < 1392598533 999586 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :flabillcoin sbtealpediumcoin andcoin cumcoin benerancecoin irculuscoin easedcoin xbtizedcoin skacoin alcacoin migolcoin unfustiglcoin zwissercoin rumcoin noobcoin philosoecoin thorecoin btfcoin inverundcoin 92.12coin < 1392598541 982245 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i sense a bug hth < 1392598558 6570 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :cumcoin < 1392598560 48898 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :skacoin < 1392598573 842295 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :There are unsafeCoerces in lens apparently :/ < 1392598589 644671 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i think shachaf knows all about that < 1392598617 849470 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: there are plans to change those to the new (safe) coerce eventually < 1392598622 454573 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :there is so much unsafe coercing in Servo :/ < 1392598628 812857 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :oerjan: what's the safe coerce < 1392598649 671867 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kmc: the one that has typeclass restriction to check that the types actually can be coerced < 1392598656 281008 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :ok < 1392598669 198632 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what are examples of pairs of types that "actually can be coerced" < 1392598703 159921 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I want to quote what someone said to me in #haskell-lens, but it's not publically logged as far as I can tell < 1392598704 866860 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :any newtype wrapping (with constructor visible), things that only differ in phantom types < 1392598725 304379 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :helloerjan. i don't want to ping people. i want to test if they are paying attention. < 1392598735 682704 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and "parametric" type constructors applied to those < 1392598740 343517 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :pinging people who are busy would be bothersome < 1392598759 402218 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(using the new role system) < 1392598777 741799 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net QUIT :Ping timeout: 272 seconds < 1392598850 528655 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: any progress on TCness of RePairate-2? you know you want to know for sure. < 1392598885 846729 :blotter!~blotter@184-157-11-33.dyn.centurytel.net JOIN :#esoteric < 1392598936 315011 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: oh, i sort of put that away after you started mumbling about _exactly_ 2 < 1392598947 996997 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because i have no idea how to do _that_ < 1392598989 707093 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but yes, i have a design sketch that i think should work for <= 2 < 1392599021 769422 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(in my head, mostly) < 1392599072 770231 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: well i want to see that. obviously, the exactly 2 thing would be super-cool, but I recognize it is a very difficult problem. m in {0,2} would be good enough for now. < 1392599098 752317 :nooodl!~nooodl@91.177.110.60 QUIT :Quit: Ik ga weg < 1392599280 388209 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: i don't think that's necessary < 1392599287 362137 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :in fact i've been < 1392599293 835118 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mostly arguing against the new coerce < 1392599298 707635 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: oh? < 1392599307 570010 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but only in places like irc that spj doesn't see, so it's not relevant one way or the other < 1392599320 202119 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well, ok, i have nothing against this safe coerce thing, it just isn't really relevant to lens < 1392599334 396914 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what is relevant to lens is a 5-line patch spj implemented over a year ago < 1392599342 730252 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh? < 1392599353 255500 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://ghc.haskell.org/trac/ghc/ticket/7542 < 1392599367 321898 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok, 10 line patch < 1392599415 406675 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The issue is that (foo . NewtypeConstructor) turns into (foo . id) post-denewtypification, and (foo . id) is (\x -> foo x), which isn't the same as foo < 1392599444 154502 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :why isn't it again < 1392599453 315204 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But that patch makes it so that strict composition is enough, because foo `seq` (\x -> foo x) should be equal to foo. < 1392599459 196114 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: seq can distinguish them. < 1392599467 686542 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> (undefined :: Int -> Int) `seq` () < 1392599470 418825 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : *Exception: Prelude.undefined < 1392599471 354301 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :oh foo can be bottom you mean < 1392599472 640993 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> ((\x -> undefined x) :: Int -> Int) `seq` () < 1392599473 970336 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : () < 1392599474 629632 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1392599477 111506 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yeah makes sense < 1392599527 676719 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So to show what the Core would look like if GHC did it correctly, I introduced composition operators that aren't composition at all but are actually unsafeCoerce. < 1392599540 517931 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And edwardk said "that's a good idea, let's put it in". < 1392599573 956338 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But anyway the point is that the whole thing can be fixed with the strict composition thing in GHC HEAD. < 1392599615 110468 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :However, partly as a result of this bug I filed, SPJ wrote https://ghc.haskell.org/trac/ghc/wiki/NewtypeWrappers < 1392599621 203721 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"See #7542 for a real life example." < 1392599652 908020 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :This newtype wrappers mechanism, and the various other things proposed to solve this issue, are far more complicated than the thing that actually fixes it. < 1392599690 684843 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, there was discussion on that ticket 6 days ago < 1392599747 932193 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe it's not quite that simple. < 1392599809 525996 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I'm still wholeheartedly on the side of fixing this via a compiler optimization of strict composition rather than all this complicated coercion business. < 1392599901 434603 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1392601550 783919 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net QUIT :Ping timeout: 264 seconds < 1392601595 912100 :blotter!~blotter@184-157-11-33.dyn.centurytel.net QUIT :Ping timeout: 260 seconds < 1392601743 969526 :prooftechnique!~NihilistD@c-174-63-103-117.hsd1.vt.comcast.net QUIT :Quit: Lost terminal < 1392602045 756311 :blotter!~blotter@184-157-11-33.dyn.centurytel.net JOIN :#esoteric < 1392602097 198890 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving < 1392602415 210072 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1392602798 959298 :yorick!~yorick@oftn/member/yorick QUIT :Read error: Connection reset by peer < 1392602858 331 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`unidecode .. < 1392602858 724482 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+002E FULL STOP] [U+002E FULL STOP] < 1392602923 414638 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :weird why does the wiki mark it as changed. < 1392605417 92656 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :oerjan, is HackEgo yours? < 1392605434 974549 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :`author < 1392605435 479411 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: author: not found < 1392605440 500013 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :lol < 1392605455 603379 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no it's Gregor's < 1392605741 808608 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Does the name cartesian-compose make sense for a function that composes functions, but, when one function in the chain returns multiple values, it maps the rest of the composition onto it, rather, than, say, providing the results as multiple arguments? < 1392605762 581629 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Still not sure if I can just use this cartesian-compose, or if I need to change what a getter can do < 1392605766 476606 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :`test < 1392605767 92985 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1392605821 168144 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :`test xa < 1392605821 787083 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1392605848 391339 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :`say xa < 1392605848 944126 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: say: not found < 1392605984 154881 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :`dmesg < 1392605984 744297 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Initializing cgroup subsys cpuset \ Initializing cgroup subsys cpu \ Initializing cgroup subsys cpuacct \ Linux version 3.13.0-umlbox (hackbot@codu) (gcc version 4.7.2 (Debian 4.7.2-5) ) #1 Wed Jan 29 12:56:45 UTC 2014 \ On node 0 totalpages: 73344 \ free_area_init_node: node 0, pgdat 60318390, node_mem_map 62c3a000 \ Normal zone: 1003 pages used < 1392605987 480703 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :aha < 1392605993 874317 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :`echo hi < 1392605994 383578 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hi < 1392606002 202755 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :`halt -p < 1392606002 725893 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: halt: not found < 1392606004 883885 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :lol < 1392606027 513600 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :`wget < 1392606028 170415 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wget: missing URL \ Usage: wget [OPTION]... [URL]... \ Try `wget --help' for more options. < 1392606067 801439 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :`whoami < 1392606068 474122 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :whoami: cannot find name for user ID 5000 < 1392606081 134599 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :`cat /etc/passwd < 1392606081 678553 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cat: /etc/passwd: No such file or directory < 1392606092 548749 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :`pwd < 1392606093 82604 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/hackenv < 1392606096 626205 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :`help < 1392606096 815020 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ < 1392606105 689755 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :`? help < 1392606106 299056 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :help? ¯\(°​_o)/¯ < 1392606108 759408 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :oh well. < 1392606113 817827 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :lol < 1392606118 176337 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :`ls . < 1392606118 831632 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :98076 \ bdsmreclist \ bin \ canary \ cat \ complaints \ :-D \ dog \ etc \ factor \ fb \ fb.c \ head \ hello \ hello.c \ ibin \ index.html \ interps \ lib \ paste \ pref \ prefs \ quines \ quotes \ share \ src \ test \ Test \ Test.hi \ Test.hs \ Test.o \ tmp \ UNPA \ wisdom \ wisdom.pdf < 1392606126 182584 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :`ls / < 1392606126 768663 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin \ dev \ etc \ hackenv \ home \ lib \ lib64 \ opt \ proc \ sbin \ sys \ tmp \ usr < 1392606135 929046 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :`ls /etc < 1392606136 522815 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :alternatives \ java-6-openjdk < 1392606160 545291 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :`rm < 1392606161 76562 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :rm: missing operand \ Try `rm --help' for more information. < 1392606167 384019 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :oh well, when all else fails... < 1392606167 651201 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :`du -sm ./:-D < 1392606168 280176 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :du: invalid option -- ' ' \ du: invalid option -- '.' \ du: invalid option -- '/' \ du: invalid option -- ':' \ du: invalid option -- '-' \ Try `du --help' for more information. < 1392606173 124757 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :`rm -rf / < 1392606173 722795 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :rm: invalid option -- ' ' \ Try `rm --help' for more information. < 1392606184 64176 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :`rm --help < 1392606184 626460 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Usage: rm [OPTION]... FILE... \ Remove (unlink) the FILE(s). \ \ -f, --force ignore nonexistent files, never prompt \ -i prompt before every removal \ -I prompt once before removing more than three files, or \ when removing recursively. Less intrusive than -i, \ < 1392606200 418926 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :`env < 1392606200 922677 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :TERM=linux \ http_proxy=http://127.0.0.1:3128 \ HACKENV=/hackenv \ PATH=/hackenv/bin:/opt/python27/bin:/opt/ghc/bin:/usr/bin:/bin \ PWD=/hackenv \ LANG=en_NZ.UTF-8 \ SHLVL=0 \ HOME=/tmp < 1392606214 793755 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :`ps -aux < 1392606215 403104 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :warning: bad ps syntax, perhaps a bogus '-'? \ See http://gitorious.org/procps/procps/blobs/master/Documentation/FAQ \ USER PID %CPU %MEM VSZ RSS TTY STAT START TIME COMMAND \ 0 1 0.0 0.1 1012 272 ? S 03:03 0:00 /init \ 0 2 0.0 0.0 0 0 ? S 03:03 0:00 [kthreadd] \ 0 < 1392606232 255346 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :did you expect a sensible display < 1392606248 172079 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :say what? < 1392606257 6631 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :`python -c "print 1" < 1392606257 776636 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ File "", line 1 \ "print 1" \ ^ \ IndentationError: unexpected indent < 1392606292 372542 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :`find . -type f < 1392606293 114608 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :find: `. -type f': No such file or directory < 1392606301 467526 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :`tee ./a < 1392606307 135795 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :`ps < 1392606314 124181 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :`echo hi < 1392606319 560915 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :lol, i think it worked < 1392606362 738672 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1392606363 675281 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ PID TTY TIME CMD \ 286 ? 00:00:00 init \ 288 ? 00:00:00 sh \ 290 ? 00:00:00 ps \ 291 ? 00:00:00 cat < 1392606364 794349 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hi < 1392606370 691137 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :ah, time out < 1392606391 287156 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :Gregor, you should add Suppose I have a.both.b < 1392609175 971696 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric : Will either a or b have the ability to look at or manipulate both values, or only each value one at a time? < 1392609211 631735 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t both < 1392609212 828466 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Applicative f => (a -> f b) -> (a, a) -> f (b, b) < 1392609234 460076 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm < 1392609272 67545 :Tasnout!~Taneb@runciman.hacksoc.org NICK :Taneb < 1392609286 478297 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :OK, I managed to write a C/shellscripts polyglot. < 1392609348 968560 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::t (a :: Lens' Int (Bool, Bool) . both . (b :: Lens' Bool Char) < 1392609349 822259 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Illegal symbol '.' in type < 1392609350 11069 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you intended -XRankNTypes or similar flag < 1392609350 11223 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : to enable explicit-forall syntax: forall . < 1392609364 82318 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::( < 1392609374 199630 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::t (a :: ALens' Int (Bool, Bool) . both . (b :: ALens' Bool Char) < 1392609374 967938 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Illegal symbol '.' in type < 1392609375 191871 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you intended -XRankNTypes or similar flag < 1392609375 380860 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : to enable explicit-forall syntax: forall . < 1392609380 56910 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::( :( < 1392609384 56990 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Missing parens < 1392609391 852750 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric ::t (a :: Lens' Int (Bool, Bool)) . both . (b :: Lens' Bool Char) < 1392609393 33598 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match expected type `((Bool, Bool) -> f (Bool, Bool)) < 1392609393 222553 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric ::t (a :: ALens' Int (Bool, Bool)) . both . (b :: ALens' Bool Char) < 1392609393 222701 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : -> Int -> f Int' < 1392609393 411466 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : with actual type `Expr' < 1392609394 198256 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type `Expr' < 1392609394 387186 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : with `((Bool, Bool) < 1392609395 127540 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : -> Control.Lens.Internal.Context.Pretext < 1392609399 51067 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :fuck ur type < 1392609417 638591 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I blame lambdabot < 1392609430 673656 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric ::t (afucklambdabot :: Lens' Int (Bool, Bool)) . both . (bfucklambdabot :: Lens' Bool Char) < 1392609431 772377 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Not in scope: `afucklambdabot' < 1392609431 961451 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Not in scope: `bfucklambdabot' < 1392609450 807195 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric ::t (undefined :: Lens' Int (Bool, Bool)) . both . (undefined :: Lens' Bool Char) < 1392609451 768391 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Applicative f => (Char -> f Char) -> Int -> f Int < 1392609454 448927 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :zzo38: is it a QUINE < 1392609458 599380 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::( < 1392609462 623234 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::) < 1392609472 148231 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :quintopia: No, it isn't. It doesn't even do the same thing in C as shellscripts. < 1392609477 513551 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I have no idea how to translate that into a lambda < 1392609495 29149 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :and by "lambda", I mean "answer to my question" < 1392609508 847851 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Concepts right next to each other, or something < 1392609516 62439 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :b can only look at one value at a time < 1392609521 769907 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :As far as b knows, there is only one value < 1392609523 487819 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :zzo38: make one that's a QUINE IN BOTH < 1392609530 386139 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :a deals with two values. < 1392609542 313641 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :quintopia: Maybe another time; this time I don't have such an intention. < 1392609543 169660 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Taneb: but not because of both, I'm guessing, but because it actually sees the pair? < 1392609551 842551 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i bet if it's possible to make a quine in both, then someone already has. < 1392609561 27840 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :oerjan: Yes, probably. < 1392609568 316375 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Sgeo, yes < 1392609583 187702 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :The first line is #define echo echo1( and then #define echo1(x) < 1392609613 929944 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: btw the trick to get types that way is to use implicit variables < 1392609619 269098 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :And then the actual shell scripts (terminated by exit), and thenn it undefines those two macros. < 1392609652 585821 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (?a :: Lens' Int (Bool, Bool)) . both . (?b :: Lens' Bool Char) < 1392609653 767630 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Could not deduce (?a::((Bool, Bool) -> f1 (Bool, Bool)) < 1392609653 956637 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : -> Int -> f1 Int) < 1392609653 956802 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of implicit parameter `?a' < 1392609661 631421 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :What it does is echo >/dev/null and then runs gcc. < 1392609667 745739 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well, it should have been. < 1392609681 217922 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :zzo38: does it compile itself? < 1392609685 604937 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :quintopia: Yes. < 1392609691 259598 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Great, so... all I need to do to be confident in my representation being satisfactory (once I start using cartesian-compose) is ... understand prisms < 1392609703 824384 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm maybe those have trouble with rank-N < 1392609705 400446 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, I thought I used ImplicitParams. I blame the fact that it's 4 am < 1392609719 275830 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Hmm, worse comes to worst, I could have prism be a subtype of lens, I think < 1392609762 696814 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Since my representation will support traversals just fine, it's just prisms may (or may not) be more than a traversal... just a traversal reversible into a getter... somehiw < 1392609787 700500 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Also need to understand folds, but I think those are just getters? < 1392609856 606285 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: prisms and lenses are not contained in each other either way < 1392609876 7331 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :What I'm calling a 'lens' is more fiexible than a lens < 1392609883 186676 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :I don't know if anyone else has written C/shellscripts polyglots at all; do you know of any such things? < 1392609883 375773 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :flexible < 1392609942 775635 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :please don't call it a lens thne < 1392609943 913107 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*then < 1392609985 425231 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric ::/ what should I call it < 1392610005 274411 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :a generalized lens < 1392610011 506919 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i love general < 1392610021 429672 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :zzo38: I wrote a C / shell / python / haskell / brainfuck / DOS .COM file polyglot < 1392610048 83203 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :zzo38: such a program won the 1986 IOCCC < 1392610050 527664 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :http://www.spinellis.gr/blog/20100112/ < 1392610059 305082 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :C/shell is pretty easy because of #if 0 and because shell doesn't do static syntax checking < 1392610076 879928 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :kmc: Yes, #if 0 or whatever < 1392610077 164769 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :kmc: what did it do < 1392610089 503113 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :quintopia: prints "Hello, $lang!" for each lang < 1392610112 731785 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :kmc: needs more brainfuck < 1392610143 359585 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :kmc: make the brainfuck part a quine < 1392610145 555084 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric ::P < 1392610147 396413 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it starts with a blank line < 1392610149 923630 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that's kind of annoying < 1392610152 907355 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it seems the polymath project to reduce the size of the known minimal gap between primes has got down to 270 < 1392610177 381322 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: maximal gap? < 1392610232 354776 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well it's a little confusing < 1392610255 814914 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's "for all N there exist primes >= N closer than this gap" < 1392610266 261471 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*+ distinct < 1392610321 246753 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :closer or equally close < 1392610371 262416 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :I have seen another one to check what programming language it is; but it was different, and also included both Plain TeX and LaTeX. < 1392610398 958289 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://michaelnielsen.org/polymath1/index.php?title=Bounded_gaps_between_primes < 1392611062 391987 :prooftechnique!~NihilistD@c-174-63-103-117.hsd1.vt.comcast.net JOIN :#esoteric < 1392611206 927957 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :My "lenses" might not match up with Haskell lenses, but they're still a pair of getter+modifier < 1392611358 759027 :password2!~password@197.78.166.95 JOIN :#esoteric < 1392611605 929058 :prooftechnique!~NihilistD@c-174-63-103-117.hsd1.vt.comcast.net QUIT :Quit: leaving < 1392612084 187671 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Am I a bad person for using λ in my source files? < 1392612224 745071 :prooftechnique!~NihilistD@c-174-63-103-117.hsd1.vt.comcast.net JOIN :#esoteric < 1392612323 61916 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Doesn't seem like sleep is happening < 1392612497 311183 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I strongly recommend ensuring that it happens at some point, otherwise it could happen forever < 1392612516 245124 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :hmm, that doesn't... quite mean what I intended it to < 1392612752 216274 :CADD!~CADD@12.227.104.109 JOIN :#esoteric < 1392612752 405058 :CADD!~CADD@12.227.104.109 QUIT :Client Quit < 1392613673 135939 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1392613765 592058 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric ::t both < 1392613766 544944 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Applicative f => (a -> f b) -> (a, a) -> f (b, b) < 1392613769 454277 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric ::t neither < 1392613770 516069 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: `neither' < 1392613770 704982 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant `either' (imported from Data.Either) < 1392613783 547580 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric ::t either < 1392613784 553854 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(a -> c) -> (b -> c) -> Either a b -> c < 1392613798 963435 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not very related < 1392613829 295933 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :yeah i see < 1392613850 141946 :blotter!~blotter@184-157-11-33.dyn.centurytel.net PRIVMSG #esoteric :this channel is a botfest ^_^ < 1392613880 498068 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`coins < 1392613881 918509 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :smuragrapcoin qualcoin optincoin chintcoin pointcoin gregxcoin cvocoin immicoin bluelcoin redcoin minisetercoin padabccoin alnecoin hq9+coin boationcoin preputecoin cobcoin zeicoin miindeltorcoin stucoin < 1392613902 240480 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :hq9+coin < 1392613916 583890 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo cocoin < 1392613956 372305 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Qualcoin, mined by chinese factory workers < 1392613965 650794 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t ignored < 1392613966 587152 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Applicative f => pafb -> s -> f s < 1392614001 330910 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think that may be the thing that corresponds most to "neither" in the sense that matches with "both" < 1392614036 600072 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sure. Or "none" in the sense that matches with "each". < 1392614086 909446 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^celebrate < 1392614087 98308 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :\o| c.c \o/ ಠ_ಠ \m/ \m/ \o_ c.c _o/ \m/ \m/ ಠ_ಠ \o/ c.c |o/ < 1392614087 584699 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69 | c.c.c |  ¯|¯⌠ `\o/´69   | c.c.c |   `\o/´69  ¯|¯⌠ | c.c.c | < 1392614087 773508 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69 >\ c.c  |\  >\|   |     |\ c.c /'\    |     >\| |\ c.c /| < 1392614088 188380 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69               (_|¯`\                 /´\ < 1392614088 377504 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69                    |_)             (_| |_) < 1392614097 168379 :jix_!~jix@jixco.de QUIT :Ping timeout: 252 seconds < 1392614102 972199 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :blotter: botfest you said? < 1392614108 208917 :ter2!~tertu@143.44.70.199 PRIVMSG #esoteric :`coins < 1392614109 587336 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :unbaccoin cogscoin yeartraccoin xnigmentacoin turdocicoin uustencoin hungcoin cronkeymacoin iluriencoin alcodaycoin zombcoin fulcoin noilogcoin theolanguinncoin opmecoin rydcoin vingintercoin matcoin ruberiggcoin cancoin < 1392614134 95778 :jix!~jix@jixco.de JOIN :#esoteric < 1392614150 843376 :blotter!~blotter@184-157-11-33.dyn.centurytel.net QUIT :Ping timeout: 264 seconds < 1392614256 699322 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :World of Padman seems to have generally 0 players online < 1392614257 529260 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric ::( < 1392614434 458926 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t united -- here's the other one i was trying to find < 1392614436 630475 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Functor f => (() -> f ()) -> a -> f a < 1392614452 68833 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :united :: Lens' a () < 1392614553 411561 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the following three exist: Lens' s (); Lens' Void a; Prism' s Void < 1392614563 569907 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but Prism' () a doesn't < 1392614590 433346 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shocking < 1392614647 938687 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :How important are the prism-specific features of prisms? < 1392614671 574964 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how important are the ocean-specific features of oceans? < 1392614736 626926 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: hm, that seems more reasonable to me now than it did back then < 1392615174 896092 :itsy!~digital_w@87.113.117.225 QUIT :Ping timeout: 265 seconds < 1392615425 303690 :blotter!~blotter@184-157-11-33.dyn.centurytel.net JOIN :#esoteric < 1392616054 939636 :prooftechnique!~NihilistD@c-174-63-103-117.hsd1.vt.comcast.net QUIT :Quit: leaving < 1392616271 539144 :luserdroog!636c1b05@gateway/web/freenode/ip.99.108.27.5 JOIN :#esoteric < 1392617031 127804 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Fnord! < 1392618322 111487 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1392618345 187236 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1392618889 144487 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net QUIT :Remote host closed the connection < 1392618908 516889 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :SQLite now added recursive queries now. There is an example SQL program that solves sudoku puzzle, given. < 1392618958 774315 :trout!root@freebsd/developer/variable QUIT :Read error: Connection reset by peer < 1392619126 315380 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :The WITH clause look like a really good feature. < 1392619550 835026 :password2!~password@197.78.166.95 QUIT :Ping timeout: 264 seconds < 1392619559 741092 :blotter_!~blotter@72-161-23-153.dyn.centurytel.net JOIN :#esoteric < 1392619756 898975 :blotter!~blotter@184-157-11-33.dyn.centurytel.net QUIT :Ping timeout: 265 seconds < 1392621042 99291 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :zzo38: show me? < 1392621054 911480 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :CTEs? < 1392621057 467481 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :recursive? < 1392621298 953899 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :how was I not already following ISO/IEC JTC1/SC22/WG21 on twitter??? < 1392621321 882104 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :kmc: http://www.sqlite.org/lang_with.html < 1392621328 502859 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i, what < 1392621361 286971 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :that's uh... C++ standards? < 1392621365 984394 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1392621385 305937 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :zzo38: I like the Mandelbrot set renderer as well :D < 1392622186 152559 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :zzo38: inductive data types in Inform? https://twitter.com/chrisamaphone/status/435247774712344577 < 1392622432 648013 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :He needs to specify whether he means Inform6 or Inform7, which are two different programming languages. I don't know much of either. < 1392622579 11847 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I think a problem with WebGL is that everyone ends up making their own control scheme, there's no consistency < 1392622596 183620 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Which may be good for some games, but generic places to explore, some consistency might be useful < 1392622630 300441 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :zzo38: she < 1392622641 407057 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :(I think) < 1392622644 195289 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and a followup tweet says i7 < 1392622655 821109 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :zzo38: oh, I thought you knew a lot about inform < 1392622909 562409 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :so do the recursive WITH clauses make SQLite into a logic programming language < 1392622913 391325 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :or some other kind of thing < 1392623458 56390 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :kmc: I don't know, but it allows loops and recursion without triggers, so it can be used in a query by itself. < 1392623471 72293 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :It looks to be an extremely useful feature. < 1392624063 876834 :luserdroog!636c1b05@gateway/web/freenode/ip.99.108.27.5 QUIT :Ping timeout: 245 seconds < 1392624275 742270 :blotter_!~blotter@72-161-23-153.dyn.centurytel.net QUIT :Ping timeout: 272 seconds < 1392624675 950751 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :But SQL does have unusual features compared to other programming languages; many of which can be useful in the applicable circumstances. Other features I think would be useful to have are overridable views, trigger indices, and ordered triggers. < 1392624869 229024 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :And the ability to rename views would also be useful. < 1392626396 445948 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :I don't know much about logic programming language; if you know then hopefully you would know whether WITH clauses can make SQL into logic programming language. < 1392627500 116717 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :So, I won't be changing my representation to just modifiers, I think. Although I will try to provide a function to turn a modifier into a getter+modifier pair, although it's only meant to be used on non-lazy structures < 1392627515 96645 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Racket does have the occasional lazy structure, so I hope this is the right decision < 1392628879 498176 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Sgeo, did you know that lens is turing complete < 1392628991 563053 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Now I do < 1392628992 774339 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Howso? < 1392629095 211509 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Well, the easiest way I've seen is by simulation of B,C,K,W with fix to get round Hindley-Milner < 1392629095 439657 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :It suddenly occurs to me that I have no idea if this is a good idea :/ < 1392629120 786586 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Well, when I run my test, it will probably break horribly if this is a bad idea < 1392629130 907839 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :"good" is a false concept. There is no justice in this world, Sgeo. < 1392629136 887291 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :@type over mapped `asTypeOf` \a b c -> a (b c) < 1392629138 836066 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Functor ((->) t) => (a -> b) -> (t -> a) -> t -> b < 1392629156 964937 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :@type view flipped `asTypeOf` \a b c -> a c b < 1392629157 955380 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(a -> b -> c) -> b -> a -> c < 1392629178 397948 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :@type view curried (view _1) `asTypeOf` \a b -> a < 1392629179 220522 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :b1 -> b -> b1 < 1392629205 799075 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Oh hey, looks like it did break horribly < 1392629212 480363 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :@type perform (over mapped acts acts) `asTypeOf` \a b -> a b b < 1392629213 296888 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Monad ((->) t) => (t -> t -> b) -> t -> b < 1392629222 883096 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :And the grand finale: < 1392629247 776259 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :@type over mapped (view flipped (foldrOf folded (over mapped) (view simple)) ((&) ^?! ignored)) (toListOf repeated) < 1392629248 630809 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(a -> a) -> a < 1392629291 643069 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :it's so simple. < 1392629376 376190 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::t (.) join . (.) . flip < 1392629377 57473 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(a -> b -> c) -> (a -> b) -> a -> c < 1392629419 153759 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::t (.) join . flip . (.) (.) < 1392629419 980187 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(a -> b -> c) -> (a -> b) -> a -> c < 1392630166 591452 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1392630489 806459 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :What is the algorithm to figure out how to create a "frequent words" table so that text containing any sequence of characters which are included in the table can be compressed? It is slightly complicated, because the cost of the text may occasionally differ slightly depending on which table it is in. < 1392631160 44689 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I either need to rework getters to use lists instead of multiple-valued return, or rework composition of modifiers to be compatible with multiple-valued returns < 1392631259 647973 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I think the former may make more sense < 1392632377 30864 :nooga!~nooga@91.235.25.1 JOIN :#esoteric < 1392632636 191223 :MoALTz!~no@31.175.35.2 JOIN :#esoteric < 1392634400 821413 :Sellyme!~Sellyme@irc.sellyme.com QUIT :Excess Flood < 1392634442 13956 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk JOIN :#esoteric < 1392634615 46886 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk QUIT :Excess Flood < 1392634661 701537 :Slereah__!~jackal@176.222.51.233 QUIT :Ping timeout: 248 seconds < 1392634741 734463 :Sellyme!~Sellyme@irc.sellyme.com JOIN :#esoteric < 1392635716 470961 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :@djinn (a -> b -> c) -> (a -> b) -> a -> c < 1392635717 39118 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :f a b c = a c (b c) < 1392635740 816920 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :@pl f a b c = a c (b c) < 1392635741 284196 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :f = ap < 1392635753 274443 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Taneb: It's all just ap < 1392635850 403882 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I bet there is a simpler way to do ap with lens < 1392635859 620124 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Without using cheaty lambdas < 1392636549 956647 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> over mapped (view flipped (foldrOf folded (over mapped) (view simple)) ((&) ^?! ignored)) (toListOf repeated) id < 1392636553 939885 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1392637298 58399 :nooga!~nooga@91.235.25.1 QUIT :Ping timeout: 265 seconds < 1392637506 737842 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1392637742 551693 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I am running into problems that are, fundamentally, caused by being in a dynamic language < 1392637771 268599 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :(lens-mod (hash 'a 5) (compose-lens (at 'a) (at 'b)) (const 6)) < 1392637800 41289 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :What is that supposed to do, exactly? The item at 'a in the original object isn't a dict that (at 'b) would know how to modify < 1392637907 733318 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 252 seconds < 1392638041 207352 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1392638188 876505 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Sgeo: You're on your own < 1392638727 212871 :nooga!~nooga@46.250.173.30 JOIN :#esoteric < 1392638765 391063 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :The only solution that comes readily to mind is having a separate mode for setters < 1392638775 201165 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :So, getter+modifier+setter tuple < 1392638780 192399 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :But that seems horrific < 1392638831 677956 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Unless... I can have a lens that would 'fail', instead somehow ask upstream what to do < 1392638850 692952 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Like, sending some kind of signal, that const would, by its very nature, ignore, but other things wouldn't < 1392638862 303598 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Except... hmm < 1392638932 267170 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :(values) is a thing that unless you ignore it, you choke on it < 1392638943 256155 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :(Or otherwise specifically look for it) < 1392639785 158803 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :lens.rkt is now safely on GitHub. < 1392640851 421500 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1392641745 857372 :Fusl!~Fusl@unaffiliated/fusl JOIN :#esoteric < 1392641746 46715 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1392641762 64606 :Fusl!~Fusl@unaffiliated/fusl PART #esoteric :"Konversation terminated!" < 1392641831 775574 :nyuszika7h!nyuszika7h@pdpc/supporter/active/nyuszika7h JOIN :#esoteric < 1392642287 841828 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1392643123 404858 :realzies!~pinky@unaffiliated/realazthat NICK :dgw__ < 1392643134 131925 :dgw__!~pinky@unaffiliated/realazthat NICK :realzies < 1392643152 263942 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1392643306 494214 :realzies!~pinky@unaffiliated/realazthat NICK :some1special < 1392643318 369901 :some1special!~pinky@unaffiliated/realazthat NICK :realzies < 1392643821 668562 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Sgeo: I wonder if Typed Racket would work better < 1392643926 407601 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Or I just modify all modifiers to receive a signal saying 'no value given' < 1392643972 171103 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Some modifiers might choke on that (car-l, cdr-l), some might not < 1392644117 361579 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Ultimately, const would not care that there's no value given, because it provides a value. < 1392644127 570447 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :But a different user-supplied modifier would fail with an arity error < 1392644244 615319 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Hmm, just now decided to check for lenses in other dynamically-typed languages < 1392644248 602193 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :pylens exists < 1392644302 500510 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I need sleep < 1392644752 57177 :heroux!~heroux@50708181.static.ziggozakelijk.nl JOIN :#esoteric < 1392647264 904019 :MoALTz!~no@31.175.35.2 QUIT :Read error: Connection reset by peer < 1392647305 985330 :MoALTz!~no@31.175.35.2 JOIN :#esoteric < 1392647567 911443 :MoALTz!~no@31.175.35.2 QUIT :Read error: Connection reset by peer < 1392648497 843380 :password2!~password@197.78.166.95 JOIN :#esoteric < 1392650405 667281 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Operation timed out < 1392651335 732710 :shikhout!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1392651540 302212 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 265 seconds < 1392651541 11821 :shikhout!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1392651800 910765 :ter2!~tertu@143.44.70.199 QUIT :Read error: Connection reset by peer < 1392652109 942936 :constant!root@freebsd/developer/variable JOIN :#esoteric < 1392653201 864104 :password2!~password@197.78.166.95 PRIVMSG #esoteric :mmm , shikhout sounds nederlands < 1392653680 919148 :shikhin!~Shikhin@unaffiliated/shikhin PRIVMSG #esoteric :password2: Nah, it's a play on my primary nick (my real name), shikhin. < 1392653689 350736 :shikhin!~Shikhin@unaffiliated/shikhin PRIVMSG #esoteric :password2: So, shikhout and shikherr are my secondary nicks. < 1392653694 532997 :shikhin!~Shikhin@unaffiliated/shikhin PRIVMSG #esoteric :*and tertiary < 1392653868 853776 :blotter!~blotter@72-161-23-153.dyn.centurytel.net JOIN :#esoteric < 1392654116 828194 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1392654302 105604 :tertu!~tertu@143.44.70.199 JOIN :#esoteric < 1392654855 782236 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1392654880 287569 :password2!~password@197.78.166.95 PRIVMSG #esoteric :ah < 1392654888 147046 :password2!~password@197.78.166.95 PRIVMSG #esoteric :hout means wood in my language < 1392655011 178239 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 245 seconds < 1392655445 632391 :blotter_!~blotter@72-161-23-153.dyn.centurytel.net JOIN :#esoteric < 1392655551 898511 :blotter!~blotter@72-161-23-153.dyn.centurytel.net QUIT :Ping timeout: 260 seconds < 1392656650 978225 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Drewno means wood in my language < 1392656794 88515 :tertu!~tertu@143.44.70.199 QUIT :Ping timeout: 260 seconds < 1392657206 803228 :Slereah!~jackal@176.222.51.233 JOIN :#esoteric < 1392658517 844712 :nooodl!~nooodl@62.205.87.150 JOIN :#esoteric < 1392659020 828242 :password2!~password@197.78.166.95 PRIVMSG #esoteric :what language is that? < 1392659113 595593 :password2!~password@197.78.166.95 PRIVMSG #esoteric :ah polish < 1392659330 873069 :nooodl!~nooodl@62.205.87.150 QUIT :Ping timeout: 264 seconds < 1392659431 272486 :nooodl!~nooodl@62.205.87.150 JOIN :#esoteric < 1392659577 751253 :heroux!~heroux@50708181.static.ziggozakelijk.nl QUIT :Ping timeout: 272 seconds < 1392659855 224696 :heroux!~heroux@50708181.static.ziggozakelijk.nl JOIN :#esoteric < 1392660269 97582 :nooodl!~nooodl@62.205.87.150 QUIT :Ping timeout: 265 seconds < 1392660451 403254 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`coins < 1392660452 971499 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :doncoin gebsoncoin polycoin tempncoin paranhehcoin isccoin subamcoin emocoin mdjcoin @!coin versigcoin msizecoin haccoin roadlycoin nolocoin gasphalcshicoin sothesecoin calcoin bigehotorcoin retuacoin < 1392660591 821069 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :hot or coin < 1392660616 822066 :password2!~password@197.78.166.95 QUIT :Ping timeout: 245 seconds < 1392660623 316193 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :Fun fact : coin means "quack" in french < 1392660627 54318 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :coin coin < 1392660854 22668 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Duck is kaczka in Polish < 1392661218 677524 :prooftechnique!~NihilistD@c-174-63-103-117.hsd1.vt.comcast.net JOIN :#esoteric < 1392661299 88428 :tromp__!~tromp@rtc35-245.rentec.com PRIVMSG #esoteric :cuckoo coin < 1392661428 512607 :password2!~password@197.78.179.33 JOIN :#esoteric < 1392662473 76714 :password2!~password@197.78.179.33 QUIT :Ping timeout: 265 seconds < 1392664086 148317 :JesseH!~Jesse@oftn/member/JesseH QUIT :Ping timeout: 245 seconds < 1392664135 801713 :JesseH!~Jesse@oftn/member/JesseH JOIN :#esoteric < 1392666747 515770 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1392666768 304069 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :which of these fuckin bots has quotes again < 1392666770 650024 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :`quote box < 1392666771 307582 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :46) Maternal instincts? Don't you just leave the thing in a box until it starts crying, and then shake it until it stops? \ 518) according to physics and maths can we theoretically have a box with infinite cookies inside? \ 637) BOXBOT IS TERRIBLE NOBODY LIKES BOXBOT He's just a box with arms < 1392666787 734314 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :`quote broke < 1392666788 274984 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :174) zzo38: A better definition would probably fix Avogadro's number. It's broken? \ 380) * Sgeo mutters about broken toilets #toilet is useless is #toilet even a thing I'm looking for help with toilets \ 497) But I mean, why fix it if it ain't broke? Except now it is \ 795) the other day I b < 1392666879 311174 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :`quote HackEgo < 1392666879 928609 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :33) `translatefromto hu en Hogy hogy hogy ami kemeny How hard is that \ 74) let's put that in the HackEgo quotes files, just to completely mystify anyone who looks back along them in the future \ 310) `quote django ​352) django is named after a person? thought it would be a gira < 1392666919 383515 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :I wonder which bot has the most quotes, fungot perhaps? < 1392666919 572772 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :olsner: there is winscheme48, too.) < 1392667065 198856 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`run tr ' ' '\n' < quotes | grep '^<.*>$' | sort | uniq -c | sort -nr | paste < 1392667067 131752 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.14276 < 1392667077 803267 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, no pasteing allowed. < 1392667081 267796 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`run tr ' ' '\n' < quotes | grep '^<.*>$' | sort | uniq -c | sort -nr < 1392667081 882464 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ 142 \ 132 \ 109 \ 100 \ 96 \ 95 \ 88 \ 78 \ 68 \ 63 \ 61 \ 55 \ 52 \ 52 \ 49 \ 42 \ 32 \ 26 \ < 1392667091 983959 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, it's the first bot-like thing in the list, anyway. < 1392667135 412005 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::O < 1392667176 350097 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :`run /usr/bin/paste < 1392667196 347477 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess that kind of pasteing is fine. < 1392667206 791897 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1392667213 931627 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :no pasting allowed? < 1392667230 371289 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :wait what the heck, i'm in more quotes than itidus? < 1392667232 67601 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :travesty < 1392667712 755587 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1392668618 977858 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 265 seconds < 1392668754 974664 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1392669634 904513 :nooodl_!~nooodl@91.177.110.60 JOIN :#esoteric < 1392669888 739124 :blotter__!~blotter@72-161-23-153.dyn.centurytel.net JOIN :#esoteric < 1392669926 10415 :nooga!~nooga@46.250.173.30 QUIT :Quit: Lost terminal < 1392669982 71100 :blotter_!~blotter@72-161-23-153.dyn.centurytel.net QUIT :Ping timeout: 265 seconds < 1392670361 238595 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Do you like SQL? < 1392670446 994732 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1392670474 669049 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I don't like that SQL is so strongly identified with its concrete syntax, and that SQL is still commonly used by gluing together strings in another programming languages < 1392670498 117384 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :the interface between an application and a database should be something richer than strings < 1392670523 150298 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :I don't like that strongly gluing of SQL either, but I don't generally use it that way anyways. < 1392670572 13105 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :And you can use things like ?1 ?2 rather than joining strings using other programs, if you do need to pass parameters to the SQL statements. < 1392670602 494010 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :SQL can be used fine by itself, and if the program allows the user to enter SQL statements. < 1392670746 977130 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :SQL is actually a complete programming language, although one which is unusual, it is still good for many things. < 1392670820 239710 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Do you disagree with any of this? < 1392671000 28204 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :not really < 1392671027 525170 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :parameters like ?1 are an improvement, but don't really address my core complaint, which isn't about SQL but about how the world works more generally < 1392671051 540078 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :perhaps I will try to explain later < 1392671120 824152 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Actually I think I agree your statement about "how the world works more generally", but that doesn't make SQL bad; it just means database interfaces are lacking. < 1392671161 842792 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :I do generally work with SQL by writing all of the SQL statements, triggers, etc in one file, so the program is mainly written in SQL and any extensions required may be written in C. < 1392671186 313292 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :The other way around seems more common, and perhaps your complaint addresses that. < 1392672973 84296 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1392672975 656619 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :basically I am annoyed that the only truly universal data format is ASCII text < 1392673096 994603 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and so when you design a new file format / language / protocol, you have to put a lot of thought into how to represent it as ASCII text < 1392673150 618300 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and both designers and implementers tend to screw this up in ways that make life miserable < 1392673192 220031 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :in particular it causes a lot of security problems due to improper escaping < 1392673222 997200 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and the fact that escaping needs to be aware of multiple layers at once < 1392673248 280356 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Actually a lot of things can be done with binary data, if you know the endianness and all of that stuff. < 1392673389 116835 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :e.g. perfectly well-formated JSON can still cause trouble when it's pasted after a HTML " < 1392673415 397648 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :whereas if you think mostly in terms of trees, you still need to serialize them at some point, but that can be a core low-level library and you only have to get it right there < 1392673814 517451 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :It is possible to work-around the "" problem though. But there are in fact binary formats meant to be usable similar to JSON but if you want binary rather than text format. < 1392675901 514717 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1392676243 618362 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1392676373 805848 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1392676646 786327 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 264 seconds < 1392677199 139525 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1392677460 233019 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION just realized you could do let s = it in ghci < 1392677466 860489 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1392677472 629960 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hoily < 1392677538 283404 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :hellœrjan! < 1392677727 849041 :metasepia!~metasepia@96.127.201.149 JOIN :#esoteric < 1392678054 23208 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`coins < 1392678055 551236 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :knhcoin sticcoin catccoin flattocoin wiecoin flecoin cariacoin d1reratcoin drocoin brzrocoin recolouxcoin subicoin subulolchicoin nicidicoin commucoin comercoin sallingpowrtyrevolucoin twomacoin genomecoin cradicoin < 1392678083 151119 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :zzo38: sure, it is usually possible to work around design flaws in any kind of system < 1392678116 447774 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but you can't count on every developer to know all the traps and workarounds and apply them perfectly 100% of the time < 1392678122 559446 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and even if they did it would still be a large cost < 1392678203 202099 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :ACTION chokes on trying to say “brzrocoin” < 1392678274 362387 :prooftechnique!~NihilistD@c-174-63-103-117.hsd1.vt.comcast.net QUIT :Quit: leaving < 1392678802 615670 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1392679707 607193 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1392679734 770686 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1392679833 903340 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Read error: Connection reset by peer < 1392679837 717330 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1392681047 983610 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :nocoin < 1392681294 301054 :prooftechnique!~NihilistD@c-174-63-103-117.hsd1.vt.comcast.net JOIN :#esoteric < 1392681400 562649 :blotter__!~blotter@72-161-23-153.dyn.centurytel.net PRIVMSG #esoteric :`run echo KCUF | rev < 1392681401 140613 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :FUCK < 1392681450 944785 :blotter__!~blotter@72-161-23-153.dyn.centurytel.net PRIVMSG #esoteric :`run echo 'GAB A KCUF' | rev < 1392681451 568611 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :FUCK A BAG < 1392681457 290997 :blotter__!~blotter@72-161-23-153.dyn.centurytel.net PRIVMSG #esoteric :Gregor, your bot has misbehaving < 1392681474 724953 :blotter__!~blotter@72-161-23-153.dyn.centurytel.net PRIVMSG #esoteric :*is < 1392681475 928131 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Knights Christian United in Faith < 1392681481 827079 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`relcome blotter__ < 1392681482 617975 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​02blotter__: 06Welcome 13to 04the 07international 08hub 09for 02esoteric 06programming 13language 04design 07and 08deployment! 09For 02more 06information, 13check 04out 07our 08wiki: 09. 02(For 06the 13other 04kind 07of 08esoterica, 09try 02#esoteric 06on 13irc.dal.net.) < 1392681528 777484 :blotter__!~blotter@72-161-23-153.dyn.centurytel.net PRIVMSG #esoteric :`run echo 'CMK UOY KCUF' | rev < 1392681529 434486 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :FUCK YOU KMC < 1392681536 311867 :blotter__!~blotter@72-161-23-153.dyn.centurytel.net PRIVMSG #esoteric :wow so mean < 1392681549 530468 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`coins < 1392681550 969280 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :dungcoin objectcoin podoccoin muguecoin iorslccoin pyraziecoin afelycoin ilecoin rfremblebraicoin pircoin blongcoin minarycodcoin soncoin laoticacoin blacroncalcoin commencoin dravitycoin genocoin elzellornicoin mithcoin < 1392681571 950616 :blotter__!~blotter@72-161-23-153.dyn.centurytel.net PRIVMSG #esoteric :tittycoin appears to be missing