< 1460073611 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: note periodicity < 1460073629 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: indeed < 1460073637 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although that type's not /quite/ the same, a and a1 swapped names :-P < 1460073684 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: they're alpha equivalent. < 1460073694 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes < 1460073840 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oerjan: I got bibled. < 1460073868 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fmap fmap (fmap (fmap fmap)) = fmap (fmap fmap) fmap (fmap fmap) = fmap (fmap (fmap fmap) fmap) fmap fmap < 1460073881 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :boily: yw < 1460073966 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :now I'm wondering if (.) and ((.) (.)) are enough < 1460073970 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :me too < 1460073973 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :probably not, but at least it doesn't obviously fall into cycle issues < 1460074059 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :higgledy piggledy / a i s 5 2 3, / composed composition, fell / into a trap; // lacking regard for the / periodicity / he got stuck in a cycle, for- / ever to map < 1460074164 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oops, missed a syllable < 1460074174 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`? ais523 < 1460074227 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Agent “Iä” Smith is an alien with a strange allergy to avian body covering, which he is trying to retroactively prevent from ever evolving. On the 3rd of March, he's lawful good. < 1460074316 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :a (b (c (d e))) = fmap a b (c (d e)) = fmap (fmap a b) c (d e) = fmap (fmap (fmap a b)) c d e < 1460074357 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it looks like possibly the blob is never larger than the original? < 1460074383 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That blob isn't done. < 1460074410 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :no. i'm talking about the general process: you never add more fmaps than you get variables extracted < 1460074426 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Yay, figured out a way to do the checkerboard in 0x16 cycles... and actually 0x15 might just be possible. < 1460074429 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ah. Hm. Maybe. < 1460074434 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :if this is true, then (.) and (.) (.) must be enough. < 1460074445 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I always tried to deblob the fmaps too < 1460074456 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :because if you can use (.) (.) you can force it to shrink < 1460074481 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :because a nontrivial fmap blob must contain fmap fmap somewhere. < 1460074638 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i'm a little worried if it's true though, what if c above is composite? < 1460074710 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :if c, d and e are plain variables, then a (b (c (d e))) = fmap (fmap (fmap a b)) c d e does not grow the initial "blob" < 1460074799 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i can assume e is, because it's the "innermost" < 1460074824 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric < 1460074829 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I just had an awful, awful idea < 1460074837 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :The Minimalist's Web < 1460074883 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :AKA Web ε.0 < 1460074903 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Click here < 1460074912 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: It's even worse than that < 1460074933 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: I'm creating a page on the markup now < 1460074952 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[2]: my point is there's only one page, and it links only to itself hth < 1460074966 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Oh, that's called AJAX < 1460074979 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1460075049 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: fmap (fmap a b) c (d e) = fmap (fmap (fmap a b)) c d e ? < 1460075050 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :. o O ( at least it keeps him off the streets ) < 1460075088 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: oops < 1460075158 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: surely it could have a more informative link text than "click here" < 1460075158 0 :gremlins!~nothing@host-92-13-205-245.as43234.net QUIT :Quit: Alsithyafturttararfunar < 1460075186 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: only if it's more minimal hth < 1460075201 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what about "top"? < 1460075215 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: The language you use instead of JavaScript is Brainfuck (well, a derivative, but it has to be for it to work) < 1460075307 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: It's dot dot (dot (dot a b)) c d e < 1460075415 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> fmap fmap (fmap (fmap f g)) h f x :: Expr < 1460075417 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : No instance for (Show a2) arising from a use of ‘f’ < 1460075417 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : The type variable ‘a2’ is ambiguous < 1460075417 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Note: there are several potential instances: < 1460075421 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shocking < 1460075428 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::t (\a b c d e -> dot dot (dot (dot a b)) c d e) :: (d -> e) -> (c -> d) -> (b -> c) -> (a -> b) -> a -> e < 1460075429 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(d -> e) -> (c -> d) -> (b -> c) -> (a -> b) -> a -> e < 1460075431 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hth < 1460075502 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fmap (fmap a b) c (d e) = fmap (fmap (fmap a b) c) d e = fmap fmap (fmap (fmap a b)) c d e < 1460075548 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that's what i wrote above hth < 1460075556 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :switching notation in the middle of the process again is too much for my brain. < 1460075587 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :anyway, that does indeed not look smaller. < 1460075601 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :unless we use that fmap fmap is allowed. < 1460075626 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric := dot (dot dot) (dot dot (dot a)) b c d e < 1460075660 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ditto. < 1460075706 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric := dot (dot (dot dot)) (dot (dot dot) dot) a b c d e < 1460075717 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Of course you can dot that some more. < 1460075754 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ok that's not smaller. < 1460075762 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :even with (dot dot) < 1460075770 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what if the other function you need is called dash < 1460075776 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you can encode binary trees in morse code < 1460075781 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fancy < 1460075790 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::t (\a b c d e -> dot (dot dot dot dot) (dot dot dot dot dot) a b c d e) :: (d -> e) -> (c -> d) -> (b -> c) -> (a -> b) -> a -> e < 1460075791 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(d -> e) -> (c -> d) -> (b -> c) -> (a -> b) -> a -> e < 1460075809 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :dot (dot^4) (dot^5) < 1460075831 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But this particular tree is a special one, of course. < 1460075917 0 :rdococ!~rd606six@unaffiliated/octagonfly PRIVMSG #esoteric :yay trees < 1460075935 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :dot (dot dot) (dot dot (dot a)) b c d e = dot (dot (dot dot)) (dot dot) (dot a) b c d e < 1460075951 0 :rdococ!~rd606six@unaffiliated/octagonfly PRIVMSG #esoteric :... < 1460075982 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric := dot (dot (dot (dot dot)) (dot dot)) dot a b c d e < 1460075990 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: whoa, yours is different < 1460075993 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yep < 1460076000 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i thought yours seemed fishy < 1460076013 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, it's correct. < 1460076079 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :mine somehow manages not to grow there < 1460076119 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::t (`asTypeOf` (\a b c d e -> a (b (c (d e))))) $ \a b c d e -> dot (dot (dot (dot dot)) (dot dot)) dot a b c d e < 1460076120 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(b2 -> c) -> (b1 -> b2) -> (b -> b1) -> (a -> b) -> a -> c < 1460076205 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Minimalist's Markup14]]4 N10 02https://esolangs.org/w/index.php?oldid=46760 5* 03Hppavilion1 5* (+3290) 10Created Page < 1460076250 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Marvel at my evilocity < 1460076333 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: It can ONLY be edited in a monospace fontface :) < 1460076345 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm. < 1460076349 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1460076372 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[2]: is that more or less evil than using terminal control codes as an HTML equivalent? < 1460076382 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :a (b c) = dot a b c is the fundamental transformation here. is there some kind of measure on it which doesn't grow? < 1460076400 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(I learned recently that there was a serious attempt to do that, but it ran so far behind schedule that it was only finished in 1999, by which point other standards had already won) < 1460076401 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@unpl (.) ((.) ((.) ((.) (.))) ((.) (.))) < 1460076401 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(\ b c i l n o -> b c i (l (n o))) < 1460076407 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: I would guess less, because mine will allow more complex things < 1460076408 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@unpl to the rescue < 1460076421 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@unpl (.) ((.) ((.) ((.) (.))) ((.) (.))) (.) < 1460076421 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(\ c i l n o -> c (i (l (n o)))) < 1460076422 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[2]: no, this allowed more complex things < 1460076427 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: ? < 1460076428 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it had the same featureset as, say, OpenDocument < 1460076432 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: Oh. < 1460076433 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :despite being based on terminal control codes < 1460076438 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: What is it? < 1460076440 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: *where < 1460076441 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it even had support for things like vector graphics < 1460076450 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[2]: look up "Open Document Architecture" (e.g. on Wikipedia) < 1460076475 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: so it was the hurd of hypertext? < 1460076505 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: more like the hurd of Word, I guess < 1460076516 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it was originally intended to migrate things out of Word and WordPerfect < 1460076517 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: Interesting... < 1460076520 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then it sort-of blew up < 1460076534 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Crap, just realized that it doesn't support hyperlinks, and that there's no way to do that < 1460076541 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also it suffers from the problem that some of the most basic terminal control codes (like cursor movement) don't really translate well to a word-processing conteext < 1460076543 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I guess I'll have to introduce them as part of the scripting < 1460076579 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: One of the rules of it is that it's pretty much just a finite (albeit > 16m) set of tags < 1460076612 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@@ @run text . (let { f ('d':'o':'t':xs) = "(.)"++f xs; f (x:xs) = x:f xs; f "" = "" } in f) $ @show dot (dot (dot (dot dot)) (dot dot)) dot < 1460076613 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (.) ((.) ((.) ((.) (.))) ((.) (.))) (.) < 1460076618 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@@ @unpl @run text . (let { f ('d':'o':'t':xs) = "(.)"++f xs; f (x:xs) = x:f xs; f "" = "" } in f) $ @show dot (dot (dot (dot dot)) (dot dot)) dot < 1460076620 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (\ c i l n o -> c (i (l (n o)))) < 1460076629 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: There is an effectively infinite number of hyperlinks, so I don't know how to introduce those properly < 1460076640 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: Have I mentioned that it's a scripted markup language < 1460076640 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :? < 1460076719 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@@ @@ (@where dedot) dot dot dot < 1460076720 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (\ c e f i -> c (e f i)) < 1460076772 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :AAAAAAAA < 1460076787 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :logs -> < 1460076804 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@help dedot < 1460076804 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :help . Ask for help for . Try 'list' for all commands < 1460076815 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@help where < 1460076815 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :where . Return element associated with key < 1460076820 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah right < 1460076822 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@where dedot < 1460076822 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : @unpl @run text . (let { f ('d':'o':'t':xs) = "(.)"++f xs; f (x:xs) = x:f xs; f "" = "" } in f) $ @show < 1460076894 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Maybe BCKW has some insight about this. < 1460076911 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :C, K, W are the three things people usually take away in substructural logics. < 1460076930 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But what would it mean to take away B? < 1460076950 0 :Reece`!~nothing@host-92-13-218-196.as43234.net JOIN :#esoteric < 1460076953 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: Oh, are you still working on lefty CL? < 1460077187 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :@unpl @run text . (let { f ('d':'o':'t':xs) = "(.)"++f xs; f (x:xs) = x:f xs; f "" = "" } in f) $ @show < 1460077187 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :.hs: 1: 1:Parse error: @ < 1460077196 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :I was really hoping that would do something < 1460077311 0 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Ping timeout: 276 seconds < 1460077579 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :prooftechnique: it's just a piece of shachaf's monstrosity, you need to surround it with @@s hth < 1460077602 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :are @@ called atats? < 1460077638 0 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1460077642 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :PLAUSIBLE < 1460077932 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :OKAY < 1460078010 0 :Kaynato!~Aedile@rrcs-24-172-147-244.central.biz.rr.com QUIT :Ping timeout: 268 seconds < 1460078105 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :david morgan-mar will be doing a reddit r/comics AMA tomorrow hth < 1460078274 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :should we ask some #esoteric questions? < 1460078301 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm i dunno. he's on record as not doing programming any longer. < 1460078312 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(when he can help it, anyway.) < 1460078436 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i demand to see the record < 1460078786 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: http://www.irregularwebcomic.net/3431.html < 1460078815 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :second last paragraph. < 1460078847 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: dmm's statements on programming reminds me of Keymaker < 1460078866 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :who apparently dislikes non-eso programming < 1460078976 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :mhm < 1460079121 0 :p34k!~p34k@nat-wh-wz4-12.rz.uni-karlsruhe.de QUIT : < 1460079661 0 :boily!~alexandre@96.127.201.149 QUIT :Quit: WHITE CHICKEN < 1460079824 0 :Kaynato!~Aedile@casewireless09.CWRU.Edu JOIN :#esoteric < 1460079976 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`unidecode ƿ < 1460079984 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+01BF LATIN LETTER WYNN] < 1460080041 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :you know what made ds9 the best star trek series < 1460080059 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :its excellent villains, such as χ ƿ < 1460080090 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :chiwynn < 1460080192 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1460080280 0 :lambda-11235!~lambda-11@47.208.113.50 JOIN :#esoteric < 1460080357 0 :rdococ!~rd606six@unaffiliated/octagonfly QUIT :Read error: Connection reset by peer < 1460080378 0 :rdococ!~rd606six@cpc82727-staf9-2-0-cust473.3-1.cable.virginm.net JOIN :#esoteric < 1460080398 0 :rdococ!~rd606six@cpc82727-staf9-2-0-cust473.3-1.cable.virginm.net QUIT :Changing host < 1460080398 0 :rdococ!~rd606six@unaffiliated/octagonfly JOIN :#esoteric < 1460080953 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :okay, that was more tedious than expected... but I have a 0x15 cycles checkerboard now. < 1460081038 0 :rdococ!~rd606six@unaffiliated/octagonfly QUIT : < 1460081340 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :YES! < 1460081355 0 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Quit: Leaving < 1460082265 0 :Kaynato!~Aedile@casewireless09.CWRU.Edu QUIT :Ping timeout: 268 seconds < 1460082328 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1460082544 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 252 seconds < 1460082572 0 :Reece`!~nothing@host-92-13-218-196.as43234.net QUIT :Quit: Alsithyafturttararfunar < 1460082701 0 :Reece`!~nothing@host-92-13-218-196.as43234.net JOIN :#esoteric < 1460082720 0 :Reece`!~nothing@host-92-13-218-196.as43234.net QUIT :Read error: Connection reset by peer < 1460082802 0 :Reece`!~nothing@host-92-13-218-196.as43234.net JOIN :#esoteric < 1460082862 0 :Reece`!~nothing@host-92-13-218-196.as43234.net QUIT :Client Quit < 1460082910 0 :Reece`!~nothing@host-92-13-218-196.as43234.net JOIN :#esoteric < 1460083028 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric < 1460083987 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Wi is working < 1460083992 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Partially < 1460083999 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :You can only s/// at the moment, but it works < 1460084020 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: leaving < 1460084146 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I seem to have hit a wall though < 1460084316 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :"TedxKids" is a very badly-named thing < 1460084613 0 :Reece`!~nothing@host-92-13-218-196.as43234.net QUIT :Quit: Alsithyafturttararfunar < 1460084621 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1460084930 0 :iconmaster!~iconmaste@129.21.121.176 QUIT :Ping timeout: 244 seconds < 1460084953 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 252 seconds < 1460085002 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric < 1460085336 0 :llue!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1460085390 0 :lleu!~gnomebad@unaffiliated/lleu QUIT :Ping timeout: 250 seconds < 1460085525 0 :Kaynato!~Aedile@cpe-173-88-230-28.neo.res.rr.com JOIN :#esoteric < 1460085553 0 :rdococ!~rdococ@unaffiliated/octagonfly JOIN :#esoteric < 1460086350 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1460086612 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 260 seconds < 1460086776 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :So I've now looked at existing programs (in particular the "small" 0x16 cycle solution)... it should be possible to get down to 0x14, perhaps even 0x13 cycles. < 1460086824 0 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1460088104 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca JOIN :#esoteric < 1460088265 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hello < 1460088312 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Hello < 1460088541 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: How many instructions do you think is the minimum? < 1460088557 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :I instruct you to say yay < 1460088653 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :now < 1460089242 0 :Kaynato!~Aedile@cpe-173-88-230-28.neo.res.rr.com QUIT :Ping timeout: 244 seconds < 1460089375 0 :^v!~v^@c-68-41-215-101.hsd1.mi.comcast.net QUIT :Ping timeout: 252 seconds < 1460089620 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: impomatic said there's a 4 instruction solution; my best was 6 (or 5 if one relies on wrapping code execution and doesn't sound the 0s) < 1460089640 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :So... I have 0x13 cycles now. :-) < 1460089706 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :using 41 threads... < 1460089725 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :0x01 < 1460089878 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I saw the 4-instruction solution. < 1460089901 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I kind of doubt you can do better than that. < 1460090077 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I don't think that I can below those 0x13 cycles. < 1460090336 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin: whoa whoa whoa < 1460090347 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin: The answer is obviously "encrypt-then-MAC" < 1460090803 0 :Guest772714!~severalwo@186-78-162-52.baf.movistar.cl JOIN :#esoteric < 1460090969 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :impomatic: if you want to play with it, the code is here: http://sprunge.us/PKXS < 1460091061 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I rediscovered the gang scheduling idea... so to speak... myself... that's how I got to 0x16 and then 0x15 cycles. But the reduction in code size was essential to get to 0x13.) < 1460091283 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"sound" instead of "count"... I think this is my cue to go to bed. < 1460091661 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :What about the blue box one... have people gotten below 8 lines (with wrapping code)? < 1460091709 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: What transformation takes \a b c d e -> a (b c) (d e) to dot^6? < 1460091907 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Or dot dot (dot dot), for that matter. < 1460092501 0 :contrapumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric < 1460092702 0 :copumpkin!~copumpkin@haskell/developer/copumpkin QUIT :Ping timeout: 260 seconds < 1460093271 0 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1460093645 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1460093928 0 :variable!~variable@freebsd/developer/variable QUIT :Quit: 1 found in /dev/zero < 1460093929 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 252 seconds < 1460093929 0 :Guest772714!~severalwo@186-78-162-52.baf.movistar.cl QUIT :Ping timeout: 252 seconds < 1460094316 0 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1460094559 0 :Guest772714!~severalwo@186-78-146-221.baf.movistar.cl JOIN :#esoteric < 1460094826 0 :variable!?@? NICK :trout < 1460095484 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1460095767 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 264 seconds < 1460097225 0 :trout!~variable@freebsd/developer/variable QUIT :Quit: 1 found in /dev/zero < 1460097762 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Another kind of card for Magic: the Gathering might be: Whenever a nonactive player would draw a card, the active player draws a card instead. < 1460099197 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You mean "if"? < 1460099338 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :
ACTION slaps someone with a trout
< 1460099413 0 :MoALTz!~no@78-11-183-124.static.ip.netia.com.pl QUIT :Quit: Leaving < 1460099901 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :what about lua without metatables < 1460099935 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 252 seconds < 1460100540 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :contrapumpkin: ☝ < 1460100723 0 :Froox!~Frooxius@194.108.5.201 JOIN :#esoteric < 1460100951 0 :Frooxius!~Frooxius@91.219.247.213 QUIT :Ping timeout: 264 seconds < 1460102567 0 :lambda-11235!~lambda-11@47.208.113.50 QUIT :Quit: Bye < 1460103275 0 :AnotherTest!~turingcom@2a02:1811:d22:cc00:1447:87c9:d65:1b2a JOIN :#esoteric < 1460104179 0 :Guest772714!~severalwo@186-78-146-221.baf.movistar.cl QUIT :Quit: Nettalk6 - www.ntalk.de < 1460107142 0 :bb010g!uid21050@gateway/web/irccloud.com/x-dmjahdmsnkulwths QUIT :Quit: Connection closed for inactivity < 1460107351 0 :J_Arcane!~chatzilla@37-219-93-73.nat.bb.dnainternet.fi QUIT :Ping timeout: 268 seconds < 1460108333 0 :impomatic!~impomatic@37.152.222.136 PRIVMSG #esoteric :int-e: nice work, you should submit it to the leaderboard on reddit < 1460108375 0 :jaboja!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1460109442 0 :impomatic!~impomatic@37.152.222.136 PRIVMSG #esoteric :My BOX-256 solutions are here if anyone can improve them? https://github.com/impomatic/BOX256 < 1460110086 0 :dancek!~root@23.97.134.3 JOIN :#esoteric < 1460110349 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 248 seconds < 1460112210 0 :rdococ!~rdococ@unaffiliated/octagonfly QUIT :Ping timeout: 244 seconds < 1460113506 0 :fizzie!?@? PRIVMSG #esoteric :First time I've seen a coffin made to look like a wicker basket. < 1460113541 0 :fizzie!?@? PRIVMSG #esoteric :(There was one in the back of a hearse.) < 1460113643 0 :fizzie!?@? PRIVMSG #esoteric :Seems like it's a thing http://www.thegreenfuneralcompany.co.uk/graphics/cms/wicker3.jpg < 1460114112 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :
ACTION prefers to stay away from reddit
< 1460114782 0 :impomatic!~impomatic@37.152.222.136 PRIVMSG #esoteric :int-e: do you mind if I post your solution on the leaderboard then? I can credit it to anonymous if you like? < 1460115492 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1460115623 0 :Reece`!~nothing@host-92-13-218-196.as43234.net JOIN :#esoteric < 1460115640 0 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1460116629 0 :Reece`!~nothing@host-92-13-218-196.as43234.net QUIT :Quit: Alsithyafturttararfunar < 1460116678 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :I have coffee. gorgeous, beautiful coffee. aaaaaaaah :) < 1460116692 0 :Reece`!~nothing@host-92-13-218-196.as43234.net JOIN :#esoteric < 1460117451 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :impomatic: no I don't mind at all... attributing it to int-e may help some people recognize the author < 1460117485 0 :rdococ!~rdococ@unaffiliated/octagonfly JOIN :#esoteric < 1460117664 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :cool 6 line solution for the big square (by staying away from reddit I mean that I don't want to post there... I'd just end up polling for replies every 5 minutes) < 1460118145 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1460118226 0 :boily!~alexandre@96.127.201.149 QUIT :Quit: CAROTID CHICKEN < 1460118411 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1460119022 0 :contrapumpkin!~copumpkin@haskell/developer/copumpkin PRIVMSG #esoteric :shachaf: thanks! < 1460119579 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i'm so happy there's another giant war in eve online < 1460121251 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ah grammar... are there giants in eve online? < 1460122732 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1460122999 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 260 seconds < 1460123430 0 :spiette!~spiette@206.167.243.4 JOIN :#esoteric < 1460123877 0 :spiette_!~spiette@x-132-204-251-254.xtpr.umontreal.ca JOIN :#esoteric < 1460123992 0 :spiette!~spiette@206.167.243.4 QUIT :Ping timeout: 260 seconds < 1460124423 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1460125138 0 :spiette_!~spiette@x-132-204-251-254.xtpr.umontreal.ca QUIT :Quit: :qa! < 1460125884 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1460127261 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :a (b c d) = fmap a (b c) d = fmap (fmap a) b c d = fmap fmap fmap a b c d < 1460127367 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :a1 ... an b (c1 ... cn d) = fmap (a1 ... an b) (c1 ... cn) d < 1460127487 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that last one looks promising for recursing < 1460127690 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :a (b1 ... bn c) = fmap a (b1 ... bn) c = fmap (fmap a) (b1 ... bn-1) bn c < 1460127960 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :a (b c d e) = fmap (fmap (fmap a)) b c d e this is related to fmap being sort of "lensy" < 1460128067 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ah of course what we need is fmap . fmap . fmap < 1460128073 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :etc. < 1460128154 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it might help that . is associative (and also is fmap) < 1460128523 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm... < 1460128537 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :fmap fmap fmap is one of my favorites < 1460128546 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :isn't it < 1460128648 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :a . (fmap . fmap) = fmap a (fmap fmap fmap) = fmap (fmap a) (fmap fmap) fmap < 1460128658 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :I guess the equivalent to fmap . fmap . fmap is fmap fmap fmap fmap fmap fmap fmap fmap, which is pleasing < 1460128762 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric ::t (fmap . fmap . fmap) `asTypeOf` fmap fmap fmap fmap fmap fmap fmap fmap < 1460128763 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(Functor f, Functor f1, Functor f2) => (a -> b) -> f (f1 (f2 a)) -> f (f1 (f2 b)) < 1460128807 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :but it has to break down somewhere, because fmap^6 = fmap^10 < 1460128934 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric := fmap (fmap (fmap a)) fmap fmap fmap < 1460128959 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm... < 1460128997 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Somehow, I've never seen asTypeOf < 1460129157 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric := (fmap . fmap . fmap) a fmap fmap fmap < 1460129244 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :this doesn't help enough if a is composite. < 1460129798 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :a (b1 ... bn) = fmap^{\circ n-1} a b1 ... bn < 1460130313 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu JOIN :#esoteric < 1460130338 0 :spiette!~spiette@x-132-204-251-254.xtpr.umontreal.ca JOIN :#esoteric < 1460130453 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell fizzie First time I've seen a coffin made to look like a wicker basket. <-- all i know is that when i googled "wicker basket" right now, google's second suggestion appended "coffin". < 1460130453 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1460130511 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION got a bit confused about wicker <-> wicket, so before googling thought this was some cricket thing.
< 1460130606 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :after darths & droids made me google ewoks yesterday, "wicket" doesn't give the hits i expected, either. < 1460130964 0 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net JOIN :#esoteric < 1460131010 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION fails to spot any pictures of ewoks playing cricket.
< 1460131177 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :impomatic: ah, nice 0x12 cycles solution < 1460131287 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION finds today's xkcd hilarious
< 1460131326 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :why do i have this awful feeling that box256's thread mechanics are now locked in for good < 1460131371 0 :impomatic!~impomatic@37.152.222.136 PRIVMSG #esoteric :int-e: thanks :-) 0x11 would be possible if I could find space for one more instruction! < 1460131393 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: it's because you're psychic hth < 1460131413 0 :fizzie!?@? PRIVMSG #esoteric :oerjan: I googled for "wicker basket coffin" to find the image. < 1460131431 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :impomatic: you can do it with misaligned instructions... you don't need the last bytes of the PIX ones. < 1460131448 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :what the hell is this garden thing < 1460131448 0 :fizzie!?@? PRIVMSG #esoteric :That said, my suggestions are "wicker baskets", "wicker baskets uk", "wicker basket with lid" and "wicker baskets ikea". < 1460131488 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: xkcd's april 1 comic that somehow got delayed < 1460131502 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :impomatic: oh wait, I'm doing the math wrong... < 1460131509 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :ah, it' some kind of waiting game < 1460131535 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: next year he'll do paint drying < 1460131546 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :it seems quite pointless after time < 1460131548 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :impomatic: so yeah I think I'm short by one byte. < 1460131550 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: i gave up because it kept resetting in my browser < 1460131555 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i think time was probably the last genuinely great thing he did < 1460131595 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :before he managed to fuck up even the pictoblog stuff and wrote that godawful thing explainer book < 1460131596 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: what about the comet probe < 1460131601 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :comet probe? < 1460131627 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :he had a real-time comic following the landing < 1460131636 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :well that's kind of cool < 1460131661 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :anyway, i still think today's is hilarious, so there. < 1460131782 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :impomatic: hah! you can squeeze in a PIX nn 03 instruction at address 0x16 < 1460131782 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :now gg < 1460131832 0 :impomatic!~impomatic@37.152.222.136 PRIVMSG #esoteric :int-e: fantastic, I'll do that now, thanks :-) < 1460131885 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(fortunately the number of threads will remain even) < 1460132041 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :
ACTION is happy to leave the tedious work to impomatic ;)
< 1460132047 0 :llue!~gnomebad@unaffiliated/lleu QUIT :Quit: That's what she said < 1460132066 0 :lleu!~gnomebad@cpc15-croy20-2-0-cust489.croy.cable.virginm.net JOIN :#esoteric < 1460132066 0 :lleu!~gnomebad@cpc15-croy20-2-0-cust489.croy.cable.virginm.net QUIT :Changing host < 1460132066 0 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1460132100 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :impomatic: and you can reduce the amount of misaligned code by putting the jump table right in front of the thread instruction pointers. < 1460132129 0 :impomatic!~impomatic@37.152.222.136 PRIVMSG #esoteric :int-e: done that already. I'd allowed for that < 1460132139 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric ::) < 1460132505 0 :Guest772714!~severalwo@186-78-146-221.baf.movistar.cl JOIN :#esoteric < 1460132676 0 :impomatic!~impomatic@37.152.222.136 PRIVMSG #esoteric :int-e: done, but didn't need the PIX at 0x16 after all. < 1460132733 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu QUIT :Ping timeout: 268 seconds < 1460133253 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm, right. < 1460134205 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :okay, we can do better still :) < 1460134701 0 :acertain!~acertain@unaffiliated/fread2281 QUIT :Quit: Leaving < 1460135325 0 :Kaynato!~Aedile@casewireless02.CWRU.Edu JOIN :#esoteric < 1460135430 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1460135441 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :oerjan: This is my garden: http://xkcd.com/1663/#abf5687c-fbaf-11e5-8001-42010a8e0011 < 1460135453 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Things are strange < 1460135677 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1460135753 0 :Reece`!~nothing@host-92-13-218-196.as43234.net QUIT :Quit: Alsithyafturttararfunar < 1460136370 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :contrapumpkin: ? < 1460136406 0 :contrapumpkin!~copumpkin@haskell/developer/copumpkin PRIVMSG #esoteric :shachaf: you told me encrypt-then-MAC < 1460136484 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: if you can express dot . ... . dot than you can express a (b1 ... bn), which allows you to build anything by recursion. < 1460136549 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :unfortunately sizes blow up when trying to use those mutually. < 1460136560 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*then < 1460136610 0 :Guest772714!~severalwo@186-78-146-221.baf.movistar.cl QUIT :Ping timeout: 244 seconds < 1460136620 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :um, throw a1 ... an (b1 ... bn) in there too < 1460136674 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :a1 ... an b (c1 ... cn d) = fmap (a1 ... an b) (c1 ... cn) d was the main starting point < 1460136951 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fmap (fmap (fmap ...)) is also a base. < 1460136963 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: I just woke up, it'll be a bit before I can think about dots. < 1460136967 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1460137000 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and i'll be leaving soon anyway so... < 1460137004 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Later < 1460137108 0 :contrapumpkin!?@? NICK :copumpkin < 1460137458 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric < 1460137579 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1460139060 0 :bb010g!uid21050@gateway/web/irccloud.com/x-qwytkhqlttybrpek JOIN :#esoteric < 1460139252 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin: I'm not even sure how to justify the other two. < 1460139292 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: now i can think about dots but you already scrapped < 1460139369 0 :rdococ!~rdococ@unaffiliated/octagonfly QUIT :Quit: Leaving < 1460139428 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :impomatic: http://sprunge.us/TaKQ is 0x10 cycles < 1460139470 0 :Guest772714!~severalwo@186-78-146-221.baf.movistar.cl JOIN :#esoteric < 1460139562 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: whoa, I was wondering if anyone would use that in a solution < 1460139601 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 252 seconds < 1460139837 0 :Caesura!~Aedile@casewireless02.CWRU.Edu JOIN :#esoteric < 1460139945 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: hmm, how concrete is your "that"? misaligned instructions, overlapping instructions, overlapping adds, this particular overlapping add? < 1460139981 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is there a use case for misaligned instructions that aren't overlapping? < 1460140023 0 :Kaynato!~Aedile@casewireless02.CWRU.Edu QUIT :Ping timeout: 240 seconds < 1460140043 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :well, some instructions come with unused bytes... < 1460140071 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so I would see a difference between having a PIX every three bytes and this overlapping ADD. < 1460140090 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ah, I guess. < 1460140173 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh no... I have to do this again... < 1460140174 0 :hppavilion[2]!~DevourerO@74-114-87-65.dynamic.asdk12.org JOIN :#esoteric < 1460140215 0 :p34k!~p34k@nat-wh-wz4-12.rz.uni-karlsruhe.de JOIN :#esoteric < 1460140346 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :even 0x0F should work < 1460140372 0 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Ping timeout: 260 seconds < 1460140438 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :let's see... I need four more threads. < 1460140624 0 :hppavilion[2]!~DevourerO@74-114-87-65.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1460140810 0 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1460140855 0 :impomatic!~impomatic@37.152.222.136 PRIVMSG #esoteric :4 more threads = two more instructions (8 bytes). 4 for the IPs and 4 to overwrite the IPs :-( < 1460140866 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I know. < 1460140873 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :But it's possible... just needs work. < 1460140993 0 :hppavilion[2]!~DevourerO@74-114-87-65.dynamic.asdk12.org JOIN :#esoteric < 1460141320 0 :Caesura!~Aedile@casewireless02.CWRU.Edu QUIT :Ping timeout: 244 seconds < 1460141779 0 :hppavilion[2]!~DevourerO@74-114-87-65.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1460141814 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :impomatic: corewars? < 1460141868 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: For extra credit write a program that uses the IPs as part of an instruction. < 1460141898 0 :impomatic!~impomatic@37.152.222.136 PRIVMSG #esoteric :ais523: box256 < 1460141916 0 :centrinia!~centrinia@107-208-218-105.lightspeed.tukrga.sbcglobal.net JOIN :#esoteric < 1460141968 0 :impomatic!~impomatic@37.152.222.136 PRIVMSG #esoteric :ais523: http://programminggames.org/BOX-256.ashx < 1460141981 0 :hppavilion[2]!~DevourerO@74-114-87-65.dynamic.asdk12.org JOIN :#esoteric < 1460142008 0 :Caesura!~Aedile@casewireless02.CWRU.Edu JOIN :#esoteric < 1460142958 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Instead of booster packs I may prefer to sell a customizable card game set as a "set box" which contains divisions by rarity and alphabetical order within each section. After confirming that you have received the correct cards, you can mix them and construct packs from them in order to make up a draft, and then afterward you can separate them by rarity to replace them into the box. < 1460142993 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: But you could make much less money that way. < 1460142999 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: there are some games that work like that already < 1460143031 0 :impomatic!~impomatic@37.152.222.136 PRIVMSG #esoteric :Isn't that how the new Netrunner works? < 1460143064 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It is. < 1460143077 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :shachaf: The goal is to make a card game, not to make money. In a large enough tournament they would purchase a lot of boxes anyways. (Booster packs could still be sold as well, in case you deliberately want random cards or do not want to construct the packs yourself) < 1460143101 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hasbro's goal is to make money. < 1460143136 0 :impomatic!~impomatic@37.152.222.136 PRIVMSG #esoteric :
ACTION only has the old Netrunner to play. But I set up a business account with the supplier of the new Netrunner last week so I can retail it.
< 1460143247 0 :fizzie!?@? PRIVMSG #esoteric :Superb. Trying to operate the British Airways reservation site -- the dynamic part of the forms are subtly broken. So I check the javascript console, and it says "SyntaxError: expected expression, got '<'" for the file jquery-1.8.3.min.js. < 1460143276 0 :fizzie!?@? PRIVMSG #esoteric :Turns out that's because, instead of returning the jQuery library, their server has returned a HTML page saying "We are experiencing high demand at the moment. If you would like to continue please click on one of the following links, otherwise please visit us again later." < 1460143286 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :The instructions in the box would specify how many of each rarity per pack, as well as a copy of the game rules, and the computer codes for the cards in the set. (But I would also allow proxies unlike Hasbro anyways) < 1460143286 0 :fizzie!?@? PRIVMSG #esoteric :That's certainly very user-friendly, but it's a poor substitute for jQuery. < 1460143297 0 :hppavilion[2]!~DevourerO@74-114-87-65.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1460143322 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :what if there was a languahe where < 1460143330 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :instead of < 1460143354 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :print "hello world"; < 1460143356 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :When I said it is not to make money, I meant the goal is not primarily earning money; it is secondary. The primary goal is to make up the game. < 1460143366 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :you have to do < 1460143394 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :print "hello world;" < 1460143503 0 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1460143576 0 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1460143645 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Also can include a barcode on the front of the card, so that it can be scanned into the computer. A computer database can be provided that includes the barcode numbers, so that the program can then be written to make scanning and make up the list on the computer from that. < 1460143688 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :(Possibly it could be a UUID or something like that in order that the same way can then even be used with custom cards) < 1460143729 0 :hppavilion[2]!~DevourerO@74-114-87-65.dynamic.asdk12.org JOIN :#esoteric < 1460143813 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :meh, I miscounted the threads... < 1460143833 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Including computer codes too also allows anyone to make implementations of the game on computer, as well as to clarify the rules more even if you are not using the computer. < 1460143836 0 :hppavilion[2]!~DevourerO@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :A language < 1460143842 0 :hppavilion[2]!~DevourerO@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :Where every instruction is an infinite string < 1460143852 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Do you like this? < 1460143859 0 :hppavilion[2]!~DevourerO@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :(Encoded as a lazy-evaluated sequence) < 1460144006 0 :rdococ!~rdococ@unaffiliated/octagonfly JOIN :#esoteric < 1460144195 0 :idris-bot!~idris-bot@dslb-178-006-010-224.178.006.pools.vodafone-ip.de QUIT :Quit: Terminated < 1460144212 0 :idris-bot!~idris-bot@dslb-178-006-010-224.178.006.pools.vodafone-ip.de JOIN :#esoteric < 1460144760 0 :Reece`!~nothing@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net JOIN :#esoteric < 1460145332 0 :sheili!~canaima@190.203.180.230 JOIN :#esoteric < 1460145496 0 :sheili!~canaima@190.203.180.230 PRIVMSG #esoteric :hola < 1460145507 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hi < 1460145531 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`? welcome.es < 1460145538 0 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 244 seconds < 1460145558 0 :sheili!~canaima@190.203.180.230 PRIVMSG #esoteric :hablas español < 1460145566 0 :Guest772714!~severalwo@186-78-146-221.baf.movistar.cl QUIT :Quit: Nettalk6 - www.ntalk.de < 1460145569 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​¡Bienvenido al centro internacional para el diseño y despliegue de lenguajes de programación esotéricos! Por desgracia, la mayoría de nosotros no hablamos español. Para obtener más información, echa un vistazo a nuestro wiki: http://esolangs.org/. (Para el otro tipo de esoterismo, prueba #esoteric en EFnet o DALnet.) < 1460145686 0 :Guest772714!~severalwo@186-78-146-221.baf.movistar.cl JOIN :#esoteric < 1460145688 0 :Reece!~nothing@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net JOIN :#esoteric < 1460145714 0 :Reece`!~nothing@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net QUIT :Ping timeout: 246 seconds < 1460145714 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :It should be generally expectted to be English to be reading/writing this channel effectively. < 1460145744 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :(Despite many Spanish people seem to come on, but I don't know read/write Spanish so well) < 1460145771 0 :Guest772715!~severalwo@186-78-146-221.baf.movistar.cl JOIN :#esoteric < 1460145783 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: it's another person with ~canaima in their username < 1460145795 0 :Guest772714!~severalwo@186-78-146-221.baf.movistar.cl QUIT :Read error: Connection reset by peer < 1460145829 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :at this point it's almost worth banning the username fragment, lots of Spanish-speakers using canaima seem to end up here when they shouldn't be for no obvious reason < 1460145877 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Yes, many people are thinking it is the Spanish IRC even though it is not, it seem? If it can be ban with the note/redirect so that if they do actually want it, to knock or whatever? < 1460145918 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, which channel do we redirect to though? < 1460145926 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :like, what is it called? < 1460145930 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :we could give it a join message explaining < 1460145969 0 :Caesura!~Aedile@casewireless02.CWRU.Edu QUIT :Ping timeout: 244 seconds < 1460146366 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :It is the "canaima notice channel" < 1460146382 0 :Caesura!~Aedile@casewireless02.CWRU.Edu JOIN :#esoteric < 1460146452 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, #canaima exists, it's not empty but it's pretty small < 1460146520 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :It would be a different channel such as ##canaima-notice for example < 1460146621 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes, I wasn't planing to use #canaima, was just curious as to whether it existed < 1460146623 0 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1460146767 0 :sheili!~canaima@190.203.180.230 QUIT :Quit: Leaving. < 1460146776 0 :sheili!~canaima@190.203.180.230 JOIN :#esoteric < 1460146807 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :"Important Note: This is not the Spanish IRC. If this is the channel you want anyways, please to knock or to change your username." (And then also write the same thing in Spanish) < 1460146941 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Did you hear Conspiracy 2 was announced? < 1460146947 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Release date in Aug. < 1460146979 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I did not hear it, but now I do < 1460147056 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are you excited for all the new jams? < 1460147072 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Also I think Return to Innistrad was released today or something. < 1460147095 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :What new jams? < 1460147120 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I do not play the game much so I don't care < 1460147161 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Would you be more excited for a new Magic: The Puzzling? < 1460147165 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :These new cards and new rules can be used with new puzzles though. < 1460147182 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Yes I would be more excited for a new Magic: The Puzzling, and I would purchase it if they made available for purchase < 1460147302 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Have you tried http://markrosewater.tumblr.com/post/121390976958/the-duels-games-have-puzzle-duels-which-are ? < 1460147338 0 :sheili!~canaima@190.203.180.230 PART #esoteric : < 1460147502 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Apparently they have been getting fewer and worse every time, anyways I would want a paper version < 1460147533 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Still some other people (including myself) do make up puzzles too < 1460148544 0 :Guest772715!~severalwo@186-78-146-221.baf.movistar.cl QUIT :Ping timeout: 252 seconds < 1460148923 0 :Reece`!~Ner@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net JOIN :#esoteric < 1460148927 0 :Reece!~nothing@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net QUIT :Ping timeout: 246 seconds < 1460149010 0 :Caesura!~Aedile@casewireless02.CWRU.Edu QUIT :Ping timeout: 244 seconds < 1460149123 0 :shachaf!~shachaf@unaffiliated/shachaf QUIT :Ping timeout: 260 seconds < 1460149302 0 :FireFly!~firefly@firefly.xen.prgmr.com QUIT :Remote host closed the connection < 1460149317 0 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org JOIN :#esoteric < 1460149468 0 :hppavilion[2]!~DevourerO@74-114-87-65.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1460149600 0 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1460149645 0 :FireFly!~firefly@firefly.xen.prgmr.com JOIN :#esoteric < 1460149698 0 :iconmaster!~iconmaste@129.21.121.176 JOIN :#esoteric < 1460149864 0 :shachaf!~shachaf@unaffiliated/shachaf JOIN :#esoteric < 1460149915 0 :Caesura!~Aedile@casewireless02.CWRU.Edu JOIN :#esoteric < 1460149956 0 :Reece`!~Ner@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net QUIT :Ping timeout: 246 seconds < 1460150161 0 :Reece`!~Ner@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net JOIN :#esoteric < 1460150421 0 :puck1pedia!~puck@irc.puckipedia.com JOIN :#esoteric < 1460150433 0 :puckipedia!~puck@irc.puckipedia.com QUIT :Ping timeout: 240 seconds < 1460150505 0 :puck1pedia!?@? NICK :puckipedia < 1460150633 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: buying food < 1460150711 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :impomatic: http://sprunge.us/EhhO < 1460150791 0 :impomatic!~impomatic@37.152.222.136 PRIVMSG #esoteric :int-e: I didn't think it was possible. 62 threads, nice work :-) < 1460151007 0 :impomatic!~impomatic@37.152.222.136 PRIVMSG #esoteric :I need to check my Smiley Face solution is safe < 1460151259 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fwiw, I don't think 0x40 threads will fit :) < 1460151336 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :besides they wouldn't help... duh. < 1460152335 0 :Reece`!~Ner@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net QUIT :Quit: Alsithyafturttararfunar < 1460152360 0 :augur_!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1460152471 0 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Ping timeout: 252 seconds < 1460153044 0 :AnotherTest!~turingcom@2a02:1811:d22:cc00:1447:87c9:d65:1b2a QUIT :Quit: ZNC - http://znc.in < 1460154216 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1460155148 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :"Science is always discovering odd scraps of magical wisdom and making a tremendous fuss about its cleverness." I have seen this quotation attributed to Aleister Crowley but have been unable to confirm it. Do you know who it is? < 1460155161 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Another quotation is "The best armor is to keep out of range." Do you know where it comes from? < 1460155386 0 :spiette!~spiette@x-132-204-251-254.xtpr.umontreal.ca QUIT :Quit: :qa! < 1460155478 0 :spiette!~spiette@x-132-204-251-254.xtpr.umontreal.ca JOIN :#esoteric < 1460155560 0 :spiette!~spiette@x-132-204-251-254.xtpr.umontreal.ca QUIT :Read error: Connection reset by peer < 1460155623 0 :Caesura!~Aedile@casewireless02.CWRU.Edu QUIT :Ping timeout: 240 seconds < 1460155765 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1460155849 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: *MWAHAHAHA* < 1460156586 0 :Caesura!~Aedile@casewireless02.CWRU.Edu JOIN :#esoteric < 1460156763 0 :p34k!~p34k@nat-wh-wz4-12.rz.uni-karlsruhe.de QUIT : < 1460156941 0 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org JOIN :#esoteric < 1460156997 0 :kragniz!~kragniz@nyaa.kragniz.eu QUIT :Quit: leaving < 1460157023 0 :kragniz!~kragniz@nyaa.kragniz.eu JOIN :#esoteric < 1460157569 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: what are you mwahing about now < 1460157577 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :dots hth < 1460157836 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :dot, dot dot, dot . dot, dot (dot dot), dot dot . dot, dot . dot dot, dot (dot . dot), dot . dot . dot, dot (dot (dot dot)), dot (dot dot) . dot, dot dot . dot dot, dot . dot . dot ... < 1460157861 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@@ @@ (@where dedot) dot (dot dot) < 1460157862 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (\ b c f h i -> b c f (h i)) < 1460157877 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@@ @@ (@where dedot) dot (dot dot) dot < 1460157878 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (\ c f h i -> c (f (h i))) < 1460157909 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@@ @@ (@where dedot) dot dot (dot dot) < 1460157911 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (\ c e f k l -> c (e f) (k l)) < 1460158000 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@@ @@ (@where dedot) dot . dot dot < 1460158001 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (\ l b c h i -> l (b c) (h i)) < 1460158010 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@@ @@ (@where dedot) dot (dot dot) . dot < 1460158011 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (\ o c f h i -> o (c f) (h i)) < 1460158027 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :why are you writing some dots infix twh < 1460158032 0 :kragniz!~kragniz@nyaa.kragniz.eu QUIT :Quit: leaving < 1460158038 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@@ @@ (@where dedot) dot dot dot dot dot dot < 1460158040 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (\ i k l q r -> i (k l) (q r)) < 1460158042 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :they are operators < 1460158045 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: because it's easier for my brain to apply them that way < 1460158135 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :is dot dot dpt and dot . dot equivalent? < 1460158141 0 :kragniz!~kragniz@nyaa.kragniz.eu JOIN :#esoteric < 1460158145 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :myname: yes < 1460158228 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I wonder if lambdabot's @where is meant to be abused like this < 1460158249 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and if not, whether it would be worth adding an equivalent feature that's more appropriately named, and/o closing the loophole < 1460158341 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@pl \a b c d e -> a (b c) (d e) < 1460158341 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(((.) .) .) . (.) < 1460158373 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@@ @@ (@where dedot) dot (dot (dot dot)) dot < 1460158375 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (\ c f i k l -> c (f i) (k l)) < 1460158420 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@pl \a b c d e f g h i j k l m -> a (((b c) d (e f g)) h (i j) k) (l m) < 1460158420 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(((((((((((.) .) .) .) .) .) .) .) .) .) .) . (. ((((((((.) .) .) .) .) . (.) . (.)) .) .)) . (.) . (.) . (.) . (.) . (.) . (.) . (.) . (.) . (.) < 1460158447 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@pl \a b c d e -> a (b (c (d e))) < 1460158447 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(. ((. (.)) . (.) . (.))) . (.) . (.) . (.) < 1460158460 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, @pl output on this sort of grouping operation seems to obey a relatively restricted grammar < 1460158465 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@pl is cheating because it uses (. f) < 1460158466 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this might be exploitable somehow? < 1460158471 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which is really (flip dot f) < 1460158495 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :@pl \a b c -> a c (b c) < 1460158495 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :ap < 1460158497 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, perhaps dot and (flip dot) are leftassoc-complete? < 1460158500 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :neat < 1460158519 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric ::t (flip dot) < 1460158520 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: ‘dot’ < 1460158520 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Perhaps you meant ‘not’ (imported from Data.Bool) < 1460158524 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric ::t (flip (.)) < 1460158525 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, what I wanted was a pair of functions that don't need parentheses. < 1460158525 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(a -> b) -> (b -> c) -> a -> c < 1460158534 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@let dot = (.) < 1460158535 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1460158554 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So you can use "f g f f f g f" or something to define your blob, and then give it all your arguments. < 1460158576 0 :hppavilion[1]!~DevourerO@74-114-87-65.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1460158576 0 :Caesura!~Aedile@casewireless02.CWRU.Edu QUIT :Ping timeout: 252 seconds < 1460158618 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right < 1460158625 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, can we think about this problem moving backwards? < 1460158645 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :e.g. is it possible to define openparen and closeparen combinators that let you specify the argument pattern in advance < 1460158655 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and they somehow have the right functionality? < 1460158716 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :you could think about giving them the number < 1460158739 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :like paren 3 a b c d e f g = (a b c) d e f g < 1460158763 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :myname: ugh, be careful < 1460158767 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you're halfway to inventing Ursala < 1460158782 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what's the problem? < 1460158809 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Ursala pointers use a syntax in which numbers effectively parenthesize that many elements < 1460158816 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :e.g. 3abcdef = (abc)def < 1460158823 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :inside a pointer < 1460158824 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :so? < 1460158829 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric ::D < 1460158839 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so, have you /seen/ Ursala? < 1460158844 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :no < 1460158846 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's at least as eso as BANCStar < 1460158984 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : hmm, @pl output on this sort of grouping operation seems to obey a relatively restricted grammar <-- it all consists of applications of (.), itym < 1460159001 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net JOIN :#esoteric < 1460159006 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: and flip hth < 1460159047 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: yes, it's clearly made out of applications and partial applications of (.) but it appears to be even more restricted than that < 1460159114 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: no, there's no flip in there. it's (a .) not (. a) < 1460159139 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: it generates both hth < 1460159176 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well ok. you don't _need_ flip, though. < 1460159184 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Agreed. < 1460159203 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@@ @unpl @pl \a b c d e -> a (b (c (d e))) < 1460159204 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (\ w al n q t -> w (al (n (q t)))) < 1460159207 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :btw i'm very doubtful that adding just dot dot as a single combinator helps. < 1460159209 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :walnqt < 1460159227 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1460159243 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@@ @@ (@where dedot) dot dot dot dot dot dot (dot dot) < 1460159244 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (\ k l q r w x -> k l (q r) (w x)) < 1460159279 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that's the only possible case which remains to check < 1460159307 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :everything shorter is equivalent to a straight line of dots. < 1460159319 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@@ @@ (@where dedot) dot dot dot dot dot dot < 1460159320 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (\ i k l q r -> i (k l) (q r)) < 1460159321 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@@ @@ (@where dedot) dot dot dot dot dot < 1460159323 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (\ f i k l -> f (i (k l))) < 1460159324 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@@ @@ (@where dedot) dot dot dot dot < 1460159325 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (\ e f i k l -> e f i (k l)) < 1460159327 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@@ @@ (@where dedot) dot dot dot < 1460159328 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (\ c e f i -> c (e f i)) < 1460159346 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm admittedly that single one _does_ seem to give something new. < 1460159354 0 :kragniz!~kragniz@nyaa.kragniz.eu QUIT :Quit: leaving < 1460159371 0 :kragniz!~kragniz@nyaa.kragniz.eu JOIN :#esoteric < 1460159391 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@@ @@ (@where dedot) dot dot dot dot dot dot (dot dot) dot < 1460159393 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (\ l q r w x -> l (q r (w x))) < 1460159455 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm also new < 1460159461 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@@ @@ (@where dedot) dot dot dot dot dot dot (dot dot) (dot dot) < 1460159462 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (\ l q r w x ad -> l (q r) (w x ad)) < 1460159489 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@@ @@ (@where dedot) dot dot dot dot dot dot (dot dot) dot dot < 1460159490 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (\ q r w x ac ad -> q r (w x) (ac ad)) < 1460159530 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@@ @@ (@where dedot) dot dot dot dot dot dot (dot dot) dot (dot dot) < 1460159532 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (\ q r w x ad af ag -> q r (w x) ad (af ag)) < 1460159555 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :impomatic: smile! http://sprunge.us/VQCK < 1460159559 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, at least I figured out the general-case transformation for making a parenthesized dot blob. < 1460159577 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ok doubt is lessening again, it seems that continuing from dot dot dot dot dot dot (dot dot) gives new functions < 1460159629 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@let doot = dot dot dot < 1460159630 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1460159636 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess that doesn't fix the @where. < 1460159640 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :impomatic: there should still be room for another cycle or two < 1460159640 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: no, just dot dot < 1460159645 0 :impomatic!~impomatic@37.152.222.136 PRIVMSG #esoteric :int-e: that's a pretty big improvement! < 1460159645 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er, right. < 1460159699 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :impomatic: but I'm not going to try... using 16 cycles for the actual drawing is such a sweet spot < 1460159702 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i deduced earlier that if you can convert every dot . dot ... . dot sequence to a straight lassoc line, then you get everything. < 1460159728 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I must've missed that. < 1460159742 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well basically, first you have < 1460159749 0 :impomatic!~impomatic@37.152.222.136 PRIVMSG #esoteric :int-e: is your code specific to the smiley, or can you use it for any image? < 1460159803 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :impomatic: http://sprunge.us/TfbH is how I planned it... the Y and Z regions (y and z are erasures) are specific to the smiley < 1460159810 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: you have a (b1 ... bn c) = fmap^{\circ n-1} a b1 ... bn c < 1460159835 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1460159836 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :er < 1460159841 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*--1 < 1460159864 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :impomatic: so it's quite specific < 1460159876 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are you subtracting the "-1" there? < 1460159880 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1460159986 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm i'm jumping too fast