< 1362787203 966545 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well dependents kinda irrelevnat there < 1362787206 790963 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :nooodl: there are better ones but i'm not going to bother < 1362787207 874910 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :poo < 1362787208 909792 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :So in addition to having combinators representing functions, we'll also have to have combinators representing types. < 1362787214 279002 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :tswett, are you making a knotty language < 1362787217 748483 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :http://nl.wikipedia.org/wiki/Lisp_(Lier) lispcon 2013 location < 1362787218 996060 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: you know lisp-N+1s are shit < 1362787220 167200 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Phantom_Hoover: yes. < 1362787220 857352 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :don't even try to lie < 1362787227 708162 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :tswett, ooh how does it work < 1362787235 32247 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :lisp-0+1, um < 1362787235 490678 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :lisp-N+1s? < 1362787235 817378 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :N=0? < 1362787237 157110 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, er N includes 0 < 1362787241 538097 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :um no i'm using < 1362787246 185954 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shitty mathematicians definition of the naturals < 1362787251 517854 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :when did you become ms flannagan < 1362787257 143650 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :isnt it amazing how there are mathematicians who ACTUALLY BELIEVE THE NATURALS START WITH ONE < 1362787263 171368 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :probably they don't even KNOW who PEANO is?? < 1362787266 32438 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Important issues, here. < 1362787267 401514 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric ::( < 1362787272 125286 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Phantom_Hoover: well, there's a finite state machine operating on a pointed directed unknot diagram. < 1362787279 240888 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Can't you have Z be 1? < 1362787288 561913 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :erm, as in, starting point of Peanos < 1362787295 551921 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :yes < 1362787299 252183 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :but it's ugly and dumb < 1362787302 417168 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::-) < 1362787319 641826 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i mean for fuck's sake what sort of addition doesn't even have an additive identity < 1362787325 435425 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :tswett, go on < 1362787350 1717 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :nooodl, how's the Trustfuck impl going? < 1362787351 412787 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: i see your radical tendencies peeking out :-) < 1362787356 472415 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: how have you been feeling about the real nubmers lately < 1362787359 686266 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or should i say < 1362787360 225803 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Phantom_Hoover: the finite state machine is capable of moving the point around the diagram (but only forwards and backwards), as well as performing Reidemeister moves on the part of the diagram ahead of it. < 1362787361 910701 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the unreal numbers? < 1362787365 406531 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :i kinda gave up on it < 1362787367 427980 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :because almost all of them don't exist < 1362787368 972485 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Oh :( < 1362787374 432208 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :i didn't know how much of my code was still correct < 1362787380 853271 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :is Phantom_Hoover a finitist < 1362787385 833359 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :but i also didn't feel like rewriting a new impl from scratch juuust yet < 1362787390 223960 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :maybe i'll make a new one later though < 1362787392 169078 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :MONQY constructivism isnt finitism < 1362787393 748153 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, hey half the reasons i maintain 0 \in N are normal maths < 1362787397 787334 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Help design Trustfuck 2? < 1362787397 938633 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :dont be SILLY < 1362787410 737174 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i mean starting at 1 is just dumb < 1362787423 528739 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :so anyway nother silly haskell question, how's show-ing of things that have only a quantified type work? like 17 since i fucked saying things < 1362787424 671174 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ACTION hides Smalltalk and Lua from Phantom_Hoover  < 1362787426 734731 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: keep trying to convince urself chaitins constant existing is `normal' < 1362787432 715360 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :does monqy believe 0 isn't \in N < 1362787434 118985 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :there are perfectly fine ways to "construct" the "reals" < 1362787444 925104 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :> show 17 < 1362787445 114147 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :nooodl: 0 \in N for reasonable values of N < 1362787445 680564 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :that's my latex ineuqality sign < 1362787446 665348 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : "17" < 1362787452 719738 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: the computable reals are countable tho < 1362787452 869892 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Bike: I think Haskell picks a default instance. < 1362787453 20409 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :nooodl: if you're talking to shit mathematicians though you have to be careful < 1362787457 513710 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Which I think is Integer in this case. < 1362787458 462725 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and all you can `construct' in eg coq < 1362787460 69929 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :w/o axioms < 1362787465 436169 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :tswett: Really? Boring. < 1362787466 933687 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :thanks < 1362787476 832014 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(countable `externally') < 1362787479 301857 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(not ,,internally'') < 1362787480 429432 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric ::t 17+18 < 1362787481 702109 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Num a => a < 1362787483 850313 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :hm < 1362787485 309440 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :istr my foundations course was absolutely terrible with 0 < 1362787489 33548 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(but eg you have the thing where you can't write non-continuous functions w/o LEM) < 1362787492 273659 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :sometimes it was in N, sometimes it wasn't < 1362787499 782685 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :hm. what's an example of a noncomputable real < 1362787502 295874 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(b/c you cant case analysis on the reals) < 1362787505 567282 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl: chaitins constant < 1362787505 717630 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :nooodl: chaitin's < 1362787505 949019 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : probably they don't even KNOW who PEANO is?? <-- the joke is that Peano started with 1, right? < 1362787525 746853 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Phantom_Hoover: that's pretty usual, sometimes they use Ñ and stuff and it's hilariously dumb < 1362787540 446597 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :nooodl, (chaitin is a shitty example) < 1362787551 201817 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :what's wrong with chaitin :( < 1362787553 450162 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: i never joke < 1362787555 198163 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :i mean besides that he's crazy but < 1362787560 907767 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: um chaitins is th ebest example < 1362787562 524000 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Here's an example: A real which cannot be described even with an infinite amount of symbols. < 1362787563 880473 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it sthe maximally hurty < 1362787565 614602 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Set a = 0 and b = 1, and then let R be a sequence containing all computable real numbers. < 1362787570 833625 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo_: ??? < 1362787571 884666 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :chaitin's looks like a good example. i expected something halting problem-y < 1362787577 712920 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :theres a bijection between reals and potentially infinite streams of bits < 1362787591 356752 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :specker sequences are much better < 1362787594 318589 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ACTION is a derp < 1362787600 993211 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Pop values x from R until a < x < b, then set a := x. Pop values y from R until a < y < b, then set b := y. Repeat forever. < 1362787620 785928 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Correct example: A real which cannot be described with any finite amount of symbols < 1362787621 501869 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Both a and b will approach the same uncomputable number. < 1362787632 602109 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Sgeo_: That's undefinable, not uncomputable. < 1362787649 774626 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :If it's undefinable, it's uncomputable < 1362787657 163535 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Yes, but not the converse. < 1362787670 110827 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :"Undefinable" has the unfortunate property of being undefinable. < 1362787670 458114 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Sgeo_, that is several times shittier than chaitin < 1362787684 84963 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :nooodl, also there are functions which grow faster than any computable function < 1362787685 757967 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :i thought making a sequence of all real numbers was impossible! computable or not < 1362787703 835315 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :if by "a sequence" you mean "a bijection with the naturals" then yes < 1362787709 767246 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :the computable reals are a subset of turing machines, or whatever other tc system you want < 1362787723 481248 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :nooodl: there is indeed no sequence that contains all real numbers. However, there is a sequence that contains all computable real numbers. < 1362787731 656071 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :so you can count them, plus a bunch of TMs which aren't computable reals < 1362787748 447311 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :but you can't actually tell if a given element is a CR without the halting problem < 1362787779 827046 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: haskell has a default declaration which is used to pick default instances for things, the default default is default (Integer, Double) hth. also ghc has an extension to make it apply in more cases, and also prepends () to the default types. < 1362787798 299551 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :wait that actually does help? what the fuck what is this < 1362787807 81193 :sebbu!~sebbu@ADijon-152-1-47-35.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1362787810 679379 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :(a, b, c) really ought to be syntactic sugar for (a, (b, c)). < 1362787824 283127 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl: you can well-order the rael numbers :-) < 1362787825 96886 :sebbu!~sebbu@ADijon-152-1-47-35.w83-194.abo.wanadoo.fr QUIT :Changing host < 1362787825 259055 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1362787842 214532 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :tswett, tell that to elliott, who disagrees < 1362787870 163537 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes make me into the absolute hub for not thinking that specific kind of hlist desugaring is a bad idea < 1362787873 180404 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ill never live it down < 1362787876 157890 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :"the computable reals are a subset of turing machines" hmmm < 1362787903 351570 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :nooodl: how about this: "the set of all Turing machines that output real numbers is a subset of the set of all Turing machines." < 1362787917 974168 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :nooodl, a cr is basically a TM implementing a function N -> Q that converges < 1362787934 917481 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :And given a Turing machine that outputs a real number, there is an obvious real number corresponding to it. < 1362788003 663141 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :All right. So my language, as I'm currently imagining it, currently only has "if" statements for flow control. < 1362788008 189265 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :yikes now i'm thinking about things < 1362788012 994590 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :00:08:05 i thought making a sequence of all real numbers was impossible! computable or not < 1362788020 299065 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :note that the computable reals are a subset of the reals like the naturals are a subset of the reals < 1362788025 618787 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and i'm sure you believe you can make a sequence of rationals < 1362788030 843845 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(the set of computable reals is countable) < 1362788039 74061 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :I can make a sequence of all real numbers that are either two or pi < 1362788063 276252 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :2, pi, pi, 2, pi, 2, 2, pi, pi, 2, 2, pi, 2, pi, pi, 2, pi, 2, 2, pi, 2, pi, pi, 2, 2, pi, pi, 2, pi, 2, 2, pi, ... < 1362788118 975705 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Let's condense that sequence. It alternates between 2 and pi, using each one the following number of times: 1, 2, 1, 1, 2, 2, 2, 1, 1, 2, 1, 1, 2, 1, 1, 2, 2, 2, 1, 1, 2, 1, ... < 1362788122 377723 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :No actually it's just 2 and pi, repeating is silly < 1362788142 447729 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Which, in turn, alternates between 1 and 2, using each one the following number of times: 1, 1, 2, 3, 2, 1, 2, 1, 2, 3, 2, 1, ... < 1362788146 718171 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : nooodl: you can well-order the rael numbers :-) <-- unidentified well-founded ordering < 1362788170 309441 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: yes. but only with extensional choice < 1362788170 948710 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Which, if you ignore the beginning 1 and drop all the 2s (since every other number, apart from the beginning 1, is a 2), you get this: 1, 3, 1, 1, 3, 1, ... < 1362788174 267838 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :"[...] implementing a function N -> Q that converges" i still don't see how that represents a computable real :( < 1362788180 905042 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :wait < 1362788181 958249 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(i.e., the choice that is a theorem (not axiom) of type theory does not give it) < 1362788187 838851 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :o.O at parsers parsing things other than strings < 1362788198 32410 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :nooodl, it's a sequence that approaches that real < 1362788199 55604 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(and extensional choice implies LEM, iirc) < 1362788199 205738 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :the real value is just f(0) + f(1) + f(2) + ...? < 1362788202 242877 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :oh < 1362788222 583499 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :gotcha < 1362788236 817062 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :the upshot is, almost all the reals are impossible to define in any meaningful way < 1362788237 325570 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :And that, in turn, alternates between 1 and 3, using each one the following number of times: 1, 1, 2, 1, ... < 1362788257 137865 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :and indeed this is true even if you're being nonconstructive < 1362788281 976582 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : oerjan: yes. but only with extensional choice <-- you missed the pun on your misspelling hth < 1362788293 982578 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :All right. So my language, as I'm currently imagining it, currently only has "if" statements for flow control. This makes the language definitely not Turing-complete; you can, in O(n) time, look at a program and place an upper bound on the length of time for which it will run. < 1362788310 641162 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :is this still the knot one < 1362788314 71909 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Assuming you can perform arithmetic in O(1) time. < 1362788315 677991 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Phantom_Hoover: yup. < 1362788339 754281 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric ::t (<+>) < 1362788341 102354 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Ambiguous occurrence `<+>' < 1362788341 290235 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : It could refer to either `Control.Arrow.<+>', < 1362788341 290422 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : imported from `Control.Arrow' at State/L.hs:5:1-20 < 1362788344 358332 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: oh that was rly stupid < 1362788346 29923 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you suck imo < 1362788378 198820 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :So I need some way to go back and loop. < 1362788408 716551 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: btw why didn't you use the kolakoski sequence above hth < 1362788410 26982 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :augh < 1362788429 984348 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :tswett, why did you have to say all the stuff about it while like 2 other discussions were going on < 1362788432 44596 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :cocacola sequence < 1362788451 523307 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Phantom_Hoover: nobody told me not to. < 1362788495 922576 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: thx < 1362788527 897562 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^ul (12)S(*a(~:)~*^~):((1)S)~*~((2)S:*)~*:(~:()~)~*^(a(:^)*~a(*()~)~*^~^):^ < 1362788529 171072 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :122112122122112112212112122112112122122112122121121122122112122122112112122121122122112122122112112212112122122112112122112112212112112212211212212112212212112112212211212212112112212112122112112122121122122112122122112112122112112212212112122112112212112112212212112122112112122122112122121121122122121122122112122122112112 ...too much output! < 1362788562 572256 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :tswett, so wait, what controls the states for the fsm < 1362788573 360193 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :the structure of the knot ahead? < 1362788725 968178 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :> let kola = [1] ++ concat $ zipWith replicate kola $ cycle [2,1] in take 20 kola < 1362788727 212293 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Phantom_Hoover: yes. < 1362788727 667338 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Couldn't match expected type `[t0]' < 1362788727 817762 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : with actual type `[[a0]] -... < 1362788736 569702 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :> let kola = [1] ++ (concat $ zipWith replicate kola $ cycle [2,1]) in take 20 kola < 1362788738 394623 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : [1,2,1,1,2,1,2,2,1,2,2,1,1,2,1,1,2,2,1,2] < 1362788754 488143 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nooodl: you don't need to use take in lambdabot < 1362788763 26538 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :boo. it gets the start wrong somehow < 1362788763 376014 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it cuts off by itself < 1362788771 378039 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :nooodl: you're not removing the initial 1. < 1362788782 466877 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :i "realized" while out that it might be more interesting that constructivists would deny the existence of say the set of subsets of the naturals rather than reals but this is probably because i don't yet truly know how fucked up computable analysis is < 1362788790 808885 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :> let kola = [1,2] ++ (concat $ zipWith replicate (drop 2 kola) $ cycle [2,1]) in take 20 kola < 1362788794 850744 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1362788795 454014 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Mmmm. < 1362788802 288890 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Maybe that's not the problem. < 1362788808 253330 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: have you noticed that powersets are scary < 1362788820 779950 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :well they only drove cantor insane < 1362788837 466069 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :power sets are terrifying < 1362788848 805719 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :ACTION was thinking about the set of all subsets of a set not containing an element of the set earlier, and it got tied up with this < 1362788860 762805 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :i read a paper once on "power types" < 1362788861 931509 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :> let kola@(_:ks) = [1] ++ (concat $ zipWith replicate kola $ cycle [2,1]) in 1:2:ks < 1362788863 928422 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : [1,2,2,1,1,2,1,2,2,1,2,2,1,1,2,1,1,2,2,1,2,1,1,2,1,2,2,1,1,2,1,1,2,1,2,2,1,... < 1362788866 451886 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :now that was some good shit < 1362788869 569354 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :how unsatisfying < 1362788950 491646 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :* Bike was thinking about the set of all subsets of a set not containing an element of the set earlier, and it got tied up with this < 1362788959 672649 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :hi < 1362788960 895193 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :isn't that just... P(S\x) < 1362788965 469000 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :yes < 1362788980 488979 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Oh. Not containing a *given* element of the set. < 1362788983 68548 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :oh huh kolakoski is A000002 < 1362788987 971380 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :As opposed to not containing *any* element of the set. < 1362788998 474819 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :wouldn't that just be empty < 1362789007 841539 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :It's like A000001, except posterior. < 1362789011 854593 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Bike: it would be {{}}, yeah. < 1362789017 533954 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> fix(([1,2]++).drop 2.concat.zipWith(flip replicate)(cycle[1,2])) < 1362789019 736984 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : [1,2,2,1,1,2,1,2,2,1,2,2,1,1,2,1,1,2,2,1,2,1,1,2,1,2,2,1,1,2,1,1,2,1,2,2,1,... < 1362789075 616756 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Trivia: "sword" is not a subword of "subword". < 1362789086 276041 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Do people use Parsec when making stuff for QQ stuff in Haskell? < 1362789107 9673 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Q: why are you doing QQ stuff < 1362789122 176038 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :just making sure you're not hopped up on macros again < 1362789127 613884 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Q: ¿q s qq? < 1362789136 886701 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :tswett: good q < 1362789148 759201 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Yesod uses it, right? < 1362789159 289789 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :ugh. Q: how do math people write that a function returns, for example, a set of reals < 1362789169 98010 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :powerset < 1362789191 489562 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i think ive also seen subset < 1362789191 843559 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :thanks < 1362789192 536333 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :but < 1362789195 403168 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :thats weird < 1362789209 955041 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :powerset is what i see most of the time < 1362789245 666482 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :wow crazy people use ℙ for powerset according to wikipedia < 1362789273 478679 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :solely to piss off kmc no doubt < 1362789280 16631 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :ℙ(ℝ) < 1362789287 368290 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :lol. < 1362789308 146080 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :dont use blackbord bold for powerset.... < 1362789308 371976 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :ℙ(ℙ) "power set of prime set" < 1362789312 543221 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :then there's the weirstrass P function < 1362789331 31325 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :then there's the weirstrass function < 1362789340 81605 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :math's notation is such a fucking trainwreck at times < 1362789341 396320 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i think mathcal is the proper font to use? i'm fairly certain i've seen mathsf and mathscr though < 1362789380 919383 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :fortunately there's not much confusion with the latter because the weirstrass function is never actually used as a function < 1362789405 758206 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :nooodl: at times/most of the time really < 1362789409 684712 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :"at times" < 1362789428 319089 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :well sometimes it's really good & clever < 1362789433 474685 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :What does the "sf" in mathsf stand for? < 1362789439 923540 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :sans serif < 1362789447 667529 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :nooodl, it helps if you remember that it's still mostly written by hand < 1362789450 434884 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :nooodl: like.... < 1362789459 445198 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :numbers < 1362789469 501933 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"This combinator is provided for compatibility with Parsec. Attoparsec parsers always backtrack on failure." < 1362789471 297923 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ACTION likes that < 1362789481 231522 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :have you ever looked at a 9 < 1362789485 350511 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :and there are a load of ways to write any given symbols < 1362789485 871736 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :like really looked at a 9 < 1362789500 643699 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :its a gargoyle < 1362789502 69333 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :9 is pretty heck but i love 7 so it makes up for it < 1362789502 219527 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Like, an actual 9, or a numeral 9? < 1362789505 858074 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :4 is p.good too < 1362789514 678040 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :7's a good numeral < 1362789515 672735 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :2 is my favourite < 1362789521 287857 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :2 is p.good too < 1362789523 225257 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :surely someone out there has had the zany idea to reinvent the notation for Everything < 1362789524 326228 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :except you have to dash the 7 < 1362789527 126254 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :for ambiguity reasons < 1362789529 934229 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and then it looks not so good < 1362789532 338765 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i always dash my 7s < 1362789532 489376 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :because those times when you nail it and it has an elegant curl in the tail are the best things ever < 1362789535 716893 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i love dashes on 7s < 1362789537 615001 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i hate 1 because you need to make it all fancy to avoid ambiguity < 1362789540 241509 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :nooodl: you have no idea < 1362789541 406396 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i also give my 7s cute little hooks < 1362789545 106257 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and its also the caues of the 7 Ambiguity Problem < 1362789552 574477 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :2 is pgood imo < 1362789556 926249 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :sometimes my 7s look like my ts, or maybe it's more that my ts look like my 7s < 1362789557 906704 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :5 is quite nice too < 1362789560 801716 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :also i wrote out a 4 the other day and one of my coworkers stopped me for two minutes to ask me about how i wrote it < 1362789565 856073 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :"i've never seen someone write a 4 like that" < 1362789566 78886 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: whats your handwriting look like < 1362789566 375728 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :jesus. i write my 2s like a normal person and it makes them look a lot like Zs or zs < 1362789578 588298 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elliott: hm < 1362789581 733255 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i like how the variable x looks but im so bad at writing it < 1362789584 62567 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so i lovehate it?? < 1362789593 140471 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :x is christian propaganda < 1362789597 267170 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i came up with the perfect way of writing x < 1362789601 616386 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i was so proud < 1362789605 400520 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :my x is literally an x < 1362789608 40268 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :two lines < 1362789615 781894 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :gross nooodl < 1362789616 968203 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :real gross < 1362789617 117971 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it's like )/( < 1362789618 805926 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :maximal gross < 1362789624 416452 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you're disgusting, rectify yourself < 1362789641 359037 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :but once you get the hang of it the / runs together and it looks great < 1362789679 706925 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :this is the only picture of my math handwriting i've got https://dl.dropbox.com/u/15495351/snow/IMAG0043.jpg < 1362789698 814771 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :which is probably 1 more picture than the average person < 1362789726 546286 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott already knows what my "math handwriting" looks like < 1362789742 133852 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elliott: i have a few copeies of me trying to handwrite on my tablet from a while ago...there's an aspect ratio problem which messes up my hand-eye coordination so it's kind of eugh < 1362789757 764690 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :dumb question again, how do i write "numLongChains long max = length $ longChains long max" in that fancyass pointless style < 1362789762 443799 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :i have this thing too which is normal writing and it's very real < 1362789765 994950 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :https://dl.dropbox.com/u/15495351/snow/IMAG0046.jpg < 1362789767 4508 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :my handwriting is an abomination < 1362789775 354679 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :but it looks quite nice locally < 1362789787 952998 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Bike, you can ask lambdabot < 1362789788 524873 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1362789797 550747 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :@pl numLongChains long max = length $ longChains long max < 1362789797 701093 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :nvm figured it out < 1362789797 946059 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :numLongChains = (length .) . longChains < 1362789799 521891 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :Bike: numLongChains = length .: longChains < 1362789804 178862 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :love you dots < 1362789805 746973 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :note how nooodl double-spaces his work and sets it all out neatly < 1362789814 470673 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :this is wasteful and capitalist < 1362789817 395136 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i use latex for math < 1362789825 884441 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :writing is for losers < 1362789839 848723 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :monqy: i can't do that at school!!! < 1362789857 346994 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :wait is this linguistics < 1362789861 110530 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elliott: gosh i have 6 pictures of me trying to handwrite and they're all sorta different < 1362789875 519735 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elliott: i forget what i did differently each time except for handwriting6.png < 1362789877 157572 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i want to see monqys trying to handwrite < 1362789883 859235 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i want to use latex but why does it have to have all that madness with \doctype and headings and everything < 1362789892 422232 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :btw i have worse handwriting than any of you < 1362789899 820530 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :latex is literally the worst thing < 1362789904 676689 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :that i've ever used < 1362789912 833616 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl: dont use (.:) < 1362789913 161995 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :https://dl.dropbox.com/u/13786158/handwriting.png < 1362789914 334143 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :https://dl.dropbox.com/u/13786158/handwriting2.png < 1362789915 522137 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :https://dl.dropbox.com/u/13786158/handwriting23.png < 1362789916 425218 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :dont tell people to use (.:) < 1362789916 576130 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :er < 1362789919 128605 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :https://dl.dropbox.com/u/13786158/handwriting3.png < 1362789920 529922 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :cry instead........... < 1362789921 631842 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :https://dl.dropbox.com/u/13786158/handwriting4.png < 1362789924 136683 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :https://dl.dropbox.com/u/13786158/handwriting5.png < 1362789926 659264 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :https://dl.dropbox.com/u/13786158/handwriting6.png < 1362789929 142572 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :there thats all of them < 1362789930 345259 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :are you going to tell me to use (.).(.) < 1362789931 643054 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :enjoy < 1362789933 143474 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :if so i'm going to cry < 1362789934 569300 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :(handwriting23 does not exist) < 1362789940 442082 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :im going to tell you to add a fuckn point < 1362789943 340663 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :dont use (.).(.)............................... < 1362789952 857174 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :what the heck is .: < 1362789953 187051 :md_5!md_5@mcdevs/trusted/md-5 QUIT :Ping timeout: 248 seconds < 1362789958 474640 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: it doesnt exist < 1362789960 158609 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :sry < 1362789962 147583 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :holy shit. monqy's handwriting < 1362789962 354613 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: shit your handwriting is nice < 1362789962 504758 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :k < 1362789963 670675 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :can i rent it out < 1362789963 820671 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :is so good < 1362789967 464352 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :@src (.:) < 1362789967 633835 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Source not found. Do you think like you type? < 1362789976 790023 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :monqy < 1362789980 990619 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Bike, it exists, but may be considered to be an excessive use of pointfree style < 1362789981 804253 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :monqy < 1362789982 136555 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :you dot your j < 1362789984 31733 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :with a circle < 1362789986 232636 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :go fuck yourself < 1362789987 785268 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well i dont like the unfilled dots < 1362789989 711196 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but apart from that < 1362789996 879111 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo dijkstra has the best handwriting < 1362790000 486548 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :imo monqy should dot his js with a heart < 1362790001 105591 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so you might as well give up now < 1362790002 397058 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :when im writing with a real pen i think i use normal dots < 1362790008 175273 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :here's a little "latex gem" < 1362790008 988791 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Although "exists" as in, "well-known", not "standard" < 1362790009 314394 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :\chemname{\chemfig{C([2]-\lewis{024,Cl})([6]-\lewis{046,Cl})([:-150]-\lewis{357,Cl})([:-30]-\lewis{157,Cl})}}{Koolstoftetrachloride} < 1362790010 107687 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :but with tablets i cant resist < 1362790014 42724 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :@hoogle (.:) < 1362790014 207548 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :No results found < 1362790034 596487 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :U+24A38 COMBINING HEART ABOVE < 1362790047 602615 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Oh hey Aeson uses .: for something else < 1362790056 256731 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :nooodl, well be fair < 1362790060 483647 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :my hand writing is worse than nooodls by far tho < 1362790075 484488 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :that's for a diagram, however you represent that textually it's going to be awkward < 1362790089 996045 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, do you even need to write??? < 1362790100 433890 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :i can write really neatly if i try < 1362790101 965604 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :like my handwriting is honestly a 6 year olds < 1362790104 841797 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :but i don't ever < 1362790110 34818 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :its an awful scrawl < 1362790111 262552 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: my handwriting is a 3 years olds?? < 1362790128 931398 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :Cl < 1362790129 978187 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: do you even have any proof all i see is you syaing your handwriting is so much worse than everyone else's!! < 1362790133 834770 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric : >C-Cl < 1362790134 723745 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :Cl < 1362790138 260445 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: do you have proof!! < 1362790141 498488 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :what now Phantom_Hoover!!!!! < 1362790165 471065 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :I can write in cursive, but only words that only contain the letters a, e, h, i, n, o, s, and t. < 1362790180 823012 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :There are a bunch of such words. < 1362790185 374789 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :nooodl, good luck writing a transparent parser for that < 1362790195 567272 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :transparser < 1362790208 500923 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :I have a little sheet of paper on which I've written "anaesthesia antiatheist assassination ensheathe hastiness heathenishness hesitation honestness ..." < 1362790215 749993 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Sgeo_: you know, I think any function can be thought of as a parser. < 1362790218 465916 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :"you don't need to parse pure beauty any further" < 1362790218 997308 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :im going to try handwriting again < 1362790229 278554 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :the entire point of latex is that you give it a general representation and leave the typesetting details to it < 1362790245 212638 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i think dijkstras handwriting is still a bit better than monqys < 1362790245 626104 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :PArrows is unmaintained :( < 1362790248 616104 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :mostly since its smaller < 1362790257 482190 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :my handwriting is smaller than that irl < 1362790260 467808 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: fsvo all of that < 1362790263 891082 :md_5!~md_5@mcdevs/trusted/md-5 JOIN :#esoteric < 1362790264 41109 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :but my tablet setup is miserable < 1362790269 609651 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :and i dont have a scanner or anything < 1362790270 536898 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Help what is handwriting < 1362790279 357228 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: by smaller i mean... less fussy mainly??? as in less ... "area" < 1362790282 109616 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :i stole my f's from dijkstra < 1362790282 259641 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :> " < 1362790282 409855 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :" < 1362790284 213913 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : :1:2: < 1362790284 390203 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : lexical error in string/character literal at end of input < 1362790285 775369 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i dont know how to express the meaning < 1362790287 708040 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ah < 1362790288 367077 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Hmm. < 1362790290 943513 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :but they don't look like dijkstra f's anymore... < 1362790293 130545 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yeah my handwriting is pretty fussy < 1362790306 580291 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :> "\ < 1362790307 66383 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric : \" < 1362790308 55022 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :is there a good nooodl f in that image < 1362790308 364187 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : :1:3: < 1362790308 514339 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : unexpected end-of-file in string/character literal at end ... < 1362790324 930719 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :> "\ \" < 1362790326 722290 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : "" < 1362790342 839411 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :yeah https://dl.dropbox.com/u/15495351/snow/IMAG0046.jpg there's "koffie" near the bottom right corner < 1362790351 69554 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :> ":\ \-\&)" < 1362790352 524813 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : ":-)" < 1362790361 887006 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: if you come to america ill show you my handwriting < 1362790363 511057 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl: all these words are spelled wrong < 1362790369 476108 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :> "ele\ \phant" < 1362790371 277670 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and they don't mean anything? < 1362790371 427715 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : "elephant" < 1362790379 383052 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you must get awful grades in english < 1362790387 558588 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :whats your favorite word on this page elliott < 1362790399 916007 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :is that one "misbrain" < 1362790406 558591 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :i like "ziet" < 1362790408 869544 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or maybe the one that looks like "groudshroffen" < 1362790410 9108 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :it's "misbruik" :( < 1362790420 446114 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :"holouie"? < 1362790424 69998 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ziet is good too yes < 1362790425 782646 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what does ziet mean < 1362790426 374492 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :"grondstoffen", "kolonie" < 1362790431 944496 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :"ziet" means "sees" < 1362790440 120255 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :"Suiher"? < 1362790446 671355 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ziet seems like the kind of word that always wants to have a ! after it < 1362790447 974457 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Ziet! < 1362790450 620892 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :that's "suiker" (sugar) < 1362790466 299934 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :"aanshelling"? < 1362790471 833726 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :elliott: that's actually some kind of old-fashioned imperative < 1362790492 577437 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :"aanstelling" i don't even know how to translate that < 1362790496 508932 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :is it like < 1362790498 174496 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :"Observe!!!" < 1362790514 605765 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :That's not a "t", though, that's an "h". < 1362790516 308459 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :Observereth Thee < 1362790517 379687 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Aanshelling. < 1362790539 384210 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :that's just because i'm bad at writing letters :( < 1362790582 574370 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :i can see what happened, though. wanted to write a 't', and then i had to lower my pen a bit to start writing the 'e', but i didn't lift it from the paper, whoops < 1362790626 124286 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ziettttttttttttttttttttttttttt!!!! < 1362790659 129626 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> fix(concat.(zipWith.flip.sequence$sequence[const pure,(tail.).replicate])(cycle[1,2])) < 1362790660 770564 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Couldn't match expected type `a0 -> c0' with actual type `[a1]' < 1362790670 777004 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :i wrote "longChains long max = filter ((> long) . length) (map chain [1..max])". is my "style" an insult to all that is holy or < 1362790670 971611 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no way that would work on first try < 1362790671 319304 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: i just thought of a really awful pun < 1362790671 913347 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :aanstelling is "appointment, commission, nomination" < 1362790673 47466 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :do you want to hear it < 1362790677 422619 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: can i hear it < 1362790680 26475 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :no < 1362790684 505374 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh < 1362790691 90237 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :can i; did i inspire it < 1362790693 418976 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i like awful puns..... < 1362790695 826537 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t sequence$sequence[const pure,(tail.).replicate] < 1362790697 459464 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Couldn't match expected type `[a0]' with actual type `b0 -> a1' < 1362790697 609714 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : In the return type of a call of `const' < 1362790697 609920 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Probable cause: `const' is applied to too few arguments < 1362790712 380194 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t sequence$sequence[const pure] < 1362790713 711453 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Couldn't match expected type `[a0]' with actual type `b0 -> a1' < 1362790713 862227 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : In the return type of a call of `const' < 1362790713 862439 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Probable cause: `const' is applied to too few arguments < 1362790716 165810 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :ooh http://nl.wiktionary.org/wiki/ziet this page actually has "Ziet!" on it < 1362790719 291763 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :that's great < 1362790719 456546 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hmph < 1362790745 844270 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t sequence$sequence[] < 1362790747 132516 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :[[a]] < 1362790761 54777 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl: you probably want en.wiktionary < 1362790766 575562 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :foo.wiktionary.org means entries are in language foo < 1362790769 761642 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :they all cover all languages < 1362790777 429971 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :whats the pun < 1362790778 604348 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :tho en.wiktionary's ziet doesn't have ziet! < 1362790780 39633 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so never mind??? < 1362790783 908464 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: ok here it is < 1362790786 896243 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :q: what did the great film written by a mathematician have? < 1362790789 894884 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :a: a super script < 1362790792 783273 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :en.wiktionary.org covers less dutch stuff :( < 1362790793 575233 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::| < 1362790793 725275 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :: D < 1362790801 233431 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :@hoogle (Functor f) => (a -> b -> a) -> a -> f b -> a < 1362790802 618153 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Data.Foldable foldl :: Foldable t => (a -> b -> a) -> a -> t b -> a < 1362790802 880212 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Data.Foldable foldl' :: Foldable t => (a -> b -> a) -> a -> t b -> a < 1362790803 29933 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Data.IntMap foldl :: (a -> b -> a) -> a -> IntMap b -> a < 1362790807 866917 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you know you love it < 1362790810 872909 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :oh < 1362790812 835715 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :i'm smiling pretty hard at elliott's pun < 1362790861 209755 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: how would "that work" exactly < 1362790897 841605 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :how would ""what work"" < 1362790899 628632 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :guess it wouldn't < 1362790910 317164 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :folds over functors < 1362790921 390346 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :oh < 1362790926 553352 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: but Functor f? < 1362790934 978153 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :what? < 1362790941 624198 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well did you mean Foldable < 1362790949 444239 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Functor only provides (a -> b) -> f a -> f b < 1362790953 312670 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so i'm not sure what your operation is meant to do < 1362790954 454004 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :yes i see < 1362790965 436599 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :it is meant to go "huh [] is a functor isn't it!!" because < 1362791031 25862 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :https://dl.dropbox.com/u/13786158/handwriting-hell.png i tried a few takes < 1362791039 225532 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :just now < 1362791041 887226 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :100% modern < 1362791049 591229 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :good lord < 1362791049 776432 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :monqy's handwriting is graffiti < 1362791053 141079 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :it's so amazing < 1362791086 316326 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :if i'm trying to make it particularly legible it gets boring < 1362791102 826859 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :that's the handwriting dilemma! < 1362791155 468587 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :hm, i have to specify Prelude.foldl or Data.Foldable.foldl even if i'm just folding a list so it's the same < 1362791197 275297 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> fix(concat.zipWith(\x n -> x:replicate(n-1)x)(cycle[1,2])) < 1362791200 905232 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1362791204 508781 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> fix(concat.zipWith(\x n -> x:replicate(n-1)x)(cycle[1,2])) < 1362791208 144104 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1362791212 520702 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> "hi" < 1362791213 975112 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : "hi" < 1362791229 593253 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :possibly something is wrong here < 1362791234 265172 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :where's fix again, i want fix < 1362791236 146530 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh right < 1362791243 83107 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :@hoogle fix < 1362791243 636568 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Control.Monad.Fix module Control.Monad.Fix < 1362791243 797901 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Data.Fixed module Data.Fixed < 1362791243 948363 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Data.Function fix :: (a -> a) -> a < 1362791248 353183 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :rad < 1362791370 753034 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric : hm, i have to specify Prelude.foldl or Data.Foldable.foldl even if i'm just folding a list so it's the same < 1362791379 380797 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you're meant to import Foldable qualified, or hide the functions from Prelude < 1362791398 603456 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :i'm sure, i was just wondering if it would subsume the prelude definition < 1362791411 724236 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: your handwriting got smudgier < 1362791414 7864 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :did you leave it out in the rain < 1362791434 218796 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :ACTION ponders Tweeling. < 1362791441 32238 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elliott: gimp update =/ < 1362791450 489940 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :That type II Reidemeister move thing is going to be difficult to realize. < 1362791453 317097 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :it got a new pen tool interface < 1362791473 242160 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :or do you mean the shapes of the letters < 1362791476 926470 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :it might have gotten smudgier < 1362791493 68784 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i mean the shading < 1362791499 125421 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh yeah that's gimp < 1362791513 863109 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1362792272 772238 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :`log *forcefield* < 1362792275 360082 :HackEgo!codu@codu.org PRIVMSG #esoteric :grep: nothing to repeat < 1362792292 806412 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :`log .*forcefield.*{{ < 1362792317 332563 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you don't need the first .* < 1362792324 539069 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1362792328 89586 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :hm < 1362792333 211865 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :k nevermind < 1362792349 181471 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`log forcefield < 1362792357 328783 :HackEgo!codu@codu.org PRIVMSG #esoteric :2009-10-11.txt:06:42:55: * ehird erects anti-swatting forcefield around himself < 1362792375 795437 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :`pastelog forcefield < 1362792392 228462 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.5952 < 1362792396 330988 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION gives elliott a very delayed swat -----### < 1362792409 960801 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :hehe < 1362792462 40741 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :is elliott a fly < 1362792467 95645 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait, maybe it is not right to punish elliott for that terrible 2009 person < 1362792467 976320 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :actually i'm looking for the cats with the heart shaped eyes^^ < 1362792481 785001 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nooodl: not to my knowledge. < 1362792482 272167 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :(char) < 1362792558 418992 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :punishing cannot be elliott < 1362792568 905125 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :punishing elliott cannot be wrong < 1362792570 499060 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :this way < 1362792572 927722 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :"impomatic, why would the switch to the forcefield be inside the asylum?" good lo < 1362792586 248259 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :" ⌇⌇forcefields⌇⌇" definitely a good log < 1362792601 448797 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :that must my cats :( < 1362792608 834402 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :_someone_ hasn't set up their charset properly. < 1362792609 801098 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :they didn't make it < 1362792611 767905 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :what's a cat < 1362792662 507858 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :http://esolangs.org/wiki/CAT < 1362792671 42646 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it's just an object in the something of small somethings < 1362792740 173559 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :`? monoid < 1362792742 275190 :HackEgo!codu@codu.org PRIVMSG #esoteric :Monoids are just categories with a single object. < 1362792757 531251 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :`? category < 1362792759 683579 :HackEgo!codu@codu.org PRIVMSG #esoteric :Categories are just a special case of bicategories. < 1362792771 163222 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :`? object < 1362792773 627000 :HackEgo!codu@codu.org PRIVMSG #esoteric :An object is just something in a category. < 1362792858 493419 :madbr!boulam@198-84-253-87.cpe.teksavvy.com JOIN :#esoteric < 1362793046 458583 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :^ord ⌇⌇forcefields⌇⌇ < 1362793046 956399 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :195 162 197 146 226 128 161 195 162 197 146 226 128 161 102 111 114 99 101 102 105 101 108 100 115 195 162 197 146 226 128 161 195 162 197 146 226 128 161 < 1362793198 92577 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :how can do boolean bitwise comparison on two integers in haskell ..bytes for example < 1362793241 95454 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :^ord A < 1362793241 245113 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :65 < 1362793271 197106 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :^ord (B && A) < 1362793271 386447 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :40 66 32 38 38 32 65 41 < 1362793281 7886 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :^ord (B & A) < 1362793281 158127 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :40 66 32 38 32 65 41 < 1362793292 933712 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :^ord (B|A) < 1362793293 84093 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :40 66 124 65 41 < 1362793309 976344 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :^ord ("B"|"A") < 1362793310 126395 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :40 34 66 34 124 34 65 34 41 < 1362793323 639878 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :^ord (65|64) < 1362793323 790076 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :40 54 53 124 54 52 41 < 1362793346 503446 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :> 65||64 < 1362793348 83007 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : No instance for (GHC.Num.Num GHC.Types.Bool) < 1362793348 233247 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : arising from the literal `6... < 1362793363 415569 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :> 65 .|. 64 < 1362793364 188499 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :@let a = ( 65||64 ) < 1362793365 156645 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 65 < 1362793365 645762 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : :2:7: < 1362793365 795897 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : No instance for (Num Bool) < 1362793365 796011 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : arising from the literal... < 1362793376 732206 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :> 65 .&. 64 < 1362793378 648225 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 64 < 1362793383 704013 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :k < 1362793461 989004 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :^help < 1362793462 178644 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :^ ; ^def ; ^show [command]; lang=bf/ul, code=text/str:N; ^str 0-9 get/set/add [text]; ^style [style]; ^bool < 1362793481 574133 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :^bool 8 < 1362793489 149848 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :^help bool < 1362793489 300084 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :^ ; ^def ; ^show [command]; lang=bf/ul, code=text/str:N; ^str 0-9 get/set/add [text]; ^style [style]; ^bool < 1362793495 226061 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :^str 0 get < 1362793495 376193 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :+++++++++++++++[>++++++++>++++>+++++++>+++++++<<<<-]>>++++++.>++++++.<<----.>----------------------------------.<----.>>+++.<<-----------.+.>>>.<++++++.<<-.>>-----.<++++++++++++++++++++++++++.--------------------------.<+.>>++.>+++++.<<<+.>>>+.<-.<.>----------------------.<++++++++++++.------------.>----------------------.<<------.>+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++.>>----.<---.<++++.++++++++.>- < 1362793511 581054 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :v. elegant < 1362793557 149096 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :^str 1 get < 1362793557 299292 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :>,[>,]<[<]>[<++++[>--------<-]+>-[-------[--[<+++[>----<-]+>[< < 1362793564 323975 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :wow < 1362793598 106403 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :^bf str:0 < 1362793742 376140 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^show prefixes < 1362793742 526778 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :+15[>+8>+4>+7>+7<4-]>2+6.>+6.<2-4.>-34.<-4.>2+3.<2-11.+.>3.<+6.<2-.>2-5.<+26.-26.<+.>2+2.>+5.<3+.>3+.<-.<.>-22.<+12.-12.>-22.<2-6.>+67.>2-4.<-3.<+4.+8.>-37.<2-.>2+12.-12.<2-27.>3-4.<2.<-3.>.+5.>.+.+11.-12.>+5.-11.+12.-11.+2.-3.+.+13.<2.>.<2-2.>2.>.<2-2.>.>-48.-19.<.<+2.<+40.>+.-.+.<-6.+13.>-.>.>-.+.<.<2-2.-8.>.<-4.>-.<+4.+11.>-10.-8.>.<2+14.>3.<.<+9.>+67.<+5.-..>2-12.+9.+3.-12.<-.<-2.<-11.-2.>2.+13.<2+3.>3.+. < 1362793770 925578 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :str:0 contains the code for prefixes < 1362793857 174176 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it is possible the str:n syntax only works in ^def, not plain ^bf < 1362793883 806839 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :@hoogle & < 1362793884 408625 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Prelude (&&) :: Bool -> Bool -> Bool < 1362793884 558723 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Data.Bool (&&) :: Bool -> Bool -> Bool < 1362793884 558933 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Control.Arrow (&&&) :: Arrow a => a b c -> a b c' -> a b (c, c') < 1362793894 646158 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :huh, why no & anywhere? < 1362793904 17624 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's in Data.Lens now :) < 1362793909 276523 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :er, *Control.Lens < 1362793922 552092 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's just flip ($), anyway < 1362793949 71397 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :i just meant the identifier. i would have expected & instead of .&., that sort of thing < 1362793966 839963 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't know why no one used it before < 1362793971 252147 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait < 1362793987 89911 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's probably because they couldn't use | as that's syntax < 1362793998 395635 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so they made it .&. by analogy with .|. < 1362794010 925994 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :&& || < 1362794022 591324 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :would be familiar at least < 1362794029 314506 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes < 1362794040 455868 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :oh, right < 1362794046 39195 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :hagb4rd: those are the booleans. < 1362794052 889241 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :haskell is basically just glorified C right < 1362794063 727507 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :BASICALLY < 1362794075 483307 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (<&>) < 1362794076 796295 :nooodl!~nooodl@91.177.50.217 QUIT :Ping timeout: 272 seconds < 1362794076 957389 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Functor f => f a -> (a -> b) -> f b < 1362794085 481264 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1362794088 601415 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :cool < 1362794091 820056 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (0$0<&>) < 1362794092 627371 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :> 64>>1 < 1362794093 777375 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : The operator `Control.Lens.Combinators.<&>' [infixl 1] of a section < 1362794093 937065 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : mu... < 1362794094 87418 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : can't find file: L.hs < 1362794101 992189 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :> A>>1 < 1362794104 578005 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Not in scope: data constructor `A' < 1362794104 741337 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :> 64 `shiftL` 1 < 1362794106 822985 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 128 < 1362794111 692610 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :have you considered: documentation < 1362794132 458497 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :no < 1362794157 796414 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :behold http://hackage.haskell.org/packages/archive/base/4.2.0.1/doc/html/Data-Bits.html < 1362794159 840876 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :i'm not really out for sth < 1362794199 741414 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :maybe for some conversation < 1362794203 337164 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :MAYBE < 1362794232 67494 :carado!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 QUIT :Ping timeout: 256 seconds < 1362794235 780426 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :what's sth < 1362794249 74773 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :conversation is such a dirty word < 1362794252 473744 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net PRIVMSG #esoteric :btw < 1362794262 615647 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t ($$) < 1362794263 826454 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Doc -> Doc -> Doc < 1362794270 152871 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :doc < 1362794294 813495 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh right < 1362794311 317707 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :stupid operator, does some silly vertical merging < 1362794327 582617 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :unlike the intuitive $+$ version < 1362794367 797084 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> text "like" $$ nest 4 (text "this") -- maybe < 1362794369 331631 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : like < 1362794369 485562 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : this < 1362794374 379472 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hmph < 1362794379 47972 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> text "like" $$ nest 5 (text "this") -- maybe < 1362794379 418350 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :deep < 1362794380 544890 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : like this < 1362794391 364901 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :seems it wants at least a space < 1362794396 192015 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> text "like" $+$ nest 5 (text "this") -- maybe < 1362794397 808855 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : like < 1362794397 958655 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : this < 1362794422 211248 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(lambdabot has an extra space on the first line) < 1362794596 57613 :carado!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 JOIN :#esoteric < 1362794906 811288 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i can understand that they might want $$ for haskell do blocks and the like, but not making it the default vertical combiner. < 1362794980 61352 :carado!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 QUIT :Ping timeout: 256 seconds < 1362796791 537461 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 276 seconds < 1362796822 460071 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1362797427 165943 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 2^31 < 1362797429 59104 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 2147483648 < 1362797439 977927 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 2^32 `div` 3 < 1362797441 604774 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 1431655765 < 1362797524 941428 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> length . filter (< 2^30) . take 1000 . randomRS (0,1431655765) $ mkStdGen 42 < 1362797526 841639 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Not in scope: `randomRS' < 1362797526 991700 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Perhaps you meant one of these: < 1362797526 992020 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : `randomR' (imp... < 1362797532 126273 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> length . filter (< 2^30) . take 1000 . randomRs (0,1431655765) $ mkStdGen 42 < 1362797535 34083 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 662 < 1362797561 30387 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 2^30/1431655766 * 1000 < 1362797562 684418 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 749.999999650754 < 1362797572 973874 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION whistles innocently < 1362797606 899561 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait < 1362797628 588790 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> length . filter (< 1431655765 `div` 2) . take 1000 . randomRs (0,1431655765) $ mkStdGen 42 < 1362797630 666165 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 332 < 1362797708 840105 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> genRange (undefined :: StdGen) < 1362797710 917480 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : (0,2147483562) < 1362797762 522818 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 2 * genRange (undefined :: StdGen) `div` 3 < 1362797764 303404 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : No instance for (GHC.Real.Integral (GHC.Types.Int, GHC.Types.Int)) < 1362797764 453621 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : arisi... < 1362797766 252164 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1362797776 540851 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 2 * snd (genRange (undefined :: StdGen)) `div` 3 < 1362797778 320564 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 1431655708 < 1362797829 168715 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric ::t genRange < 1362797830 816977 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :RandomGen g => g -> (Int, Int) < 1362797924 71787 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> length . filter (< 1431655708 `div` 2) . take 1000 . randomRs (0,1431655708) $ mkStdGen 42 < 1362797926 204987 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 332 < 1362797962 224919 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i thought the discrepancy would be the other way around... < 1362798367 264587 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's pretty bad, anyway :P < 1362798437 522810 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(basically System.Random uses mod to generate random integrals.) < 1362798514 415154 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :System.Random is kind of awful < 1362798519 495528 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's also too lazy < 1362799060 349049 :hagb4rd!~perdito@koln-4db410f0.pool.mediaWays.net QUIT :Ping timeout: 250 seconds < 1362799069 305646 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Just using mod is not good enough by itself though < 1362799095 352384 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :isn't that the point < 1362799097 578213 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, it makes it potentially awful, as i demonstrated. < 1362799104 855633 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :There are ways to improve it, though. < 1362799110 302173 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :half the range is twice as likely as the other < 1362799133 751961 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although i don't understand why it's _that_ half and not the other :P < 1362799165 500335 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes, and I thought of that when programming TeXnicard, and other programs, too. < 1362799186 664109 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Notice that the Pokemon card named DIGGER also makes probabilities such as 2/3 with coins, is another way. < 1362799199 253012 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :You also need good quality random number generators. Is ARCFOUR good enough? < 1362799241 909728 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is ARCFOUR+delay+microphone good enough? (This is what Famicom Hangman uses) < 1362799246 487578 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i have no idea about that bit :P < 1362799250 568328 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer < 1362799270 957493 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i just had a look in System.Random's code, noticed the ominous `mod`, and wanted to test it < 1362799309 424909 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(i originally wanted to see how well it deals with unusual genRanges. the answer to that is: not at all. < 1362799313 95469 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :) < 1362799340 804547 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it simply assumes genRange is the same as for stdGen. < 1362799352 337000 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and _still_ manages to do things badly for that. < 1362799364 95369 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*StdGen < 1362799429 446161 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :presumably it's still ok as long as the range is tiny, and for floats. < 1362800091 9772 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://hackage.haskell.org/trac/ghc/ticket/5280 < 1362800668 280924 :impomatic!~digital_w@158.195.125.91.dyn.plus.net QUIT :Quit: http://corewar.co.uk < 1362801912 741266 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Arc_Koen < 1362803466 648153 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Time to try to break my brain thinking about a language based off Trustfuck < 1362803473 943075 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Let's call it Trustfuck-- < 1362803496 842329 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :As though it were a prior version of Trustfuck. < 1362803546 665881 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :All I'm going to say for now, while I go to make food and think < 1362803962 458713 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :dont just leave us hanging < 1362804197 64650 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Maybe ! should just do trustfuck primitives, rather than "current language" primitives, and a primitive be added for quines, and some other features to make converting ! to mean "current language" a relatively simple task < 1362804287 777636 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Although now I'm wondering if something vaguely inspired by Feather might be a good idea < 1362804301 695246 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Would ais523 be mad if I called a language "Featherfuck"? < 1362804337 172295 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :does the vague inspiration involve time travel? if not you're fine < 1362804446 41028 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Either reruning code or doing some fixed-point thingamabob < 1362804503 777125 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Haven't thought through the fixed-point thing well enough to know if it's even a coherent thought, although probably not < 1362805430 231923 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :In disadvantages of ropes, the Wikipedia article says "Increased complexity of source code; greater risk for bugs" < 1362805434 826086 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :zzo38: your Famicom Hangman game uses RC4 as a random number generator? < 1362805448 413531 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Isn't that what code reuse is for? Does any non-library actually re-implement ropes? < 1362805527 649553 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :in the real world code reuse is not so much a thing < 1362805564 958269 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric ::( < 1362805794 933620 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :kmc: Yes it does use RC4 as a random number generator, and it runs several times per frame. It also uses the microphone, if there is one. < 1362806148 695292 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is it good enough? < 1362807543 561928 :ogrom!~del@gprs-inet-65-83.elisa.ee JOIN :#esoteric < 1362807790 903937 :hagb4rd!~perdito@koln-5d81f087.pool.mediaWays.net JOIN :#esoteric < 1362808587 660990 :hagb4rd!~perdito@koln-5d81f087.pool.mediaWays.net QUIT :Read error: Operation timed out < 1362808817 4557 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1362809593 74719 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :`smlist < 1362809598 464867 :HackEgo!codu@codu.org PRIVMSG #esoteric :smlist: shachaf monqy elliott < 1362809613 61188 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :“a responsibility„ < 1362810111 945158 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :With great power comes great utility bills < 1362810184 380638 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1362810587 907150 :sirdancealo2!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1362810680 869175 :ogrom!~del@gprs-inet-65-83.elisa.ee QUIT :Quit: Left < 1362811416 354430 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :28.8 kilobonghits per second < 1362811474 84279 :pikhq!~pikhq@75-163-219-9.clsp.qwest.net PRIVMSG #esoteric :I dunno, "kibibonghit" flows better. < 1362811493 563302 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Are those imperial or nautical bonghits < 1362811530 822183 :pikhq!~pikhq@75-163-219-9.clsp.qwest.net PRIVMSG #esoteric :Avoirdupois. < 1362815043 656247 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What would you use if *you* are making Famicom Hangman? < 1362816169 108425 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: thonqy < 1362816361 103214 :impomatic!~digital_w@158.195.125.91.dyn.plus.net JOIN :#esoteric < 1362817012 504084 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1362817139 793180 :aloril!~aloril@dsl-tkubrasgw3-54f97e-153.dhcp.inet.fi QUIT :Ping timeout: 276 seconds < 1362817865 313392 :aloril!~aloril@dsl-tkubrasgw3-54f97e-153.dhcp.inet.fi JOIN :#esoteric < 1362818774 119872 :Bike!~Glossina@71-34-78-123.ptld.qwest.net QUIT :Quit: leaving < 1362818858 627948 :Taneb!~nathan@host-92-30-144-3.as13285.net JOIN :#esoteric < 1362819139 902932 :Jafet!~Jafet@unaffiliated/jafet QUIT :Quit: Leaving. < 1362819315 828822 :Taneb!~nathan@host-92-30-144-3.as13285.net PRIVMSG #esoteric :> let i = (:+) 0 in 4 + i 2 < 1362819318 253105 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 4.0 :+ 2.0 < 1362820222 110208 :nooga!~nooga@77-45-54-224.sta.asta-net.com.pl JOIN :#esoteric < 1362820242 311073 :nooodl!~nooodl@91.177.50.217 JOIN :#esoteric < 1362820262 31352 :Taneb!~nathan@host-92-30-144-3.as13285.net QUIT :Quit: Leaving < 1362821562 403788 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :could someone explain me why n-cycle clears with n > 1 is any better than 1-cycled in bf joust? < 1362821711 972985 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i.e. i don't see the advantage of [-.] over [-]. < 1362822301 63241 :carado!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 JOIN :#esoteric < 1362823015 109707 :epicmonkey!~epicmonke@188.134.41.112 JOIN :#esoteric < 1362823164 20222 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1362823346 284549 :hagb4rd!~perdito@koln-d9329fa7.pool.mediaWays.net JOIN :#esoteric < 1362823351 161703 :nooga!~nooga@77-45-54-224.sta.asta-net.com.pl QUIT :Ping timeout: 245 seconds < 1362823782 546011 :madbr!boulam@198-84-253-87.cpe.teksavvy.com QUIT :Quit: Radiateur < 1362823821 773820 :nooga!~nooga@77-45-54-224.sta.asta-net.com.pl JOIN :#esoteric < 1362824087 476403 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1362826495 142119 :cookienugget!a4d71b95@gateway/web/freenode/ip.164.215.27.149 QUIT : < 1362826595 41551 :cookienugget!a4d71b95@gateway/web/freenode/ip.164.215.27.149 JOIN :#esoteric < 1362826915 488300 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1362826956 526642 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 264 seconds < 1362827074 994595 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1362828308 774064 :nooga!~nooga@77-45-54-224.sta.asta-net.com.pl QUIT :Ping timeout: 248 seconds < 1362828325 53832 :epicmonkey!~epicmonke@188.134.41.112 QUIT :Ping timeout: 260 seconds < 1362828752 291847 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net QUIT :Ping timeout: 250 seconds < 1362828824 307940 :hagb4rd!~perdito@koln-d9329fa7.pool.mediaWays.net QUIT :Quit: hagb4rd < 1362829968 944358 :hagb4rd!~perdito@koln-4db4ea55.pool.mediaWays.net JOIN :#esoteric < 1362830174 611926 :nooga!~nooga@77-45-54-224.sta.asta-net.com.pl JOIN :#esoteric < 1362831128 164031 :cookienugget!a4d71b95@gateway/web/freenode/ip.164.215.27.149 QUIT :Ping timeout: 245 seconds < 1362831420 490604 :mroman_!~roman2@fmnssun.ibone.ch QUIT :Ping timeout: 264 seconds < 1362831434 162816 :mroman!~roman2@fmnssun.ibone.ch JOIN :#esoteric < 1362832030 563051 :carado!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 QUIT :Quit: Leaving < 1362832101 136438 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1362833126 568479 :nooga!~nooga@77-45-54-224.sta.asta-net.com.pl QUIT :Ping timeout: 252 seconds < 1362833140 68270 :wareya_!~wareya@cpe-67-248-121-45.nycap.res.rr.com JOIN :#esoteric < 1362833187 50533 :cookienugget!a4d71b95@gateway/web/freenode/ip.164.215.27.149 JOIN :#esoteric < 1362833278 517123 :wareya!~wareya@cpe-67-248-121-45.nycap.res.rr.com QUIT :Read error: Operation timed out < 1362833474 551361 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1362834728 903293 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1362836290 80266 :Taneb!~nathan@host-92-30-144-3.as13285.net JOIN :#esoteric < 1362836997 75812 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1362838752 510773 :ion!ion@heh.fi PRIVMSG #esoteric :A fully functional in-browser clone of SimCity. http://tholman.com/playable-simcity-2013/ < 1362838778 83628 :Taneb!~nathan@host-92-30-144-3.as13285.net PRIVMSG #esoteric :Not fully functional enough! < 1362838780 534941 :Taneb!~nathan@host-92-30-144-3.as13285.net PRIVMSG #esoteric :Or too full... < 1362838784 623284 :Taneb!~nathan@host-92-30-144-3.as13285.net PRIVMSG #esoteric :Server's busy < 1362838853 891112 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ion, but it's online-only! < 1362838866 673491 :hagb4rd!~perdito@koln-4db4ea55.pool.mediaWays.net PRIVMSG #esoteric :it seems folks demand it < 1362838874 56556 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(Please tell me it has local saves.) < 1362838963 375718 :hagb4rd!~perdito@koln-4db4ea55.pool.mediaWays.net PRIVMSG #esoteric :game saving is for wimps < 1362838992 75339 :hagb4rd!~perdito@koln-4db4ea55.pool.mediaWays.net PRIVMSG #esoteric :nightmare mode(tm) forever! < 1362839029 501424 :epicmonkey!~epicmonke@188.134.41.112 JOIN :#esoteric < 1362840472 59989 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 256 seconds < 1362843371 114548 :nooga!~nooga@77-45-54-224.sta.asta-net.com.pl JOIN :#esoteric < 1362844390 132625 :Taneb!~nathan@host-92-30-144-3.as13285.net QUIT :Ping timeout: 260 seconds < 1362844471 656558 :Taneb!~nathan@host-92-30-144-3.as13285.net JOIN :#esoteric < 1362845151 151656 :nooga!~nooga@77-45-54-224.sta.asta-net.com.pl QUIT :Ping timeout: 245 seconds < 1362845985 801579 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Taneb: :( < 1362846013 824479 :Taneb!~nathan@host-92-30-144-3.as13285.net PRIVMSG #esoteric :Is that :( at my Arrow explanation or my Applicative explanation < 1362846026 18981 :Taneb!~nathan@host-92-30-144-3.as13285.net PRIVMSG #esoteric :I'm presuming my Arrow explanation although my Applicative explanation did suck < 1362846230 907353 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it was at "(<*>) takes a thing full of functions, and a thing full of inputs to the function, and applies the functions and the inputs in some way, then combines the rest of the things together < 1362846234 911333 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :" < 1362846399 655002 :Taneb!~nathan@host-92-30-144-3.as13285.net PRIVMSG #esoteric :How is that inaccurate or misleading < 1362846510 998229 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well "thing full of" and the plural........... < 1362846528 843557 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you can have stuff where the "functions" branch on an undetermined amount of input etc. where the container analogy kinda breaks down < 1362846603 107525 :Taneb!~nathan@host-92-30-144-3.as13285.net PRIVMSG #esoteric :Analogies break down eventually < 1362846605 513186 :Bike!~Glossina@71-34-78-123.ptld.qwest.net JOIN :#esoteric < 1362846655 57475 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well imo it's a bad idea to give people things that will confuse them when they get to stuff like that because they've been given preconceptions...... especially when there's a lot of bad tutorials they can read if they really want analogies < 1362846660 760505 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but it wasn't a really big frown < 1362847019 480572 :Taneb!~nathan@host-92-30-144-3.as13285.net PRIVMSG #esoteric :On another note, ekmett added me to another repo < 1362847020 307989 :Taneb!~nathan@host-92-30-144-3.as13285.net PRIVMSG #esoteric :Help < 1362847071 188727 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1362847291 331738 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :@hoogle [a] -> ([a],a,[a]) < 1362847292 38073 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :No results found < 1362847359 146731 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i just sigh whenever i get another email about that now < 1362847393 409476 :nooga!~nooga@77-45-54-224.sta.asta-net.com.pl JOIN :#esoteric < 1362847441 57203 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric ::t \pivot:xs -> (filter (pivot <=) xs,pivot,filter (> pivot) xs) < 1362847442 523974 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :parse error on input `:' < 1362847448 887406 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric ::t \(pivot:xs) -> (filter (pivot <=) xs,pivot,filter (> pivot) xs) < 1362847450 239614 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Ord a => [a] -> ([a], a, [a]) < 1362847458 120357 :Taneb!~nathan@host-92-30-144-3.as13285.net PRIVMSG #esoteric :I have a feeling that I'm the only person who's been added to tables < 1362847505 607300 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric ::t \(x:xs) -> (xs,x,xs) -- boring < 1362847507 104168 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :[t] -> ([t], t, [t]) < 1362847539 216024 :Taneb!~nathan@host-92-30-144-3.as13285.net PRIVMSG #esoteric ::t \(x:xs) -> ([],x,xs) -- maybe what nooodl wants < 1362847540 517389 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :[t] -> ([a], t, [t]) < 1362847589 263557 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :hmm, i just realized i actually want < 1362847589 958138 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :@hoogle Int -> [a] -> ([a],a,[a]) < 1362847590 624252 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :No results found < 1362847616 173825 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :but splitAt is close enough < 1362847648 667291 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :f = (\(a,b:c) -> (a,b,c)) . splitAt < 1362847800 468165 :epicmonkey!~epicmonke@188.134.41.112 QUIT :Ping timeout: 264 seconds < 1362847959 714832 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl: dont do that < 1362847971 171955 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :also that f is wrong but mainly dont do that < 1362847999 379609 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :i need (.).(.) don't i < 1362848011 801987 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :also what's wrong, i might not actually be doing the wrong thing anymore < 1362848048 725978 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well using indices into lists is generally a bad idea < 1362848103 730123 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :are you essentially saying "don't use (!!)" here < 1362848111 152386 :Taneb!~nathan@host-92-30-144-3.as13285.net PRIVMSG #esoteric :Yes he is < 1362848114 950250 :Taneb!~nathan@host-92-30-144-3.as13285.net PRIVMSG #esoteric :I agree with elliott < 1362848131 938437 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :well.... i'm fairly sure i do need indices sorry < 1362848141 508392 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Then use a structure other than lists < 1362848154 638760 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think that's the point < 1362848168 553570 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :this is from that lyah exercise thingy < 1362848171 954230 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :naw O(n) access is the shit bro < 1362848187 9252 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :it's asking me to write a binary search function on list that also logs using Writer < 1362848196 901864 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :i know it's not something you'd actually do... < 1362848253 94363 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well if the lyah exercises want you to do bad things then imho they're bad exercises! < 1362848264 892180 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but i doubt you need indices to do binary search on [] < 1362848269 511663 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :also from the example it's apparent that the guy who made the exercise solved it wrong himself < 1362848293 245798 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :how're you going to find the center without indices < 1362848324 443530 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :imo these exercises sound shit and you should stop doing them? < 1362848359 414386 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :they're better than the alternative of "no exercises" < 1362848365 772309 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Do them better < 1362848381 44214 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Figure out how to use arrays and implement binary search with them < 1362848436 828027 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :this solution probably wouldn't require a lot of changes to work with Array! i might do that < 1362848464 192315 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :too bad Array sucks too :( < 1362848495 508968 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :what should i use then < 1362848509 220965 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :so what do you use if you want arrays, in haskell < 1362848513 846773 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :man, this type signature is growing to be pretty large < 1362848515 740158 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :binarySearch :: (Show a, Ord a, Eq a, Monoid b) => (a -> a -> b) -> a -> Array Int a -> Writer b Bool < 1362848524 498116 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Vectors unless something new's come up since < 1362848542 982817 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :why does it even say Ord a, Eq a < 1362848544 346449 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :nooodl: Ord includes Eq < 1362848547 98175 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :instead of just Ord a < 1362848547 735153 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :yes < 1362848571 603986 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :How do arrays suck? < 1362848574 306898 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Too many of them? < 1362848623 380538 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: vector or maybe repa or something but sometimes array is the only non-annoying option < 1362848627 408242 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but then it's annoying because it's array < 1362848628 422856 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :http://u.arboreus.com/2011/03/how-to-choose-haskell-array-library.html has some stuff < 1362848646 151349 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :wow a table < 1362848658 357923 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :sorry "feature matrix" < 1362848680 488276 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :wait, why does it not have access time for Data.Array. < 1362848696 769291 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :hmm i'll use Vector < 1362848700 667443 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :that sounds interesting < 1362848714 460140 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :do they just suck that much < 1362848730 999452 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :import qualified Data.Vector as V < 1362848736 952284 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :is this evil, it feels evil < 1362848801 751607 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Bike: Possibly because the Ix class can be arbitrarily slow? < 1362848805 34004 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Not sure < 1362848871 728179 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :holy shit < 1362848874 767526 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :O(1) take? < 1362848913 159944 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Since it's immutable it doesn't have to copy anything, so of course < 1362848919 217123 :epicmonkey!~epicmonke@188.134.41.112 JOIN :#esoteric < 1362848927 169397 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :ugh who thought "snoc" was a good name for snoc < 1362849047 476131 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :snoc is fine < 1362849063 322413 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: (bad GC properties :( ) < 1362849131 911555 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :elliott: Yeah GCs kinda suck like that < 1362849159 467913 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :i crashed winghci < 1362849173 742928 :Taneb!~nathan@host-92-30-144-3.as13285.net PRIVMSG #esoteric :Congrats < 1362849180 87343 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :there should be a way to do the copying of the "take"d elements when the original array gets freed < 1362849183 85103 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :like copying GC style < 1362849210 389364 :Taneb!~nathan@host-92-30-144-3.as13285.net PRIVMSG #esoteric :Hey, anyone here know the best way to get a C++11 into Haskell < 1362849226 120166 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :give up < 1362849227 58065 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Vector should be able to tell the GC that a given reference only needs a certain slice of the data < 1362849233 629730 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :more generally give up on binding C++ to haskell < 1362849309 74014 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1362849362 602711 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :yeah, "V.enumFromN 1 1000000000" is crashing ghci but i don't know what i expected < 1362849370 417390 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :i mean. that's a pretty big vector < 1362849397 484033 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :do you need a billion element vector for something < 1362849408 805114 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :That's N gigabytes where N is the type's size (so probably Int's size) < 1362849427 768711 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :testing this binary search function!! < 1362849455 317241 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :don't you think four gigabytes is a bit much for testing < 1362849499 825678 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :ghc thinks so at least < 1362849524 781666 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :nooodl: "maxBound :: Int" < 1362849568 610420 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :nooodl : maxBound : Int < 1362849587 501713 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1362849596 898848 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Hello < 1362849642 122431 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :what is love < 1362849656 752662 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1362849680 542190 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :> (maxBound - minBound) :: Int < 1362849682 618962 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : -1 < 1362849684 343710 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :cool < 1362849684 493935 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :oh < 1362849702 764166 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Bike: why is love < 1362849747 816462 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :red queen hth < 1362849764 197898 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :HTH hth. < 1362849787 899618 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Hi everyone hth. How's it going hth? < 1362849810 742475 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :pretty well < 1362849835 71419 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Good to hear hth. < 1362849889 930672 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Yesterday was the eighth hth. < 1362849967 256725 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Now, to which URL should speaking post. Should it post to character/n/speak/? Seems like as good a URL as any. < 1362850595 469717 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1362850860 934954 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Read error: Connection timed out < 1362850910 822556 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1362851216 60179 :cookienugget!a4d71b95@gateway/web/freenode/ip.164.215.27.149 PART :#esoteric < 1362851237 485532 :Taneb!~nathan@host-92-30-144-3.as13285.net QUIT :Ping timeout: 255 seconds < 1362851323 319017 :Taneb!~nathan@host-92-30-144-3.as13285.net JOIN :#esoteric < 1362852769 183979 :nooodl!~nooodl@91.177.50.217 QUIT :Ping timeout: 248 seconds < 1362853602 541659 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Quit: Leaving. < 1362853746 852312 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: bbl < 1362855926 7228 :Taneb!~nathan@host-92-30-144-3.as13285.net PRIVMSG #esoteric :Trivia: the first track of every single album I've bought on its release day opened at number 2 in the UK singles chart < 1362856103 227658 :Taneb!~nathan@host-92-30-144-3.as13285.net PRIVMSG #esoteric :Hexham? More like MAX HEH < 1362856141 969774 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :it's always a barrel of laughs up in hexham < 1362856225 948595 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :good triviopodes < 1362856257 555443 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :are those octopodes who won't shut up about star trek < 1362856304 457115 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1362856348 243783 :Taneb!~nathan@host-92-30-144-3.as13285.net PRIVMSG #esoteric :By the way, those two messages from me were completely unrelated < 1362856408 389145 :impomatic!~digital_w@158.195.125.91.dyn.plus.net PRIVMSG #esoteric :How can I search the esoteric logs? < 1362856509 213750 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you need to rsync them + grep < 1362856520 132407 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :¬_¬ < 1362856520 562883 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :type !logs for the info < 1362856950 19426 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 245 seconds < 1362857103 301588 :impomatic!~digital_w@158.195.125.91.dyn.plus.net PRIVMSG #esoteric :!logs < 1362857255 572459 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1362857905 35929 :impomatic!~digital_w@158.195.125.91.dyn.plus.net PRIVMSG #esoteric :Hmmm... thanks. I only wondered the size of the Brainfuck Hello World I posted here... < 1362858104 535582 :hagb4rd!~perdito@koln-4db4ea55.pool.mediaWays.net PRIVMSG #esoteric :^ord ¬ < 1362858104 722646 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :194 172 < 1362858154 815188 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1362858229 315212 :nooodl!~nooodl@91.177.50.217 JOIN :#esoteric < 1362858676 180177 :Taneb!~nathan@host-92-30-144-3.as13285.net QUIT :Ping timeout: 245 seconds < 1362859026 208346 :epicmonkey!~epicmonke@188.134.41.112 QUIT :Ping timeout: 264 seconds < 1362859265 674415 :Taneb!~nathan@host-2-99-90-97.as13285.net JOIN :#esoteric < 1362859840 959866 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1362860665 59376 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 260 seconds < 1362861675 694364 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Read error: Connection reset by peer < 1362861686 862760 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1362861687 50280 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Client Quit < 1362862292 421970 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm it seems impossible with haskell types to generalize Control.Lens.Iso.mapping to take a Setter instead of just a Functor instance < 1362862354 593441 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because the setter needs to be used at two different types < 1362862418 887204 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :rank-2? < 1362862433 324258 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric ::t mapping < 1362862435 121357 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :(Functor f1, Functor f, Profunctor p) => AnIso s t a b -> p (f a) (f1 (f b)) -> p (f s) (f1 (f t)) < 1362862438 364519 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh right < 1362862449 585473 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...if those two types have a common rank-2 expression you are halfway to Functor already :( < 1362862489 716938 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it could take two setters :P < 1362862531 75880 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah but that would ruin the point of my investigation, which was why wasn't mapping defined as mappingOf mapped in the first place < 1362862548 800900 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :mappingOfOf mapped mapped < 1362862550 104715 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :with great generalization possibilities < 1362862558 614102 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :Clearly the way to go < 1362862607 885403 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: it doesn't have to be all the way to Functor because it only has to work with f/f1, right? < 1362862612 327013 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you could make it work with GADTs and stuff < 1362862651 14285 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: f is the functor in question, f1 is the usual lens choosable one < 1362862664 513510 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :er, right < 1362862682 646700 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 256 seconds < 1362862693 380870 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it needs to map f a -> f s and f t -> f s < 1362862730 112145 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1362862751 525337 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :* (a -> s) -> (f a -> f s) and (t -> b) -> (f t -> f b) < 1362862766 194701 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :right < 1362862775 530233 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the definition of mapping is essentially mapping (iso sa bt) = iso (fmap sa) (fmap bt) < 1362862875 664096 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and you want to replace fmap by setter %~ < 1362863004 343107 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t mapped %~ view swapped < 1362863005 803901 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :(Functor f, Swapped p) => f (p a b) -> f (p b a) < 1362863065 935089 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait what < 1362863080 204673 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh right < 1362863090 158728 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :rhyming with lenses < 1362863091 978897 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that gives you a Getter only < 1362863099 28286 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :afaict < 1362863101 314795 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1362863145 37641 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t review < 1362863146 352673 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :MonadReader b m => AReview s t a b -> m t < 1362863157 764096 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t re < 1362863159 46511 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Gettable f => AReview s t a b -> (t -> f t) -> b -> f b < 1362863223 554667 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :> review _Just 10 >>= \x -> lift [x] < 1362863225 342746 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Couldn't match expected type `Data.Maybe.Maybe b0' < 1362863225 492820 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : with actual... < 1362863267 960886 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t review _Just 10 < 1362863269 590942 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Num a => Maybe a < 1362863285 998909 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :THAT WILL BE WHY < 1362863292 729334 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric ::t review _Just >>= \x -> lift [x] < 1362863294 236908 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :(MonadTrans t, MonadReader b (t [])) => t [] (Maybe b) < 1362863304 805586 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :> runReaderT (review _Just >>= \x -> lift [x]) 10 < 1362863306 774810 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : [Just 10] < 1362863358 164995 :sebbu!~sebbu@ADijon-152-1-47-35.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1362863358 544105 :sebbu!~sebbu@ADijon-152-1-47-35.w83-194.abo.wanadoo.fr QUIT :Changing host < 1362863358 693964 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1362863381 323322 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t review < 1362863382 962845 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :MonadReader b m => AReview s t a b -> m t < 1362863496 269300 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :01:32:54 could someone explain me why n-cycle clears with n > 1 is any better than 1-cycled in bf joust? < 1362863499 686074 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :01:35:24 i.e. i don't see the advantage of [-.] over [-]. < 1362863544 274296 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's because to win, you have to make the flag 0 for _two_ consecutive turns < 1362863559 131108 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :oerjan: you do with [-]. < 1362863601 305294 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the opponent may be changing the flag during the ] step < 1362863620 498829 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :so he may in [-.] < 1362863636 719774 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :But in [-], if he does you just exit the loop < 1362863637 843622 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not unless he _also_ did it in the . step < 1362863646 784059 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :In [-.], you start decrementing it again < 1362863697 878987 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in [-.], if you reach the ] you _know_ your last - didn't succeed, so you just start again. < 1362863709 808625 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :well, i'd test something like [[-].] then < 1362863772 350078 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm not a bfjoust expert, but i expect all of which works best depends on the opponent's defence strategy < 1362863780 497168 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Does this statement help? < 1362863782 457617 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"If L is a language, f is a function L->Trustfuck, and g is the inverse of f (that is, a function Trustfuck->L), then g(",+[-:,+]!") is a compiler for L, not a compiler for Trustfuck." < 1362863829 1441 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :Have I ever said that Trustfuck is ridiculous? < 1362863834 229790 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Taneb, how so? < 1362863842 135002 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: it makes no mathematical sense to call that an inverse < 1362863870 44557 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :Sgeo, really, it's your offhand comments about the consequences of Trustfuck that are ridiculous rather than the language itself < 1362863876 970527 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :Which I don't understand due to lack of effort < 1362863892 702298 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :oerjan, hmm < 1362863894 135639 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :Taneb: dito < 1362863916 229740 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it does not give f(g(x)) the same semantics as x, obviously, which is the point of the statement of course < 1362863941 486409 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :Why do you need to mention f at all < 1362863944 592341 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or well, neither is semantics-preserving. < 1362864018 659582 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :If the semantics of ",+[-:,+]!" is "be a compiler for the current language" not "be a compiler for Trustfuck" < 1362864025 778270 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Does that... make it work? < 1362864034 100122 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think that's what I'm trying to get at < 1362864052 711345 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, because the current language doesn't use those characters at all, potentially :P < 1362864360 929047 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Hm. < 1362864376 312152 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and there my brain ran out of energy again. < 1362864401 923222 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I don't know if I know an accurate description < 1362864407 567264 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I should think about Trustfuck-- a bit < 1362864494 28100 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Hmm, this is a thought: < 1362864535 362829 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :A compiler written in Trustfuck for a language L does not compile to Trustfuck before doing !, the way I've described < 1362864549 7567 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It compiles to... something else < 1362864588 314311 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :A language similar to Trustfuck except a different meaning for ! < 1362864601 208917 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i would suggest trying to give a semantics of each language that makes no reference to more fundamental languages existing. < 1362864682 564908 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Hm? < 1362864690 379869 :Taneb!~nathan@host-2-99-90-97.as13285.net QUIT :Ping timeout: 276 seconds < 1362864733 297073 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or maybe not more than two neighboring levels < 1362864736 790975 :Taneb!~nathan@host-2-99-90-97.as13285.net JOIN :#esoteric < 1362864778 334248 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :If L is a language, let L' be a language that is identical to Trustfuck except that ! accepts and compiles L code instead of Trustfuck code. < 1362864797 836204 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Wait, I think ! should never be stated to compile Trustfuck code. < 1362864840 164279 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Except along the same vein, L''s ! doesn't really take L code, does it? Because if L has an equvalent to !, then ... < 1362865272 86828 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1362865920 157553 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1362866407 381772 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :@hoogle runMaybeT < 1362866407 972487 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Control.Monad.Trans.Maybe runMaybeT :: MaybeT m a -> m (Maybe a) < 1362866447 928124 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :erp, I wrote my code a bit backwards I think < 1362866470 136620 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Ending up with a Maybe (IO ()) < 1362866476 221712 :kallisti_!~eris@h242.58.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1362866494 812092 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :@hoogle a (b c) -> b (a c) < 1362866495 426105 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Data.Traversable sequenceA :: (Traversable t, Applicative f) => t (f a) -> f (t a) < 1362866495 576399 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Data.Traversable sequence :: (Traversable t, Monad m) => t (m a) -> m (t a) < 1362866495 576613 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Test.QuickCheck.Gen promote :: Monad m => m (Gen a) -> Gen (m a) < 1362866497 419021 :kallisti1!~eris@h242.58.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1362866604 427267 :kallisti_!~eris@h242.58.18.98.dynamic.ip.windstream.net QUIT :Client Quit < 1362866605 372598 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Quit: Lost terminal < 1362866680 684271 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :@hoogle sequenceM < 1362866681 240772 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :No results found < 1362866689 741259 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric ::t sequence < 1362866691 397381 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Monad m => [m a] -> m [a] < 1362866693 51578 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Is Maybe traversable? < 1362866705 671940 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :> sequence $ Just "hello" < 1362866707 827672 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Couldn't match expected type `[m0 a0]' < 1362866708 29490 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : with actual type `Data.... < 1362866713 347725 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :> Data.Traversable.sequence $ Just "hello" < 1362866715 671369 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : [Just 'h',Just 'e',Just 'l',Just 'l',Just 'o'] < 1362866717 539131 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :Yes < 1362866798 532490 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Doesn't quite seem to be working for me < 1362866814 869278 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :oh, I see why < 1362866849 553434 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :() <$ T.sequence mSendIt < 1362866856 470687 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think I have just gone overboard < 1362866864 210823 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Doing that instead of putting a return () at the end < 1362866868 637148 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :I may be the first person to ever have compared Order of the Stick to the University of Birmingham < 1362866916 441930 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: that's Control.Monad.void < 1362866918 832566 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(yes, Monad, not Functor) < 1362866929 923416 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :@hoogle void < 1362866930 538048 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Foreign.Marshal.Error void :: IO a -> IO () < 1362866930 688152 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Control.Monad void :: Functor f => f a -> f () < 1362866930 688328 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :package void < 1362866936 677539 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Ah, ty < 1362866943 984977 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :> void $ Just 2 < 1362866946 7664 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Just () < 1362866951 468247 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :> void "hello" < 1362866953 492792 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : [(),(),(),(),()] < 1362866961 785235 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :> void ("one", 2) < 1362866963 696813 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : ("one",()) < 1362866972 287317 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Pairs are a functor? < 1362866978 817836 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :Tuples are < 1362866981 162219 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :Yes < 1362866994 728955 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :instance Functor ((,) a) where fmap f (a, b) = (a, f b) < 1362867011 41413 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :If the first argument is a monoid I think they're a monad < 1362867043 606890 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :instance Monoid a => Monad ((,) a) where return = (,) mempty; (a, b) >>= f = let (a', c) = f b in (a `mappend` a', c) < 1362867065 109542 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(that's just Writer) < 1362867074 527423 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Sgeo: there are lots of instances. sorta wack to say pairs "are" a functor.............. especially since in some cases it's partially applied pairs < 1362867078 884346 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :and in other cases < 1362867083 109510 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :it's certain sortsa pairs < 1362867084 724430 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :special pairs < 1362867090 50626 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :pairs with only one sorta thing in them < 1362867097 983574 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :data Pair a = Pair a a < 1362867134 467250 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :instance Functor Pair where fmap f (Pair a a) = Pair (f a) (f a) < 1362867159 114248 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :Modulo stupid names that overlap < 1362867373 705880 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :Sgeo, how's that IRC thingy you're doing going < 1362867388 897184 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Taneb, did it < 1362867399 620106 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Some ugly parts < 1362867413 144082 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :And config stuff is hard-coded < 1362867418 859037 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :But it's meant to be a simple bot < 1362867451 748869 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :Might make a bot that evaluates Piet < 1362867460 836085 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :Rather than one written in piet < 1362867498 110975 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://hpaste.org/83768 < 1362867735 411824 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Err < 1362867743 857685 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Just realized that there's some unneeded code there < 1362867748 796269 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :Sgeo: are you making an irc bot in piet? < 1362867755 439967 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Just pretrend lines 25-26 don't exist < 1362867766 541358 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :And line 24 < 1362868321 173034 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 248 seconds < 1362868931 185485 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1362869384 211617 :TeruFSX!~TeruFSX@65-128-137-85.mpls.qwest.net JOIN :#esoteric < 1362869580 601235 :Taneb!~nathan@host-2-99-90-97.as13285.net QUIT :Ping timeout: 252 seconds < 1362869614 654249 :Taneb!~nathan@host-2-99-90-97.as13285.net JOIN :#esoteric < 1362869620 696743 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :question of the day: what kind of sane person uses lowercase xi < 1362869680 470316 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :xi? < 1362869680 804481 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i see lowercase xi every so often < 1362869689 193126 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :but uppercase xi, now that's crazy < 1362869794 467442 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :uppercase xi is ok as long as it's not sans serif < 1362869808 741495 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :uppercase sans serif xi is the abomination unto nature < 1362869817 724041 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :but lowercase xi is so damn hard to write! < 1362869822 114811 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :same for zeta < 1362869840 384969 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :except it's slightly less fiddly < 1362869854 287836 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well thankfully the greeks are fucking dead < 1362869857 961691 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so you don't have to write greek any more < 1362869859 768692 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :8-) < 1362869970 674393 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :you realise that in that case everyone will just write the normal alphabet in weird ways < 1362869972 651202 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :you have to think of it in steps. ς → ζ → ξ < 1362870005 229469 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :The greeks aren't dead, just economically oh no'd < 1362870012 550922 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :ah, you meant xi the greek letter? reminds me of an old calculus lecturer who used the same squiggle for every greek letter, ln and cos < 1362870029 59542 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :olsner, sound awful < 1362870078 138456 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :not all bad though, the unreadable formulas does sort of force you to pay attention to what's being written and what it means < 1362870081 171758 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :ς is just an s. ζ is just ς with a line above it. ξ is just ζ with a dent in it < 1362870109 930906 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :one of my lecturers is greek < 1362870124 839449 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :he writes beta as what is for all intents and purposes an ordinary b < 1362870203 552856 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :i.e. he uses the ordinary b instead of the latin b? < 1362870261 312317 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Is return being in Monad rather than Functor a quirk? < 1362870269 720455 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :No < 1362870277 874002 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :It should be in Applicative if anywhere < 1362870282 437803 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :Functors do NOT have return < 1362870288 800157 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :(necessarily) < 1362870299 267078 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Bike, typeclass organisation is a mess, iirc < 1362870306 508984 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Monad is detached from the rest of the hierarchy for historical reasons < 1362870311 853803 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Yes, but I want to know if this is a mess or something I'm misunderstanding. < 1362870320 756700 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :"pure" in Applicative is what return should be < 1362870330 173292 :TeruFSX!~TeruFSX@65-128-137-85.mpls.qwest.net QUIT :Ping timeout: 264 seconds < 1362870335 288223 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Since I thought mathematical functors mapped objects in addition to morphisms. < 1362870339 994626 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :Bike, not all functors have an equivalent to return < 1362870341 286338 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: "f" maps the object < 1362870348 565847 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :an object in Hask is a *type* < 1362870354 854689 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and Functor models endofunctors (functors Hask -> Hask) < 1362870356 280700 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :What's return :: a -> (Void, a)? < 1362870367 55902 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so if you have a Functor instance f < 1362870375 12638 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :then f Int is mapping the object Int < 1362870381 755406 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and fmap maps morphisms (functions) < 1362870395 201739 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :and fmap (Int -> Int) maps the morphism. < 1362870411 880880 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i.e. a functor takes the morphism f : A -> B to F(f) : F(A) -> F(B), where F(X) is mapping the object X < 1362870420 664563 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: erm, that's not valid syntax, but sure < 1362870434 817506 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :...in this case, a functor takes the morphism f :: Int -> String to fmap f :: F Int -> F String < 1362870436 827264 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :psh syntax < 1362870455 879730 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :ok, that makes sense. < 1362870488 230669 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(actually Functor models something ridiculous like functors mapping Hask to the subcategory of Hask where only types of the form (f a) are objects or such) < 1362870492 693420 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(but that doesn't really matter) < 1362870504 426853 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Sounds elegant. < 1362870608 463573 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :^list < 1362870608 613640 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot < 1362870619 141124 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :Thanks < 1362870623 92994 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :erm, false alarm possibly < 1362870626 321911 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :No < 1362870630 90220 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :what is ^list for < 1362870639 380776 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :you dont want to know < 1362870643 839110 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :nooodl, notifying about Homestuck updates < 1362870645 635507 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :annoying s h a c h a f mostly? < 1362870663 173716 :sebbu!~sebbu@ADijon-152-1-47-35.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1362870663 532365 :sebbu!~sebbu@ADijon-152-1-47-35.w83-194.abo.wanadoo.fr QUIT :Changing host < 1362870663 683055 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1362870678 828743 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :the new homestuck updates look really boring < 1362870679 597155 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :ACTION cherub time? < 1362870684 507635 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :Bike, nah, he's not on the ^list < 1362870707 366255 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :by new i mean anything that happened in the past 1-2 years < 1362870719 64029 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :it sort of amazes me that people read homestuck < 1362870738 188417 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :Although cf his HackEgo wisdom < 1362870775 214981 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :the past 1-2 years have been pretty wonderful < 1362870787 216409 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :though I guess still not the wonderfulness of act 5 and karkat arguing with himself < 1362870845 914755 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :you are like almost the exact opposite of me < 1362870864 858853 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :the best of homestuck for me was when it was about the original 4 < 1362870875 362403 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :shit on your desk < 1362870896 732442 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :hivebent was jut a chore for me since i really wanted to know e.g. where jade was going to land < 1362870908 548002 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I really do like the original 4 humans, yeah. I never really got into the alpha kids much < 1362870920 416711 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :I quite like the Alpha kids < 1362870922 150258 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and jade is still my favorite is and john is still the most adorable dork and dave is still awesome < 1362870933 506267 :Taneb!~nathan@host-2-99-90-97.as13285.net PRIVMSG #esoteric :Jake's my favourite now < 1362870952 852144 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :nooodl: what have you started < 1362870961 169749 :nooodl!~nooodl@91.177.50.217 PRIVMSG #esoteric :hi monqy < 1362870961 613081 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :but hivebent had such wonderful characters too. like karkat < 1362871521 175867 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 248 seconds < 1362872515 593307 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :wtf http://perl8.org/ < 1362872525 662137 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(Someone has perl8.org pointing to Scala) < 1362872541 782790 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :programming language jokes! < 1362873223 732680 :tromp_!~tromp@rtc35-242.rentec.com PRIVMSG #esoteric :better than www.perl5.org < 1362873259 692783 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :How much cheating would be acceptable in a Feather-like language? < 1362873289 920375 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :-2% < 1362873311 670283 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :not only may you not cheat but you must do community service to make up for all the stupid time travel jokes you're causing < 1362873502 438565 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Compiled languages often have a bootstrap process, in which, say, a compiler for L written in L is compiled using a compiler for L written in another language. Can this process be made a part of the language somehow? < 1362873569 797384 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :just write the compiler in L, like all those C compilers written in C < 1362873574 536126 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :what kind of self-respecting language acknowledges other languages' existence? that sounds like step one down a path to interoperability son