< 1410998696 985833 :Bicyclidine!~Glossina@wl-nat106.it.wsu.edu QUIT :Ping timeout: 255 seconds < 1410998745 230619 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :@tell Bicyclidine was it directed? < 1410998745 381158 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1410998754 163184 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :there. that should do the trick. < 1410998877 642994 :skj3gg!~skj3gg@c-50-151-231-142.hsd1.in.comcast.net JOIN :#esoteric < 1410999158 940564 :skj3gg!~skj3gg@c-50-151-231-142.hsd1.in.comcast.net QUIT :Changing host < 1410999159 127619 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1410999712 787743 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1411000482 557550 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1411000670 445977 :boily!~boily@96.127.201.149 QUIT :Quit: MUNGED CHICKEN < 1411000965 891529 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1411001474 661289 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: Leaving. < 1411001508 710354 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1411002640 350216 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1411002764 394861 :shikhout!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1411003080 956211 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1411004951 264173 :not^v!~notnot^v@2601:4:4500:e15:f42f:4a24:f557:724b JOIN :#esoteric < 1411005719 316629 :doesthiswork!~Adium@2601:7:2480:1e1:223:12ff:fe1b:3213 JOIN :#esoteric < 1411007288 264494 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Gnyte < 1411007431 379430 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Gah. My mind keeps wanting to fill in the pattern and decide that Representable is (Profunctor p, Representable p) => p a b -> p (a -> b) (a -> b) < 1411007447 165464 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I have yet to figure out if that's sane or laughably idiotic < 1411007483 449063 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Representable is a class and that thing is a type. < 1411007584 281174 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :s/Representable is/Repesentable's main method of note is/ < 1411007611 366122 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That doesn't make any sense for anything called Representable that I know of. < 1411007731 237061 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I mostly just mentally pattern matched on the pattern of profunctor-relevent classes that I've been seeing < 1411007735 262627 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :>.> < 1411007767 938915 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :s -> (a -> b), (a -> b) -> t < 1411007864 554114 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Uh. This looks like a lens, not like a setter. At least, there's a getting portion. < 1411007869 99296 :alandipert!~alandiper@fry.telavant.com JOIN :#esoteric < 1411007906 326064 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Wait, there.. isn't. /me blinks < 1411007915 521746 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't understand you, Sgeo. < 1411007975 146303 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :What is (s -> a -> b) -> Optic s t a b? A setter? < 1411007988 982065 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Um. Setter that can only set but not modify? < 1411007989 208085 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A type. < 1411008062 261803 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Ok, that (a -> b) -> t looks absolutely ridiculous < 1411008172 555592 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :you look ridiculous < 1411008208 682416 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The whole stream of consciousness thing you do in IRC is unusual. < 1411008219 393831 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Maybe I should throw lens in there. s -> ((a -> b), o), ((a -> b), o) -> t < 1411008399 350413 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :shachaf: I should probably find a better place to put my thoughts < 1411008401 130518 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric ::/ < 1411008542 656671 :b_jonas!~x@russell2.math.bme.hu QUIT :Ping timeout: 245 seconds < 1411008549 304021 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1411008654 143189 :lifthrasiir!~lifthrasi@115.68.131.49 QUIT :Quit: Lost terminal < 1411008731 829081 :lifthrasiir!~lifthrasi@115.68.131.49 JOIN :#esoteric < 1411009099 304827 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: you should do more normal things like report problems you find on wikipedia < 1411009122 526125 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :ooooooooooooooOOOOOOOooooooooooooh < 1411009492 480644 :b_jonas!~x@russell2.math.bme.hu JOIN :#esoteric < 1411010041 579485 :gfdsgdsgsd!55cf1236@gateway/web/freenode/ip.85.207.18.54 JOIN :#esoteric < 1411010066 87596 :gfdsgdsgsd!55cf1236@gateway/web/freenode/ip.85.207.18.54 PRIVMSG #esoteric :hi < 1411010135 390406 :gfdsgdsgsd!55cf1236@gateway/web/freenode/ip.85.207.18.54 QUIT :Client Quit < 1411010481 453402 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hi < 1411011140 999595 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Are there any sensible optics Optic (a -> b) (a -> b) a b? < 1411011152 550068 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I don't know how the s t a b types are required to related to eachother < 1411011176 666937 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :That is, can s ~ t without a ~ b? < 1411011752 105137 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Eh, I don't see how that makes sense < 1411011789 744258 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: think about Optic o i where o, i :: k -> * for some k < 1411011803 418935 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :_1 :: Lens (\a -> (a,b)) (\a -> a) < 1411011815 912547 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :field :: Lens (\_ -> Record) (\_ -> Field) < 1411011838 293749 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :then Lens o i is like forall x y. Lens (o x) (o y) (i x) (i y) in the hackier s/t/a/b system. < 1411011858 107142 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :anything you can't construct out of type functions like that is an abuse of the type laws relating the variables < 1411011968 580569 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I don't.... think I can construct it, then, without giving o improper knowledge of both x and y < 1411012010 925228 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :So what is liyang talking about? < 1411012121 10735 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :/last liyang < 1411012125 429614 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Lastlog: < 1411012125 608177 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :04:46:50 So what is liyang talking about? < 1411012125 608342 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :End of Lastlog < 1411012141 154970 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :In #haskell-lens < 1411012163 682456 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't know. let me try to telepathically extract the context for a channel neither I nor probably the vast majority of this channel are in, as you talk about it in a completely unrelated channel. < 1411012245 400186 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :E's saying that Setter s s a b does make sense... I guess that's distinct from the type in question though < 1411014138 391944 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :velveeta < 1411015544 62032 :MoALTz_!~no@user-188-33-173-42.play-internet.pl JOIN :#esoteric < 1411015707 109706 :MoALTz!~no@user-188-33-173-42.play-internet.pl QUIT :Ping timeout: 255 seconds < 1411016104 488503 :doesthiswork!~Adium@2601:7:2480:1e1:223:12ff:fe1b:3213 QUIT :Quit: Leaving. < 1411016313 263301 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1411016971 971431 :not^v!~notnot^v@2601:4:4500:e15:f42f:4a24:f557:724b QUIT :Quit: http://i.imgur.com/Akc6r.gif < 1411017208 703705 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :how does tell work again < 1411017279 437633 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :@tell oerjan I haven't been working on implementing anything. i finished implementing it two years ago and sent it off to be scorned by elliott and ignored by gregor. < 1411017279 601916 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1411017316 151685 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :quintopia: implementing what? < 1411017395 176399 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :quintopia: if you mail me something, I will hand deliver it to gregor < 1411017443 724639 :J_Arcane!~j_arcane@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PRIVMSG #esoteric :elliott: Yeah, at the moment, I'm focusing on first building a simple tool I can run to batch process collections of already identified abusive tweets and generate statistics on word counts and so forth. < 1411017457 777272 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :@tell fizzie in practice, there was only ever one stationary distribution, and it was quite sane. the only way there could be more than one is if the chain is reducible, which is extraordinarily improbable on a large enough hill. < 1411017457 943020 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1411017516 547121 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :coppro: sorry, i just cleaned all my gym socks, but i'll let you know next time they get dirty < 1411018562 313696 :alphapete!~alphapete@unaffiliated/alphapete QUIT : < 1411019089 600543 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 JOIN :#esoteric < 1411019449 402848 :MoALTz_!~no@user-188-33-173-42.play-internet.pl QUIT :Quit: Leaving < 1411019624 4346 :fizzie!fis@unaffiliated/fizzie TOPIC #esoteric :BF Joust scoring poll: http://goo.gl/02KE0Y | All glogged up again | brainfuck survey results: https://www.surveymonkey.com/results/SM-JZ78GR8L/ | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ | If something is possible, then it's possible that nothing is possible. | 987659473857929758374956789 < 1411019653 997891 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Please to be answering http://goo.gl/02KE0Y if you care about that sort of stuff. < 1411019826 103585 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Just remember not to submit your password accidentally.) < 1411019972 713252 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :hmm < 1411019989 370829 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :I mostly care about the low ranking of preparation, because it beats (or once beat) every other program a little more than half the time < 1411019999 92843 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :and it feels weird that it's nonetheless so far down the rankings < 1411020019 519319 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :and I care about it because it's pretty much the only sort of defence program that there are currently no effective "free" countermeasures to < 1411020285 968937 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :I wanted to write about the probabilistic lock, but not coming top of the hill means I can't < 1411020307 235355 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :therefore, I guess I'll vote for points-based < 1411021095 880366 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm not sure that ranks 3 and 2 quite qualify as "so far down". I think all the four suggestions do treat "wins conclusively" (in terms of individual tape length/polarity configurations) as a bigger thing than "wins marginally". < 1411021124 28359 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :indeed < 1411021141 709585 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :I think that in today's world, that needlessly punishes defence programs < 1411021162 686878 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :I guess I could say that I'd be happy with something that treats conclusive wins as worth less than they currently are < 1411021180 944157 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :basically, due to the strategy of sacrificing 1/3 of the tape lengths to win on the other 2/3 < 1411021668 209752 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I tried out switching the D/T (where D is the win margin, and T the number of configurations, i.e., the maximum win margin) term in traditional scoring to log(D+1)/log(T+1) -- basically, bumping the win-margin-to-weight curve to https://dl.dropboxusercontent.com/u/113389132/Misc/20140918-log.png -- in the traditional scoring, but even that didn't quite push preparation to top: ... < 1411021674 230465 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :... http://sprunge.us/DdQb < 1411021716 450455 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :I guess I could just do more constant-tweaking < 1411021719 336298 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :but I really don't have time right now < 1411021732 106956 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :the annoying thing is that it'd be tweaking to increase win margin, which feels really really exploity < 1411021840 537618 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Doing (D+T)/(2T) puts preparation on top (with a score of 70.56 over 70.39 for Oj742_smartlock). < 1411021855 951591 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(That's basically weighing a "full win" to be twice as good as "barely a win".) < 1411021902 548600 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1411022120 125768 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :I guess an alternative method is just to submit a bunch of new programs that beat smartlock < 1411022131 1905 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :although they'd also have to be quite good otherwise < 1411022309 854532 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://sprunge.us/bBUD -- FWIW, I added that as an option too. < 1411022322 874866 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Even though modifying a poll after publishing it is a bit questionable. < 1411022454 371611 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :oh well, I voted for that one too < 1411022460 169989 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :the poll doesn't appear to have any protections against doublevoting < 1411022477 524516 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't think there was an option for that in Google Forms. < 1411022480 173666 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :so I'm going to interpret it as an approval vote, and vote multiple times so long as it's for different options < 1411022497 789482 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There was one to make votes editable, I don't know how that would have worked. < 1411022528 400042 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(The responses also only show a timestamp and no identifiable information.) < 1411022708 638440 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :For the record, you're the only person voting so far; the one Markov point is my own, and I don't really feel qualified to have an opinion due to not really partaking. < 1411022734 145127 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :the markov system didn't look that bad, at least < 1411022850 190926 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :huh, apparently ehird suggested win rate > 50% should be winner-takes-all < 1411022854 621236 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :in any particular match < 1411022877 654654 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes; I haven't tried that out. < 1411023275 569418 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1411023312 526912 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 QUIT :Quit: Page closed < 1411023389 404202 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 260 seconds < 1411023840 34245 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1411024662 557663 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :(Profunctor p, Representable p) => p a b -> p (r -> a) (r -> b)? < 1411024725 973859 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's this Representable class? < 1411024747 177158 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is it from Data.Profunctor.Rep? < 1411024769 996362 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :A thing that (->) supports but Forget and ForgetStream should not < 1411024788 574216 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If so, it's pretty clear that none of the things you're proposing are anything like what that class provides. < 1411024794 348138 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, you just made up the name? < 1411024812 12240 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Not just made up, but it wouldn't be literally the same thing I guess < 1411024884 369606 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I have no idea what you're doing. < 1411025005 900542 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Assuming that Setter (r -> a) (r -> b) a b is some kind of 'primitive' setter, ala first' being a 'primitive' lens, and then trying to translate into something similar to the other optics' profunctor style < 1411025047 688563 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's not hth < 1411025157 102605 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :hmm < 1411025178 449415 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I guess in Haskell terms what I want is really along the lines of (Functor f) => Setter (f a) (f b) a b? < 1411025247 385027 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :are you trying to define Setter in terms of Setter < 1411025313 249961 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I'm trying to define all Setters in terms of a single Setter composed with one particular lens and an information-containing Iso < 1411025329 381147 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Similar to how I can define all lenses in terms of one particular lens and an information-containing Iso < 1411025388 958537 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok but the things you're saying aren't making sense < 1411025394 265562 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :also keep in mind what xplat was saying < 1411025407 141758 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whatever. why are you saying all this in this channel? < 1411025504 380437 :Deewiant!~deewiant@deewiant.iki.fi QUIT :Ping timeout: 250 seconds < 1411025585 873545 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Because I have a habit of talking about this here? Not sure < 1411025745 866898 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu QUIT :Ping timeout: 272 seconds < 1411026207 403547 :vyv!~vyv@bas1-northbay04-2925118321.dsl.bell.ca QUIT :Ping timeout: 246 seconds < 1411026265 18906 :vyv!~vyv@bas1-northbay04-2925118321.dsl.bell.ca JOIN :#esoteric < 1411026373 354087 :Deewiant!~deewiant@deewiant.iki.fi JOIN :#esoteric < 1411027813 522038 :upgrayeddd!sid2969@gateway/web/irccloud.com/x-oysdzmqguciwulxz JOIN :#esoteric < 1411028740 650396 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1411029097 306933 :drdanmaku!uid17782@gateway/web/irccloud.com/x-aewefzvqytjkbtfn QUIT :Quit: Connection closed for inactivity < 1411029226 979094 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :huh, IOCCC has started up again < 1411029229 390343 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :any good ideas by anyone? < 1411029256 945286 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm wondering about submitting a program that hits every single constraint violation in the standard, as a portable test of compiler warning messages < 1411029351 347333 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :so do I < 1411029356 904122 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, OT but amusing: apparently there are no contingency plans in case the Scottish referendum ends in a tie < 1411029374 883260 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :well, I didn't mean I was thinking the same program as ais523 suggested < 1411029376 286874 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :anyway < 1411029718 217768 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1411030424 641417 :sebbu!~sebbu@ADijon-152-1-33-93.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1411030461 139479 :sebbu!~sebbu@ADijon-152-1-33-93.w83-194.abo.wanadoo.fr QUIT :Changing host < 1411030461 309199 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1411032382 922317 :paul2520!~pi@unaffiliated/paul2520 QUIT :Ping timeout: 240 seconds < 1411033067 520986 :AnotherTest!~turingcom@94-224-17-144.access.telenet.be JOIN :#esoteric < 1411033093 212140 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh, ioccc started? let me look < 1411033122 714943 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :until oct 19? < 1411033181 703857 :paul2520!~pi@104-6-13-61.lightspeed.milwwi.sbcglobal.net JOIN :#esoteric < 1411033216 436917 :paul2520!~pi@104-6-13-61.lightspeed.milwwi.sbcglobal.net NICK :Guest90992 < 1411033354 781048 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oct 19, 18:17:16, very arbitrary. < 1411033370 181082 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :19 18 17 16 < 1411033374 859409 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not 100% arbitrary < 1411033387 63612 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I can't interpret "October" as "20", though < 1411033400 596167 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what does it even mean that the contest is open from 2014-09-01 but the final rules are available and submissions can be sent only after 2014-09-15? < 1411033408 353817 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1411033409 694859 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :in what sense was the contest open before 2014-09-15 then? < 1411033511 412986 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess there might've been a preliminary page about it, before? < 1411033524 571952 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(I don't know, I didn't notice.) < 1411033574 785631 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Makes me wonder if the only-standard-identifiers thing could've had the makings of an IOCCC entry. < 1411033641 254248 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :thing where? < 1411033662 955800 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://zem.fi/2014-04-13-idbf < 1411033688 799338 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's not exactly "obfuscated C", it's more of a "silly C thing". < 1411033745 821025 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok < 1411035305 485328 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1411036462 222014 :boily!~boily@96.127.201.149 QUIT :Quit: Poulet! < 1411036493 824917 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1411037444 451875 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1411037612 517734 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1411037766 422193 :sebbu2!~sebbu@ADijon-152-1-33-93.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1411037802 736407 :sebbu2!~sebbu@ADijon-152-1-33-93.w83-194.abo.wanadoo.fr QUIT :Changing host < 1411037802 890035 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1411037858 767834 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 258 seconds < 1411038864 43971 :boily!~boily@96.127.201.149 QUIT :Quit: IMPLANTED CHICKEN < 1411039208 284547 :Phantom_Hoover!~phantomho@cpc13-sgyl31-2-0-cust486.18-2.cable.virginm.net JOIN :#esoteric < 1411039216 429746 :Phantom_Hoover!~phantomho@cpc13-sgyl31-2-0-cust486.18-2.cable.virginm.net QUIT :Changing host < 1411039216 601145 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1411040512 367555 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1411040729 615292 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages- < 1411040729 776888 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :quintopia said 6h 30m 50s ago: I haven't been working on implementing anything. i finished implementing it two years ago and sent it off to be scorned by elliott and ignored by gregor. < 1411040807 804957 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: We established (I think) that my #4 was equal to the quintopia system. < 1411040810 689297 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell Stupid English Verb Tenses HTH < 1411040810 856547 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1411040814 683759 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1411040821 779170 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Heh. < 1411040822 345882 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1411040828 171876 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`dontaskdonttelllist < 1411040828 711044 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :dontaskdonttelllist: q​u​i​n​t​o​p​i​a​ c​o​p​p​r​o​ m​y​n​a​m​e​ < 1411040829 604039 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Poor Stupid, always getting all these messages. < 1411040851 169994 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: Stupid English Verb Tenses HTH < 1411040980 680215 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Deewiant: You're one of the BF Joust guys, go answer the poll. < 1411041448 832175 :oerjan!oerjan@sprocket.nvg.ntnu.no TOPIC #esoteric :BF Joust scoring poll: http://goo.gl/02KE0Y | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ < 1411041901 618094 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1411042166 545192 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@ask impossibly_long_nickname hi < 1411042166 702927 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1411042553 571477 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Nasty. < 1411044262 987106 :shikhout!~shikhin@unaffiliated/shikhin NICK :shikhin < 1411045189 901366 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1411045567 624955 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 245 seconds < 1411046099 889071 :Guest90992!~pi@104-6-13-61.lightspeed.milwwi.sbcglobal.net NICK :paul2520 < 1411046125 503473 :paul2520!~pi@104-6-13-61.lightspeed.milwwi.sbcglobal.net QUIT :Changing host < 1411046125 670523 :paul2520!~pi@unaffiliated/paul2520 JOIN :#esoteric < 1411046284 645259 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://sprunge.us/NPQe -- most code generated out of a single "a/b" by GCC in C mode? < 1411046299 452163 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :fizzie: i could probably find a copy of the code i wrote for gregor if it would help save you the trouble < 1411046358 481574 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't know, I have a numpy-based iterative thing already working, and I expect the eigenvalue solution would be just a matter of a numpy.linalg.eig. < 1411046543 629104 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh but mine was in C < 1411046585 541106 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :anyway, you didn't give example scorings for all the choices, so it's hard to decide < 1411046602 708917 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There should be examples for everything. < 1411046616 758376 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :For the original four in the "details" page, and for the last-minute addons in the sprunge links. < 1411046645 1447 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :well i wouldn't have thought to look at the details page < 1411046671 355521 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's why the form says "-- including comparisons on the current hill" when linking to it. < 1411046690 388024 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Perhaps "example scorings" would be a better keyword. < 1411046711 726650 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Now it says that instead. < 1411046879 592104 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hmm any chance the three add-ons could be added to the points graph? < 1411046913 348395 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 246 seconds < 1411046957 782966 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Sure, when I get home. Incidentally, is there some nice Web 3.11 data-visualization thing where I could just dump all the numbers and let people toggle the series visibility and that sort of stuff? (I've done that kind of client-side thing manually with d3.js, but that's just extra work.) < 1411046991 351232 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe a Google Drive spreadsheet shared to all could work. < 1411047376 459895 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i don't really understand how you're converting the distribution to a score < 1411047383 137829 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :#7 has such tiny scores. < 1411047391 821068 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :do you just scale thetop score up to 100? < 1411047397 927958 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Your response helps to make the world better. Thank you. < 1411047399 531556 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm sure. < 1411047456 822370 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :when i did it, i scaled it so the scores added to 100 or something like that. or maybe 200. i tried to make it so the top scores matches the current hill's top scores < 1411047483 351518 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1411047778 414979 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I scale the maximum to 100, yes. That's probably a detail that can be tweaked, I doubt people really care so much about the absolute number, more about the ranking. < 1411047793 636975 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://goo.gl/rVpRLN should show a full comparison graph. < 1411047838 853018 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The earlier plot had them all scaled to the same [min, max] range, though that was mostly accidental. < 1411048271 12194 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I schmungled gearlance to support separate compilation stages, and wrote a hill-helper to do the actual battling fast-ish; it keeps the existing hill preparsed and threaded-code-compiled (as "left program") in memory, and for a new challenger only parses and right-compiles that one once, then runs the match code against all the cached left programs. < 1411048276 24461 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Even with all the Python glue around it, and computing scores and printing out a report.txt, it finishes the whole hill (from scratch, so doing the full "triangle" of matches) in 1.1 seconds, compared to 3.2 seconds for executing a separate gearlance invocation for each match. < 1411048336 997889 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :trad and m+compromise are uncomfortably close in colour < 1411048362 106413 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah i can't decided and i don't have more time to think about it < 1411048393 285301 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Huh. You can't switch line styles in the chart thing. < 1411048399 732889 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Only color, and thickness, and point size. < 1411048447 484587 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i like the idea of M+compromise, but i can't support it because it produces insane scores < 1411048472 730616 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :which is odd because trad+tweak produces great scores < 1411048525 543013 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I might check whether that's an implementation glitch, though it wasn't really a very large change. < 1411049623 595734 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :fizzie: you'll recall perhaps that my rewrite added a feature: it showed how the rankings changed after the latest program was added. (e.g. a +2 next to a program if its ranking rose two positions) Can you add this thing? < 1411050322 820800 :alphapete!~alphapete@unaffiliated/alphapete JOIN :#esoteric < 1411050720 684446 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1411051618 135701 :perrier!~cinch@107.170.175.57 QUIT :Remote host closed the connection < 1411051684 592510 :perrier!~cinch@107.170.175.57 JOIN :#esoteric < 1411051892 220498 :perrier!~cinch@107.170.175.57 QUIT :Remote host closed the connection < 1411051958 345350 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl JOIN :#esoteric < 1411051958 497012 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :DOOT DOOT! < 1411051958 647624 :perrier!~cinch@107.170.175.57 JOIN :#esoteric < 1411052333 474994 :perrier!~cinch@107.170.175.57 QUIT :Read error: Connection reset by peer < 1411052399 755542 :perrier!~cinch@107.170.175.57 JOIN :#esoteric < 1411052570 335204 :drdanmaku!uid17782@gateway/web/irccloud.com/x-duozazggqtlqwbmm JOIN :#esoteric < 1411052634 556841 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1411052900 7536 :perrier!~cinch@107.170.175.57 QUIT :Remote host closed the connection < 1411052969 560957 :perrier!~cinch@107.170.175.57 JOIN :#esoteric < 1411053316 797966 :perrier!~cinch@107.170.175.57 QUIT :Remote host closed the connection < 1411053383 393775 :perrier!~cinch@107.170.175.57 JOIN :#esoteric < 1411053386 960845 :Bike!~Glossina@69.166.47.137 JOIN :#esoteric < 1411053778 804613 :perrier!~cinch@107.170.175.57 QUIT :Remote host closed the connection < 1411053842 925264 :mihow!~mihow@108.30.58.169 JOIN :#esoteric < 1411053844 984164 :perrier!~cinch@107.170.175.57 JOIN :#esoteric < 1411053908 664125 :perrier!~cinch@107.170.175.57 QUIT :Remote host closed the connection < 1411053974 773177 :perrier!~cinch@107.170.175.57 JOIN :#esoteric < 1411054039 360548 :perrier!~cinch@107.170.175.57 QUIT :Remote host closed the connection < 1411054105 924331 :perrier!~cinch@107.170.175.57 JOIN :#esoteric < 1411054160 807848 :perrier!~cinch@107.170.175.57 QUIT :Read error: Connection reset by peer < 1411054227 385815 :perrier!~cinch@107.170.175.57 JOIN :#esoteric < 1411055737 986825 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :quintopia: I don't recall, but I can certainly add that thing in the reports. < 1411055965 353769 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :fizzie: also if your hill is as fast as you say, we could feasibly have a HUEG hill < 1411056191 782471 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i wonder if there is a way to have a "predictive" infinite tournament where someone's position is determined by playing the top few, comparing the record with everyone else's records, and choosing the remaining competitors based on which ones will best reduce the ranking uncertainty. not for bfjoust you understand, just in general. < 1411056616 303595 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It sounds like the sort of thing someone has thought about. Elo rankings and such are kind of the same, except with no selection for the most informative games. < 1411056634 697005 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I remember someone giving a presentation about TrueSkill, the thing Xbox uses for matchmaking. < 1411056646 309529 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The goals are a bit different there, but I remember a lot of thought went into that thing. < 1411056687 606979 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :TrueSkill is designed to factor in fandomness < 1411056692 331484 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :*randomness < 1411056716 930562 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That, too. And teams. < 1411057041 467789 :aretecode!~aretecode@69.163.36.90 JOIN :#esoteric < 1411057269 647242 :Imaginer1!cf1cf972@gateway/web/cgi-irc/kiwiirc.com/ip.207.28.249.114 JOIN :#esoteric < 1411057270 883052 :Imaginer1!cf1cf972@gateway/web/cgi-irc/kiwiirc.com/ip.207.28.249.114 PRIVMSG #esoteric :Hey guys < 1411057285 327693 :Imaginer1!cf1cf972@gateway/web/cgi-irc/kiwiirc.com/ip.207.28.249.114 PRIVMSG #esoteric :What's your favorite esoteric language? I'm bored with the ones I've been working on. < 1411057310 585691 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Mine is Piet < 1411057320 548017 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Of the ones I created, Fueue < 1411057322 492448 :Imaginer1!cf1cf972@gateway/web/cgi-irc/kiwiirc.com/ip.207.28.249.114 PRIVMSG #esoteric :Do you actually code in it oftne though? < 1411057331 833030 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I used to a lot more (for Piet) < 1411057348 876755 :Imaginer1!cf1cf972@gateway/web/cgi-irc/kiwiirc.com/ip.207.28.249.114 PRIVMSG #esoteric :Oh, huh. Well I'm looking into Fueue now... *shrug* < 1411057367 356992 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I never actually figured out how for Fueue, although oerjan did < 1411057387 356516 :Imaginer1!cf1cf972@gateway/web/cgi-irc/kiwiirc.com/ip.207.28.249.114 PRIVMSG #esoteric :You mean how to code in it? < 1411057424 681846 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yeah < 1411057446 120205 :Imaginer1!cf1cf972@gateway/web/cgi-irc/kiwiirc.com/ip.207.28.249.114 PRIVMSG #esoteric :Mm. < 1411057460 662518 :Imaginer1!cf1cf972@gateway/web/cgi-irc/kiwiirc.com/ip.207.28.249.114 PRIVMSG #esoteric :Any others you've just found interesting? There should be a 'popular' page on the wiki... < 1411057463 204063 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Underload is another good language, and along that line there's also False < 1411057467 984562 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :And Glass and Befunge... < 1411057481 926937 :perrier!~cinch@107.170.175.57 QUIT :Remote host closed the connection < 1411057498 542876 :Imaginer1!cf1cf972@gateway/web/cgi-irc/kiwiirc.com/ip.207.28.249.114 PRIVMSG #esoteric :Yeah, but I've already worked with those... Maybe I should just settle down with a language and try to write some quines or something < 1411057519 982139 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ZOMBIE? < 1411057562 756470 :Imaginer1!cf1cf972@gateway/web/cgi-irc/kiwiirc.com/ip.207.28.249.114 PRIVMSG #esoteric :That's a weird one O.o < 1411057775 910057 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :My favourite has always been Befunge, and while I haven't been writing all that much in it lately, it's certainly among the most practical esolangs. < 1411057799 353278 :Imaginer1!cf1cf972@gateway/web/cgi-irc/kiwiirc.com/ip.207.28.249.114 PRIVMSG #esoteric :Really? O.o < 1411057811 382715 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Wouldn't you say so? < 1411057811 927159 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: in school? anyway don't remember it, if it's difficult enough to apply to a func, something i didn't feel lisp is picking up some old garbage and watching in horrified fascination at the maggots... < 1411057817 375857 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(That's written in Befunge.) < 1411057861 671349 :Imaginer1!cf1cf972@gateway/web/cgi-irc/kiwiirc.com/ip.207.28.249.114 PRIVMSG #esoteric :I know he is ^^ < 1411057874 794820 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Befunge with structured programming features (like named functions) would probably make a pretty usable language. < 1411057887 4205 :perrier_test!~perrier@host-128-227-179-250.xlate.ufl.edu JOIN :#esoteric < 1411057889 880661 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :At that time it's just a quirky Forth, really. < 1411057962 569722 :Imaginer1!cf1cf972@gateway/web/cgi-irc/kiwiirc.com/ip.207.28.249.114 PRIVMSG #esoteric :yeah < 1411058076 117917 :Imaginer1!cf1cf972@gateway/web/cgi-irc/kiwiirc.com/ip.207.28.249.114 PRIVMSG #esoteric :What's EOF in Fueue? < 1411058090 96583 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Implementation defined < 1411058096 335224 :Imaginer1!cf1cf972@gateway/web/cgi-irc/kiwiirc.com/ip.207.28.249.114 PRIVMSG #esoteric :Mmk. < 1411058153 429122 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Generally 0 I think < 1411058272 844970 :perrier_test!~perrier@host-128-227-179-250.xlate.ufl.edu QUIT :Remote host closed the connection < 1411058478 288384 :perrier_test!~perrier@host-128-227-179-250.xlate.ufl.edu JOIN :#esoteric < 1411058498 793024 :perrier_test!~perrier@host-128-227-179-250.xlate.ufl.edu QUIT :Remote host closed the connection < 1411059021 284262 :Imaginer1!cf1cf972@gateway/web/cgi-irc/kiwiirc.com/ip.207.28.249.114 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1411059084 864518 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1411059191 468387 :AnotherTest!~turingcom@94-224-17-144.access.telenet.be QUIT :Ping timeout: 272 seconds < 1411059199 891307 :Imaginer1!cf1cf972@gateway/web/cgi-irc/kiwiirc.com/ip.207.28.249.114 JOIN :#esoteric < 1411059214 278770 :Imaginer1!cf1cf972@gateway/web/cgi-irc/kiwiirc.com/ip.207.28.249.114 QUIT :Client Quit < 1411059259 207665 :perrier!~perrier@107.170.175.57 JOIN :#esoteric < 1411059280 274750 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 260 seconds < 1411059377 134080 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :as far as "practical" goes, i'd have to put gamma or deltaplex at the top. bytepusher is up there too. < 1411059570 136409 :perrier!~perrier@107.170.175.57 QUIT :Read error: Connection reset by peer < 1411059625 239436 :perrier!~perrier@107.170.175.57 JOIN :#esoteric < 1411060415 198654 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :fizzie: I wonder if it's possible to combine SKI calculus with Befunge in a meaningful way < 1411060522 52245 :MoALTz!~no@user-164-126-228-170.play-internet.pl JOIN :#esoteric < 1411060613 604105 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://sprunge.us/PPFI looking good < 1411061059 451589 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that bot reminds me of me < 1411061370 628890 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Apple included language in its first Transparency Report to say that it had not been subject to a Section 215 Patriot Act request. That language is now gone." niiice < 1411061871 13559 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://codepad.org/cAoadKHp <- any suggestions, critics? < 1411061877 837448 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(Haskell stuff) < 1411061900 959488 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh. the haddock for <<\>> is wrong < 1411061909 410535 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or is it... < 1411061916 390512 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :no it's correct < 1411062490 606885 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :mroman_: Box = Applicative + Copointed? < 1411062508 74614 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh. < 1411062510 841457 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :unbox is allowed to be partial. < 1411062511 659180 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ewww. < 1411062535 844031 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and it isn't even a functor (since id x =/= x for counterbox) < 1411062598 550120 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Well.. you can't unbox a Nothing < 1411062614 875870 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I can't change that :) < 1411062638 619519 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you shouldn't be using fromJust and the like unless you absolutely have to... unbox just makes fromJust type functions ubiquitous. it's not a great thing to abstract over. < 1411062662 77223 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Yeah. Also it will tell you fromJust: undefined < 1411062672 550802 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :instead of unbox: undefined < 1411062691 503365 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that's a minor detail and easily changeable < 1411062731 366641 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :unbox should at least return a Maybe itself, so you can fromJust it if you really want. < 1411062731 650037 :zhill!fis@eos.zem.fi JOIN :#esoteric < 1411062759 341266 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :anyway, CounterBox shouldn't exist, it violates any reasonable laws you could come up with relating anything < 1411062773 750646 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :an okay implementation of that type would have mapping not change the number but summing or taking the product of the two numbers when merging < 1411062786 364802 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the [] instance is the ZipList Applicative instance + head < 1411062806 186477 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(CounterBox would then be like (,) (Sum Int) or Writer (Sum Int), it would work with any monoid) < 1411062824 998218 :shikhout!~shikhin@unaffiliated/shikhin NICK :shikhin < 1411062826 624545 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :a box is like a monad < 1411062827 600612 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the Maybe instance is the Applicative instance for Maybe + unbox < 1411062844 17066 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1411062849 160127 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's a really experimental thing if someone wants to give it a go and see how many attempts it takes to make it crash. I'll get back to fiddling with it tomorrow, probably. (It's lacking URL capabilities, too.) < 1411062849 332065 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :( :let fromJust : (mx : Maybe a) -> {auto ij : IsJust mx} -> a; fromJust (Just x) {ij=ItIsJust} = x < 1411062849 530598 :idris-bot!~ircslave@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :defined < 1411062851 775131 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :really you should just have class Applicative f => Impure f where impure :: f a -> Maybe a or something if you really want < 1411062883 79659 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :( fromJust (Just 0) < 1411062883 252359 :idris-bot!~ircslave@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :040 : 12Integer < 1411062917 706965 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :( fromJust (the (Maybe Integer) Nothing) < 1411062917 857941 :idris-bot!~ircslave@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :When elaborating argument 13ij to function 09fromJust: < 1411062917 858084 :idris-bot!~ircslave@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric : Can't solve goal < 1411062917 858247 :idris-bot!~ircslave@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric : 12IsJust (09the (12Maybe 12Integer) 04Nothing) < 1411062921 170892 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :!bfjoust ijustreadthewiki (>)*9([(+)*9[-]]>)*21 < 1411062921 332235 :zhill!fis@eos.zem.fi PRIVMSG #esoteric :fizzie~ijustreadthewiki: points -10.81, score 22.00/100, rank 41/47 < 1411062923 83940 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t ItIsJust < 1411062924 21158 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Not in scope: data constructor ‘ItIsJust’ < 1411062930 927287 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Melvar: how can I see the data declaration for IsJust? < 1411062939 179322 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :( :doc IsJust < 1411062939 330235 :idris-bot!~ircslave@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :Data type 12IsJust : 12Maybe 13a -> 12Type < 1411062939 330375 :idris-bot!~ircslave@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric : Proof that some Maybe is actually Just < 1411062939 330463 :idris-bot!~ircslave@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :Constructors: < 1411062939 330551 :idris-bot!~ircslave@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric : 04ItIsJust : 12IsJust (04Just 13x) < 1411062955 558354 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Melvar: is the "x" not extractable from ItIsJust? < 1411062970 262097 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is it like, an existential proposition or something? < 1411062996 99364 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :It can be, but I would think you want to erase the whole thing. < 1411063012 41301 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :in Coq you can get the x out of Inductive IsJust {A} : Maybe A -> Type := ItIsJust : forall {x}, IsJust (Just x). < 1411063012 776062 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(And the scores go to http://zem.fi/bfjoust/report.txt at the moment, but that's very temporary too.) < 1411063020 317163 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(but not if you s/Type/Prop/) < 1411063033 440639 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yeah but impure :: f a -> Maybe a < 1411063035 443466 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :elliott: That is, you can, but then the compiler will decide it can’t erase it. < 1411063041 8602 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :where's ,<\> etc? ;) < 1411063070 713958 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :mroman_: I told you, all your reasonable instances are existing Applicative instances, and the rest are awful and won't satisfy any coherent set of laws < 1411063084 684904 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :() is fmap/(<$>) < 1411063090 353465 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :mergeWith is liftA2 < 1411063107 555267 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the [] instance = ZipList Applicative < 1411063114 752841 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the Maybe instance = Maybe Applicative < 1411063122 868459 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :SimpleBox = Identity Applicative < 1411063135 816738 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CounterBox = broken, won't satisfy any reasonable set of laws < 1411063156 90383 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Laws about what? < 1411063160 917926 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sum/Product = the respective Applicatives (if they have instances? they certainly can be given them) < 1411063185 928790 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :First/Last = broken (too partial because of not implementing the Applicative-equivalent methods) but I think they have Applicative instances anyway < 1411063192 478558 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :mroman_: the functions. typeclasses are meant to have laws. < 1411063197 289045 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :sure id x == x doesn't necessarily hold < 1411063198 549637 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :instances are meant to have some commonality; that's the point of abstraction < 1411063229 821676 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm saying that anything useful you can do with this class can be done with that Impure, and the instances that would violate the laws of that are going to be surprising and brittle and not useful. < 1411063243 841960 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's okay if you ignore my advice, but you did ask for it. < 1411063267 924042 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I see @laws < 1411063331 668533 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(you can relate impure to pure by e.g. impure . pure = Just and then you get, e.g. impure . fmap f = fmap f . impure for free and such, which is nice; it's still a little ad-hoc but could be a lot worse) < 1411063356 489240 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :elliott: In Idris, the compiler figures out what things it can erase, but you can give it hints. I think it will prefer to erase implicit things over explicit things usually. < 1411063381 558599 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Melvar: that's interesting... so if I wrote a function that observed the x in ItIsJust, it'd not be erased when compiled? < 1411063389 221553 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that requires whole-program analysis, I guess? < 1411063435 821737 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :I believe it does. < 1411063453 879361 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :mroman_: getting close to reinventing Applicative is pretty impressive though :) it's a wonderful abstraction < 1411063461 2314 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :If you annotated it appropriately, the compiler would warn you if you accidentally observed it. < 1411063527 274528 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I don't have the CatTheory-Background for those things etc. < 1411063535 182865 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :the only law I know is map (f . g) = map f . map g < 1411063549 444769 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which apparentely breaks with seq or something < 1411063576 339515 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :don't worry about seq :p < 1411063604 168048 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but it seemed nice to have (+) <\> [Just 9, Just 8, Nothing] return Nothing (or 17 if it were not for the Nothing) < 1411063611 422299 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and <<\>> which skips over Nothings < 1411063627 145642 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i.e (+) <<\>> [Just 9, Just 8, Nothing] will return Just 17 < 1411063677 888116 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :> foldl1' (+) <$> sequence [Just 9, Just 8, Nothing] < 1411063679 429401 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Nothing < 1411063683 142416 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :> foldl1' (+) <$> sequence [Just 9, Just 8] < 1411063684 544014 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Just 17 < 1411063756 418260 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@hoogle foldM < 1411063758 370435 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Control.Monad foldM :: Monad m => (a -> b -> m a) -> a -> [b] -> m a < 1411063758 544132 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Control.Monad foldM_ :: Monad m => (a -> b -> m a) -> a -> [b] -> m () < 1411063758 544306 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Data.Foldable foldMap :: (Foldable t, Monoid m) => (a -> m) -> t a -> m < 1411063801 413787 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@hoogle foldlM < 1411063801 671904 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Data.Foldable foldlM :: (Foldable t, Monad m) => (a -> b -> m a) -> a -> t b -> m a < 1411063849 274857 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :elliott: Do you know how to transpose a Vect of Vects? < 1411063858 626907 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Melvar: in idris? < 1411063898 359201 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :Well, presumably it would work anywhere you have Vect. < 1411064004 637912 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :Thing is, Vect n is Applicative for all n (it zips). It’s also Traversable (it acts like any sequential container). < 1411064026 563146 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :( with Vect sequence [[1,2,3],[4,5,6]] < 1411064026 736052 :idris-bot!~ircslave@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :04[04[04104, 04404]04, 04[04204, 04504]04, 04[04304, 04604]04] : 12Vect 043 (12Vect 042 12Integer) < 1411064079 44814 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :So, what sequence does with a Vect of Vects just happens to be to transpose it. < 1411064148 58898 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :I absolutely love how it just falls right out of the abstractions. < 1411064175 714769 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> sequence [[1,4],[2,5],[3,6]] < 1411064177 216370 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [[1,2,3],[1,2,6],[1,5,3],[1,5,6],[4,2,3],[4,2,6],[4,5,3],[4,5,6]] < 1411064201 422932 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1411064214 487364 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> sequence [[x,y],[x,y]] < 1411064216 117857 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [[x,x],[x,y],[y,x],[y,y]] < 1411064224 14133 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Melvar: right. < 1411064228 325022 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :this looks binomish < 1411064235 472218 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :> sequence . map ZipList $ [[1,4],[2,5],[3,6]] < 1411064237 243375 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Could not deduce (GHC.Base.Monad Control.Applicative.ZipList) < 1411064237 416916 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of ‘Control.Monad.sequence’ < 1411064237 417065 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : from the context (GHC.Num.Num a) < 1411064237 417155 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : bound by the inferred type of < 1411064237 417241 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : it :: GHC.Num.Num a => Control.Applicative.ZipList [a] < 1411064240 403235 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Melvar: that works withZipList too, I think? < 1411064245 908222 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*with ZipList < 1411064249 589702 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :> sequenceA . map ZipList $ [[1,4],[2,5],[3,6]] < 1411064250 930396 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: ‘sequenceA’ < 1411064251 491328 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant one of these: < 1411064251 491494 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ‘T.sequenceA’ (imported from Data.Traversable), < 1411064251 491582 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ‘sequence’ (imported from Control.Monad.Writer), < 1411064251 491677 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ‘T.sequence’ (imported from Data.Traversable) < 1411064252 219656 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I've used sequence to transpose before, I think. < 1411064253 764556 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> map (\[x,y] -> x*y) $ sequence [[x,y],[x,y]] < 1411064255 138248 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [x * x,x * y,y * x,y * y] < 1411064260 697256 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :> T.sequenceA . map ZipList $ [[1,4],[2,5],[3,6]] < 1411064262 553880 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ZipList {getZipList = [[1,2,3],[4,5,6]]} < 1411064264 799574 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(I just didn't know what Vect was. I know that type as Vec.) < 1411064269 902181 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> sum $ map (\[x,y] -> x*y) $ sequence [[x,y],[x,y]] < 1411064271 370570 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 0 + x * x + x * y + y * x + y * y < 1411064280 370636 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :> getZipList . T.sequenceA . map ZipList $ [[1,4],[2,5],[3,6]] < 1411064281 724504 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [[1,2,3],[4,5,6]] < 1411064310 269831 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :> getZipList . T.sequenceA . map ZipList $ [[1,4],[2,5,8],[3,6]] < 1411064311 859889 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [[1,2,3],[4,5,6]] < 1411064386 425057 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :> transpose [[1,4],[2,5,8],[3,6]] < 1411064387 779046 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [[1,2,3],[4,5,6],[8]] < 1411064439 492834 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :Not *quite* the same with ZipList :3 < 1411064704 68835 :blsqbot!~blsqbot@195-22.104-92.cust.bluewin.ch JOIN :#esoteric < 1411064719 630224 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> sequence [[1,2,3],[4,5,6],[7,8,9]] < 1411064721 134907 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [[1,4,7],[1,4,8],[1,4,9],[1,5,7],[1,5,8],[1,5,9],[1,6,7],[1,6,8],[1,6,9],[2,... < 1411064729 877581 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> {1 2 3}{4 5 6}cp < 1411064731 200693 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input ‘{’ < 1411064741 367005 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {1 2 3}{4 5 6}cp{7 8 9}cp < 1411064742 182761 :blsqbot!~blsqbot@195-22.104-92.cust.bluewin.ch PRIVMSG #esoteric : {{{1 4} 7} {{1 4} 8} {{1 4} 9} {{1 5} 7} {{1 5} 8} {{1 5} 9} {{1 6} 7} {{1 6} 8} < 1411064752 164847 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {1 2 3}{4 5 6}\[cp{7 8 9}cp < 1411064753 104376 :blsqbot!~blsqbot@195-22.104-92.cust.bluewin.ch PRIVMSG #esoteric : {{{1 4} 7} {{1 4} 8} {{1 4} 9} {{1 5} 7} {{1 5} 8} {{1 5} 9} {{1 6} 7} {{1 6} 8} < 1411064763 440384 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Melvar: I guess it works for (->) too < 1411064773 685857 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Melvar: if you have a Traversable instance that requires the enumerability of the input parameter or such < 1411064779 583841 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(or does it need to be finite?) < 1411064810 544379 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ok so sequence on lists is cross product . concat < 1411064827 440858 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {1 2 3}{4 5 6}cp\[{7 8 9}cp < 1411064828 234757 :blsqbot!~blsqbot@195-22.104-92.cust.bluewin.ch PRIVMSG #esoteric : {{1 7} {1 8} {1 9} {4 7} {4 8} {4 9} {1 7} {1 8} {1 9} {5 7} {5 8} {5 9} {1 7} { < 1411064836 291060 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :Well, (Vect n a) is isomorphic to (Fin n -> a). < 1411064853 253343 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Melvar: right. < 1411064874 52356 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you can transpose (Nat -> Nat -> a) too, though. < 1411064933 93234 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :Oh, yes, but I’m pretty sure you can’t make Stream Traversable. < 1411064941 784792 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :map (concat) . crossProduct actually. < 1411064952 933713 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Melvar: I think you can do it if you're okay with it only working with sufficiently lazy Applicatives. < 1411064962 151456 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :class Doop a where { doop :: Monoid m => (a -> m) -> m }; instance Doop a => Traversable ((->) a) where { sequenceA f = ??? (doop ???) } -- a puzzle < 1411064989 272977 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Melvar: after all, the instance for [] breaks on a lot of Applicatives when you pass infinite lists. < 1411065025 189052 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(doop would be isomorphic to doop :: [a], except it differs when laziness means you care about the structure of an infinite tree) < 1411065025 983535 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :Yeah, but Idris has a totality checker and two different explicit lazinesses. < 1411065027 968441 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> let cp xs = [[x,y]|x<-xs,y<-xs]] in foldl1 cp [[1,2,3],[4,5,6],[7,8,9]] < 1411065029 452829 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:32: parse error on input ‘]’ < 1411065030 605049 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right. < 1411065033 316279 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I meant in Haskell. < 1411065041 387517 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> let cp xs = [[x,y]|x<-xs,y<-xs] in foldl1 cp [[1,2,3],[4,5,6],[7,8,9]] < 1411065042 737031 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type ‘[[t]]’ with ‘[t] -> [t]’ < 1411065042 888578 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: [t] -> [t] -> [t] < 1411065042 888735 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: [t] -> [[t]] < 1411065049 949772 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I think you can make the same Traversable instance work for transposing (Fin n -> Fin n -> a) and (Nat -> Nat -> a). < 1411065080 692373 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> let cp xs ys = [[x,y]|x<-xs,y<-ys] in foldl1 cp [[1,2,3],[4,5,6],[7,8,9]] < 1411065082 20152 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Occurs check: cannot construct the infinite type: t ~ [t] < 1411065082 171341 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: [t] -> [t] -> [t] < 1411065082 171518 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: [t] -> [t] -> [[t]] < 1411065085 943621 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Ah screw it :( < 1411065093 77677 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I suck at Haskell-Lists < 1411065160 550602 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :although the cp part doesn't look wrong. < 1411065178 678861 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> [[x,y]|x<-[1..3],y<-[1..3]] < 1411065180 167674 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [[1,1],[1,2],[1,3],[2,1],[2,2],[2,3],[3,1],[3,2],[3,3]] < 1411065208 730217 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> let cp xs ys = concat [[x,y]|x<-xs,y<-ys] in foldl1 cp [[1,2,3],[4,5,6],[7,8,9]] < 1411065210 223323 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [1,7,1,8,1,9,4,7,4,8,4,9,1,7,1,8,1,9,5,7,5,8,5,9,1,7,1,8,1,9,6,7,6,8,6,9,2,7... < 1411065218 535680 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :nope. still wrong. < 1411065257 761291 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Can't you fold with cross-product? < 1411065356 618494 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'm already too accustomed to Burlesque's reduce :( < 1411065369 397578 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {{1 2 3}{4 5 6}{7 8 9}}qcpr[ < 1411065370 102074 :blsqbot!~blsqbot@195-22.104-92.cust.bluewin.ch PRIVMSG #esoteric : {{{1 4} 7} {{1 4} 8} {{1 4} 9} {{1 5} 7} {{1 5} 8} {{1 5} 9} {{1 6} 7} {{1 6} 8} < 1411065397 715059 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(qcpr[ means reduce(crossProduct,xs)) < 1411065443 490094 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :Well, you’re producing what appears to be lists with differently-typed members. < 1411065450 243122 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :elements that is. < 1411065451 898378 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Yes < 1411065466 732352 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :The result type would (in Haskell) depend on the number of elements in the List I guess < 1411065495 151956 :alphapete!~alphapete@unaffiliated/alphapete PART :#esoteric < 1411065495 316995 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :Yes. < 1411065498 188999 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which sounds like it could be done in a dependant typed language? < 1411065590 662606 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :You could, pretty sure. It’ll be more trouble than it’s worth *in practice*, but if you want to play, sure. < 1411065937 210129 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {{1 2 3}{4 5 6}{7 8 9}}qcpr[)\[ < 1411065937 912053 :blsqbot!~blsqbot@195-22.104-92.cust.bluewin.ch PRIVMSG #esoteric : {{1 4 7} {1 4 8} {1 4 9} {1 5 7} {1 5 8} {1 5 9} {1 6 7} {1 6 8} {1 6 9} {2 4 7} < 1411065963 291784 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {{1 2 3}{4 5 6}{7 8 9}{1 1 1}}qcpr[)\[ < 1411065964 67112 :blsqbot!~blsqbot@195-22.104-92.cust.bluewin.ch PRIVMSG #esoteric : {{{1 4} 7 1} {{1 4} 7 1} {{1 4} 7 1} {{1 4} 8 1} {{1 4} 8 1} {{1 4} 8 1} {{1 4} < 1411065974 867649 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::D < 1411066001 56814 :GeekDude!~GeekDude@unaffiliated/g33kdude PRIVMSG #esoteric :http://who.is/dns/jamiehankins.co.uk < 1411066006 626165 :GeekDude!~GeekDude@unaffiliated/g33kdude PRIVMSG #esoteric :someone forgot the sanitize their inputs < 1411066018 857366 :GeekDude!~GeekDude@unaffiliated/g33kdude PRIVMSG #esoteric :XSS through dns entries < 1411066019 774036 :ion!ion@heh.fi PRIVMSG #esoteric ::-D < 1411066047 331718 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :that's incredible < 1411066084 680334 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :amazing < 1411066091 583722 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Why does that refer to a script on peniscorp < 1411066098 352061 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :wat < 1411066108 164943 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :that's really cool < 1411066180 289481 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I recently pentested an webapp that allows XSS via &lt;b&gt; < 1411066202 723220 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :the & will get replaced to & which form < which will be replaced to < < 1411066214 132301 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that's not as funny as a side-channel attack but still < 1411066228 890523 :GeekDude!~GeekDude@unaffiliated/g33kdude PRIVMSG #esoteric :.... What kind of an app does that O_o < 1411066241 705554 :GeekDude!~GeekDude@unaffiliated/g33kdude PRIVMSG #esoteric :isn't the point of & to avoid these kinds of things? < 1411066249 697153 :GeekDude!~GeekDude@unaffiliated/g33kdude PRIVMSG #esoteric :er, < < 1411066262 787913 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Well < 1411066265 971477 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It had a filter < 1411066273 405607 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that replaced < > with "" (i.e. Nothing) < 1411066286 764196 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but also replaced entities with their corresponding ASCII symbols < 1411066302 602472 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and that filter was applied twice < 1411066315 975929 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(I don't know why, but twice sounds more secure than only once) < 1411066316 127012 :GeekDude!~GeekDude@unaffiliated/g33kdude PRIVMSG #esoteric :I assume it didn't let you use < by itself> < 1411066316 828033 :GeekDude!~GeekDude@unaffiliated/g33kdude PRIVMSG #esoteric :? < 1411066321 872613 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :WE DOUBLE FILTER ALL THEM INPUTZ. < 1411066340 725303 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :no. < would be replaced to < and then by the second filter pass it will be removed < 1411066347 308072 :GeekDude!~GeekDude@unaffiliated/g33kdude PRIVMSG #esoteric :o < 1411066362 798274 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so you have to use &lt; < 1411066399 16049 :GeekDude!~GeekDude@unaffiliated/g33kdude PRIVMSG #esoteric :https://xss-game.appspot.com/level1 < 1411066401 427056 :GeekDude!~GeekDude@unaffiliated/g33kdude PRIVMSG #esoteric :this looks fun < 1411066413 466880 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It was a block-box test though < 1411066426 39458 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I haven't seen the source-code and I have no idea why and what actually did this < 1411066428 355485 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :mroman_: Doesn’t that mean it would still be insecure if it was just applied once? < 1411066441 683631 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Melvar: it exactly implies that < 1411066466 309876 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :then you could just use < < 1411066481 421681 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but the filtering was done once for the preview < 1411066490 86146 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :So … what was the filtering for even? < 1411066490 236971 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and once for actually saving the text < 1411066497 8816 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Melvar: I have no idea < 1411066622 597141 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :> \x -> x == [x] < 1411066624 84569 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Occurs check: cannot construct the infinite type: t ~ [t] < 1411066624 235240 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Relevant bindings include x :: [t] (bound at :1:2) < 1411066636 144686 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I haven't actually looked if it's done by the php-backend or the javascript frontend < 1411066640 303059 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :( \x => x == with List [x] < 1411066640 453996 :idris-bot!~ircslave@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :(input):1:23:When elaborating an application of constructor 04Prelude.List.::: < 1411066640 454147 :idris-bot!~ircslave@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric : Unifying a and 12List 13a would lead to infinite value < 1411066653 276787 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :since it's also for the preview it's probably some bad sanitizeHtml javascript function < 1411066665 810152 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I just put it onto the list of "stuff to report" < 1411066678 855197 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It also had an xls-Export < 1411066692 67532 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which allowed you to embed excel-functions < 1411066692 790316 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :I am amused how, where Haskell complains of an infinite type, Idris complains of an infinite value, which just happens to be a type. < 1411066712 847849 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i.e. if you wrote "=5+5" as a answer to a question and the teacher exported it < 1411066718 710370 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :the teacher would see 10 < 1411066778 235112 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(i.e. students can steal answers from other students by doing stuff like =C2 hoping that the answer of the student who did the test first was correct) < 1411067255 448953 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1411067307 678357 :sebbu!~sebbu@ADijon-152-1-33-93.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1411067343 630804 :sebbu!~sebbu@ADijon-152-1-33-93.w83-194.abo.wanadoo.fr QUIT :Changing host < 1411067343 781303 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1411068058 331961 :AnotherTest!~turingcom@94-224-17-144.access.telenet.be JOIN :#esoteric < 1411068515 689857 :zhill!fis@eos.zem.fi QUIT :Remote host closed the connection < 1411068797 655643 :zhill!fis@eos.zem.fi JOIN :#esoteric < 1411068872 786155 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :!bfjoust ijustreadthewiki http://sprunge.us/QILS < 1411068873 523209 :zhill!fis@eos.zem.fi PRIVMSG #esoteric :fizzie~ijustreadthewiki: points -8.14, score 26.05/100, rank 37/47 (change: +4) < 1411070743 348644 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Quit: *bubbles away* < 1411071093 460801 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :~, really? < 1411071105 479536 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :btw, which scoring method won? < 1411071219 255345 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I haven't decided yet, that's just beta-testing. < 1411071289 964115 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm hoping to happen to coincide with some actual BF Joust players for their input re scoring. < 1411071303 263869 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(But it's in the Markov/quintopia mode for now.) < 1411071317 32810 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Except with my max-to-100 normalization instead of the sum-to-N one.) < 1411071366 814169 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :are there going to be fancy HTMLy breakdown pages with egojsout-style traces showing the results??? < 1411071378 33268 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and ponies? < 1411071380 209695 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I was kind of thinking there would. < 1411071426 759743 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's all deterministic, so it can happen entirely client-side, assuming there's some way to fetch the corresponding code. < 1411071472 412358 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :can be kind of slow, though (but egojsout is usually okay) < 1411071488 264180 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also I don't really know about ~, I just wanted something unambiguous that's (a) not a legal nickname character and (b) not a legal character in program names, and both - and _ seem to be in use for the latter on the hill. < 1411071501 117287 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :at least, the match results are useful to see, so you know where to start poking to improve it, and they have to be generated as part of the hill's operation anyway < 1411071516 572866 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: ~fizzie/ijustreadthewiki, clearly. it's the unix way. < 1411071517 703523 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 245 seconds < 1411071539 817681 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I didn't want to use / because there's a 1:1 mapping with program names and file names at the moment, too. < 1411071559 559929 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well, you'd just have to store it in /home/fizzie/ijustreadthewiki.bfjoust. < 1411071562 360983 :ion!ion@heh.fi PRIVMSG #esoteric :All user names are referred to as in @fizzie now, haven’t you heard? Get with the times. < 1411071578 717648 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :actually I kind of like fizzie:ijustreadthewiki < 1411071595 207836 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or is : legal in nicks? < 1411071600 967396 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :No, and the colon is something I thought of. < 1411071603 356844 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :! is another. < 1411071609 394301 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's all nick!user@host-y, too. < 1411071654 721625 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Both get escaped in bash tab-completion so they might have some shell meanings. I know ! does. An inner ~ doesn't.) < 1411071659 318357 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie/ijustreadthewiki is githubby! < 1411071789 967701 :ion!ion@heh.fi PRIVMSG #esoteric :because github invented that < 1411071820 205293 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes, I definitely said that. < 1411071836 149222 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :As for match results, there's a breakdown.txt generated already -- http://zem.fi/bfjoust/breakdown.txt -- following the old-fashioned format. But I did also type in a full-ish JSON dump, so that the fancy website can dynamically generate tables and matrices, show individual results as tooltips and link to an EgoJSout trace, sort according to different scoring metrics and so on. < 1411071905 778053 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(I think the breakdown.txt numbers are inverted from the traditional, though.) < 1411072357 546102 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1411072708 875161 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :watch ioccc.org < 1411072755 793677 :Froox!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1411072966 288134 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 244 seconds < 1411073500 759811 :ski!~ski@remote1.student.chalmers.se QUIT :Ping timeout: 250 seconds < 1411073741 323877 :Froox!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 244 seconds < 1411073745 316277 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1411073854 131065 :ski!~ski@remote1.student.chalmers.se JOIN :#esoteric < 1411074194 865861 :tromp!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :i'm waiting for ioccc 2035 < 1411074197 913131 :WizardFromOz!~WizardFro@109-121-44-68.adsl-a-9.sezampro.rs JOIN :#esoteric < 1411074349 324997 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1411074687 224642 :sebbu!~sebbu@ADijon-152-1-18-153.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1411074724 871886 :sebbu!~sebbu@ADijon-152-1-18-153.w83-194.abo.wanadoo.fr QUIT :Changing host < 1411074725 23038 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1411075271 880800 :blsqbot!~blsqbot@195-22.104-92.cust.bluewin.ch QUIT :Ping timeout: 255 seconds < 1411075642 743080 :clog!~nef@bespin.org QUIT :Ping timeout: 245 seconds < 1411075668 271964 :ion!ion@heh.fi QUIT :Ping timeout: 245 seconds < 1411075693 718335 :coppro!raedford@taurine.csclub.uwaterloo.ca QUIT :Ping timeout: 245 seconds < 1411075703 182484 :atehwa_!atehwa@aulis.sange.fi QUIT :Ping timeout: 240 seconds < 1411075705 2454 :jj2baile!~jon@high-fructose-corn-syrup.csclub.uwaterloo.ca QUIT :Ping timeout: 240 seconds < 1411075716 338849 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 260 seconds < 1411075770 996019 :ion!ion@heh.fi JOIN :#esoteric < 1411075774 102420 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric < 1411075776 310686 :coppro!raedford@taurine.csclub.uwaterloo.ca JOIN :#esoteric < 1411075890 956156 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1411075959 535470 :mihow!~mihow@108.30.58.169 QUIT :Quit: mihow < 1411076108 255280 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 260 seconds < 1411076452 803946 :aretecode!~aretecode@69.163.36.90 QUIT :Ping timeout: 258 seconds < 1411076587 694533 :aretecode!~aretecode@75.126.39.111-static.reverse.softlayer.com JOIN :#esoteric < 1411076663 631143 :aretecode!~aretecode@75.126.39.111-static.reverse.softlayer.com QUIT :Read error: Connection reset by peer < 1411076694 337767 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1411077004 989063 :AnotherTest!~turingcom@94-224-17-144.access.telenet.be QUIT :Ping timeout: 260 seconds < 1411077919 282859 :not^v!~notnot^v@c-68-41-214-218.hsd1.mi.comcast.net JOIN :#esoteric < 1411079829 546151 :not^v!~notnot^v@c-68-41-214-218.hsd1.mi.comcast.net QUIT :Read error: Connection reset by peer < 1411079840 383039 :^8!~notnot^v@c-68-41-214-218.hsd1.mi.comcast.net JOIN :#esoteric < 1411079996 107842 :clog!~nef@bespin.org JOIN :#esoteric < 1411080224 304147 :alandipert!~alandiper@fry.telavant.com PART :#esoteric < 1411080672 317241 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1411080862 490605 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1411081495 366666 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net JOIN :#esoteric < 1411081737 747814 :shikhout!~shikhin@unaffiliated/shikhin NICK :shikhin < 1411082409 360003 :skj3gg!~skj3gg@c-50-151-231-142.hsd1.in.comcast.net JOIN :#esoteric < 1411082416 473754 :skj3gg!~skj3gg@c-50-151-231-142.hsd1.in.comcast.net QUIT :Changing host < 1411082416 624265 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1411082558 275482 :skj3gg!~skj3gg@unaffiliated/skj3gg PART :#esoteric < 1411083145 296358 :sebbu!~sebbu@ADijon-152-1-18-153.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1411083181 238445 :sebbu!~sebbu@ADijon-152-1-18-153.w83-194.abo.wanadoo.fr QUIT :Changing host < 1411083181 389149 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1411084100 585431 :avid!~n@tor.subspace.systems JOIN :#esoteric < 1411084197 773016 :^8!~notnot^v@c-68-41-214-218.hsd1.mi.comcast.net QUIT :Quit: http://i.imgur.com/Akc6r.gif