< 1360800052 714392 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :non-associative semicategory < 1360800086 602071 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok this is another term that i google and the only instance is me making the joke here before < 1360800099 23025 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :non-associative semicategories, like the word "apple" < 1360800111 732243 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : oerjan: again with dead people. are you a zombie or something? <-- try bribing me with brains... < 1360800177 212758 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :will brawn do? delicious, savoury brawn spread on hot and buttered toasts? < 1360800186 972588 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :MAYBE < 1360800232 592550 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :brawn on bran over brain < 1360800257 33510 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :the new BBBBLT sandwich. < 1360800339 272992 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :can you add some brown cheese? < 1360800346 912532 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sort of seems to fit < 1360800353 680819 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :what's brown cheese? < 1360800360 642011 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :norwegian specialty < 1360800396 783946 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Brunost < 1360800426 253306 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I think I can find that somewhere. < 1360800434 302183 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :oh well. time to go eat again. < 1360800435 753902 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :compulsory part of our foreigner test kit, together with lutefisk < 1360800437 604527 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :http://en.wikipedia.org/wiki/File:Messmor.jpg this is disgusting < 1360800445 572517 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :lutefisk will come after that. < 1360800447 133099 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: Poulet! < 1360800450 432400 :cuttlefish!~cuttlefis@2607:fad8:4:6:f2de:f1ff:fe6c:6765 QUIT :Remote host closed the connection < 1360800483 253588 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Hmm... I think I'm going to write some repetitive code for the sake of occasional TCO < 1360800514 432344 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :nooooo don't write repetitive code < 1360800518 132492 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :sgeo < 1360800519 404237 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :dont < 1360800530 173382 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"what monqy said" (am i doing this right) < 1360800544 192581 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I'm sure I could make it unrepetitive < 1360800555 216109 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :then why don't you < 1360800565 732321 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It will still make the code slightly uglier < 1360800588 52233 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what do you mean by tco anyway < 1360800591 772628 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: is this like when interpreting the last element of a list? it rings a bell < 1360800614 2089 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Yes < 1360800649 882954 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :If the last element that I'm interpreting is Compile, then there's no more work to be done save for that Compile, which starts interpreting the next element on the compiler stack < 1360800659 502526 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :maybe you should use a different data structure alt. not care because this is a silly proof of concept and not a production quality whatever the heck you're making < 1360800689 32594 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think it came up similarly for ^ in an underload interpreter < 1360800697 852410 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or was it elliott's compiler < 1360800722 772457 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Compile being the last element is going to be the most common case, I think < 1360800795 742001 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I can make the rare case work by simply calling to the common case while protecting the state, I think < 1360800805 462519 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :what's sgeo doing < 1360800813 802257 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nooodl_: TCO'ing < 1360800832 902512 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :There is an StateT s m a thing that calls StateT s m a while reverting back afterwards, right? < 1360800868 692385 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what do you mean by while reverting < 1360800895 332142 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t mapStateT < 1360800897 30263 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(m (a, s) -> n (b, s)) -> StateT s m a -> StateT s n b < 1360800908 322337 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :That is, something like < 1360800912 572901 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wrong mapping thing < 1360800926 322789 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :StateT s m a -> StateT s m a < 1360800939 642209 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :are you looking for something like `local` < 1360800943 651906 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Possibly < 1360800950 282871 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :local works on StateT? < 1360800950 489121 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what's possibly < 1360800954 392542 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :no < 1360800993 202668 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :withStateT I think I saw which the name makes me think along those lines < 1360801014 333111 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Wait, no < 1360801020 623241 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :how about you use precise words to describe what you want < 1360801042 362503 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I want to take a stateful action and execute it and then undo the changes to the state < 1360801047 92637 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ok < 1360801082 172600 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Possibly get >>= runStateT / < 1360801083 372803 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :? < 1360801098 993398 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Erm, well, something along those lines < 1360801121 255670 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :get >>= \s -> do v <- x; put s; return v < 1360801130 252674 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i was just about to say that but with applicative notation < 1360801133 212897 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :"much prettier" < 1360801154 472459 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm not sure you can do it with only applicative notation < 1360801160 352842 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i mean < 1360801171 142497 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :instead of just part of it < 1360801177 23131 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :x <* put s i guess < 1360801180 22289 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1360801189 62577 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I also don't need the result < 1360801192 492099 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ok < 1360801194 742780 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I'm doing it for the side effects < 1360801197 833402 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ok < 1360801234 792875 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :anyway, the above should work < 1360801254 734522 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :no it won't!!!! keeping the result around ⇒ bloat ⇒ unacceptable < 1360801255 937536 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :unless you need to catch throws inside x too < 1360801266 457761 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*from inside < 1360801276 532471 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and reset the state even then < 1360801567 162252 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :What's wrong with my runStateT solution? < 1360801688 233210 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Halite, if you're interested in learning how to write interpreters, the standard first language to target is eodermdrome <-- nice try < 1360801770 792466 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it's my master plan < 1360801776 652686 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :someday a savant will enter the channel < 1360801788 13262 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :and we will all be propelled into a glorious new dawn < 1360801978 222697 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :FUCK YOU KATE < 1360802004 222493 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Typing on a line beginning with [] does NOT mean "indent me indent me please please please" < 1360802077 344151 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oh dear, is it making your brainfuck code too unreadable < 1360802258 202642 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It's turning my correct Haskell code into incorrect Haskell code < 1360802276 613045 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric ::t runStateT < 1360802278 192674 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :StateT s m a -> s -> m (a, s) < 1360802378 863477 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Blah, oerjan's way was easier < 1360802462 922937 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :My code, as it currently stands < 1360802466 598174 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It compiles so far :) https://gist.github.com/Sgeo/fe54715fc61d1d98f4cc < 1360802522 110086 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oh < 1360802530 633436 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :in that case; why are you using kate < 1360802569 343509 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Because it wasn't irritating me until just then < 1360802579 503330 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I can live with sometimes faulty code hilighting < 1360802607 312543 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :but there's a whole hierarchy of why here < 1360802614 892605 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :for instance: why are you using kde < 1360802661 172923 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Because I like KDE? Also this system is a bit broken, in such a way that whether I'm using KDE or GNOME tends to vary on whether X works when I boot up < 1360802668 862433 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Although X has been working, so < 1360802674 792928 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ah linux < 1360802693 722826 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i do recall switching to KDE because i fuckxed up my GNOME install < 1360802756 52629 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i think the horrific brokenness that ultimately trashed my laptop started when i experimented briefly with kde < 1360802764 944364 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it's a gateway drug < 1360803510 903173 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I can feel this thing getting closer to completion < 1360804054 215908 :augur_!~augur@208.58.5.87 JOIN :#esoteric < 1360804605 553661 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I just need to remember how to parse parens < 1360804610 663355 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Parens, my eternal nemesis < 1360804833 333785 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Conceptually, the code I'm writing is the result of compiling ,+[-:,+]! by hand < 1360804873 795064 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(EOF=-1) < 1360805120 574433 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric ::t runWriter < 1360805122 243826 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Writer w a -> (a, w) < 1360805194 753602 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric ::t execState < 1360805196 253645 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :State s a -> s -> s < 1360805203 463775 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I never rember exec vs eval < 1360805281 873215 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I wonder if the State monad is good or bad for my globals addiction < 1360805299 283476 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :With it, one writes code that looks like it's accessing a global, but it's all confined < 1360805327 890287 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :On the one hand, it lets me write in that style, on the other, when I move into other languages... < 1360805381 534133 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Remote host closed the connection < 1360805761 128415 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :globals addition < 1360805861 793958 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :****addiction < 1360805954 447811 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :★★★★hi monqy < 1360806054 823499 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1360806075 33448 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote monqy < 1360806075 483408 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Plugin `quote' failed with: getRandItem: empty list < 1360806139 163583 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :What might an interpreted Trustfuck look like/! < 1360806153 926701 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :good question < 1360806382 673396 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i wonder if there are good generalizations of poker < 1360806426 673320 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :there's kolmogorov poker < 1360806441 473310 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :where instead of a fixed hand ranking, you can challenge someone's hand by producing a shorter program to generate your hand < 1360806459 513960 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :probably a p. shitty game tho < 1360807323 102979 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo: most languages have some way to confine 'globals' < 1360807366 42399 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i like how the Linux kernel shoehorns basically a fourth layer of scoping for static-storage variables into the C language < 1360807455 652547 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :'static' vars in functions have static scope, 'static' vars at file level have file scope, non-'static' vars at file level are scoped to a whole kernel module < 1360807466 63211 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but if you want it to be visible outside that kernel module you have to add EXPORT_SYMBOL(foo) as well < 1360807506 342781 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ACTION decides that the state monad is analogous to dynamic scoping < 1360807516 882818 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :With an implicit name < 1360807795 852816 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and only one value < 1360808300 923001 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the reader monad with its local might fit even better. < 1360808602 393354 :pikhq!~pikhq@174-24-33-39.clsp.qwest.net PRIVMSG #esoteric :kmc: That's one of those tricky linker tricks, isn't it? < 1360808653 873140 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Maybe I should just have one very long line representing the bulk of the program < 1360808663 344066 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Rather than a multitude < 1360808695 903302 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what do you mean by that < 1360808712 162695 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :code = all the code in the program save for two lines < 1360808717 233598 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ACTION is deja vuing < 1360808739 992693 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :This program needs to ultimately output almost itself save for two lines < 1360808755 872767 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :And those two lines are different < 1360808773 303214 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :pikhq: well, the trick is just that the kernel has its own dynamic linker/loader for modules, and so gets to decide which symbols are dynamically resolvable < 1360808786 113009 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i don't actually know if they implement this layer of scoping when stuff gets compiled in < 1360808799 353204 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you might need unique names anyway for the compiled-in case < 1360808844 953202 :pikhq!~pikhq@174-24-33-39.clsp.qwest.net PRIVMSG #esoteric :They probably do; as far as I know, they link each module into a single object and then vmlinuz is linked from those. < 1360808855 172605 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :mm < 1360808873 162925 :pikhq!~pikhq@174-24-33-39.clsp.qwest.net PRIVMSG #esoteric :(binutils has some thing where you can link a bunch of objects into a single object file that's still not fully linked...) < 1360809039 802870 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :there's ld -r < 1360809236 912823 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: do you know about explicit {} blocks in haskell? < 1360809256 622755 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :For things like do? Yes < 1360809272 425525 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so that you don't need to care about layout < 1360809315 492943 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Some of these functions are on multiple lines. I don't see what's wrong with just outputting what's here < 1360809356 722765 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :just trying to help in case getting indentation right trips you up < 1360809356 968525 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Seriously, it's going to output a mostly-quine with two things changed, and those two things are not functions < 1360809362 43024 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Ok < 1360809416 233236 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :> let a=1; b=2 in a+b < 1360809417 883137 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 3 < 1360809508 272693 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ACTION sets indentation to none < 1360809512 883742 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Fuck you, fuck you, and fuck you Kat < 1360809514 293416 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Kate < 1360809574 683137 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :lol < 1360809583 326406 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :an omnishambles < 1360809691 214094 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Read error: Connection reset by peer < 1360809719 394317 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1360809856 433898 :WeThePeople!~WeThePeop@unaffiliated/wethepeople JOIN :#esoteric < 1360809949 653024 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :TYPING THE WORD IN DOES NOT MEAN INDENT INSANELY < 1360809969 223204 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Nor does typing a comma < 1360810259 683556 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Meh, my parser is not perfect at detecting unbalanced [] < 1360810327 498740 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It assumes [ have a ] at the end if there isn't, and ] followed by nothing might just be dropped < 1360810333 643149 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Is this a big deal? < 1360810644 703083 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what i did in the fueue brainfuck interpreter was to keep a flag of whether i'm already inside a loop. then it's easy to discern those cases. < 1360810769 342596 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric ::t runStateT < 1360810770 392618 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :then in either case, exactly one of ] and eof are permitted to occur. < 1360810770 937983 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :StateT s m a -> s -> m (a, s) < 1360810927 93051 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mind you, in haskell it should still be simpler to use parsec. < 1360810945 463371 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Probably >.> < 1360810966 312997 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Right now I'm so close to getting this working < 1360810968 93089 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :fsvo working < 1360811184 393485 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :A 4,886 character line < 1360811192 743139 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Maybe this is not the best idea for readability < 1360811231 263660 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Oh crud < 1360811460 522760 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hm? < 1360811468 393648 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I forgot to write main < 1360811473 72685 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :At least, that what that crud was about < 1360811476 453364 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Currently having another crud < 1360811481 493053 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :This program is going to be a PITA to edit < 1360811508 172921 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what were you expecting < 1360811558 617039 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Not to need to edit it very much < 1360811612 312966 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: Something ... someone ... nothing. < 1360811622 767492 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are you hungry? < 1360811630 243111 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :???????????????? < 1360811665 402865 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi < 1360811686 971982 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1360811689 814647 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :did you ever explain comma categories < 1360811711 183000 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or was it just that "limited version" of them < 1360811731 533675 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i explained the specific instance of them you want for free objects...for a more general explanation you'd be better served just looking them up < 1360811754 883499 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :good point < 1360811778 363558 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mr.hird and i did a few "adjunctions" to get "free functors´ < 1360811783 993517 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it was p. great < 1360811799 606021 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :alrite < 1360811810 343017 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :https://gist.github.com/Sgeo/fe54715fc61d1d98f4cc < 1360811814 663139 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Still need to test it < 1360811831 92889 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: you know how you can make the "Cont monad" out of adjunction of (-> r) -| (-> r)? < 1360811845 312885 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :probably you've said that? maybe??? idk < 1360811854 233945 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :going into Haskᵒᵖ < 1360811864 782981 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: its "pretty nifty" < 1360811890 132958 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: have you ever noticed that Cont'sjoin = contramap (Cont'sreturn)?? < 1360811944 704990 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :primitive.o: In function `rQf_info': < 1360811944 949183 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(.text+0xa74): undefined reference to `mtlzm1zi1zi0zi2_ControlziMonadziTrans_zdfMonadIOIO_closure' < 1360811947 223388 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :wat < 1360811967 283611 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mtl-1.1.0.2_Control.Monad.Trans_$fMonadIOIO_closure < 1360811967 883382 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hth < 1360811973 423162 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :probably you did something bad < 1360812065 33274 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Not only that, I tried to mess around in GHCi a bit < 1360812066 992819 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :There's a big < 1360812068 263313 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :bug < 1360812096 653665 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ouch < 1360812109 483198 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :That big was a typo for bug < 1360812112 294326 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :a big < 1360812113 113699 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :bug? < 1360812117 33033 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that soudns dangerous < 1360812130 983080 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so big that you have to pause after saying big < 1360812146 83117 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :As soo as it saw , as input it output < 1360812154 183220 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i've written some pretty terrible bugs < 1360812160 263134 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but i've never written a big < 1360812161 94173 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :bug < 1360812274 336865 :impomatic!~digital_w@87.113.152.173 QUIT :Read error: Connection reset by peer < 1360812490 603331 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :There's no bug. I'm just an idiot. < 1360812509 873419 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yay! < 1360812552 303115 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Well, there's still a bug < 1360812557 473118 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Just not what I was thinking < 1360812570 154779 :nooodl_!~nooodl@91.177.5.66 QUIT :Ping timeout: 260 seconds < 1360812601 615135 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think. < 1360812607 653571 :oklopol!~oklopol@dyn60-339.yok.fi QUIT :Read error: Connection reset by peer < 1360812627 243376 :oklopol!~oklopol@dyn60-339.yok.fi JOIN :#esoteric < 1360812643 183178 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In this case https://plus.google.com/107913314994758123748/posts/3adHiA9yq9D < 1360812653 93006 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: We should get around to doing Kan extensions. < 1360812689 272824 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, wrong channel. < 1360812705 623344 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess elliott is in both channels. < 1360812734 235030 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :he's been idle for quite a while. < 1360812773 223155 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I know. < 1360813141 832732 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Ok, so one problem: Input is broken < 1360813158 953366 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Problem two: Output is cobroken. < 1360813171 392889 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think loops are broken too < 1360813271 463939 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :if eof then Just <$> getChar else return Nothing < 1360813274 43000 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :derp < 1360813276 363565 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ƪ < 1360813295 943225 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1360813318 743793 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :time of check time of use! < 1360813376 133032 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Um. I guess that's a theoretical problem with the isEOF vs my original catch-based way, but that's not the large bug < 1360813453 612916 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t \f -> return True >>= f . guard < 1360813455 113254 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(Monad m, MonadPlus m1) => (m1 () -> m b) -> m b < 1360813474 859367 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Anyways, now to see waht the deal with loops is < 1360813475 304479 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t \f g -> return True >>= maybe f g . guard < 1360813476 903774 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Monad m => m b -> (() -> m b) -> m b < 1360813493 668837 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t \f g -> return True >>= fromMaybe g . guard < 1360813495 96250 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `m0 b0' with actual type `()' < 1360813495 303022 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Expected type: Bool -> Maybe (m0 b0) < 1360813495 303225 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Actual type: Bool -> Maybe () < 1360813499 675442 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t \f g -> return True >>= fromMaybe f g . guard < 1360813501 325226 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(Monad m, MonadPlus m1) => (m1 () -> m b) -> Maybe (m1 () -> m b) -> m b < 1360813557 8629 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t \x -> guard :: Maybe () < 1360813558 435552 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `Maybe ()' < 1360813558 641699 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : with actual type `Bool -> m0 ()' < 1360813558 641876 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : In the expression: guard :: Maybe () < 1360813562 952980 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t \x -> guard x :: Maybe () < 1360813564 653077 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Bool -> Maybe () < 1360813577 93144 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh < 1360813630 143722 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Ok, so loops are broken somehow < 1360813741 131807 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Or maybe output's broken, wat < 1360813770 827387 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the primTranslate cases for [] look fine to me < 1360813855 273253 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ACTION is assuming the problem is in interpret' < 1360813861 532958 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I'm testing things out by changing program < 1360814219 944180 :pikhq!~pikhq@174-24-33-39.clsp.qwest.net QUIT :Read error: Connection reset by peer < 1360814220 150709 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Well, that's one problem < 1360814226 393259 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Out doesn't continue interpretation < 1360814236 260598 :pikhq!~pikhq@174-24-33-39.clsp.qwest.net JOIN :#esoteric < 1360814680 553610 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Arc_Koen < 1360814752 623809 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think some of this is me failiing at Brainfuck < 1360814755 919065 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :failing < 1360814822 915637 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Read error: Connection reset by peer < 1360814839 605651 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1360814893 707268 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: http://www.theproofistrivial.com/ < 1360814967 765446 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"Just biject it to a trivial algebra whose elements are semi-decidable posets", sounds quite trivial. < 1360814992 506127 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I just successfully compiled and ran a trivial Trustfuck program < 1360815020 683042 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :excellent. now we can take over the world. < 1360815037 13087 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :The gist is now updated with the latest version < 1360815057 943294 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :very good < 1360815063 843197 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :http://www.youtube.com/watch?v=KmK0bZl4ILM < 1360815065 492676 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :truth < 1360815282 575032 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Ok, so my next test will be this: < 1360815306 93297 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Creating a compiler for a variation of Trustfuck in which each character maps to the character above it < 1360815314 542744 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :And then writing a cat program in that dialect < 1360815358 413214 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Erm < 1360815365 922647 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Easiest thing to do, character below it < 1360815387 612813 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :> inc < 1360815389 302890 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `inc' < 1360815389 509176 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Perhaps you meant one of these: < 1360815389 509372 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : `int' (imported fro... < 1360815395 164079 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> succ < 1360815397 2837 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instance for (GHC.Show.Show (a0 -> a0)) < 1360815397 209314 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising from a use of `M77076... < 1360815398 502658 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ty < 1360815484 616172 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :> map pred ",+[-.,+]" < 1360815486 353046 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "+*Z,-+*\\" < 1360815584 233066 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :fuck < 1360815662 313030 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I'm an idiot who can barely remember how to use his own language < 1360815825 933029 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric : module `main:Main' is defined in multiple files: predtest.hs < 1360815826 176911 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric : predtest.hs < 1360815835 583998 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Oh < 1360815854 803937 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It works! < 1360815863 683526 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I guess there are some things currently untested < 1360816316 563178 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :oerjan, ais523 if you logread, anyone else? Feel free to play with it < 1360816696 745945 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I'm far too lazy to even figure out what trustfuck is < 1360816787 688175 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :sgeo's brainfuck derivative < 1360817194 603463 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :coppro, shall I attempt to explain it? < 1360817702 62730 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"\35\52\56\63\48" < 1360817706 3176 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> "\35\52\56\63\48" < 1360817708 32854 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "#48?0" < 1360817883 682956 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I could (should?) be storing the unparsed versions rather than the parsed versions, I think < 1360817890 782829 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Take up less space in the compiled program < 1360817905 943691 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Might be important for trying to compile that large game < 1360818449 192692 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Hmm. < 1360818463 483252 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :A Trustfuck compiler targetting x86 might not require writing x86 code directly < 1360818792 852584 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Just need to write C code that alters its memory then retrieves all of its ... < 1360819306 354532 :dessos!~dessos@c-174-60-176-249.hsd1.pa.comcast.net QUIT :Ping timeout: 240 seconds < 1360820056 997973 :WeThePeople!~WeThePeop@unaffiliated/wethepeople QUIT :Quit: Leaving < 1360820151 213086 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> '\59' < 1360820153 292966 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ';' < 1360820753 54760 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :> '\10' < 1360820755 173544 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : '\n' < 1360820771 873263 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :> '\64' < 1360820773 833696 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : '@' < 1360820775 722891 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :> '\65' < 1360820777 784366 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 'A' < 1360820779 553253 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Ok < 1360820783 583620 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ACTION is derptastic today < 1360820873 612975 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :okay < 1360821831 643684 :hogeyui!~hogeyuiVP@vps.usamimi.biz QUIT :Ping timeout: 276 seconds < 1360822841 454469 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1360822847 194755 :DH____!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1360822880 364075 :noam!~noam@213.57.201.130 QUIT :Read error: Connection reset by peer < 1360822905 84811 :noam!~noam@213.57.201.130 JOIN :#esoteric < 1360823787 334496 :hogeyui!~hogeyuiVP@vps.usamimi.biz JOIN :#esoteric < 1360824850 339062 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> popCount (65::Int) < 1360824851 965162 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 2 < 1360824916 774963 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ty popCount < 1360824918 574976 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Bits a => a -> Int < 1360824937 95026 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess it's in Bits? < 1360824940 195301 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Everything is in Bits. < 1360824941 434631 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1360824956 784529 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ty popSixSquishUhuhCiceroLipschitz < 1360824958 250243 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Not in scope: `popSixSquishUhuhCiceroLipschitz' < 1360824962 185495 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the ridiculous thing is, they have this function but none to find the highest set bit... < 1360824997 424621 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There isn't one for lowest set bit either, right? < 1360825012 868402 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not afaict < 1360825014 515456 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ACTION would like to take this moment to mention that de Bruijn indices are the future. < 1360825021 533450 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1360825044 604836 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> toListOf bits 123 < 1360825047 274789 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [True,True,False,True,True,True,True,False,False,False,False,False,False,Fa... < 1360825055 226329 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :good function < 1360825066 256273 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t bits < 1360825067 724993 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(Applicative f, Bits b, Indexable Int p) => p Bool (f Bool) -> b -> f b < 1360825107 666740 :pikhq!~pikhq@174-24-33-39.clsp.qwest.net PRIVMSG #esoteric :Hmm. gzip in Haskell is probably fairly easy. Funny. < 1360825651 76099 :Halite!~HaliteBir@cpc4-staf7-2-0-cust442.3-1.cable.virginmedia.com JOIN :#esoteric < 1360825722 444836 :Halite!~HaliteBir@cpc4-staf7-2-0-cust442.3-1.cable.virginmedia.com PRIVMSG #esoteric :hai < 1360825732 74787 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`welcome Halite, pikhq < 1360825738 355001 :HackEgo!codu@codu.org PRIVMSG #esoteric :Halite,: pikhq: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1360825751 345694 :Halite!~HaliteBir@cpc4-staf7-2-0-cust442.3-1.cable.virginmedia.com PRIVMSG #esoteric :`welcome ChanServ < 1360825753 385507 :HackEgo!codu@codu.org PRIVMSG #esoteric :ChanServ: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1360825756 135067 :Halite!~HaliteBir@cpc4-staf7-2-0-cust442.3-1.cable.virginmedia.com PRIVMSG #esoteric :lol < 1360825901 474940 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hello < 1360825939 534932 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy:  < 1360825960 355131 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(btw that was 0006 ACKNOWLEDGE) < 1360826059 934942 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ok < 1360826170 783007 :Halite!~HaliteBir@cpc4-staf7-2-0-cust442.3-1.cable.virginmedia.com QUIT :Changing host < 1360826170 989201 :Halite!~HaliteBir@unaffiliated/octagonfly JOIN :#esoteric < 1360826221 415194 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :I'm trying to crash HackEgo in the other channel by sending a WHILE loop. < 1360826337 385344 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :HackEgo, die < 1360826372 745245 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hackego's feelings???? < 1360826451 952966 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: good point in the other channel < 1360826490 206516 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :thachaf < 1360826491 795382 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :HackEgo is set up with version control. Anything happens, it can be revertred < 1360826497 586016 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`ls < 1360826499 355291 :HackEgo!codu@codu.org PRIVMSG #esoteric :​= 0 \ bin \ brainfuck.fu \ canary \ dbg.out \ egobot.tar.xz \ etc \ factor \ factor-linux-x86-64-0.95.tar.gz \ foo \ foo.err \ foo.out \ fueue.c \ ibin \ interps \ karma \ lib \ paste \ quines \ quotes \ quotese \ run~ \ share \ sudo \ %sudo \ test \ wisdom \ zalgo.hs < 1360826501 35485 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you're wonqy < 1360826506 149161 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`run rm canary < 1360826509 660019 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1360826517 315362 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`ls < 1360826521 325560 :HackEgo!codu@codu.org PRIVMSG #esoteric :​= 0 \ bin \ brainfuck.fu \ canary \ dbg.out \ egobot.tar.xz \ etc \ factor \ factor-linux-x86-64-0.95.tar.gz \ foo \ foo.err \ foo.out \ fueue.c \ ibin \ interps \ karma \ lib \ paste \ quines \ quotes \ quotese \ run~ \ share \ sudo \ %sudo \ test \ wisdom \ zalgo.hs < 1360826532 505513 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Wait, what's = 0 ? < 1360826542 795122 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`file = 0 < 1360826545 845331 :HackEgo!codu@codu.org PRIVMSG #esoteric :​= 0: ERROR: cannot open `= 0' (No such file or directory) < 1360826547 995055 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`cat = 0 < 1360826549 495287 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1360826552 537868 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`file = 0 < 1360826554 375073 :HackEgo!codu@codu.org PRIVMSG #esoteric :​= 0 : empty < 1360826563 515549 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`rm = 0 < 1360826566 925447 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1360826580 830955 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`file canary < 1360826582 475125 :HackEgo!codu@codu.org QUIT :Remote host closed the connection < 1360826585 326250 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :uh < 1360826602 304765 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :someone apparently succeeded! < 1360826625 395122 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :file canary shouldn't kill it, right? < 1360826626 295459 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :>.> < 1360826647 348759 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1360826659 5184 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think maybe i did < 1360826694 545242 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :iirc HackEgo isn't supposed to keep empty files, so maybe deleting one breaks things < 1360826814 445708 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :weird it claims it was added by coppro's `addquote http://codu.org/projects/hackbot/fshg/index.cgi/file/36a0f4a7116c/%3D%200%20 < 1360826880 244991 :epicmonkey!~epicmonke@188.134.41.176 JOIN :#esoteric < 1360826992 905680 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh no it existed before < 1360827091 525373 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :been there a while it seems < 1360827172 970428 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :can HackEgo rejoin < 1360827205 95259 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :only Gregor can make it < 1360827220 326540 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :he seems idle at the moment < 1360827288 211337 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :he might be sleeping at this time < 1360827290 85842 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :NOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOO < 1360827293 33138 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :Gregor, < 1360827303 865551 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :@time Gregor < 1360827305 5239 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Local time for Gregor is Thu Feb 14 02:35:04 < 1360827305 606084 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Halite, play with Trustfuck for a while if you're bored < 1360827318 215645 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :Sgeo, please give a TF Interpreter < 1360827326 555388 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :There's no interpreter, just a compiler < 1360827343 915344 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://esolangs.org/wiki/Trustfuck < 1360827387 135642 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :https://gist.github.com/Sgeo/fe54715fc61d1d98f4cc is a Haskell file. Compile it with GHC. Then feed it Trustfuck as input, it will output some Haskell code < 1360827407 105704 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Compile that Haskell code, and run the result, and that's the Trustfuck program < 1360827431 76811 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :So, let's say I have somecode.tf < 1360827433 277606 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I might do < 1360827452 595701 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :./primitive < somecode.tf > somecode.hs < 1360827461 245645 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ghc --make somecode.hs -o somecode < 1360827463 106337 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :./somecode < 1360827514 235200 :epicmonkey!~epicmonke@188.134.41.176 QUIT :Read error: Operation timed out < 1360827515 237380 :DH____!~DH____@unaffiliated/dh----/x-6288474 QUIT :Ping timeout: 260 seconds < 1360827609 355790 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Incidentally, here's the Trustfuck compiler written in Trustfuck < 1360827609 904963 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :,+[-:,+]! < 1360827636 536382 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :The Haskell code can be viewed as being basically that, hand-compiled < 1360828885 786251 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t _head < 1360828887 461454 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Cons (->) f s s a a => LensLike' f s a < 1360829213 166965 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1360829416 476003 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> ([], [1,2,3]) ^? (_1 . _head <|> _2 . _head) < 1360829418 827382 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instance for (Control.Applicative.Alternative < 1360829419 33601 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ((->) < 1360829419 33785 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :... < 1360829426 976179 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> ([], [1,2,3]) ^? (_1 . _head) < 1360829430 368081 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Nothing < 1360830288 652358 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> ([], [1,2,3]) ^? (both . _head) < 1360830291 47602 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Just 1 < 1360831116 117372 :sebbu2!~sebbu@ADijon-152-1-55-216.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1360831116 568209 :sebbu2!~sebbu@ADijon-152-1-55-216.w83-194.abo.wanadoo.fr QUIT :Changing host < 1360831116 774508 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1360831186 917795 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 272 seconds < 1360831351 520087 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1360831361 617278 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Max SendQ exceeded < 1360831385 270054 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1360831932 376720 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t zoom < 1360831933 986971 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Zoom m n s t => LensLike' (Control.Lens.Internal.Zoom.Zoomed m c) t s -> m c -> n c < 1360832170 987218 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (^~) < 1360832173 17659 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(Integral e, Num a) => ASetter s t a a -> e -> s -> t < 1360832184 489066 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1360832189 207354 :epicmonkey!~epicmonke@host-224-58.dataart.net JOIN :#esoteric < 1360832216 986922 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::T over < 1360832220 665894 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t over < 1360832222 368635 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Profunctor p => Setting p s t a b -> p a b -> s -> t < 1360832532 47618 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1360832607 956926 :Taneb!~nathan@host-78-148-6-176.as13285.net JOIN :#esoteric < 1360833007 957872 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1360833434 177843 :nooodl_!~nooodl@91.177.5.66 JOIN :#esoteric < 1360834654 87303 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :"Bueue"!? < 1360835770 92315 :md_5!md_5@mcdevs/trusted/md-5 QUIT :Remote host closed the connection < 1360835800 680870 :md_5-!md_5@mcdevs/trusted/md-5 JOIN :#esoteric < 1360835894 407822 :Taneb!~nathan@host-78-148-6-176.as13285.net QUIT :Ping timeout: 256 seconds < 1360835936 199106 :Taneb!~nathan@host-78-148-6-176.as13285.net JOIN :#esoteric < 1360836967 486791 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1360837015 367899 :mroman!~roman2@fmnssun.ibone.ch JOIN :#esoteric < 1360837442 309403 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1360838855 239336 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 260 seconds < 1360838909 909205 :Halite!~HaliteBir@unaffiliated/octagonfly QUIT :Remote host closed the connection < 1360839079 160550 :sebbu!~sebbu@ADijon-152-1-55-216.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1360839079 538230 :sebbu!~sebbu@ADijon-152-1-55-216.w83-194.abo.wanadoo.fr QUIT :Changing host < 1360839079 744371 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1360839210 359389 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 264 seconds < 1360839247 186378 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1360839667 658992 :sebbu2!~sebbu@83.194.59.216 JOIN :#esoteric < 1360839667 865197 :sebbu2!~sebbu@83.194.59.216 QUIT :Changing host < 1360839667 865345 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1360839765 250172 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 260 seconds < 1360840062 536786 :HackEgo!codu@codu.org JOIN :#esoteric < 1360840811 573157 :md_5-!md_5@mcdevs/trusted/md-5 NICK :md_5 < 1360840814 840117 :aloril!~aloril@dsl-tkubrasgw3-54f97e-153.dhcp.inet.fi QUIT :Ping timeout: 276 seconds < 1360841094 999474 :ncultures!~flashbot@237.192.092.145.hva.nl JOIN :#esoteric < 1360841095 282277 :ncultures!~flashbot@237.192.092.145.hva.nl PART :#esoteric < 1360841145 530099 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t _head < 1360841147 199494 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Cons (->) f s s a a => LensLike' f s a < 1360841222 822557 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Is (.).(.) infix or prefix? < 1360841320 229529 :ncultures!~flashbot@237.192.092.145.hva.nl JOIN :#esoteric < 1360841320 514209 :ncultures!~flashbot@237.192.092.145.hva.nl PART :#esoteric < 1360841353 228699 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Prefix < 1360841364 450588 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric ::t (.).(.) < 1360841366 39063 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(Functor f1, Functor f) => (a -> b) -> f (f1 a) -> f (f1 b) < 1360841385 646674 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Actually, it's nigh-unusable unless you put brackets around it < 1360841406 608143 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :> ((.).(.)$(+1)) (1, [1,2,3]) < 1360841409 698669 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (1,[2,3,4]) < 1360841588 600367 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1360841642 59165 :aloril!~aloril@dsl-tkubrasgw3-54f97e-153.dhcp.inet.fi JOIN :#esoteric < 1360843002 751004 :oonbotti!~oonbotti@91-145-118-87.bb.dnainternet.fi QUIT :Remote host closed the connection < 1360843017 270017 :oonbotti!~oonbotti@91-145-118-87.bb.dnainternet.fi JOIN :#esoteric < 1360843076 259111 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Ping timeout: 245 seconds < 1360843093 969906 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi QUIT :Ping timeout: 246 seconds < 1360843851 558694 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1360844010 929899 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Read error: Connection timed out < 1360844209 210394 :sebbu2!~sebbu@ADijon-152-1-55-216.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1360844225 390165 :sebbu2!~sebbu@ADijon-152-1-55-216.w83-194.abo.wanadoo.fr QUIT :Changing host < 1360844225 596580 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1360844283 580816 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 245 seconds < 1360844537 209182 :nortti!~juhani@nano.smar.fi PRIVMSG #esoteric :http://mobile.osnews.com/story.php/26784/Opera-to-switch-desktop-mobile-browsers-to-WebKit/ < 1360844574 749298 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :what? < 1360844639 852130 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'm a little bit disappointed right now, but I get their point. < 1360844772 889467 :nortti!~juhani@nano.smar.fi PRIVMSG #esoteric :I really hope they open source presto < 1360844778 789227 :nortti!~juhani@nano.smar.fi PRIVMSG #esoteric :but probably not < 1360845247 889537 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :uh < 1360845254 238940 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :what? < 1360845351 843355 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Help I now have two libraries on Hackage < 1360845356 630074 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi JOIN :#esoteric < 1360845392 780046 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: base 4.5.*? < 1360845399 840526 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Thanks for hating GHC 7.6 users. < 1360845406 319421 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Also I can't look at the actual code. < 1360845407 509905 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :shachaf, that's me being sleepy when checking the depends < 1360845481 425998 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :It would actually work in base 3.0.3.1 < 1360845508 252537 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: Does your package have free groups? < 1360845522 130868 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Alas, no < 1360845527 28172 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::-( < 1360845530 959551 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I want free groups! < 1360845698 419769 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :shachaf, the dependency is less stupid now < 1360845733 819903 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Although free groups are still missing < 1360845772 449520 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And I still can't see the code. < 1360845786 459564 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :(is that my fault, or Hackage's?) < 1360845803 85830 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Anyway, it's just a class Monoid m => Group m where invert :: m -> m < 1360845806 49499 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: "<5"? < 1360845808 93970 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Plus a few instances < 1360845810 389743 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are you sure about that? < 1360845814 902422 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :REASONABLY < 1360845835 599095 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, I guess it works. < 1360845929 128713 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :It's got instance Num a => Group (Sum a); instance Fractional a => Group (Product a); instance Group a => Group (Dual a) < 1360845937 167038 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :And all the tuple ones that Data.Monoid has < 1360846022 409939 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :There's nothing that special < 1360846027 159191 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Free groups'd be harder < 1360846052 589200 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is newtype Foo a = Foo { runFoo :: forall g. (a -> g) -> g } equivalent to a free group? < 1360846095 140750 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :...I don't think so < 1360846108 83107 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :It's equivalent to a < 1360846155 589253 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er. < 1360846158 29578 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Group g => < 1360846247 508018 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Let me think about that for a bit < 1360846459 264494 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :It is a group < 1360847109 819199 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :> (Product <> Product) 7 < 1360847111 819751 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Product {getProduct = 49} < 1360847114 963014 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :neat < 1360847186 52576 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Huh < 1360847199 862516 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric ::t getProduct . Product <> Product < 1360847201 559490 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Occurs check: cannot construct the infinite type: b0 = Product b0 < 1360847201 766036 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Expected type: b0 -> b0 < 1360847201 766221 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Actual type: b0 -> Product b0 < 1360847206 567307 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric ::t getProduct . (Product <> Product) < 1360847208 189276 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Num b => b -> b < 1360847261 659625 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :instance Monoid b => Monoid (a -> b) where < 1360847261 866002 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric : mempty _ = mempty < 1360847261 866339 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric : mappend f g x = f x `mappend` g x < 1360847317 349902 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :> getSum $ (Sum <> Sum) 10 < 1360847319 829122 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 20 < 1360847322 50257 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :nooodl_: Can you come up with a free group type for me, please? < 1360847379 911104 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :i just had to up what a free group is so probably i won't be of much help < 1360847448 399464 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :hmmmm < 1360847538 739397 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :this sounds like it'd be impossible to define as a type < 1360847557 250265 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Haskell is bad at things like commutativity and invertibility. :-( < 1360847686 863133 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :a free group can have multiple free generating sets, right < 1360847705 379134 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1360847707 240790 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :like for (Z,+) you have could have S = {1} or S = {-1} < 1360847727 529658 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :(i'm reading http://en.wikipedia.org/wiki/Free_group because i'm bad) < 1360847733 949145 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :(at group theory) < 1360847784 559269 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm. I'm not sure what you mean. < 1360847800 559498 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ah, you're going in the other way. < 1360847820 199294 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean: Given some generating set S, give me a free group over that set. < 1360847832 167386 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :ohh i see < 1360847848 429685 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :[] is a free monoid in a similar way. < 1360847850 709184 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :(also: given an operator?) < 1360847855 969110 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, you make the operator. < 1360847869 154442 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :What shachaf wrote earlier is a group < 1360847897 740282 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Given the set S = {A,B,C}, you can give me the free monoid: (MS,(++),[]), where MS = {[], [A], [B], [C], [A,A], ,[C,A,B,A], ...} < 1360847912 789854 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Note that you pick your own operation here. What the elements actually are doesn't really matter. < 1360847923 204142 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :But it needs Ranks2Types < 1360847933 221923 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: Just PolymorphicComponents!!!!!!!!!! < 1360847944 438509 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :It needs some extension < 1360847950 79535 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sure. < 1360847950 939416 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :so that type would be... FreeGroup S < 1360847956 29684 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :nooodl_: You can look at Nat as a free monoid over some singleton generating set. < 1360847962 179800 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's the same as saying that [()] ~ Nat < 1360847978 29456 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Where [] = 0, [()] = 1, and so on. < 1360847981 689432 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(++) becomes addition. < 1360847990 989960 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :right < 1360848007 99694 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Now, if you define data Unit = Unit and data Younit = Younit, [Unit] and [Younit] are equivalent. < 1360848102 579538 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :nooodl_: Anyway, a free group would be similar, except you also have inverses. < 1360848129 909524 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So if your generating set is {A, B, C}, then you'd make up new elements A^-1, B^-1, C^-1 < 1360848145 409423 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It doesn't matter what A,B,C actually were originally. You're making up inverses for them. < 1360848203 110188 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Then you can take "" (the empty word) as an element of Freegroup S, and also A, AB, AAA, ABA^-1, etc. < 1360848215 719784 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But ABB^-1A isn't an element. < 1360848220 571016 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or rather it's equivalent to AA. < 1360848230 550326 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Note: That means [A, B, B^-1, A]) < 1360848257 279627 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :let me guess, ABB⁻¹A⁻¹ is equal to ""? < 1360848273 179657 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1360848309 609566 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So you've made up a group structure from any set at all. < 1360848318 809593 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And in a sense this is the "minimal" group structure you can make. < 1360848341 179528 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(For example, this is also a monoid -- just forget about the invertibility -- but it's not a "minimal" monoid, because it has all these extra elements.) < 1360848670 733972 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :For groups I took a leaf from edwardk's book and inlined things so that the core is shorter < 1360848693 466454 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :However, I did not experiment with eta-expansion < 1360849884 126193 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :shachaf, your Group seems to be rather useless < 1360849890 11521 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :No, wait < 1360849891 946463 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Nevermind < 1360849970 635453 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :shachaf: A^-1 would be {B, C} right? < 1360849985 734443 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Or not? < 1360850014 123527 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Oh wait, it wouldn't be, you're talking about something else < 1360850108 830422 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Groups < 1360850289 311189 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1360850456 726763 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Haskell and GHC don't seem to come with stuff for groups, just for monoids < 1360850504 224027 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :That's why I wrote a small library in 5 minutes and uploaded it to Hackage < 1360850509 581304 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :http://hackage.haskell.org/package/groups-0.1.0.1 < 1360850548 38573 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :class (Monoid a) => Group a where { invert :: a -> a } < 1360850553 596718 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Right? < 1360850579 572487 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Yeah < 1360850587 479314 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :That's pretty much exactly my definition < 1360850619 24666 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :The main difference is formatting and I used the letter 'm' rather than 'a' < 1360850743 838743 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :And I still haven't decided whether to go to the UV party or not < 1360851073 144967 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1360851333 807611 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Taneb: You could make Group instances for Ordering and Maybe a < 1360851349 518248 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :...no you can't < 1360851382 83759 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :> mempty :: Maybe String < 1360851384 431804 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Nothing < 1360851398 903948 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Give me a value x such that x <> Just "hello" is Nothing < 1360851424 642046 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Oh, you're right < 1360851449 639151 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Believe me, I actually double-checked those < 1360851456 838301 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :You can't make an instance for Any or All either < 1360851476 652942 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :You could make an instance for Xor possibly? < 1360851493 699208 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :If there was a Xor < 1360851514 919130 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Possibly < 1360851560 252890 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :invert = id < 1360851598 461949 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1360851609 161959 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Would have to define the Xor monoid first though < 1360851609 643026 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1360851639 789936 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Yeah < 1360851665 765692 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :I don't want that to be on my head, though < 1360851722 480362 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :newtype Xor = Xor { getXor :: Bool } instance Monoid Xor where { mempty = False; mconcat = (/=) } instance Group Xor where { invert = id } < 1360851749 631617 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Looks good? < 1360851836 629268 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :...almost < 1360851845 283505 :Slereah_!x@ANantes-259-1-241-212.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :Xor always makes me thing of some alien overlord < 1360851861 132749 :Slereah_!x@ANantes-259-1-241-212.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :THE ALMIGHTY XOR, MASTER OF THE LOGIC GATE < 1360851873 173734 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :newtype Xor = Xor {getXor :: Bool} deriving (Eq); instance Monoid Xor where {mempty = Xor False; mconcat = (/=) } instance Group Xor where {invert = id} < 1360851882 665666 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Xor is weaker than Nand and Nor though < 1360851897 74943 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Taneb: Oh right < 1360851901 524443 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Good catch < 1360851912 932094 :Slereah_!x@ANantes-259-1-241-212.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :That's why Xor needs his henchman, Not < 1360851945 616721 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Don't be true or i'll invert you. < 1360852030 445757 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :I don't think Xor + Not is universal < 1360852033 290796 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :But I am not sure < 1360852042 463181 :Slereah_!x@ANantes-259-1-241-212.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :I dunno either < 1360852069 142312 :Slereah_!x@ANantes-259-1-241-212.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :But I needed to act quickly! < 1360852071 522290 :Slereah_!x@ANantes-259-1-241-212.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :For humor timing < 1360852094 828525 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :You can make Not using Xor though < 1360852103 295758 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Hmm, yes < 1360852104 867874 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :not = xor 1 < 1360852105 214477 :Slereah_!x@ANantes-259-1-241-212.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :Then Xor and -> < 1360852116 405656 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :And as Xor isn't universal, neither is Xor + Not < 1360852116 611951 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Well, you need both xor and 1 < 1360852120 832360 :Slereah_!x@ANantes-259-1-241-212.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :How do you pronounce -> in programming? < 1360852122 862186 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :1 is free < 1360852124 698546 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :"to" < 1360852127 557721 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :And you can't make a 1 using xor < 1360852182 21308 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Well, by 1 I mean True < 1360852200 525700 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Too used to thinking bitwise < 1360852202 460634 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :I understood that < 1360852222 458548 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Hmm < 1360852246 108590 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :I think XNOR is as universal as XOR < 1360852253 430400 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Because with XNOR you can't get 0 < 1360852457 184906 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :afaik NAND,NOR,XOR,XNOR can each cover all logical operations. < 1360852457 428367 :Taneb!~nathan@host-78-148-6-176.as13285.net QUIT :Quit: Leaving < 1360852503 763378 :Taneb!~nathan@host-78-148-6-176.as13285.net JOIN :#esoteric < 1360852504 981481 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 272 seconds < 1360852564 942586 :Slereah_!x@ANantes-259-1-241-212.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :I think it's only nand and nor? < 1360853265 253574 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*XOR&XNOR < 1360853353 52743 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1360853396 292963 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Yeah, wikipedia says XOR isn't universal < 1360853418 553734 :Slereah_!x@ANantes-259-1-241-212.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :FNORD < 1360853420 383482 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :XOR + implication is < 1360853427 362981 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :FNORD is universal, of course < 1360853436 952724 :Slereah_!x@ANantes-259-1-241-212.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :Implication + NOT is so it's not too surprising < 1360853458 344915 :mekeor!~user@dslb-092-075-081-190.pools.arcor-ip.net JOIN :#esoteric < 1360853665 295175 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Ping timeout: 248 seconds < 1360854121 173534 :dessos!~dessos@c-174-60-176-249.hsd1.pa.comcast.net JOIN :#esoteric < 1360854207 763364 :upgrayeddd!uid2969@gateway/web/irccloud.com/x-jixwmxqxwbgoobnx JOIN :#esoteric < 1360854283 198850 :upgrayeddd!uid2969@gateway/web/irccloud.com/x-jixwmxqxwbgoobnx PRIVMSG #esoteric :more than a decade of logs, wow < 1360854294 838098 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :`welcome upgrayeddd < 1360854298 903267 :HackEgo!codu@codu.org PRIVMSG #esoteric :upgrayeddd: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1360854326 543245 :upgrayeddd!uid2969@gateway/web/irccloud.com/x-jixwmxqxwbgoobnx PRIVMSG #esoteric :thank you Taneb < 1360854329 403742 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :To be honest, the pre-2005 days are pretty quiet. < 1360854358 820992 :Slereah_!x@ANantes-259-1-241-212.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :Not even people coming in to get magic advice < 1360854359 693971 :Slereah_!x@ANantes-259-1-241-212.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :? < 1360854436 912845 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Slereah_: Well, I mean, http://codu.org/logs/log/_esoteric/2003-01-19 looks like a pretty typical day to me. < 1360854450 3353 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1360854471 104418 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :upgrayeddd, so, what brings you to the channel < 1360854499 103464 :Slereah_!x@ANantes-259-1-241-212.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :heh < 1360854504 203739 :Slereah_!x@ANantes-259-1-241-212.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :I forget when I came in < 1360854506 264620 :Slereah_!x@ANantes-259-1-241-212.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :2007 maybe? < 1360854516 73567 :upgrayeddd!uid2969@gateway/web/irccloud.com/x-jixwmxqxwbgoobnx PRIVMSG #esoteric :Taneb: jconn said there was an open session here and I was curious < 1360854742 833660 :Gregor!codu@codu.org PRIVMSG #esoteric :"Open session"? < 1360854762 423922 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :jconn apparently stores a sandbox for each person < 1360854764 487552 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :jconn, ls < 1360854765 993597 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :jconn, ls: < 1360854766 199970 :jconn!~username@la-pinta.la.net.ua PRIVMSG #esoteric :Sgeo, open sessions are: Sgeo,#jsoftware Taneb,#esoteric Okasu,#jsoftware Sgeo,#esoteric crassus,#e3b solemn,#jsoftware fftw,#jsoftware b_jonas,#jsoftware Elision,#jsoftware < 1360854766 200170 :jconn!~username@la-pinta.la.net.ua PRIVMSG #esoteric :Sgeo, done list < 1360854872 713581 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Let's trick shachaf into using the bot! < 1360855416 643584 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1360855508 185545 :impomatic!~digital_w@87.113.152.173 JOIN :#esoteric < 1360855618 614518 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :What bot < 1360855649 334608 :cuttlefish!~cuttlefis@2607:fad8:4:6:f2de:f1ff:fe6c:6765 JOIN :#esoteric < 1360855694 324215 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Taneb, jconn < 1360855712 474984 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Because if shachaf uses it, he'll be on the ls: list < 1360855714 474023 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Whose bot is that? < 1360855718 975085 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :And when did I use it < 1360855727 235086 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :afk < 1360855766 385533 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1360856147 444252 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : "Bueue"!? <-- wat < 1360856162 884769 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :The name is too darn similar to Fueue < 1360856183 824229 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :...says the guy who deleted the first Numberwang to replace it with a completely different language < 1360856194 713632 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1360856449 819467 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :oerjan: WHY SO CAPITALIST? < 1360856463 523920 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1360856475 954751 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :wats are the tool of the bourgeousie < 1360856498 394122 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oh shit there's only one u in bourgeoisie < 1360856503 544856 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it seemed frencher that way < 1360856514 634519 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :buourgueuousuiue < 1360856525 835251 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :ow. < 1360856597 234475 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :baeiourgaeoiusaeiou < 1360856602 834093 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :AAAARGH! < 1360856606 713557 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :stop! < 1360856717 564555 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :have some beaaaujoileaise < 1360856786 84912 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :that's wanton cruelty to the common French vowel. < 1360857497 904996 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :darn i've accidentally stopped my watch < 1360857503 274871 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no wonder i'm getting hungry < 1360857531 884540 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Is this the watch that pipes glucose directly into your arteries? < 1360857568 11419 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, but i was planning to wait until half past 3 to eat and just started wondering why it wasn't already the time < 1360857578 164941 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(it's 5) < 1360857590 765252 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric ::( < 1360857611 954389 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait, just half past 4 < 1360857646 386315 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :It's just turned 4 here < 1360857648 675941 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :@time oerjan < 1360857650 265714 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Local time for oerjan is Thu Feb 14 17:00:48 2013 < 1360857656 26784 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i mean the plan < 1360857658 574094 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Oh < 1360857825 164939 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 260 seconds < 1360858083 765054 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :wtf < 1360858092 205435 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :My Nook says that A Clockwork Rocket only has 316 pages < 1360858097 104099 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Is it really a short book? < 1360858104 855697 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Was planning on wasting a few hours reading it today < 1360858136 634416 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :A 30 minute read isn't going to cut it :( < 1360858189 364148 :Gregor!codu@codu.org PRIVMSG #esoteric :If 316 pages takes 30 minutes, that's a page every 6 seconds. < 1360858294 14293 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: that doesn't sound so unreasonable < 1360858310 114448 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: (how can you plan to waste a few hours on something but only have 30 minutes) < 1360858319 424291 :Gregor!codu@codu.org PRIVMSG #esoteric :It does if you're actually reading. And it's not The Cat in the Hat. < 1360858399 944866 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :I preferred the sequel < 1360858416 664532 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :how fast can you read cat in that hat < 1360858419 34178 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that is the real question here < 1360858462 894519 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Ok, so I don't actually know how fast I read < 1360858489 345276 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :The point is I'm going to need to spend a few hours, and if a book takes too short to read, I'm going to need to find something else to do afterwards < 1360858527 761697 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :316 pages isn't a quick read < 1360858632 94167 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :I've just ordered a plain grey t-shirt < 1360858654 4728 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :These two facts are fundamentally interrelated < 1360858664 145580 :Halite!~HaliteBir@unaffiliated/octagonfly JOIN :#esoteric < 1360858690 54513 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :someone make a valentines day esolagn < 1360858697 275615 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Nah < 1360858707 644921 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :OH YAH < 1360858737 58063 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :sup salty < 1360858770 674748 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :quintopia, hey square utopia < 1360858785 698909 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :wait, soup salty < 1360858788 144904 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :mmm soup < 1360858792 675027 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :Halite Soup < 1360858809 805670 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Halite, feel free to make one yourself < 1360858816 245342 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :BrainSoup < 1360858826 444658 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :Norfsoup < 1360858828 935282 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Preferably not based on brainfuck < 1360858832 314647 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :Sorfsoup < 1360858847 814385 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :how can I make a programming language not based on BF < 1360858861 744264 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Look at unlambda < 1360858870 564332 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :link < 1360858871 14738 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i cant think of a good v-day idea. it doesnt seem like a commercial holiday for candy, cards, and flowers has much in common with esolangery < 1360858911 174737 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Trustlambda? < 1360858917 775033 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :quintopia, buy flower of colour "Hello world!" < 1360858929 834628 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it's valentines day? < 1360858932 135349 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ACTION wonders if Unlambda might be a good base for a new Trust family language < 1360858957 645070 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Except I don't know if I want to write an Unlambda interpreter < 1360858959 255208 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :languages that are basically procedural with weird themed syntax are not very fun imo < 1360858970 784857 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`wiki Unlambda < 1360858972 94478 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wiki: not found < 1360858980 404361 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...we don't have that? < 1360858986 694607 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!wiki Unlambda < 1360858991 484996 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^wiki Unlambda < 1360858991 728532 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :http://esoteric.voxelperfect.net/wiki/Unlambda < 1360859002 204849 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh that ... is outdated. < 1360859004 685901 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Ah, ye old classic wiki < 1360859014 664872 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: are you having nostalgia for the old wiki url < 1360859020 566463 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i am < 1360859035 834666 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :surprisingly, no < 1360859040 614928 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :the way none of us knew what voxelperfect.net actually < 1360859041 385311 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh well, the link does work < 1360859041 592147 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :was < 1360859044 440633 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :good times, good times < 1360859047 414467 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: it was graue's domain < 1360859059 374888 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a domain of perfect voxels < 1360859061 234464 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't think it hosted anything except the esolangs stuff < 1360859073 834469 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :There was another thing for esolang files on that domain < 1360859075 164849 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :http://voxelperfect.net/ is a pretty good placeholder page, that looks new < 1360859079 625696 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: yes that's still hosted there < 1360859139 154351 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :* Sgeo wonders if Unlambda might be a good base for a new Trust family language <-- my self-interpreter is almost meta-circular already! < 1360859150 185378 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :self-circular is almost meta-interpreter < 1360859190 455193 :Halite!~HaliteBir@unaffiliated/octagonfly PART #esoteric :"Halting execution" < 1360859204 489381 :Halite!~HaliteBir@unaffiliated/octagonfly JOIN :#esoteric < 1360859213 254464 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :wrong channel to part on lolol < 1360859214 329331 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's how it managed to have an eigenratio of 1 < 1360859218 754600 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :trying to part #irp < 1360859381 494755 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: thought: perhaps the best way to define "non-cheating self-interpreter" is "self-interpreter with eigenratio > 1" < 1360859406 694955 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :of course then someone will define a very silly joke language with a "slow self-interpreter" command... < 1360859427 295079 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :eigenration? < 1360859431 891235 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :how can an interpreter self-interpretate < 1360859448 521921 :Gregor!codu@codu.org PRIVMSG #esoteric :eigenration: How much of your own body you're allowed to eat per day if stranded. < 1360859457 385692 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :you write an interpreter for in < 1360859476 955675 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :like writing an interpreter for BF in BF < 1360859485 136712 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :yes < 1360859490 796280 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :how would you interpretate the interpreter < 1360859498 694778 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :what < 1360859512 794441 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :how would you interpretate the self-interpreter < 1360859515 795866 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I wrote a compiler for Trustfuck in Trustfuck < 1360859532 271038 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Is the compiler cheating? < 1360859546 526366 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Halite, it works exactly the same as running the self-interpreter with any other interpreter < 1360859548 624562 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :Sgeo, possible if there is a TF interpreter < 1360859548 831016 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :that's the point < 1360859557 746185 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : I don't think Xor + Not is universal <-- indeed not, and i shall have to point you to the Post Lattice again < 1360859576 31704 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Halite, there are currently no TF interpreters, only TF compilers < 1360859577 975289 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :NOR and NAND are functionally complete < 1360859595 134941 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :Sgeo, laise < 1360859614 206089 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I have to think about whether interpreted TF misses the point... < 1360859625 234803 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Halite: the post lattice gives you a way to see exactly which sets of boolean functions are functionally complete, and if not, what they _do_ generate < 1360859641 895366 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Although the infrastructure is there < 1360859663 366117 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :oerjan, go look at TF go look at TF go look at TF? < 1360859667 904888 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :oerjan, NOR and NAND are functionally complete, and so are its neighbours OR+NOT and AND+NOT < 1360859695 536272 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :yes Halite < 1360859696 974789 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Halite: i am trying to tell you that i already know quite a lot more than this < 1360859698 816418 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i think oerjan knows this < 1360859721 764666 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :http://en.wikipedia.org/wiki/File:Post-lattice-centre.svg] < 1360859739 480260 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i like the descriptive labels < 1360859783 994682 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :http://upload.wikimedia.org/wikipedia/commons/1/19/Post-lattice.svg wow < 1360859797 425036 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: I like how it looks like a cube with some crap sticking out of it. < 1360859800 634970 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Um, not cube. What's the word again? < 1360859833 595162 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: WHAT IS THE NAME FOR A 3D RECTANGLE HELP < 1360859837 234716 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :cuboid < 1360859838 184366 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :parallelipiped? < 1360859847 645134 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :cuboid elliott !!!!! < 1360859850 203799 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :tetrahedron < 1360859851 348657 :ion!ion@heh.fi PRIVMSG #esoteric :The 4-day time cube. < 1360859851 731150 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :thanks you nooodl_ < 1360859858 785630 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :`THANK nooodl_ < 1360859858 993131 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :tesseract < 1360859860 135062 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: THANK: not found < 1360859914 114892 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: btw some of the discussion i had with that eigenratio guy was how the known brainfuck self-interpreters don't seem to have a finite eigenratio at all (they use quadratic time as the tape grows), although i thought i had a way to fix it. alas he didn't seem to have much time for the discussion, i didn't hear from him any more after a while < 1360859960 485119 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :parallelopiped is 3d parallelogram Phantom_Hoover < 1360859988 695813 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i think you'll find it's parallelapiped, quintopia < 1360860018 55145 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i might...IF I LOOKED < 1360860028 117455 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but that would be cheating < 1360860037 845121 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oerjan, how does he define eigenratio < 1360860064 90789 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :what is an eigenratio < 1360860076 899699 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :It sounds interesting and vaguely familiar < 1360860090 85256 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :a rough measure of the efficiency of a self-interpreter < 1360860096 297814 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Okay < 1360860146 270522 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Hey, Haskell has data construction syntax that looks like [something| insert stuf here] right? < 1360860156 294923 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Yes...? < 1360860190 984911 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :he seems to define it as the limit as n -> infinity of the ratio of time taken to simulate an n interpreter stack to the time taken to simulate an n-1 interpreter stack < 1360860198 752697 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Can't find a haskell wiki page about it < 1360860200 555087 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: hm < 1360860210 775045 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: you can generalise that to an eigenfunction, right? < 1360860214 604730 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(what's abuse of terminology) < 1360860241 736499 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um that sounds like an eigenvector in a function space < 1360860241 943361 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :'eigenfunction' is already taken by those dastardly linear algebraists < 1360860250 674992 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :right < 1360860262 155361 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: hence abuse of terminology :P < 1360860274 235068 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I mean s.t. an eigenratio of k would become f(x) = kx < 1360860311 446801 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: in fact i _did_ conclude that there should be something like r^(n^2) for the brainfuck self-interpreters, so i've had similar idea < 1360860312 795001 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i was about to suggest o notation but that would be stupid < 1360860341 494911 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, er, wouldn't an eigenratio be f(x) = k^x < 1360860369 847445 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :er sure < 1360860403 675233 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i guess metacircular interpreters would have linear eigenfunctions < 1360860409 755030 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: that is, i _think_ that if you take the logarithm of f(x), its limit will be a polynomial instead of linear for brainfuck, so you can look at the degree and the coefficient of the largest exponent < 1360860449 117367 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :also it would be nice if they were defined more abstractly than realtime < 1360860454 784689 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but I guess you can just reuse big-O notation's "step" < 1360860468 724738 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it's all a bit dodgy to me < 1360860481 444921 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :because obviously you need to have some dummy program to cap off the stack < 1360860493 204549 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: are you thinking about list comprehensions or quasiquotations? (the latter are [something| insert stuff here |]) < 1360860508 121218 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :and you can easily set things up so all the numbers vary wildly depending on what program you use < 1360860528 614766 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: btw what do you think about his golden ratio speculation? (http://eigenratios.blogspot.co.uk/2007/11/search-for-phi-holy-golden-ratio.html) it appeals to me but I don't know if it seems like coincidence to someone more competent < 1360860550 186057 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :oerjan: Quasiquotations, thanks < 1360860611 854261 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Seems those aren't for data like I thought < 1360860612 635529 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, er, so wait < 1360860619 814959 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: the thing that makes brainfucks nonlinear isn't that they aren't metacircular, it's that they frequently need to move through the tape for a long while < 1360860632 958134 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oerjan, er < 1360860640 425589 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :that's not what i meant < 1360860669 355095 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i mean if you define the eigenfunction as just being the limit of the time taken < 1360860679 804950 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :then metacircular interpreters are rougly linear < 1360860717 874902 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :'proper' self-interpreters are exponential or more, presumably < 1360860846 617125 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: anyway the thing about the linear case is that with a nice interpreter you get a linear matrix describing how operations are implemented in terms of many operations at the previous stage, and if the operations are sufficiently cross-implemented, you get that perron-frobenius theory applying so that everything converges to the eigenspace of a universal eigenvector < 1360860908 835973 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and so the eigenratio then exists completely stringently < 1360860916 305379 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :sorry oerjan i'm not doing that much maths today < 1360860947 554714 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: it's the same principle behind the proposed new scoring for bfjoust, btw < 1360860955 37991 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 252 seconds < 1360860995 637594 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1360861012 938302 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: thanks a lot :( < 1360861078 964071 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : then metacircular interpreters are rougly linear <-- oh right, yeah that's what happened with the unlambda < 1360861106 235183 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: what? < 1360861129 641249 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :There doesn't seem to be documentation for GHC.Arr at http://www.haskell.org/ghc/docs/latest/html/libraries/index.html < 1360861157 235886 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I wanted to look at the source ): < 1360861237 474117 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: well the golden ratio clearly isn't a lower bound < 1360861283 515464 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: hm i think i've managed to guess urls for such stuff before... < 1360861343 535417 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://www.haskell.org/ghc/docs/latest/html/libraries/base-4.6.0.1/src/GHC-Arr.html#Array < 1360861380 735951 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: well if you exclude "cheating" self-interpreters somehow < 1360861382 785492 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: this was simple, the source link from Array in the Data.Array module pointed directly there :P < 1360861480 564464 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: it seems like a matter of deciding how many operations you minimally can implement an operation with before you call it cheating. even the golden ratio seems a little low when you put it that way. < 1360861525 854437 :varnie!~varnie@v-60445-unlim.vpn.mgn.ru JOIN :#esoteric < 1360861536 174930 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: right < 1360861537 819076 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because you cannot get the golden ratio without _some_ operations being implemented with just one underlying operation < 1360861556 424369 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and once you admit that, it doesn't seem that implausible to go even lower < 1360861571 294301 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hm so I wonder if there is any limit to how small an eigenratio can be if it is > 1 < 1360861574 334805 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess not really < 1360861578 754302 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :if you just have enough operations < 1360861593 684381 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: btw what about eigenratios > 0 < 1 :P < 1360861595 449171 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :oerjan: Aww, seems to be a primitive =P < 1360861603 74358 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :what about a TC OISC, how would that count here? < 1360861617 890227 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :FreeFull: you can implement the immutable array interface (inefficiently) in pure haskell < 1360861629 64426 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well, even efficiently, if you use a tree < 1360861636 114803 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :no guarantees of contiguousness in memory though < 1360861652 707486 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah if you have a cycle of operations where everyone is implemented in terms of one other except _one_ which is implemented in terms of two others, then you can get arbitrarily close to n by making the number of them large enough. i think. < 1360861668 287774 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*close to 1 < 1360861697 315367 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: I guess an eigenratio < 1 is where you have an instruction that somehow saves time by doing the work of two others... < 1360861710 104607 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :...and for that instruction itself to take less time to interpret than it saves < 1360861826 147480 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :elliott: Well, the only purpose of Data.Array seems to be convienience and speed < 1360861852 576190 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Data.Array is not as convenient nor perhaps as fast as you might hope for. take a look at the vector packgae < 1360862126 316719 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Max SendQ exceeded < 1360862340 243967 :epicmonkey!~epicmonke@host-224-58.dataart.net QUIT :Ping timeout: 260 seconds < 1360862547 206620 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :esoteric < 1360862558 814317 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :esolang < 1360862599 314792 :Zuu!zuu@unaffiliated/zuu JOIN :#esoteric < 1360862689 465127 :Zuu!zuu@unaffiliated/zuu PART :#esoteric < 1360862749 295806 :sebbu!~sebbu@ADijon-152-1-55-216.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1360862749 575295 :sebbu!~sebbu@ADijon-152-1-55-216.w83-194.abo.wanadoo.fr QUIT :Changing host < 1360862749 781710 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1360862763 69685 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :elliott: How well does Data.Vector do multidimensional stuff though? < 1360862787 644821 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :FreeFull: you can nest vectors manually, or see the "repa" package, which does multidimensional arrays on top of vector with automatic parallelisation < 1360862794 654768 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :though I think the API is in flux maybe? < 1360862810 455188 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :there is a nice http://www.haskell.org/haskellwiki/Numeric_Haskell:_A_Repa_Tutorial. I don't know if it is up to date < 1360864005 505818 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Worshipful_Company_of_Hackney_Carriage_Drivers < 1360864505 283812 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :I have an idea for an esolang < 1360864543 893190 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :the worshipful company of etc sounds like something out of a terry pratchett book < 1360864586 454285 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :He had to get inspiration from somewhere < 1360864620 874818 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Halite: what is it < 1360864730 614354 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :elliott, that the esolang's only boolean operation will be - not NAND - not NOR - but f(three bit integer a, boolean b, boolean c) < 1360864787 813654 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :elliott, ahem, f(four bit integer a, boolean b, boolean c) < 1360864870 674938 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :it's basically a multiplexer where b is the most significant bit of the selector and c is the least significant bit of the selector. Also, a is the integer whose bx2 + c bit is selected < 1360864890 994958 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :b*2 < 1360864896 154062 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :b*2 + c bit < 1360865288 350016 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Halite: What is the output type? boolean? < 1360865297 422770 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Can you construct the integer out of four booleans? < 1360865309 234332 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :FreeFull, the output is boolean < 1360865324 955578 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :FreeFull, you can construct a out of four booleans < 1360865331 454645 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1360865383 646007 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :if you know how to merge two bits together, then it's a multiplexer with b and c merged (assuming booleans are single-bit integers) < 1360865486 453830 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :a "repa" tutorial? is that a typo or a euphemism? < 1360865505 610976 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :and(b,c) would be something like f(1000,b,c) right? < 1360865524 68548 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1360865530 867612 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :So the a is basically the logic table for whatever boolean operation < 1360865548 344002 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :yes < 1360865555 883621 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :a is the logic table < 1360865623 956439 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :f(1000,1,1) will be 1, as ab is 11 and the (binary) 11th (fourth including 00) bit of a is 1 < 1360865642 754248 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :so you can make NAND < 1360865646 174934 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :and NOR < 1360865661 226301 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :0111 and 0001 < 1360865672 410831 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :with f(0111,b,c) and f(0001,b,c) < 1360865694 804106 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :you've got it exactly right < 1360865707 274804 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :You could do this as a DSL < 1360865740 873752 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :what is a DSL < 1360865760 371415 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :domain-specific language < 1360865785 204431 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :what is a domain-specific language < 1360865797 816925 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Digital subscriber line. < 1360865798 23319 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :a language specialized to one problem domain < 1360865805 894717 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :as opposed to a general purpose programming language < 1360865814 890086 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what is a google < 1360865824 974679 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :people also talk about "embedded DSLs" which are libraries for a general purpose language that support rich syntax that makes them feel like a mini-langauge of their own < 1360865827 595941 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Well, I meant EDSL < 1360865829 3777 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but also yes google it < 1360865944 813797 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://zem.fi/ttd_logic/gate.png that's like the very same thing, it's been configured to be a NAND gate. < 1360865983 534002 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :dood you that? < 1360866004 674194 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :*doed < 1360866019 184823 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I doed it quite a long time aggo. < 1360866027 254599 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :fizzie: o.o < 1360866039 425306 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I didn't know that game was turing-complete < 1360866060 194177 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :well < 1360866061 195116 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it's not < 1360866068 904455 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :bounded storage and all that < 1360866082 720591 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :True < 1360866105 639017 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :http://zem.fi/ttd_logic/ttd_4adder.png This looks surprisingly like an electronic circuit when zoomed out (large image warning) < 1360866123 835392 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The AI scripting language ("Squirrel") in it (nowadays) probably is. < 1360866126 394562 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :why do people still do that in the broadband age < 1360866167 223987 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Phantom_Hoover: Because having a fast connection doesn't mean the page has a fast upstream < 1360866180 304198 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :And some people might still have small amounts of RAM or something < 1360866190 722964 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I've always thought it's more about the memory thing. < 1360866197 165172 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i think nortti has nobody to blame but himself < 1360866201 774189 :epicmonkey!~epicmonke@188.134.41.176 JOIN :#esoteric < 1360866210 393983 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Loading up a 10k x 10k image on my phone makes everything all sucky, for example. < 1360866215 404404 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :I got back from the toilet < 1360866224 784544 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Halite.. < 1360866226 773990 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :... < 1360866227 854171 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :........ < 1360866231 169046 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :what could I call my logic table function < 1360866245 306620 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :Phantom_Hoover, whatt < 1360866250 884608 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :whattt < 1360866253 850089 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Halite: You should borrow a term from intercal < 1360866255 855606 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: Have you never seen Firefox try to load a gigantic image. < 1360866257 54031 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :whatttttttt < 1360866263 154556 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :ACTION lends his personal ellipses supply to Phantom_Hoover < 1360866268 864981 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, i did... once < 1360866269 71943 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :FreeFull, can you give me a link to intercal < 1360866274 334499 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i think i repressed the memory < 1360866282 14985 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :FreeFull, I don't know what intercal even is < 1360866287 943776 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :iirc alt-sysrq stopped working < 1360866292 254060 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :(careful, they're canadian dots, aligned to SI. they may not fit with US customary dots.) < 1360866314 124537 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :FreeFull: Random fact: there was a single farm there in the middle (due to the terrain generator); it got mostly overwritten by the hacked-in copy-paste, but the fields still remain and get tilled. < 1360866333 572589 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :fizzie: Cool < 1360866353 753893 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Halite: Do you at least know befunge and brainfuck? < 1360866358 55262 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :boily: what about scottish dots < 1360866365 784178 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :also I believe they are US customary "periods" < 1360866368 174517 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :FreeFull, I know BrainFuck a little bit and I've only heard of Befunge < 1360866385 506282 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Halite: Ok, go on and read about INTERCAL now < 1360866387 394092 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :how can you know brainfuck 'a little bit' < 1360866388 383811 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I showed fungot's source to some people today, and they thought it was in brainfuck. Honestly, people these days! < 1360866388 590283 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: you know as < 1360866403 919618 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :elliott: those are fine. 20% better! < 1360866420 64222 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :do you only understand +-.<]? < 1360866433 919645 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :fizzie: What, they can't tell befunge apart from brainfuck? < 1360866465 831698 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :You know, is there a 2D brainfuck? < 1360866469 734187 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :FreeFull: I suppose "the non-initiated" just know both look funny, and I suppose the sources mention the word "brainfuck" in comments. < 1360866478 294306 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm pretty sure there is. < 1360866495 279733 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Hmm, minifuck-2d < 1360866517 750748 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Which isn't brainfuck but is brainfucky enough < 1360866558 4102 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Dimensifuck is reasonably close too. < 1360866573 735392 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :2D brainfuck wouldn't be much different from regular brainfuck < 1360866578 211428 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :Phantom_Hoover, I only understand that BF uses +-.,[] (and sometimes #! ) symbols < 1360866635 719329 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm reasonably certain there's the "obvious" "2D brainfuck" that's bf +-.,<> and then the directional commands and some conditional direction-changer. < 1360866722 7406 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Max SendQ exceeded < 1360866733 98412 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Brainloller is pretty much that except the source format is an image. < 1360866737 303981 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :reasonably interesting idea: only implement directional commands for x-axis movement. ( and ) or something < 1360866741 985837 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 276 seconds < 1360866751 604669 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It even has the same [] loops (along the "current direction"). < 1360866752 954509 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :and have | be a conditional up-down thingy < 1360866821 705367 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :I want to call my function LCOP (Logic Custom OPeration) < 1360866823 794296 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :actually, screw ( and ), you could work with conditional directional commands only < 1360866827 926212 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :If | will be conditional, you can get rid of [] < 1360866842 823747 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :+-.,<>_| stealing _| from befunge < 1360866868 480659 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1360866881 748075 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :for example, LCOP(1000,x,y) = x AND y < 1360866903 705687 :hagb4rd!~perdito@koln-4db4fbd8.pool.mediaWays.net JOIN :#esoteric < 1360866915 132539 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :in decimal, LCOP(8,x,y) < 1360866968 354440 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :oh, and @ to stop running, of course < 1360866970 378307 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Halite: Your language would allow recursion, right? < 1360866998 843911 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :FreeFull, why not < 1360867011 839291 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :FreeFull, if JS supports recursion < 1360867031 359555 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I think recursion + LCOP would be enough to make it turing-complete, not sure though < 1360867039 40931 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Why are you implementing it in JS? D: < 1360867046 955635 :ogrom!~del@gprs-inet-65-26.elisa.ee JOIN :#esoteric < 1360867135 773759 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think that thing was called "B" *somewhere*, but I can't recall at all where, or why. (Might have been B for "boolean" or "binary" or both.) < 1360867215 364813 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :FreeFull, because then it'd be easier to not make it Brainfucking. Simply set var lang = {big object with commands being properties} and then lang.command will execute a command < 1360867255 587537 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :i hate myself for inventing this... < 1360867257 653666 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :FreeFull, basically a custom set of custom JS commands < 1360867282 101156 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :nooodl_, be happy :D < 1360867290 69421 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Javascript does recursion but doesn't do tail-call optimisation or anything < 1360867300 972547 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :So it'll eat up memory if you put it into an infinite loop that way < 1360867305 34198 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :FreeFull, :c < 1360867345 914983 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :FreeFull, I could make tail-call optimisation myself, just put a few yields at the end of a while (true) loop < 1360867346 214197 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Gnah, once every couple of months I keep accidentally opening a PDF file in Emacs. < 1360867350 543698 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The worst thing is that it works. < 1360867506 460956 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Your fault for using emacs < 1360867518 268383 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :When you try to open a pdf in vim, all you get is gibberish < 1360867520 697317 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :FreeFull: It's so close to "evince". < 1360867535 734017 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :FreeFull: I think ECMAScript 4 (which kind of retroactively never happened) required tail call optimization. < 1360867537 479043 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :v isn't even that close to m < 1360867552 934082 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't know if they have any plans for it for Harmony. < 1360867605 667093 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://wiki.ecmascript.org/doku.php?id=harmony:proper_tail_calls has at least some kind of a proposal. < 1360867724 253555 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :hmmm < 1360867733 49674 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :here's a thing that reverses stdin < 1360867733 805525 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :http://bpaste.net/show/DHOattKOtoIOCHu8CWid/ < 1360867744 494477 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :i think it looks pretty cool < 1360867835 384356 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :I'm calling my language SaltScript < 1360867884 329838 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :That doesn't tell you anything about the language itself < 1360867895 778057 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Why not bitswitch < 1360867929 702826 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Or maybe Nybswitch < 1360867941 450751 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :nybswytch < 1360867942 574968 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Perfect < 1360867977 314102 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :what should i write an interpreter in < 1360867977 804970 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :https://github.com/dzamkov/SaltScript There is this saltscript already < 1360867988 698674 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :nooodl_: itself < 1360867990 838299 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Then bootstrap < 1360867992 454728 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric ::( < 1360867993 993920 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl_: haskell < 1360868016 353709 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Haskell is too easy < 1360868018 844183 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :that could be interesting < 1360868036 695363 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :i'm afraid it's going to look really bad < 1360868045 854509 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :i've never done anything... state-y... in haskell < 1360868072 633919 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what is the language < 1360868085 924312 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ugh is it a brainfuck derivative < 1360868097 134645 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :no... its a good brainfuck derivative < 1360868133 644005 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Can someone tell me what C++ templates are in language I understand? < 1360868146 23945 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :SaltScript < 1360868151 305247 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :http://bpaste.net/show/QvVFMDSNVcPbuBVUEOX3/ that's my conversion of ,[>,]<[.<] < 1360868166 494221 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :(i hope) < 1360868193 561073 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Taneb: C++ templates are intentionally confusing < 1360868197 483710 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Minimal-2D is I think what I was thinking of when mentioning that "obvious" "2D-brainfuck". < 1360868227 623500 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Taneb: They're basically generic functions < 1360868244 194667 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :anyway you can do bf nicely in haskell with a zipper for the tape < 1360868271 303860 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Taneb: they are a weird hybrid between a glorified macro system and a system of generic / polymorphic types < 1360868281 933892 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :how do you handle loops < 1360868293 924240 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :hmm. wait < 1360868294 451231 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :elliott: So U [a] a [a] < 1360868297 295966 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :For the tape < 1360868305 74718 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :I need help in implementing f(four-bit a,boolean b,boolean c) < 1360868314 305988 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Taneb: you can think of it as polymorphism implemented by a glorified macro system, but many details of that "implementation" leak into the semantics < 1360868322 391931 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric ::( < 1360868323 34079 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :FreeFull: or even data Tape a = Tape (Tape a) a (Tape a) < 1360868325 814171 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :Basically, it's a logic table definer < 1360868329 807392 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that gives you a two-ways-infinite tape < 1360868366 265202 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :Halite: return a & (1 << (b * 2 + c)) != 0; < 1360868376 625400 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and they're totally duck-typed. there's no in-language concept of "what sort of classes can i put in this template parameter and have it work" < 1360868378 248359 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Halite: It's basically (a >> ((b<<1)|c)) & 1 I think < 1360868385 963929 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you can't know until you've pasted that type into all the code and try to type check it < 1360868396 648905 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Or what nooodl_ said < 1360868399 423943 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :FreeFull, I'll ask on ##javascript < 1360868421 931513 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Both should work I think < 1360868425 450380 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :nooodl_'s might be faster < 1360868451 964390 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :it's probably even faster if you combine them into < 1360868462 614497 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :(a >> ((b<<1)|c)) & 1 < 1360868463 333694 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :a & (1 << ((b << 1) | c)) < 1360868505 663791 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :meh, they're probably equally fast < 1360868560 905216 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :what formats do a, b, and c have to be in the script < 1360868580 448459 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Halite: I'm assuming they're just numbers here < 1360868598 140323 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :And that b and c are only 0 or 1 < 1360868605 828417 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :FreeFull, what about a < 1360868613 759557 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Also a number < 1360868615 698869 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :FreeFull, is a something like 1000 or is it 8 < 1360868616 241162 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :from 0 to 15 < 1360868625 394169 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :8 < 1360868631 174066 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :it doesn't work < 1360868639 689280 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :returns nothing < 1360868647 84068 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :wait < 1360868652 654912 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :problem with my code I think < 1360868657 212785 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :f(8,1,1) should return 1 < 1360868661 995296 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :forgot to add ; < 1360868683 835947 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :still does not work < 1360868688 453074 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :You probably want to make more custom so that you can write 1000 instead of 8 < 1360868690 225169 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :what's your function like < 1360868699 93574 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :(a >> ((b<<1)|c)) & 1 < 1360868717 264943 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Halite: I just typed that from the brain, not guaranteed to work < 1360868720 644077 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://sprunge.us/GEAi it seems fine for that single test case. < 1360868721 635311 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :try "return"... < 1360868723 691937 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :wait < 1360868729 513992 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :nooodl_, I did put return < 1360868735 706389 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :what fizzie did < 1360868739 854077 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :the arguments aren't a, b and c in the code < 1360868747 433914 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :oh < 1360868759 815477 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :they're table,x,y < 1360868785 215766 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :so (table >> ((x<<1)|y)) & 1 should work < 1360868802 633700 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :yes! < 1360868814 896066 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Well, what did you think a, b and c were? < 1360868825 197959 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :a = table, b = x, and c = y < 1360868828 371904 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Yeah < 1360868832 210428 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :What did you have them as before? < 1360868838 185088 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :before < 1360868849 814036 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :it was always table,x,y for the args < 1360868862 395813 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :wait < 1360868865 605838 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :I do not understand < 1360868869 355920 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :Ww < 1360868909 895275 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :How rude, they've removed octal literals from ECMA-262. :/ < 1360868931 913812 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :lolwhat < 1360868960 25123 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :table is not 3 bits, it's 4 bits < 1360868962 144250 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's just decimal and hex ever since version 3 of it. < 1360868971 813830 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :oh < 1360868988 982722 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :they should have a custom bits() function, so you can choose the number of bits < 1360869010 71 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :base* < 1360869013 632531 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :wrong < 1360869016 194224 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :wrong word < 1360869039 334990 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :they should have a base() function, so you can choose the base, where decimal = 10, hex = 16, etc. < 1360869051 374365 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :octal would be 8 < 1360869055 115459 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :binary 1 < 1360869065 234285 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Not 2, then? < 1360869085 933806 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Halite: You could use strings and then convert to numbers < 1360869096 355684 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Then you could have binary in the string < 1360869116 791867 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Javascript's to number function does take a base parameter < 1360869123 903748 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Anyway, nobody but some Erlang hippies &c. seem to bother with arbitrary-base number literals. < 1360869174 285001 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :FreeFull, I'm talking to someone else about their rant about octal's removal from ECMA-262 < 1360869215 448792 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :fizzie: I think they should add base 7 < 1360869225 245832 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Hex should be good enough to replace octal, right? < 1360869226 374995 :Gregor!codu@codu.org PRIVMSG #esoteric :loloctal < 1360869229 724052 :Gregor!codu@codu.org PRIVMSG #esoteric :Welcome to the future. < 1360869243 254289 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :FreeFull: And use a leading 0 to denote that. < 1360869326 494671 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :wow everyone who's ever written a single line of haskell is going to hate me after i show them this < 1360869416 927517 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :nooodl_: Show us, see it as an opportunity to improve < 1360869428 334149 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :yeah, when it's finished < 1360869446 832460 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Write ugly code -> refactor isn't a bad approach when you don't know how to write pretty code on the first go < 1360869517 34563 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :And sometimes you can't go the pretty code straight away path at all < 1360869597 894529 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :you can make ugly code pretty by adding indentation and whitespace < 1360869599 234448 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :nowadays, I never write pretty code first. my workflow looks like: write ugly stupid obvious code -> see what happens -> rinse off bad parts -> repeat. < 1360869661 865429 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :my workflow looks like: write whitespaced pretty code -> see what happens -> repeat < 1360869681 247939 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :one step less < 1360869693 785262 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :no water needed < 1360869716 374399 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :sometimes it's write ugly code -> see what happens -> repeat < 1360869723 954762 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :but that's my early time < 1360869732 595366 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :https://github.com/FMNSSun/Burlesque/blob/master/Burlesque/Eval.hs#L695 <- improve :) < 1360869780 6751 :Halite!~HaliteBir@unaffiliated/octagonfly PRIVMSG #esoteric :SaltScript is getting on quite nicely < 1360869856 935519 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Halite: "you can make ugly code pretty by adding indentation and whitespace" You clearly haven't seen truly ugly code, or don't know what truly pretty code looks like < 1360869879 714123 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :https://github.com/FMNSSun/Burlesque/blob/master/Burlesque/Eval.hs#L339 <- all that case stuff looks really chaotic. < 1360869886 17753 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but I don't know any other way to do it. < 1360870022 524279 :sirdancealot!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1360870067 234392 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :runState (DFState code tape@(Tape _ curr _) pos@(x,y) dir@(dx,dy) input) = ... < 1360870072 974132 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :i already want to kill myself because of this line < 1360870362 326382 :Halite!~HaliteBir@unaffiliated/octagonfly QUIT :Remote host closed the connection < 1360870610 533474 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :nooodl_: What language are you interpreting again? < 1360870625 554641 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :the brainfuck interpreter i invented a while ago < 1360870638 414946 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :uhh < 1360870640 984765 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :brainfuck derivative < 1360870656 55639 :mekeor!~user@dslb-092-075-081-190.pools.arcor-ip.net QUIT :Quit: novus ordo seclorum < 1360870657 254565 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Briiiiick. < 1360870672 484764 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :like http://esolangs.org/wiki/Minimal-2D but instead of /UDLR there's only conditional up/down and left/right commands < 1360870814 814991 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :What sort of person goes around thumbing down a quite popular and well produced video on youtube. It is a well produced lets play, so there is not really that people could hate what the guy said. In fact I never seen a video on youtube with more than a few hundred views that didn't at least have a couple of thumbs down. < 1360870819 395982 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :It boggles my mind. < 1360870865 784904 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :i've wondered the same thing < 1360870906 795123 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe they: disliked the video < 1360870925 215017 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl_: you do not need to be writing like that < 1360870940 135240 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :uh oh < 1360870994 924812 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :what's the alternative < 1360871040 895877 :Gregor!codu@codu.org PRIVMSG #esoteric :Sooo, HackEgo can do sockets again, but the Google Translate API is now a paid service. < 1360871042 445251 :Gregor!codu@codu.org PRIVMSG #esoteric :Suggestions? < 1360871059 106084 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: BABELFISH < 1360871064 395634 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Or just screen-scrape. < 1360871066 563989 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Can't be that hard. < 1360871073 235610 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :ooh, i just remembered < 1360871087 566081 :Gregor!codu@codu.org PRIVMSG #esoteric :elliott: Google Translate is crazy HTML5 stuff... < 1360871088 464474 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :the update syntax thingy < 1360871099 34792 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: Sure, but under the hood it's going to do an HTTP request. < 1360871102 245583 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Unless it's websockets or something. < 1360871107 529022 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :By "screenscrape" I just mean hack something up with curl. < 1360871109 715391 :Gregor!codu@codu.org PRIVMSG #esoteric :Fair nuff. < 1360871110 565214 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :And sed. < 1360871125 675063 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Or I guess Python and BeautifulSoup if you want to be FANCY < 1360871128 45168 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric : Sooo, HackEgo can do sockets again, but the Google Translate API is now a paid service. <-- how did you fix sockets on umlbox? < 1360871135 424721 :Gregor!codu@codu.org PRIVMSG #esoteric :Vorpal: I gave it a handshake. < 1360871145 84995 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl_: that syntax is awful too < 1360871149 804373 :Gregor!codu@codu.org PRIVMSG #esoteric :Oh, the other issue was Python being stupid. < 1360871154 834583 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, and that fixed the kernel panic? < 1360871162 65429 :Gregor!codu@codu.org PRIVMSG #esoteric :No, that was Python stupidity. < 1360871166 84397 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :okay < 1360871169 525463 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :wtf still < 1360871172 665125 :Gregor!codu@codu.org PRIVMSG #esoteric :Vorpal: In some version of Python, they changed it so that pipes from child processes were cloexec by default. < 1360871181 322640 :Gregor!codu@codu.org PRIVMSG #esoteric :That caused nonsense when I told the guest to use said pipes by fd. < 1360871207 935055 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :ah < 1360871223 84395 :Gregor!codu@codu.org PRIVMSG #esoteric :`wl es en Hola < 1360871225 284185 :HackEgo!codu@codu.org PRIVMSG #esoteric :Hola < 1360871228 584742 :Gregor!codu@codu.org PRIVMSG #esoteric :Fail < 1360871233 64538 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :well, "state { tape = succ <$> tape, pos = nextPos }" is probably better than "DFState code (succ <$> tape) nextPos dir input" < 1360871240 486235 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :actually. now that i write it out < 1360871247 864772 :Gregor!codu@codu.org PRIVMSG #esoteric :`wl en es narcissism < 1360871250 125518 :HackEgo!codu@codu.org PRIVMSG #esoteric :Narcisismo < 1360871253 924622 :Gregor!codu@codu.org PRIVMSG #esoteric :Weeeh < 1360871254 130887 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :- 2013-02-14 19:47:19 INFO Connecting to "127.0.0.1:6697"... < 1360871254 131079 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Cannot connect to 127.0.0.1:6697: Connection refused < 1360871254 337564 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :^C- 2013-02-14 19:47:22 ERROR Connection failed < 1360871257 325691 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, hm < 1360871262 165781 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :it doesn't crash < 1360871267 484617 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :but it does appear to be working either < 1360871269 515347 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I wonder why < 1360871279 35082 :Gregor!codu@codu.org PRIVMSG #esoteric :Vorpal: What's your command line? < 1360871280 478783 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :god how do i write haskell code < 1360871285 474802 :Gregor!codu@codu.org PRIVMSG #esoteric :(I assume you upgraded and rebuilt) < 1360871308 554785 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, I did git pull -u && make nokernel && make install PREFIX=same-as-before < 1360871323 615473 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, also I used -R6697:irc.someserverIreplacedforthisline.net:6697 < 1360871348 55596 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :let me try it with netcat on the 6667 port instead of the ssl one < 1360871352 434896 :Gregor!codu@codu.org PRIVMSG #esoteric :To test, running bash in the guest and then running the command you care about from that bash. < 1360871370 125487 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: `wl is purposely crap < 1360871374 415932 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :if you are expecting useful results < 1360871398 344713 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :$ $HOME/local/umlbox/bin/umlbox -B -R6667:irc.sporksmoo.net:6667 netcat 127.0.0.1 6667 < 1360871398 551124 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :sh: 1: /home/arvid/local/umlbox/bin/umlbox-mudem: not found < 1360871398 551232 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :/bin/sh could not be executed < 1360871398 551285 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :(UNKNOWN) [127.0.0.1] 6667 (?) : Connection refused < 1360871400 267159 :Gregor!codu@codu.org PRIVMSG #esoteric :elliott: Yes, I know. < 1360871400 473591 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :wait, what? < 1360871417 374506 :Gregor!codu@codu.org PRIVMSG #esoteric :Vorpal: -B doesn't include $HOME/local/umlbox/bin ;) < 1360871417 824702 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, < 1360871418 874784 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :$ ls /home/arvid/local/umlbox/bin/umlbox-mudem < 1360871419 81392 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :/home/arvid/local/umlbox/bin/umlbox-mudem < 1360871421 715798 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hm < 1360871425 75786 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, oh, okay < 1360871432 784518 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`which umlbox-mudem < 1360871433 965124 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/usr/bin/umlbox-mudem < 1360871434 415070 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1360871435 73067 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :so mudem needs to run inside < 1360871444 94318 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`run cat `which umlbox-mudem` < 1360871445 295325 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@messages? < 1360871445 550741 :HackEgo!codu@codu.org PRIVMSG #esoteric :​ELF............>..... @.....@........7..........@.8..@.........@.......@.@.....@.@........................................@......@............................................@.......@.....L/......L/........ .............0.......0`......0`................... ...........(0......(0`.....(0`............................ < 1360871445 757331 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Sorry, no messages today. < 1360871448 755467 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :rigth < 1360871448 961633 :Gregor!codu@codu.org PRIVMSG #esoteric :I maybe should add .../bin to the default -B path, but I don't like -B being dynamic... < 1360871450 845280 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :right* < 1360871464 775485 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`run umlbox-mudem abc < 1360871466 174639 :HackEgo!codu@codu.org PRIVMSG #esoteric :Use: umlbox-mudem {0|1} [sockets...] < 1360871467 495390 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, eh, I'm not running it so that ../bin would help me anyway < 1360871467 701631 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nice blink btw < 1360871488 236761 :Gregor!codu@codu.org PRIVMSG #esoteric :Vorpal: I mean the bin path in which umlbox-mudem resides. < 1360871499 455377 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, oh right, makes sense < 1360871512 85676 :Gregor!codu@codu.org PRIVMSG #esoteric :Needs to run on bot host and guest. < 1360871519 665242 :Gregor!codu@codu.org PRIVMSG #esoteric :elliott: umlbox-mudem is a socket multiplexer/demultiplexer. < 1360871538 624748 :Gregor!codu@codu.org PRIVMSG #esoteric :elliott: It multiplexes a number of tcp or unix domain sockets over stdin/stdout. < 1360871552 255857 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :there we go < 1360871591 644578 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, why is ctrl-c being broken? :/ < 1360871593 509781 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: yes I was just trying to mess it up < 1360871611 544688 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hm < 1360871619 233417 :Gregor!codu@codu.org PRIVMSG #esoteric :elliott: You're not going to mess it up by manually running the mudem ^^ < 1360871638 555114 :Gregor!codu@codu.org PRIVMSG #esoteric :Vorpal: The guest interprets ctrl+C, and doesn't really have job control support due to nonsense. < 1360871652 315733 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: I CAN TRY < 1360872040 233978 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :The net for a dodecahedron looks like two flowers < 1360872312 625423 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, hm < 1360872335 224731 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, yeah I'm running that old irc bot I wrote in bash years ago inside. It might be that which is messing around with ctrl-c < 1360872338 55422 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I don't remember < 1360872363 751815 :varnie!~varnie@v-60445-unlim.vpn.mgn.ru QUIT :Quit: Leaving < 1360872369 659555 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what are you doing with it < 1360872498 995996 :Gregor!codu@codu.org PRIVMSG #esoteric :By the way, umlbox is also a great fakeroot :) < 1360872501 626246 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :elliott, laughing at it < 1360872510 46361 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, hah < 1360872510 252574 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Organising things is hard < 1360872521 295868 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :and yeah it messes with trap < 1360872526 846447 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :so yep, messing with ctrl-c < 1360872534 896680 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :though it doesn't appear it should be ignoring it < 1360872540 475674 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I'm confused as to why it does < 1360872549 125587 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Gregor, it might be the lack of job control I guess < 1360873063 185539 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I... don't think I properly understood Makefiles back then < 1360873065 566612 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :this is a mess XD < 1360873089 776559 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :some targets lacked proper dependency info and were always built < 1360873602 417525 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i remember it being very enterprisey for a bash bot < 1360873631 406122 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :how can a bot be enterprisey? < 1360873669 15884 :Gregor!codu@codu.org PRIVMSG #esoteric :If you try to use !welcome, it offers a welcome for a one-time fee of $49.95, or discounted if you have a coupon code. < 1360873678 146763 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :boily: you should have seen < 1360873819 971218 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :ACTION checks his wallet... < 1360873824 916783 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :!welcome < 1360874537 155722 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :yep. feels enterprisey enough. < 1360874986 766275 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :if you try to use !welcome it sends 3 "sales engineers" to your company to figure out the maximum amount it could charge you < 1360875114 545551 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :!please-dont-send-me-any-sales-engineers-here < 1360875696 465571 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~metar CYUL < 1360875696 845452 :cuttlefish!~cuttlefis@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :CYUL 142000Z 22009KT 15SM BKN050 01/M06 A2989 RMK SC7 SLP124 < 1360875724 835363 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :~metar EGNT < 1360875725 135238 :cuttlefish!~cuttlefis@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :EGNT 142050Z 26009KT 9999 FEW030 05/03 Q1009 < 1360875730 687294 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :What does that mean < 1360875737 62771 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :I think it's the weather near here < 1360875741 640524 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :But I don't know how < 1360875838 282201 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :they have space people in satellites with binoculars watching the weather < 1360875911 669642 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Taneb: you report means it's kinda chilly, with a few clouds. otherwise, nothing particularly interesting or notable. < 1360875921 334437 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Sounds about right < 1360876246 647367 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It also means it was 20:50 (UTC) on the 14th day of the month. < 1360876318 527245 :augur_!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1360876370 251654 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :09KT of wind I guess counts as some sort of a low-moderate breeze? < 1360876427 364619 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :So, basically what you'd expect for the north of England on a February night < 1360876491 370050 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :you're lucky to have sane units in your metars. I'm stuck with a weird mixture of just about everything, even inches of mercury. < 1360876505 335366 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :! < 1360876517 255764 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ACTION is back < 1360876519 570456 :sivoais!~zaki@unaffiliated/sivoais QUIT :Ping timeout: 260 seconds < 1360876537 486186 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :boily: inches of mercury is a measure of pressure, right? < 1360876553 745335 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :yes < 1360876562 795218 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :29.97 inHg is 101.325 kPa. < 1360876563 95473 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :millimeters of mercury is more conventional, I think < 1360876604 405381 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :ugh numbers in haskell are weird < 1360876613 877157 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :So, they haven't just got a ruler next to a thermometre < 1360876614 325649 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :Int and Integer and Integral < 1360876617 709053 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :nooodl_, how so? < 1360876660 416260 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :i somewhat understand the differences, but i don't know which one to use where < 1360876667 966060 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Int is machine-word sized, Integer is unbounded, Integral isn't a type < 1360876678 755596 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :It's a class that generalizes over integral types < 1360876683 86778 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Such as Int and Integer < 1360876708 418377 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :ais523: but you have to be careful with canadian metars, A2989 is QFE (29.89 inHG with elevation calibrated at airfield level) and SLP124 is QNH (1012.4 hPa sea level pressure). < 1360876741 458459 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The Finnish Meteorological Institute's weather page uses units of hPa (aka mbar but they write hPa) for atmospheric pressure. < 1360876757 165909 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :as any sane national weather office. < 1360876822 965568 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :~metar EFHK < 1360876823 395635 :cuttlefish!~cuttlefis@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :EFHK 142050Z 11005KT 9999 -SG BKN009 BKN030 M02/M03 Q1030 TEMPO SCT008 BKN030 < 1360876851 915394 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :~metar EGNC < 1360876852 215236 :cuttlefish!~cuttlefis@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :EGNC 141750Z 23009KT 9999 FEW020 05/04 Q1009 < 1360876942 605365 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~metar EGED < 1360876942 955260 :cuttlefish!~cuttlefis@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :--- Station not found! < 1360876949 760794 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I wonder if you can implement factorial more efficiently than product [1..n] < 1360876964 927188 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :product [2..n] < 1360876970 446036 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :hth < 1360876997 295863 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :(doesn't work with n == 1) < 1360877002 785324 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :(i think) < 1360877005 41596 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Taneb: It actually does work with n == 1 < 1360877013 235446 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Oh, sweet! < 1360877013 634489 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> product [2..1] < 1360877015 657057 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 1 < 1360877026 575982 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~eval [2..1] < 1360877027 477087 :cuttlefish!~cuttlefis@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :[] < 1360877029 877170 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :It's ever so slightly more efficient < 1360877034 397450 :Taneb!~nathan@host-78-148-6-176.as13285.net PRIVMSG #esoteric :Possibly < 1360877050 336118 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :> product [2..0] < 1360877051 907501 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 1 < 1360877112 366573 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :~metar UOOO < 1360877112 598361 :cuttlefish!~cuttlefis@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :UOOO 142100Z 04012MPS 0250 R01/0800U DRSN HZ NSC M38/M42 Q1013 NOSIG RMK QFE746 0139//41 < 1360877119 345846 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, that's kind of on the cold side. < 1360877205 457132 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :~metar UESO < 1360877205 756927 :cuttlefish!~cuttlefis@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :UESO 142100Z 21003MPS 2000 BR NSC M46/M49 Q1024 NOSIG RMK QFE766 < 1360877208 176084 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :As is that. < 1360877209 356082 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~eval gamma 5 < 1360877209 805932 :cuttlefish!~cuttlefis@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :Error (1): No instance for (Math.Gamma.Gamma a0) arising from a use of `e_15' < 1360877210 12820 :cuttlefish!~cuttlefis@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :The type variable `a0' is ambiguous < 1360877210 13021 :cuttlefish!~cuttlefis@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :Possible fix: add a type signature that fixes these type variable(s) < 1360877210 13135 :cuttlefish!~cuttlefis@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :Note: there are several potential instances: < 1360877210 13261 :cuttlefish!~cuttlefis@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : instance Math.Gamma.Gamma (Data.Complex.Complex GHC.Types.Double) < 1360877210 258617 :cuttlefish!~cuttlefis@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : -- Defined in `gamma-0.9.0.2:Math.Gamma' < 1360877210 464958 :cuttlefish!~cuttlefis@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : instance Math.Gamma.Gamma (Data.Complex.Complex GHC.Types.Float) < 1360877211 155680 :cuttlefish!~cuttlefis@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : -- Defined in `gamma-0.9.0.2:Math.Gamma' < 1360877211 362042 :cuttlefish!~cuttlefis@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : instance Math.Gamma.Gamma GHC.Types.Double < 1360877212 206549 :cuttlefish!~cuttlefis@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : -- Defined in `gamma-0.9.0.2:Math.Gamma' < 1360877212 413222 :cuttlefish!~cuttlefis@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : ...plus one otherNo instance for (GHC.Show.Show a0) < 1360877213 246499 :cuttlefish!~cuttlefis@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : arising from a use of `M6213143843420178839.show_M6213143843420178839' < 1360877213 452892 :cuttlefish!~cuttlefis@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :The type variable `a0' is ambiguous < 1360877214 253918 :cuttlefish!~cuttlefis@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :Possible fix: add a type signature that fixes these type variable(s) < 1360877216 798675 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Lol < 1360877223 105194 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :woops ¬_¬'... < 1360877232 496199 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t gamma < 1360877234 65664 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Not in scope: `gamma' < 1360877246 505476 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~eval gamma 5 :: Double < 1360877247 35731 :cuttlefish!~cuttlefis@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :24.0 < 1360877271 254069 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :cuttlefish's output should be restricted < 1360877308 486026 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :the thing is, I can't recompile cuttlefish. the libs I use won't compile with GHC 7.6. < 1360877427 887645 :ogrom!~del@gprs-inet-65-26.elisa.ee QUIT :Quit: Left < 1360877817 390300 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :boily: Fix the libs < 1360877829 210008 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Might be fixable with just some pragmas < 1360878113 227766 :hagb4rd!~perdito@koln-4db4fbd8.pool.mediaWays.net QUIT :Ping timeout: 252 seconds < 1360878142 607221 :augur!~augur@129-2-129-35.wireless.umd.edu JOIN :#esoteric < 1360878275 420658 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ion: don't remind me of my lost $1,000,000,000,000. < 1360878308 945986 :ion!ion@heh.fi PRIVMSG #esoteric :elliott: How did you lose $1,000,000,000,000? < 1360878339 352594 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :which nigerian prince owes you a cool amount of money? < 1360878351 565797 :Gregor!codu@codu.org PRIVMSG #esoteric :kmc: I was JUST ABOUT to say that same joke. < 1360878352 16600 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ion: something about a certain cable offering me $1,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000 for my nick < 1360878353 896066 :Gregor!codu@codu.org PRIVMSG #esoteric :You JOKE THIEF < 1360878384 306409 :Gregor!codu@codu.org PRIVMSG #esoteric :elliott: Wow, that's like all the money in the world TIMES all the money in the world! < 1360878400 987120 :ion!ion@heh.fi PRIVMSG #esoteric :Dollars squared? < 1360878583 105681 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :elliott: here's my code for the thing http://hpaste.org/82379 < 1360878617 304531 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl_: for a start, using Tape Word8 gets you overflow behaviour for free. no mods needed < 1360878634 576227 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :apparently my tac implementation was broken... but the program in there seems to find the last byte in stdin so that's cool < 1360878649 377632 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :oh. cool < 1360878664 857138 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :oh god there's some stupid leftover debug things < 1360878681 216354 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :import Debug.Trace (trace), and the Show instance for Tape/DFState < 1360878703 837159 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :FreeFull: hm. looks like the exception model changed between 2011 and now. < 1360878759 896663 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :boily: rather, the long-deprecated one finally got removed < 1360878777 69837 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :That would be a bigger change then < 1360878801 36275 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :man, the anything-but-haskell programmer in me really feels like adding some spaces to ((0,0),(torusWidth-1,torusHeight-1)) < 1360878815 946784 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you can add spaces. < 1360878820 337753 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl_: I would recommend not storing the input in the state like that < 1360878836 376687 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :multi-letter variable names?!?!?!?! go back to the java mines you corporate drone slave < 1360878841 426110 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :instead you can make run :: DFState -> String -> String < 1360878853 207585 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and then you can also write runIO :: DFState -> IO (), which can do interactive IO < 1360878865 466092 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :i see < 1360878885 731372 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :kmc: Ideal haskell has no variables at all, right? < 1360878888 824061 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Everything is pointless! < 1360878895 386223 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :riiiight < 1360878935 770323 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :FreeFull: so, yeah. I fear the complete rewrite. besides, simpleirc can't do SSL, which our company's server uses. < 1360878947 516810 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t (,) ((,) 0 0) ((,)) < 1360878949 26401 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(Num b, Num a) => ((a, b), a1 -> b1 -> (a1, b1)) < 1360878959 847231 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :also interesting: i tried to run it on codepad.org but this happened http://codepad.org/748jN02r < 1360878966 196475 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1360878969 976325 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl_: if I wrote that I would probably then iterate it to a free monad based version. < 1360878990 390196 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I never get how to extract the internal function outside to make application easy < 1360879011 120059 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :While staying pointfree < 1360879082 546965 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :what was (,) ((,) 0 0) ((,)) supposed to be? < 1360879230 490760 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :A way to make a tuple of tuples < 1360879251 721624 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I guess I didn't have to write (0,0) as ((,) 0 0) < 1360879278 455149 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :@pl \x y -> ((0,0),(x,y)) < 1360879278 946404 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :((,) (0, 0) .) . (,) < 1360879284 721182 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I guess that's what I wanted < 1360879289 233773 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl_: I would probably also not use Array but that's just me < 1360879311 607539 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :elliott: i'd considered Tape (Tape Char) for the code... < 1360879319 786947 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I still don't get the way . works when partially applied like that < 1360879334 491355 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t ((,) (0,0) .) < 1360879336 167307 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(Functor f, Num t1, Num t) => f a -> f ((t, t1), a) < 1360879337 597987 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl_: that would be a bad idea < 1360879340 848839 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :FreeFull: ignore that :t < 1360879342 693197 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :stupid Caleskell < 1360879355 126076 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: Poulet! < 1360879359 395589 :cuttlefish!~cuttlefis@2607:fad8:4:6:f2de:f1ff:fe6c:6765 QUIT :Remote host closed the connection < 1360879361 191057 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :((,) (0,0) .) :: (Num t, Num t1) => (a -> b) -> a -> ((t, t1), b) < 1360879445 237637 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :elliott: what would you have used instead? [[Char]]? < 1360879487 6449 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl_: possibly (Int,Int) -> Char. since you never modify the playfield, and you can construct (Int,Int) -> Char from Array (Int,Int) Char which, if inlined, should be just as performant < 1360879621 402342 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :So value :: (Int,Int) -> Char; value = (playfield !) < 1360879661 98087 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :well then you're still using Array < 1360879684 596297 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I like this book, although so far it seems to still be world building < 1360879692 56580 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Does The Clockwork Rocket have an actual plot? < 1360879753 756355 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :oh, is it good practice to *always* write explicit type signatures for functions < 1360879829 706487 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think in vanilla Haskell there are some cases where you can't < 1360879845 556804 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(for functions in where and let, I think?) < 1360879872 726779 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :oh, yeah, i've never done that < 1360879898 966202 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I mean, there is syntax for it, but some circumstances where it's inadequate, iirc < 1360879905 346829 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl_: s/functions/top-level definitions/ < 1360879913 36751 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :not the same thing < 1360879921 777943 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(there are non-function top-level definitions, and non-top-level definition functions) < 1360879933 98168 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :in my example lines 13-26 seem really ugly and verbose < 1360879944 715989 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :all of the lines are ugly and verbose < 1360879962 126954 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :elliott: so, i should've also written "torusWidth :: Int", for example? < 1360879997 157985 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :generally, yes, though it doesn't really matter for a small program :P < 1360880017 807419 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :note that in the absence of you using them as Int they would be defaulted to Integer < 1360880033 532445 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :also, nah, some of them are ugly and terse. also some of them are blank!! < 1360880045 698557 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl_: really I would just use Word32 or something for the Array < 1360880048 108058 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and not have any explicit mods < 1360880056 6616 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or what I'd have actually done is write Integer and have no wrapping < 1360880057 878385 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :elliott, have you seen my code? < 1360880060 457676 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric ::/ < 1360880061 966589 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :right now this implementation is sub-TC! < 1360880069 999162 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :is of a sub-TC language, rather < 1360880071 267491 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: no < 1360880091 476603 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :https://gist.github.com/Sgeo/fe54715fc61d1d98f4cc < 1360880120 946832 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :wouldn't Word32 mean a 2^32 by 2^32 array < 1360880143 137416 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, I guess. you can use Map or HashMap for sparse storage < 1360880169 126581 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :this is what I did in my Befunge-98 implementation and it worked well enough, though I planned to switch to something much more complex for optimisation purposes < 1360880205 280515 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: not the nicest code ever yes < 1360880249 567000 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Not the worst I hope? < 1360880336 116714 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that would be esme < 1360880389 506051 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :So, I'm somewhere between perfection and actual blithering lack of meaning < 1360880397 6757 :nooodl_!~nooodl@91.177.5.66 PRIVMSG #esoteric :hmm how horrible is my code < 1360881443 738390 :hagb4rd!~perdito@koln-4db4141b.pool.mediaWays.net JOIN :#esoteric < 1360881460 154399 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 256 seconds < 1360881771 817466 :Waffa!~majandaja@31.126.57.67 JOIN :#esoteric < 1360881846 575428 :Waffa!~majandaja@31.126.57.67 QUIT :Quit: Waffa < 1360882012 649604 :epicmonkey!~epicmonke@188.134.41.176 QUIT :Ping timeout: 252 seconds < 1360882021 916855 :Taneb!~nathan@host-78-148-6-176.as13285.net QUIT :Quit: Leaving < 1360882106 137845 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 256 seconds < 1360882162 359366 :sirdancealot!~sirdancea@98.82.broadband5.iol.cz QUIT :Remote host closed the connection < 1360882375 568113 :sirdancealot7!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1360883028 879271 :fungot!fis@eos.zem.fi QUIT :Ping timeout: 248 seconds < 1360883030 222783 :augur!~augur@129-2-129-35.wireless.umd.edu QUIT :Remote host closed the connection < 1360883102 67407 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e QUIT :Ping timeout: 245 seconds < 1360883298 416790 :myndzi!myndzi@2600:3c01::f03c:91ff:fedf:3d4e JOIN :#esoteric < 1360883527 39181 :fizzie!fis@unaffiliated/fizzie QUIT :Ping timeout: 245 seconds < 1360883926 699287 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://i.imgur.com/r396dsr.jpg < 1360884138 888798 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :reposting from the front page of /r/math? < 1360884236 590974 :fizzie!fis@unaffiliated/fizzie JOIN :#esoteric < 1360884256 888909 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: how dare he < 1360884275 49411 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :he's turning into ion! < 1360884285 469957 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :turnion < 1360885238 680128 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh noes < 1360885255 949923 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :onion / scallion < 1360885263 923487 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :onion / scallion union < 1360885265 719454 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@arrrr /math < 1360885266 19910 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Drink up, me 'earties < 1360885291 60798 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ℝ math < 1360885407 801878 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc doesn't appreciate the comonad hiding in every monad. < 1360885451 579453 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :where does it hide < 1360885475 471355 :sivoais!~zaki@unaffiliated/sivoais JOIN :#esoteric < 1360885536 2589 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :in the other category < 1360885630 689692 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: extract :: Monad m => Kleisli m (m a) a; duplicate :: Monad m => Kleisli m (m a) (m (m a)) < 1360885670 740133 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Right. < 1360885697 690184 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I like how extract is id. < 1360885713 169371 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :return :: Comonad w => Cokleisli w a (w a); join :: Comonad w => Cokleisli w (w (w a)) (w a) -- whoa, man < 1360885726 140098 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I like how duplicate = return, join = extract < 1360885737 139515 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :duplicate = return? < 1360885744 719566 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But duplicate :: m a -> m (m (m a)) < 1360885745 319680 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Well, return . return and extract . extract < 1360885750 771064 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :For Kleisli/Cokleisli respectively. < 1360885753 909906 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are those the correct implementations? < 1360885762 659730 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, are you sure how of those returns isn't fmapped or something? < 1360885769 320991 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Dunno. Ask adj.hs < 1360885771 196538 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/how // < 1360885777 969932 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Are you sure of those returns? < 1360885800 536418 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s#.$#one /# < 1360885913 54775 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Anyway Kleisli comonads are boring. < 1360885930 341886 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The Haskop comonad is kind of silly. < 1360885947 660338 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Because extract literally = return < 1360886037 690319 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :contReturn x f = f x < 1360886045 130656 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :contJoin = (. contReturn) < 1360886051 213502 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :contFmap f = (. (. f)) < 1360886325 288937 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :@pl \f -> (. (. f)) < 1360886325 840968 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :flip (.) . flip (.) < 1360886346 251100 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t (flip (.) . flip (.)) < 1360886348 621138 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Functor f => f a -> (f b1 -> b) -> (a -> b1) -> b