< 1349568406 886327 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :What is "Undoing Dynamic Typing"? < 1349568526 552178 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's a euphemism for correcting really bad spellers hth < 1349568589 928556 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :-> < 1349568602 685223 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: q < 1349568764 405361 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :The paper uses "untyped" too m.. oh < 1349568776 924528 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I guessed untagged wouldn't be strongly typed < 1349568784 409965 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Hrm < 1349570047 222996 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1349570350 200806 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1349570635 682637 :jiella_!~jiella@cs27103076.pp.htv.fi QUIT :Quit: Leaving. < 1349570709 605697 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: a < 1349570752 856688 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: q :) < 1349570777 289239 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: n < 1349570795 964524 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :r < 1349570805 595869 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yw < 1349571184 265819 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq_: Is it true that Windows 8 only supports GPT? < 1349571653 903306 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :It turns out delimc sucks < 1349571677 172992 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :As in, it breaks if you don't use all the vars in the namespace where you want to use the stuff < 1349571730 89493 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :As in, if import Data.Maybe worked but import qualified Data.Maybe as M didn't < 1349571826 719350 :elliott!~elliott@unaffiliated/elliott QUIT :Remote host closed the connection < 1349571918 217452 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1349572063 675777 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer < 1349572809 961308 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Why because of me? < 1349572822 239665 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I forget. < 1349573051 460928 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :ACTION is slightly unsure how to fix the issue < 1349573057 968649 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :But I see what's causing it < 1349573236 809436 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I know how to fix it. < 1349573697 854632 :hagb4rd!~perdito@p4FED4E6C.dip.t-dialin.net QUIT :Quit: hagb4rd < 1349573990 759008 :hagb4rd!~perdito@koln-4d0b7aad.pool.mediaWays.net JOIN :#esoteric < 1349577031 11119 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION adds Gemooy to his TC belt < 1349577145 62139 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: congrats :) < 1349577148 76120 :elliott!~elliott@unaffiliated/elliott QUIT :Remote host closed the connection < 1349577193 781756 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Is that the belt of things you've type checked? < 1349577196 682814 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or type checkers? < 1349577203 69389 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: 19:28 Is there a reason that "a newtype constructor cannot have an existential context" in GHC? < 1349577212 649647 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, it's the belt of things i've proved Turing complete < 1349577503 759506 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1349577560 657887 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Has oerjan been proved Turing Complete? < 1349577593 110752 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sounds dangerous < 1349577841 719919 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oerjan: your proof of 3-cell BF worked out, right? < 1349577906 198178 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes < 1349577918 120145 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :nice < 1349577922 893464 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :... wtf < 1349577923 134315 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://esolangs.org/wiki/Collatz_function < 1349577932 43433 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I am now saddened < 1349577948 777841 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :apparently the fact that the cartesian product of nonempty sets is nonempty is a consequence of the axiom of choice < 1349577952 259666 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric ::( < 1349577965 838614 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :s/a consequence of/equivalent to/ < 1349577966 488428 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :coppro: of _infinitely_ many, mind you < 1349577976 685841 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: why would that make you sad < 1349577992 334713 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, that's really sort of obvious. < 1349578018 588127 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oerjan: yeah, it is < 1349578025 512963 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott: I don't know < 1349578076 68875 :elliott!~elliott@unaffiliated/elliott QUIT :Remote host closed the connection < 1349578688 354574 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Blah. < 1349578728 548702 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Major things such as Clojure vars being very much like Common Lisp symbols in some crucial ways should probably be documented in a place showing differences between Clojure and other lisps < 1349578983 283001 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1349579594 407031 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: hi < 1349579615 597138 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :g'day < 1349579720 549331 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: should i convert my partitions to gpt < 1349579752 203913 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :YES! < 1349579767 651477 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: help < 1349579781 216116 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :general protection taunts, right? < 1349579810 10226 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes. < 1349580300 218499 :elliott!~elliott@unaffiliated/elliott QUIT :Quit: Leaving < 1349580313 198665 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1349580470 124909 :elliott!~elliott@unaffiliated/elliott QUIT :Remote host closed the connection < 1349580769 97070 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 246 seconds < 1349581351 805489 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1349581586 731124 :elliott!~elliott@unaffiliated/elliott QUIT :Remote host closed the connection < 1349581709 282004 :baki^!~anon@216-230-229-170-colo.oplink.net JOIN :#esoteric < 1349581743 622690 :baki^!~anon@216-230-229-170-colo.oplink.net PART #esoteric :"dumplings you do, dumplings you don't" < 1349581847 222073 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :so I hear two stacks is enough to be tc < 1349581859 779585 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yep < 1349581874 606886 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :let's try to build something out of two stacks that's not tc < 1349581882 269908 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :actually I was thinking of using a deque < 1349581893 867766 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a deque alone is enough to be tc < 1349581914 180709 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :with functions like "pop" and "push", and an instruction "toggle" to specify to which end of the deque those functions apply < 1349581972 716835 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :with two stacks if you can do something like push2(pop1()) it is easy to emulate a tape; but here you can't < 1349581979 71818 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1349582007 409442 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :(because you need to toggle before you can push to the other end; so you can't be pushing one side and popping the other at the same time) < 1349582071 458562 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if you are going to prevent the information from getting across some other way, you need to limit branching < 1349582141 119893 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I'm starting to see why Clojure exceptions suck so much < 1349582142 667061 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric ::< < 1349582144 3166 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :to prevent stuff like "if pop() = 0, then toggle and push(0)"? < 1349582164 87946 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1349582297 702561 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you may end up with essentially two coroutines that cannot do anything with each other other than yielding... < 1349582326 234862 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :with no data passing < 1349582347 809557 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :yep I was writing it down and it felt kind of lame < 1349582386 163707 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :well there are boring ways to make something not turing complete < 1349582394 426422 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :like putting a bound on space or time usage < 1349582408 508622 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :which also includes any real system < 1349582842 425364 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Good night < 1349582878 400606 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :http://sprunge.us/died < 1349583234 738522 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :died < 1349583301 629070 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :well sprunge just found a name for that language < 1349583851 638174 :pikhq_!~pikhq@174-24-31-176.clsp.qwest.net PRIVMSG #esoteric :elliott: I honestly don't know. < 1349583865 134756 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yaey < 1349583901 859140 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hmmmm actually I could just consider Super Stack! deprived from its cycle/rcycle instructions < 1349583915 177819 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :it still has rev to reverse the entire stack < 1349583994 775524 :elliott!~elliott@unaffiliated/elliott QUIT :Remote host closed the connection < 1349584264 120171 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :anyway gnight < 1349584272 83111 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Arc_Koen < 1349584301 579957 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 255 seconds < 1349584339 353288 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1349584481 174935 :hogeyui!~hogeyuiVP@vps.usamimi.biz QUIT :Ping timeout: 244 seconds < 1349584565 227283 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1349585269 247650 :hogeyui!~hogeyuiVP@vps.usamimi.biz JOIN :#esoteric < 1349585423 941510 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :If you think the note about not moving the article about FurryScript to the main namespace is wrong, you can remove it, like you would remove other wrong things on wiki. < 1349586608 99119 :ogrom!~del@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1349587429 732172 :hagb4rd!~perdito@koln-4d0b7aad.pool.mediaWays.net QUIT :Ping timeout: 260 seconds < 1349588652 844388 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Remote host closed the connection < 1349589215 56783 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :every time flash plugin crashes, take a drink < 1349589769 331384 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1349590050 560566 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :i'll just fondle myself in this leftover panel < 1349590094 350244 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :just watched an ad for internet explorer featuring dubstep < 1349590115 289483 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :kmc: every time pulseaudio causes a problem, take a drink < 1349590303 648796 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :now i have two problems :( < 1349590663 976565 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I wrote on a paper once how to make double negation elimination in (Kleisli (Cont r)) and yes I can see easily how to work. I wrote: ((x->(0->r)->r)->(0->r)->r)->(x->r)->r I think this is the way, isn't it? < 1349590697 751915 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(I figure out pretty easily how to write such a function of such a type since we have 0 is initial object here. < 1349591248 214192 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 246 seconds < 1349591283 374376 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1349591979 209843 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 256 seconds < 1349592015 14882 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1349592713 280826 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1349593089 851805 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Read error: Connection reset by peer < 1349593298 695088 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: I don't think I get the film. < 1349593306 137836 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Were you the one who recommended it to me?) < 1349595474 18907 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :is there any language with a brainfuck-style tape and : a) a mov instruction b) a goto instruction c) the ability to copy the location of the instruction pointer into the current tape pointer < 1349595574 126398 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :x86 < 1349595892 302454 :atriq!~Taneb@host-84-13-78-216.opaltelecom.net JOIN :#esoteric < 1349595968 938648 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :(comp bind-cont bind-cont) < 1349595974 97370 :atriq!~Taneb@host-84-13-78-216.opaltelecom.net PRIVMSG #esoteric :Hello! < 1349595977 376642 :atriq!~Taneb@host-84-13-78-216.opaltelecom.net PRIVMSG #esoteric :Aaaargh! < 1349595978 279199 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :That should be join in my syntax < 1349595978 803433 :atriq!~Taneb@host-84-13-78-216.opaltelecom.net PRIVMSG #esoteric :Oh no! < 1349595979 580195 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I think < 1349596028 195271 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :atriq, hmm? < 1349596033 539510 :atriq!~Taneb@host-84-13-78-216.opaltelecom.net PRIVMSG #esoteric :I said "Hello" < 1349596062 37089 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Hi < 1349596989 756086 :atriq!~Taneb@host-84-13-78-216.opaltelecom.net PRIVMSG #esoteric :You know, I'm actually really surprised that Fueue is Turing-Complete < 1349597498 847921 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1349597659 258791 :MoALTz__!~no@host-92-8-231-221.as43234.net JOIN :#esoteric < 1349597850 208730 :MoALTz_!~no@host-92-2-116-150.as43234.net QUIT :Ping timeout: 264 seconds < 1349597968 813607 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :atriq: why? < 1349598000 978649 :atriq!~Taneb@host-84-13-78-216.opaltelecom.net PRIVMSG #esoteric :When I made it, I looked at it and thought "This is impossible to do anything with" < 1349598002 423181 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :$ obviously gives rise to flow control < 1349598007 665754 :atriq!~Taneb@host-84-13-78-216.opaltelecom.net PRIVMSG #esoteric :"It's an utterly ridiculous language" < 1349599445 874565 :MoALTz_!~no@host-92-8-157-4.as43234.net JOIN :#esoteric < 1349599644 745508 :MoALTz__!~no@host-92-8-231-221.as43234.net QUIT :Ping timeout: 260 seconds < 1349600062 730131 :MoALTz__!~no@host-92-2-121-66.as43234.net JOIN :#esoteric < 1349600239 389249 :MoALTz_!~no@host-92-8-157-4.as43234.net QUIT :Ping timeout: 245 seconds < 1349600550 283029 :atriq!~Taneb@host-84-13-78-216.opaltelecom.net QUIT :Ping timeout: 264 seconds < 1349602226 207281 :atriq!~nathan@host-84-13-78-216.opaltelecom.net JOIN :#esoteric < 1349603310 534405 :kinoSi!~kinosi@27-96-32-84.ipq.jp QUIT :Read error: Connection reset by peer < 1349603358 942739 :atriq!~nathan@host-84-13-78-216.opaltelecom.net PRIVMSG #esoteric :Anyone know where I can get help with MuseScore? < 1349603368 216045 :kinoSi!~kinosi@27.96.32.84 JOIN :#esoteric < 1349604384 413348 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1349605489 653959 :ogrom!~del@143.122.191.90.dyn.estpak.ee QUIT :Quit: Left < 1349605969 966769 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1349605985 313793 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hello < 1349606044 331451 :atriq!~nathan@host-84-13-78-216.opaltelecom.net PRIVMSG #esoteric :Hey < 1349606230 795324 :MoALTz__!~no@host-92-2-121-66.as43234.net QUIT :Quit: brb < 1349606247 622499 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :has someone done some work about equivalency between programming languages in terms of complexity? < 1349606301 934058 :MoALTz!~no@92.2.121.66 JOIN :#esoteric < 1349606307 585765 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I feel stupid everytime I try to prove something TC by emulating brainfuck, when that something looks much more powerful than brainfuck < 1349606351 873518 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1349606551 817910 :atriq!~nathan@host-84-13-78-216.opaltelecom.net PRIVMSG #esoteric :Prove it TC by emulating Underload < 1349606566 796372 :atriq!~nathan@host-84-13-78-216.opaltelecom.net PRIVMSG #esoteric :Or Eodermdrone < 1349606577 667996 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Or a turing machine < 1349606588 450910 :atriq!~nathan@host-84-13-78-216.opaltelecom.net PRIVMSG #esoteric :If you write an Eodermdrone interpreter you are officially esolanger of the year < 1349606599 392 :atriq!~nathan@host-84-13-78-216.opaltelecom.net PRIVMSG #esoteric :Of 2008, anyway < 1349606667 135110 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1349607190 768284 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :yeay, 2008 was the best year < 1349607269 863099 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hey, do you have a translation for "suite presque nulle" into english? it means "an (infinite) sequence (x0, x1,...) for which there exists N such that for every n > N, xn = 0" < 1349607280 322110 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :(so basically it's an infinite sequence that's not so infinite after all) < 1349607311 802967 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :literally, "suite presque nulle" means "almost zero sequence" < 1349608139 159533 :barts!~barts@p4FD0F2A1.dip.t-dialin.net JOIN :#esoteric < 1349608211 566552 :Jafet!~Jafet@unaffiliated/jafet QUIT :Quit: Leaving. < 1349608333 208487 :barts_!~barts@p4FD0E886.dip.t-dialin.net QUIT :Ping timeout: 256 seconds < 1349608775 664735 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The term "almost all zero" seems to be used in the context of sequences sometimes. < 1349609075 953919 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Could it be a geometric sequence with a ratio between -1 and 1 (exclusive), or is it something else? < 1349609120 419833 :atriq!~nathan@host-84-13-78-216.opaltelecom.net PRIVMSG #esoteric :> [1,2,3,4] ++ repeat 0 < 1349609122 386732 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [1,2,3,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,... < 1349609140 22400 :atriq!~nathan@host-84-13-78-216.opaltelecom.net PRIVMSG #esoteric :Something like that? < 1349609476 842009 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> map x [1..] where x n = 2^(n-1) < 1349609478 116932 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : : parse error on input `where' < 1349609496 105629 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> let x n = 2^(n-1) in map x [1..] < 1349609497 176602 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [1,2,4,8,16,32,64,128,256,512,1024,2048,4096,8192,16384,32768,65536,131072,... < 1349609503 656468 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Woops < 1349609511 898079 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> let x n = (1/2)^(n-1) in map x [1..] < 1349609513 14983 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [1.0,0.5,0.25,0.125,6.25e-2,3.125e-2,1.5625e-2,7.8125e-3,3.90625e-3,1.95312... < 1349609519 401745 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Something like this < 1349609835 382397 :barts!~barts@p4FD0F2A1.dip.t-dialin.net PRIVMSG #esoteric :no it means a sequence where a finite sequence contains all non-zero elements of the sequence < 1349609854 62094 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :So something like what atriq did then < 1349609886 433947 :barts!~barts@p4FD0F2A1.dip.t-dialin.net PRIVMSG #esoteric :not necessarily, the non-zero elements could be interspersed with many zeros as well < 1349609913 410486 :atriq!~nathan@host-84-13-78-216.opaltelecom.net PRIVMSG #esoteric :> [1,2,0,3,0,4] ++ repeat 0 < 1349609915 423995 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [1,2,0,3,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,... < 1349609972 655012 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> repeat 0 ++ [1,5,4,0,2] < 1349609972 890247 :atehwa!atehwa@aulis.sange.fi QUIT :Ping timeout: 248 seconds < 1349609974 665805 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,... < 1349610020 967698 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric < 1349610059 483687 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If there's a finite number of zeros, though, then one of them is the last zero, and that n > N, xn = 0 holds. < 1349610110 360394 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :hmm, did you mean non-zero? < 1349610119 159478 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Quit: ChatZilla 0.9.89-rdmsoft [XULRunner 1.9.0.17/2009122204] < 1349611004 594190 :ion!ion@heh.fi PRIVMSG #esoteric :【MMD】みんなのリズム天国 霊夢のレスラー会見 パーフェクトプレイ http://youtu.be/k9wt5TrI7II < 1349611006 212806 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1349611068 691228 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :olsner: Yes. < 1349611295 745481 :ion!ion@heh.fi PRIVMSG #esoteric :http://i.imgur.com/tRUUT.jpg < 1349611321 846046 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The tRUUT is out there. < 1349612269 83029 :barts!~barts@p4FD0F2A1.dip.t-dialin.net PRIVMSG #esoteric :ion: i agree. < 1349613020 749159 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :yes, what barts said < 1349613028 665474 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :so you can say "almost all zero"? < 1349613041 297269 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :like, "an almost all zero sequence" or something? < 1349613079 202142 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :or "that sequence is almost all zero" < 1349613499 445855 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Or the members/elements of this sequence are almost all zero". < 1349613599 472713 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"-- let R = (r1,r2,...) range over all sequences of non-negative integers which are almost all zero." -- from a random paper. < 1349613959 213726 :jiella!~jiella@cs27103076.pp.htv.fi JOIN :#esoteric < 1349613961 501981 :jiella!~jiella@cs27103076.pp.htv.fi PART :#esoteric < 1349613975 833788 :jiella!~jiella@cs27103076.pp.htv.fi JOIN :#esoteric < 1349614089 470095 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1349615527 871068 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 246 seconds < 1349616378 365759 :mig22!~miguelort@bb116-14-184-160.singnet.com.sg QUIT :Quit: mig22 < 1349616616 362292 :ogrom!~del@gprs-inet-65-28.elisa.ee JOIN :#esoteric < 1349617356 76012 :atriq!~nathan@host-84-13-78-216.opaltelecom.net QUIT :Quit: Leaving < 1349617850 71723 :MoALTz!~no@92.2.121.66 QUIT :Read error: Connection timed out < 1349617907 860327 :MoALTz!~no@host-92-2-121-66.as43234.net JOIN :#esoteric < 1349619013 102842 :MoALTz!~no@host-92-2-121-66.as43234.net QUIT :Read error: Connection timed out < 1349619316 674248 :jiella!~jiella@cs27103076.pp.htv.fi QUIT :Quit: Leaving. < 1349619383 405995 :atriq!~nathan@84.13.78.216 JOIN :#esoteric < 1349619411 360377 :MoALTz!~no@host-92-2-121-66.as43234.net JOIN :#esoteric < 1349619414 274203 :atriq!~nathan@84.13.78.216 PRIVMSG #esoteric :I don't recall seeing itidus20 in a whie < 1349619579 11534 :MoALTz!~no@host-92-2-121-66.as43234.net QUIT :Client Quit < 1349619597 699659 :atriq!~nathan@84.13.78.216 PRIVMSG #esoteric :I hope he's okay < 1349619738 637346 :atriq!~nathan@84.13.78.216 QUIT :Quit: Leaving < 1349619882 721789 :MoALTz!~no@host-92-8-229-250.as43234.net JOIN :#esoteric < 1349619955 23396 :Ginto8!~ginto8@pool-173-72-20-92.cmdnnj.fios.verizon.net QUIT :Ping timeout: 246 seconds < 1349620725 217141 :MoALTz_!~no@host-92-8-230-182.as43234.net JOIN :#esoteric < 1349620874 712961 :MoALTz!~no@host-92-8-229-250.as43234.net QUIT :Ping timeout: 240 seconds < 1349621482 103498 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Apparently Icaros comes with a lolcode interpreter < 1349621520 901999 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1349621787 320190 :barts!~barts@p4FD0F2A1.dip.t-dialin.net PRIVMSG #esoteric :fizzie: that would be an error, you cannot enumerate all such sequences with natural numbers. < 1349621795 598389 :barts!~barts@p4FD0F2A1.dip.t-dialin.net PRIVMSG #esoteric :fizzie: you should inform the author about this. < 1349621896 815012 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :FreeFull, what is icaros and how can i kill the people involved < 1349622067 754723 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Phantom_Hoover: Why kill the people involved? < 1349622073 741180 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :It's a distribution of Aros < 1349622081 286015 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :lolcode is an abomination < 1349622086 985910 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :http://www.icarosdesktop.org/ < 1349622614 573078 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :anyone knows where the names "qdeql" and "sceql" came from? < 1349623190 72874 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :barts: I don't think it was saying that it could; just that R ranges over all such sequences, and r1, r2, ... are the elements of R. < 1349623565 96372 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1349624708 903554 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: which film? < 1349624775 266956 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Why did my client join this channel? < 1349624775 499076 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :elliott: You have 1 new message. '/msg lambdabot @messages' to read it. < 1349624782 17253 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't think I have it on autojoin... < 1349625187 738610 :atriq!~Taneb@host-2-99-93-33.as13285.net JOIN :#esoteric < 1349625488 987555 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :@messages? < 1349625489 182493 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Sorry, no messages today. < 1349626255 143227 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :so really nobody has implemented eodermdrome? < 1349626271 22227 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :it seems like it should not be that hard to produce a slow implementation < 1349626271 930664 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :No < 1349626285 412187 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :oklopol began, according to the lore of #esoteric < 1349626290 340085 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :But never finished < 1349626292 928454 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: i think the problem is that the slow implementation is way too slow < 1349626308 880371 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: or maybe just that everyone who is the kind of person who would implement it is the kind of person who wants to use the fancy algorithms to make it fast < 1349626327 972681 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :well my fancy algorithm would be "someone else's SAT solver" < 1349626337 816228 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that is so cheating < 1349626391 293587 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :well ;P < 1349626453 801576 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :elliott, what makes reify 6 (\p -> reflect p + reflect p) better than (\p -> p + p) 6? < 1349626479 574506 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :atriq: they're not the same thing < 1349626484 80701 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the "p" value is irrelevant < 1349626494 817067 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it is its *type* that matters < 1349626497 218384 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :p there is just Proxy < 1349626503 81567 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's just Proxy of the right type < 1349626509 854973 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :let me get an example i hpasted ages ago < 1349626527 386313 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :atriq: http://hpaste.org/66715 < 1349626567 962246 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :atriq: basically in this example, you can think of the p in "forall p. (Reifies p MyConfig) => ..." as a *value* of type MyConfig < 1349626574 45778 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :just it exists at the type level < 1349626576 693759 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :lifted there by reify < 1349626580 165884 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and brought back down by reflect < 1349626690 241882 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :I'm not really understanding this < 1349626752 305334 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's ok, I didn't either :p < 1349626765 404791 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :atriq: basically, think of reify as turning a value into a type, and reflect as turning a type into a value < 1349626781 413015 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :when you do reify 6 (\p -> ...), p :: Proxy s (for some s we *don't know*) < 1349626789 538445 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you can think of that s as an Integer at the type level < 1349626791 647297 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so p :: Proxy 6 < 1349626810 547876 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :Okay < 1349626810 743019 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and since you have (Reifies s Integer), you can do reflect p :: Integer < 1349626815 796365 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but the value p doesn't matter < 1349626821 133926 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you only get passed the value p so you have a way to get at the type < 1349626825 536794 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :meanwhile: * voidf (befd1cd9@gateway/web/freenode/ip.190.253.28.217) has joined #haskell how to return the type in a function? < 1349626831 155926 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :atriq: imagine if the proxy wasn't there < 1349626834 686825 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you'd have < 1349626838 346421 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :reify :: a -> (forall s. Reifies s a => r) -> r < 1349626844 105419 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but of course that's invalid, because you don't reference "s" anywhere < 1349626880 911512 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :atriq: anyway a compelling example is modular arithmetic < 1349626907 756958 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :atriq: with reflection, we can have a type (Mod p Integer) < 1349626911 828590 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :atriq: which represents integers, mod p < 1349626917 953181 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :Okay < 1349626921 327073 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :atriq: and it can be an instance of Num < 1349626925 619996 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :Oh, I see < 1349626932 218949 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because we use reflection to reify the p being used into the type parameter p there < 1349626943 133028 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I think I hpasted that too, let me find it < 1349626970 679878 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :atriq: http://hpaste.org/66565 < 1349626980 311789 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :actually it's (Mod Integer p) there < 1349626984 166709 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :Actually, I was wondering how you could do that the other day < 1349626987 860331 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :which is slightly inferior: you can't give it a Functor instance < 1349626991 603577 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but whatever < 1349626991 798157 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :Wow < 1349627018 272388 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :atriq: note that although "modular n = r where r = Modular (n `mod` modulus r)" appears to be circular, it is actually just a silly trick < 1349627025 329777 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :atriq: modulus doesn't examine its value, it only cares about the type < 1349627042 488952 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so we just use that circularity because Modular (n `mod` modulus ...) happens to have the type we want to give modulus (i.e. n `Mod` p) < 1349627045 431584 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :to get the modulus value < 1349627053 566735 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :anyway look at the commented-out modulo definition instead < 1349627062 109418 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it does more or less the same thing but without the hack < 1349627070 368949 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh! < 1349627071 66500 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i lie < 1349627077 260365 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :modular turns an integer into the mod form < 1349627082 746354 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :modulo' takes it out < 1349627100 411278 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :modulo is just modulo' but less general < 1349627105 480565 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but modulo is the actual useful one, so look at it instead < 1349627107 670146 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :atriq: anyway basically you can do: < 1349627134 646834 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :atriq: ((4 + 4) * 2) `modulo` 8 :: Integer < 1349627144 34249 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :atriq: and get 0 < 1349627156 757205 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but it's not just mod, because the mod is done at each step, of course, like regular modular arithmetic < 1349627172 227481 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :atriq: and, as a bonus, the "4" and "2" inside actually have a type that encodes the 8 < 1349627181 476529 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so you can't mix them with regular Integers or so on without conversion < 1349627201 741859 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :anyway reflection is sort of confusing but once you get the hang of it, it is very cool < 1349627207 507968 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I think the original Oleg paper also did the modular arithmetic thing < 1349627473 390565 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :I think I understand it < 1349627474 549714 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :now < 1349627486 23210 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: you might enjoy this GHC dark magic: http://hpaste.org/66699 < 1349627490 820526 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(oleg's reimplementation of reflection) < 1349627526 74164 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :atriq: (you may also find the simpler modular arithmetic definition it comes with helpful for understanding it) < 1349629954 752879 :atriq!~Taneb@host-2-99-93-33.as13285.net QUIT :Ping timeout: 260 seconds < 1349630325 792817 :atriq!~Taneb@host-2-99-93-33.as13285.net JOIN :#esoteric < 1349630499 14241 :jiella!~jiella@cs27103076.pp.htv.fi JOIN :#esoteric < 1349630959 900833 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1349631075 59516 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1349631601 940635 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 245 seconds < 1349631705 338393 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :no, i finished eodermdrome < 1349631727 392231 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :it's just graph rewriting, it's not hard to do. but also what elliott said. < 1349631771 432512 :ogrom!~del@gprs-inet-65-28.elisa.ee QUIT :Quit: Left < 1349631850 705044 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :" has someone done some work about equivalency between programming languages in terms of complexity?" at least between different models of computation < 1349631890 183343 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :at least iirc i finished it, it's definitely gone in any case. < 1349631962 912576 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :oh, you finnished it? < 1349632025 17195 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :yes < 1349632028 501352 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Does "finnishing" mean the same as finishing and subsequently misplacing the finished thing? < 1349632034 397529 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :yes < 1349632040 754559 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :or finishing and violently deleting < 1349632044 218909 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :gave it some koskenkorva and didn't speak a word to it for years. < 1349632051 893877 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :hmm < 1349632054 830699 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :that's a nice definition < 1349632064 295234 :oklopol!~oklopol@dyn58-51.yok.fi PRIVMSG #esoteric :fizzie's that is < 1349632499 10044 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :yes, I think it's funnier if you imagine a more violent end than just misplacing it though < 1349632810 339914 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :olsner: What are you implying there! Finns aren't violent. < 1349632938 336513 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :oh, of course not < 1349632995 558731 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :RARRR I HIT YOU WITH AN AXE FOR IMPINGING ON MY HONOR < 1349633011 905362 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Sorry, in retrospect that's more of a Norwegian thing to do. < 1349633020 812325 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :yeah, everyone knows the finn's weapon of choice is the knife < 1349633066 684462 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I suppose. Though we do have a certain amount of ax-related crime too, I believe. < 1349633084 609936 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's like, the people living in cities knife each other, while the people living in the countryside use axes. < 1349633090 485488 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But we're not a violent people. < 1349633118 896605 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Back when I quoted from Finnish songs a while ago there was an axe involved. < 1349633122 254360 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :In the lyrics, I mean. < 1349633241 920872 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Maybe I should learn how a complicated library works before trying to fix it. < 1349633425 950432 :jiella!~jiella@cs27103076.pp.htv.fi PRIVMSG #esoteric :fizzie: There was the one axing incident in the metro in Helsinki though. < 1349633590 613605 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1349633626 23609 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: _The Big Lebowski_ < 1349633631 99968 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :axe and you shall receive < 1349633652 601480 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :jiella: Well, I'm sure. It was a sort of a generalization. < 1349633666 744998 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's probably been a large number of stabbings in the countryside, too. < 1349633669 117556 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :axe not for whom the bell tolls < 1349633705 866440 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's natural to use an axe when you're out chopping down trees anyhow < 1349633762 870765 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i never heard of any incidents with axes in uk undergrounds < 1349633786 539486 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: Don't put all your eggs in one baxet. < 1349633789 13277 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: are finns ever happy < 1349633803 178679 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :17:41:45: no, i finished eodermdrome < 1349633808 270835 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :wasn't your interpreter crazy slow < 1349633811 746307 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Olen metsuri ja olen kunnossa! Nukun koko yön, ja työskentelen koko päivän! < 1349633865 165248 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: I'm a Finn and I am sometimes. < 1349633933 211865 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :amazingly, google translate seemed to have no problem at all with that sentence < 1349633970 615767 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's reasonable cogent. Though the translation of the "I'm okay" part is maybe not the best one for that context. < 1349633988 921840 :jiella!~jiella@cs27103076.pp.htv.fi PRIVMSG #esoteric :fizzie: Tja, mainly I find it funny that the only axe killing I can remember was done in a Helsinki metro... You can't really get any more urban than that in Finland. < 1349634002 443525 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: when i used "OK" it gave OK in the answer, so i changed it. < 1349634024 641216 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*translation < 1349634046 245213 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: "And have buttered scones for tea" => "Ja on voideltuun teeleipiä teen" -- "And has buttered scones for tea" => "Ja on buttered teeleipiä teen". < 1349634055 716630 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: I have no idea why it doesn't know about "buttered" in the second case. < 1349634111 483291 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's because a single person cannot have buttered scones < 1349634127 755105 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But it's in the first person in the first case. < 1349634129 624556 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you need to be at least two to share the joy < 1349634135 193267 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh. < 1349634141 978030 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :First person singular, I mean. < 1349634153 546117 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :On Wednesdays I go shoppin' / And have buttered scones for tea. < 1349634175 899802 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oerjan: certainly a single person can < 1349634181 541941 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's not _entirely_ unlikely someone put that exact text into google translate before. < 1349634190 511062 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :coppro: shush, you < 1349634201 946301 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"I cut down trees. I wear high heels." => "Olen kaataa puita. En käytä korkokenkiä." < 1349634206 272603 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Sometimes it inverts the meaning. < 1349634223 785807 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :this conversation would be more interesting if I knew finnish < 1349634301 857243 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :you don't know finnish? < 1349634343 410288 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: it reinverts it in the other direction too... < 1349634404 388241 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"En käytä korkokenkiä. Käytän korkokenkiä." => "I wear high heels. I use high heels." < 1349634414 904865 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Machine learning in action. < 1349634490 216608 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Älä ammu, tulemme rauhassa! < 1349634507 189450 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if it were an _evil_ machine, it would invert that. did it? < 1349634518 419766 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :No. < 1349634526 877069 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm, fiendish. < 1349634544 509514 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :finndish < 1349634545 196589 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"We come in peace, we shoot to kill" also goes through moderately right. Though the latter part is just atrocious grammar. < 1349634558 378286 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :("Tulemme rauhassa, me ampua tappaa.") < 1349634642 779501 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: But "I wear shoes" turns into "I don't wear shoes". < 1349634661 778406 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: And "I wear hats" to "I don't wear hats". < 1349634677 842806 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But "I wear cloths" is approximately "I clothes". < 1349634686 121401 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :With the e in the source, too. < 1349634701 117326 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"I wear pants" => "I don't wear pants". Well, it's reasonably consistent. < 1349634710 307840 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1349634718 975756 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so it has some trouble with finns wearing things. probably because of all the sauna. < 1349634750 580501 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Plain "I wear" turns (understandably) into "I don't wear/use". (The word has both meanings.) < 1349634781 984334 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :so that you can reuse the same sentence to say what you're wearing inside and outside the sauna? < 1349634807 365318 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nah you need to use the saunative case < 1349634814 674479 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe I should fix some of those translations and see if it takes. < 1349634867 23223 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, it remembered it for me. < 1349634895 553608 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Aw, no longer when I cleared the whole input text. < 1349635062 326135 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : hey, do you have a translation for "suite presque nulle" into english? it means "an (infinite) sequence (x0, x1,...) for which there exists N such that for every n > N, xn = 0" < 1349635068 661793 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :eventually zero, i think < 1349635088 788849 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 255 seconds < 1349635140 186459 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> 1:2:3:(repeat 0) < 1349635141 216114 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [1,2,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,... < 1349635166 840902 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell Arc_Koen "eventually zero sequence" < 1349635167 36306 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1349635174 798671 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> seq ([1..]++[0,0..]) < 1349635175 822097 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Overlapping instances for GHC.Show.Show (t -> t) < 1349635176 17040 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising from a use of `... < 1349635191 872933 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t seq < 1349635192 825301 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a t. a -> t -> t < 1349635206 580117 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t ([1..] ++ [0,0..]) < 1349635207 747691 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall t. (Num t, Enum t) => [t] < 1349635212 312307 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :seq is the strictness forcing primitive < 1349635219 613877 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Oh, wrong thing < 1349635228 837531 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, the parentheses around repeat 0 are redundant < 1349635233 363848 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> subsequences [1,2,3] < 1349635234 368087 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [[],[1],[2],[1,2],[3],[1,3],[2,3],[1,2,3]] < 1349635245 897984 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: But what are all the instances of Show (t -> t) that lambdabot has? < 1349635271 603513 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> subsequences ([1..]++ repeat 0) < 1349635273 37373 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> print "a" < 1349635273 266129 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : can't find file: L.hs < 1349635276 732662 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh < 1349635277 285888 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : < 1349635282 791558 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :L.hs? < 1349635293 49818 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: race condition, i think < 1349635302 299070 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :race with someone doing @let? < 1349635315 376983 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or with me, i dunno < 1349635325 512095 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi oerjan < 1349635327 242203 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :My query got this at about the same time: 21:41 Plugin `more' failed with: thread killed < 1349635334 748340 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hɨ < 1349635343 652046 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: it has one instance that is like that IO one, and which used to be used. but then a conflicting one got accidentally imported from some other module. < 1349635369 162761 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and it's impossible to fix that without removing one of the imports completely < 1349635382 417626 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> subsequences ([1..]++ repeat 0) < 1349635382 940980 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not that everything in lambdabot that _could_ be fixed, has been. < 1349635384 389025 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [[],[1],[2],[1,2],[3],[1,3],[2,3],[1,2,3],[4],[1,4],[2,4],[1,2,4],[3,4],[1,... < 1349635396 839867 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: Apparently there's something from smallcheck-0.4:Test.SmallCheck according to that @more. < 1349635399 899494 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: [1..]++ repeat 0 = [1..], it never gets to the second part < 1349635401 240009 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Of course it's never going to get to the zeroes, but you get the point < 1349635433 502921 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if you use a bounded number instance, it might, though < 1349635443 571628 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Int, in theory, although it'll take a while < 1349635496 775839 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :> (reverse . take 10 . reverse) [(1::Int8)..] < 1349635498 745778 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [118,119,120,121,122,123,124,125,126,127] < 1349635500 551186 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fancy. < 1349635556 322417 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :blah. < 1349635560 918763 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :fuck intervals < 1349635563 537389 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bleh? < 1349635565 267052 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :singing is hard < 1349635574 917188 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh not intervals in math... < 1349635577 29558 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :does anyone know whether Windows 8 will actually require GPT or not < 1349635584 716430 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott: gpt? < 1349635588 21739 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION was thinking coppro was really struggling there < 1349635589 574151 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :gpt < 1349635604 344256 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://en.wikipedia.org/wiki/GUID_Partition_Table < 1349635609 75442 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :coppro: listening to someone failing at singing is even harder, hth < 1349635649 615049 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oerjan: well that's precisely what I'm doing < 1349635651 781588 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :failing at singing, I mean < 1349635695 852460 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so i hope for humanities sake that you're out of earshot. < 1349635702 543251 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*humanity's < 1349635707 221062 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :i want a game to play < 1349635708 529718 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: Hasn't that Consumer Preview version been out a while now? You'd think someone would have mentioned this in the interwebs. < 1349635746 70465 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Does it depend whehter you are also, singing just intonation or equal temperament or whatever, and also what range you sing (soprano, alto, tenor, bass, and whatever else)? < 1349635748 657013 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well i googled < 1349635751 153667 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but the results weren't so useful < 1349635779 265300 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: i am _pretty_ sure it depends on range. < 1349635805 885932 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :like, i wouldn't recommend anyone listening to my soprano. < 1349635811 834939 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*listen < 1349635835 561951 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :zzo38: I am a baritone < 1349635853 200724 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It is why I play piano, I can play the soprano, alto, tenor, and bass, all at the same time. < 1349635864 137898 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :indeed < 1349635867 122206 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :coppro: O, OK, yes I forgot that one. < 1349635887 761548 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :barely tones < 1349635975 940588 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I knew someone who sing all ranges < 1349635986 527553 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :all? < 1349635990 934058 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :*unlikely* < 1349636040 703182 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Up to the highest soprano and down to the lowest bass. Her chorus was best one and always won any contests they were in at singing good. < 1349636069 509795 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It is because they sing all range. < 1349636095 439561 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :*unlikely* < 1349636113 92147 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i read that Ivan Rebroff had an enormous range < 1349636113 754804 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I could believer, perhaps, that she could sing down to the bottom of a contralto range < 1349636125 937381 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :but that's a good octave above a bass < 1349636211 428656 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: 4.5 octaves apparently < 1349636236 863928 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"Ivan Rebroff (31 July 1931 – 27 February 2008) was a German singer, allegedly of Russian ancestry, with an extraordinary vocal range of four and a half octaves, ranging from the soprano to bass registers.[1]" < 1349636283 529574 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I find it particularly hard to believe for a woman because you can extend your range upwards with falsetto < 1349636304 273913 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :but you can't significantly extend it downward in the same fashion < 1349636314 447065 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :... falsetto hurts < 1349636602 353445 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell Arc_Koen "almost all zero" is ambiguous since it might mean some kind of zero density, but still infinite number of indices. < 1349636602 553656 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1349636684 501081 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell Arc_Koen for the non-zeroes, i mean. < 1349636684 696215 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1349636695 714353 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: It might be ambiguous, but it was being used in the "finite nonzeros" sense in the webtubes. < 1349636725 170621 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...it's the kind of ambiguity that might differ between field. < 1349636752 582227 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"eventually zero" does seem perhaps slightly more popular, though. < 1349636789 370536 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Almost_all lists both meanings. < 1349636793 230385 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Read error: Operation timed out < 1349636806 618312 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(as well as some for non-sequences) < 1349636880 261931 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: I don't see it mentioning sequences at all. < 1349636935 603303 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well, the subset of natural numbers ones < 1349636947 80905 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which is isomorphic to speaking about sequences >:) < 1349636966 941186 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"A simple example is that almost all prime numbers are odd. (Two is a prime number.)" < 1349636976 829755 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"Thus, almost all positive integers are composite (not prime), however there are still an infinite number of primes." < 1349636979 819924 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1349637003 49243 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: Hokay. < 1349637007 874334 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1349637022 347534 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: special occasion? < 1349637030 233585 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh you timed out before < 1349637032 917959 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what < 1349637037 915094 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1349637050 419049 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elliott: special occasion for you tho? < 1349637063 404663 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: apparently I put #esoteric on autojoin by mistake < 1349637072 773004 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :happens to everyone < 1349637093 148574 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: well before like yesterday I joined eight channels by hand every time I opened xchat < 1349637096 141525 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so < 1349637109 419210 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :happy happenings < 1349637450 543846 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1349637584 744036 :atriq!~Taneb@host-2-99-93-33.as13285.net QUIT :Ping timeout: 260 seconds < 1349637943 869364 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Then make a macro for each group of channels you want to join, perhaps? < 1349637965 26142 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I think xchat must support macros, isn't it? < 1349637986 812596 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :/alias dontdothiseveragain join #esoteric < 1349640852 839828 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 248 seconds < 1349641193 914234 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Read error: Connection reset by peer < 1349641335 631640 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1349642146 17798 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1349642356 859650 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 248 seconds < 1349643094 528007 :atriq!~Taneb@host-2-99-93-33.as13285.net JOIN :#esoteric < 1349643254 439662 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :How can I alter the volume of my computer using ssh? < 1349643265 175898 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :Volume as in loudness < 1349643271 947507 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :Not as in length cubed < 1349643289 45458 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ssh SPEAK LOUDER < 1349643302 699930 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :Oh, that's helpful < 1349643307 400667 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i know < 1349643330 176704 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :It could not resolve hostname < 1349643390 461388 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :how incompetent < 1349643612 7061 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1349643751 199720 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :I've ssh'd to my other computer < 1349643765 864051 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :Is it possible to get files from it over here? < 1349643799 186721 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I think there is "scp" command to copy files between computers using SSH? < 1349643838 946272 :aloril_!~aloril@dsl-tkubrasgw3-fe7ef900-153.dhcp.inet.fi QUIT :Read error: Operation timed out < 1349643883 473254 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :Actually, all I really want to do is make my computer an alarm clock < 1349643909 35132 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :I was thinking a cron thingy to start rhythmbox < 1349643975 505352 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi QUIT :Read error: Operation timed out < 1349644216 229484 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I found a mistake in line 154, 155, 164, 165 of one of the files included with FurryScript; it says instead of so results in wrong output. I will fix it now. < 1349644257 965225 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Copy-paste error? < 1349644286 707260 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't know why; but I fixed it now. < 1349644347 628155 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi JOIN :#esoteric < 1349644368 303951 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :Why am I using ssh to access the computer in my bedroom to mess with GHCi? < 1349644383 948777 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric ::t flip flip (repeat ()) . scanl . (const .) < 1349644385 46230 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. (a -> a) -> a -> [a] < 1349644386 230824 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Actually, I figured it out: It was in the original file, but I renamed it to for some reason (I fail to remember) and did not correct all of the references to it. < 1349644398 892659 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :iterate in terms of scanl < 1349644413 435184 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :And flip and repeat and const < 1349644418 772363 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :and (.) and () < 1349644421 833693 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :But mostly scanl < 1349644443 515091 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :atriq: Are you at home? If so shouldn't you just go into your bedroom to access the computer directly? < 1349644448 551573 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Why am I using ssh to access the computer in my bedroom to mess with GHCi? <-- you're probably distantly related to Rube Goldberg somehow < 1349644457 602935 :aloril_!~aloril@84.249.126.153 JOIN :#esoteric < 1349644467 361957 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :zzo38, I don't exactly own a screen. < 1349644479 403820 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t flip flip < 1349644480 497490 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall (f :: * -> *) a b. (Functor f) => a -> f (a -> b) -> f b < 1349644480 846247 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :I borrow the family computer's screen sometimes, but my mum's using it < 1349644498 264920 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :b -> (a -> b -> c) -> a -> c < 1349644510 262388 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric ::t flip < 1349644511 415846 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall (f :: * -> *) a b. (Functor f) => f (a -> b) -> a -> f b < 1349644528 275464 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :I suppose that's one way of doing flip < 1349644558 166250 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :caleskell is _slightly_ generalized.... < 1349644567 179241 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :atriq: Yes it is one thing I thought might have been, if that computer lacks a console for any reason you need to access it remotely. < 1349644572 281635 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :So... you need Functor for C and B, Applicative for K and S, and Monad for W < 1349644572 850585 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that flip is sometimes useful < 1349644592 216560 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :What's I in this sence < 1349644594 893981 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric ::t id < 1349644596 13485 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. a -> a < 1349644606 476270 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :iirc i prefer to call that flip strong < 1349644607 46629 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ask from Reader < 1349644609 473549 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :You can make up I using S and K < 1349644612 607942 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :since I think it's equivalent to a proof that all Functors are strong? < 1349644616 750052 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric ::t undefined :: Functor f => f a < 1349644617 755070 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall (f :: * -> *) a. (Functor f) => f a < 1349644625 727877 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :Wait < 1349644632 459240 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :Is that empty? < 1349644636 762854 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :No. < 1349644639 437213 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :Can't be. < 1349644640 734915 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no, that's undefined < 1349644650 187468 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :Yes. < 1349644654 323081 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> undefined < 1349644655 343015 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : *Exception: Prelude.undefined < 1349644655 962414 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it isn't anything < 1349644661 152871 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :I meant < 1349644662 739079 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric ::t empty < 1349644663 771797 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Ambiguous occurrence `empty' < 1349644663 967693 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : It could refer to either `Control.Applicative.empty', imported from Control.Applicative < 1349644663 967865 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : or `Text.Regex.Posix.empty', imported from Text.Regex.Posix at State/L.hs:55:0-22 < 1349644671 606519 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric ::t empty :: Alternative f => f a < 1349644672 635050 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Ambiguous occurrence `empty' < 1349644672 829690 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : It could refer to either `Control.Applicative.empty', imported from Control.Applicative < 1349644672 829888 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : or `Text.Regex.Posix.empty', imported from Text.Regex.Posix at State/L.hs:55:0-22 < 1349644683 56337 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric ::t Control.Applicative.empty < 1349644684 181314 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall (f :: * -> *) a. (Alternative f) => f a < 1349644714 703174 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric ::t ap return return < 1349644715 730295 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Ambiguous type variable `m' in the constraint: < 1349644715 924703 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : `Monad m' arising from a use of `return' at :1:10-15 < 1349644716 119376 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Probable fix: add a type signature that fixes these type variable(s) < 1349644742 222534 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t scanl < 1349644743 311880 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a b. (a -> b -> a) -> a -> [b] -> [a] < 1349644845 882567 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (scanl . (const .)) `flip` repeat () < 1349644846 926485 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall b. ([()] -> [()]) -> [b] -> [[()]] < 1349644849 930595 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1349645087 514665 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t scanl . (const .) < 1349645088 520238 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall b a. (a -> a) -> a -> [b] -> [a] < 1349645115 744613 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (fix .) . scanl . (const .) < 1349645116 894555 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. (a -> a) -> a -> [a] < 1349645131 459909 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> ((fix .) . scanl . (const .)) (+1) 0 < 1349645133 376665 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,... < 1349645179 394925 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric ::t unfoldr . (.) Just . ap (ap . ((,) .)) id < 1349645180 365238 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. (a -> a) -> a -> [a] < 1349645191 163335 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :iterate in terms of unfoldr < 1349645213 855336 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :@unpl unfoldr . (.) Just . ap (ap . ((,) .)) id < 1349645214 70460 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(\ h -> unfoldr (\ c -> Just (((\ t y -> (\ ac -> ((,)) (t ac)) >>= \ v -> y >>= \ u -> return (v u)) >>= \ m -> (\ e -> e) >>= \ l -> return (m l)) h c))) < 1349645219 930027 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :Yes < 1349645224 796207 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :I meant... < 1349645239 130595 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric ::t \f -> unfoldr (\a -> Just (f a, f a)) < 1349645240 223222 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. (a -> a) -> a -> [a] < 1349645314 897158 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1349645387 219084 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t \f -> unfoldr (Just . join (&&&) . f) < 1349645388 259888 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instance for (Arrow (,)) < 1349645388 455701 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising from a use of `&&&' at :1:27-31 < 1349645388 455895 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Possible fix: add an instance declaration for (Arrow (,)) < 1349645392 619921 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh < 1349645414 816125 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric ::t join (&&&) < 1349645415 877928 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall (a :: * -> * -> *) b c. (Arrow a) => a b c -> a b (c, c) < 1349645433 335404 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric ::t \f -> unfoldr (Just . join (&&&) f) < 1349645434 419590 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall b. (b -> b) -> b -> [b] < 1349645449 830744 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh right < 1349645476 410935 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t unfoldr . (Just .) . join (&&&) < 1349645477 506567 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall b. (b -> b) -> b -> [b] < 1349645494 647781 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :Doing it in terms of foldr... < 1349645497 312450 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :Tricky < 1349645519 694895 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :foldr is like breaking up lists, not building them < 1349645536 974722 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :I have a feeling it's possible < 1349645540 725537 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Does (,) form a semigroupoid (category except identity)? < 1349645590 734054 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :zzo38, so you want (.) :: (b, c) -> (a, b) -> (a, c) < 1349645608 963996 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what is id :: (a, a) < 1349645613 701280 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :atriq: Yes and associative < 1349645617 695796 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1349645620 880548 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :elliott: Nothing, which is why it is not a category < 1349645621 307353 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i didn't read what zzo38 said < 1349645632 366498 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: barely avoiding a swat there < 1349645644 254080 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's not an instance of http://hackage.haskell.org/packages/archive/semigroupoids/3.0/doc/html/Data-Semigroupoid.html < 1349645645 450209 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so I bet no < 1349645659 819524 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :thanks science < 1349645664 683495 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :Let's go with the simple (_, c) . (a, _) = (a, c) < 1349645675 965228 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well that is literally the only way you can define that type < 1349645687 484177 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :For associativity, we need (a . b) . c = a . (b . c) < 1349645692 559261 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :atriq: Yes that is what I thought. < 1349645696 3461 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :looks pretty associative to me :P < 1349645719 867263 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :let a = (1, 2), b = (3, 4), c = (5, 6) < 1349645737 967435 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :a . b = (3, 2) < 1349645746 204992 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :(a . b) . c = (5, 2) < 1349645768 855529 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :b . c = (5, 4) < 1349645782 296484 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :a . (b . c) = (5, 2) < 1349645784 946024 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :Associative < 1349645789 833673 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :Hurrah < 1349645799 162931 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@check let (_, c) . (a, _) = (a, c); (.) :: (Int, Int) -> (Int, Int) -> (Int, Int) in \x y z -> x . (y . z) == (x . y) . z < 1349645800 233683 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "OK, passed 500 tests." < 1349645815 209735 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :So it's a semigroupoid < 1349645820 358098 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: you realise atriq's proof was fully rigorous right :P < 1349645824 918057 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :since 1, 2, 3, 4, 5, 6 are just variables there < 1349645849 690384 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: well i would if i had been looking at it while constructing the quickcheck < 1349645865 653009 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :imo type faster < 1349645866 492224 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What is this semigroupoid normally called in mathematics? < 1349645882 336070 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@scheck let (_, c) . (a, _) = (a, c); (.) :: (Bool, Bool) -> (Bool, Bool) -> (Bool, Bool) in \x y z -> x . (y . z) == (x . y) . z < 1349645883 564767 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "OK, passed 500 tests." < 1349645891 395297 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@list scheck < 1349645891 589601 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No module "scheck" loaded < 1349645893 686202 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :isn't scheck just check < 1349645894 999788 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@list check < 1349645895 194801 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :check provides: check < 1349645897 253673 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@smallcheck < 1349645897 451002 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Unknown command, try @list < 1349645900 125105 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i realized < 1349645909 849770 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :You could make it into a category by adding an identity, like newtype X a b = X (Maybe (a, b)); < 1349645925 365833 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Just like you can make a semigroup into a monoid like that too < 1349645938 910426 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :heh < 1349645968 139006 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: you'd have an identity between non-neighboring elements too, then < 1349645971 867440 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Maybe (a, b) is the weirdest category I ever heard of < 1349645977 395718 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is it useful for anything < 1349645981 562578 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*non-equal < 1349645982 767010 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :Probably not! < 1349646022 57459 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :oerjan: Yes I know it allows it, unless you make a GADT to make such thing prohibited < 1349646022 522976 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: oh that doesn't work when a is not b < 1349646051 151318 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :how would you compose a Nothing in X a b with a Just in X b c < 1349646078 910949 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I can see how it won't work now, which is why it has to be a GADT instead. < 1349646082 961632 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: Sleeptime < 1349646084 666252 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you need a GADT for this to work, yeah < 1349646087 84610 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: data X a b where X :: Maybe (a, a) -> X a a < 1349646089 280193 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"p e r f e c t" < 1349646100 498841 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :Is it one of these thingies? http://hackage.haskell.org/packages/archive/data-lens/2.10.2/doc/html/Control-Category-Product.html < 1349646109 484507 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: ERRR... < 1349646114 113197 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :data X :: * -> * -> * where { Id :: X a a; Pair :: a -> b -> X a b; }; < 1349646117 538592 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :No, it isn't < 1349646121 216362 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :Mystery solved < 1349646185 309564 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: what < 1349646200 840846 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: it's a category! < 1349646206 954655 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :O KAY < 1349646240 404355 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :If anyone can find a use for this, I'll be amazed < 1349646245 947866 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes I see elliott's code is a category, but it is the wrong one. < 1349646294 513157 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: http://hpaste.org/75855#a75927 < 1349646297 287423 :atriq!~Taneb@host-2-99-93-33.as13285.net PRIVMSG #esoteric :Goodnight < 1349646299 84488 :atriq!~Taneb@host-2-99-93-33.as13285.net QUIT :Quit: Leaving < 1349646307 688180 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :⊸ < 1349646435 686562 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :⅋ is pretty crazy too < 1349646444 122441 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: standard linear logic symbols!! < 1349646446 680940 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :THE JOKE IS: linear logic is crazy < 1349646643 644721 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :do you k now how this thing works im too lazy to figure it out < 1349646668 443107 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :and im guessing overture is an alternative to prelude?? < 1349646678 362106 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ye but you can just ignore the overture thing I don't think it uses anything special from it < 1349646693 642224 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's stream processing except it's done w/ linear logic!! < 1349646715 13219 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i forget whatever i knew about linear logic < 1349646877 694145 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What is this category that I wrote about, is called, in a mathematics? < 1349647188 45776 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: i'm not sure but it's also the product of two simpler ones: one with Hom(A, B) = A and one with Hom(A, B) = B < 1349647350 284344 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 264 seconds < 1349647486 775600 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the former is Const, is it not? although it isn't listed as an instance in that semigroupoid package < 1349647505 670149 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :OK < 1349647956 601479 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I love the Internet Standard Content Rating System < 1349647962 763620 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :it has two categories: SFW and NSFW < 1349648055 74816 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :standard eh < 1349648085 955384 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :can I give a five star and two thumbs up rating < 1349648304 255684 :sirdancealot7!~sirdancea@98.82.broadband5.iol.cz QUIT :Read error: Connection reset by peer < 1349648610 701392 :augur!~augur@c-69-250-16-111.hsd1.md.comcast.net JOIN :#esoteric < 1349648702 767160 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you _may_, but you cannot. < 1349648931 122550 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oops, did I forgot to sign < 1349648931 317289 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Arc_Koen: You have 3 new messages. '/msg lambdabot @messages' to read them. < 1349648936 792867 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :woooooouh people love me < 1349648947 433162 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :my guess: three of those people are Oerjan < 1349648947 871003 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :they might all be "fuck you" < 1349648955 739656 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :_might be_. < 1349648955 934575 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :@messages < 1349648956 129755 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :oerjan said 3h 49m 49s ago: "eventually zero sequence" < 1349648956 325023 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :oerjan said 3h 25m 53s ago: "almost all zero" is ambiguous since it might mean some kind of zero density, but still infinite number of indices. < 1349648956 325229 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :oerjan said 3h 24m 31s ago: for the non-zeroes, i mean. < 1349648986 806956 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell elliott fuck you < 1349648987 1684 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1349648990 276380 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hmmm right < 1349649036 798360 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@ask oerjan <3 < 1349649037 236968 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1349649042 240748 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i wouldn't want elliott to be disappointed < 1349649042 435263 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :oerjan: You have 1 new message. '/msg lambdabot @messages' to read it. < 1349649048 58945 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages < 1349649048 253937 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :elliott asked 12s ago: <3 < 1349649053 987564 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ooh < 1349649069 20058 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I think in france we have a consensus that subsets of a countable set cannot have a measure zero if they are themselves infinite < 1349649118 334728 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Arc_Koen: "measure" is a technical term which does not work well with the whole space being countable. if you want any uniformity. < 1349649119 435670 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :or maybe we just assume that something more complicated than "a sequence with a finite number of non-zeroes" deserves a more complicated name than "suite presque-nulle" < 1349649176 440426 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :though I guess the sequence (1, 0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 1, ...) could be considered to have not many non-zeroes as well < 1349649182 882941 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Arc_Koen: the wikipedia article on "Almost all" mentions as an example that Almost all integers are composite < 1349649194 27871 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :for one of the meanings. < 1349649205 375860 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :er, all natural numbers, i guess. < 1349649229 887807 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :"Almost all" is sometimes used synonymously with "all but [except] http://en.wikipedia.org/wiki/Finite_set many" (formally, a http://en.wikipedia.org/wiki/Cofinite set) or "all but a http://en.wikipedia.org/wiki/Countable_set" (formally, a http://en.wikipedia.org/wiki/Cocountable set); see http://en.wikipedia.org/wiki/Almost. < 1349649236 116467 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :errh, pardon my horrible pasting < 1349649262 712488 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yep, sometimes. and sometimes it's used completely differently. < 1349649270 664519 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :but yeah that sentence at the beginning of the article basically means "what 'almost all' means depend on the context" so it's not very helpful < 1349649306 35000 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it _is_ very helpful, it tells you it's ambiguous :P < 1349649331 282417 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :what isn't < 1349649347 227197 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"eventually" >:) < 1349649374 258769 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :also, yeah, it's been a while since the last measure theory class I attended < 1349649399 306977 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :(which is kinda sad, in a sense) < 1349649425 973802 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oerjan: (1, 2, 0, 3, 4, 5, 6, ...) is eventually 0! < 1349649436 767196 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :come to think of it, you could probably use it for all but a meagre set, too... < 1349649616 120351 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oops... once more I felt short of being loyal to my earlier "let's get to bed early tonight" resolution < 1349649675 260155 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i usually do that. < 1349649692 373361 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sometimes by half a day. < 1349649694 933886 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :go to bed early? < 1349649707 553554 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, fall short. < 1349649772 891224 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I think esolangs.org owes me sleep < 1349649799 864756 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think it has very little to pay with < 1349649873 347205 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :well I usually spend more time volunteering than actually working, so I guess my time isn't so expensive < 1349649891 944084 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, Ndeql looks evil. < 1349649900 96381 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hehe :) < 1349649910 712597 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oh crap < 1349649924 216789 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oh no, nothing < 1349649943 515227 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :anyway, I didn't know what qdeql and sceql stood for so I just replaced the first two letters < 1349649970 184915 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Arc_Koen: sorry, i cannot offer refunds < 1349649978 107819 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't know either < 1349649986 933462 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I bet graue offered refunds. elliott worst wiki admin < 1349650016 788300 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :only if you managed to catch him online. < 1349650019 592595 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :that's disappointing, at least when I volunteer I get free lunches or stuff < 1349650107 930489 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh those were graue's languages, not cpressey's < 1349650121 413380 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :might be hard to find out what they stand for, then < 1349650175 493873 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :Oerjan: although Ndeql's evilness was kind of an accident, I had that "random variable" idea in mind for a while and yesterday I wrote a sceql interpreter and I thought the two ideas would be perfect for each other < 1349650377 688937 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oh I just noticed today, Category:Stack-based and Category-Queue-based are subcategories of Category:Languages, but Category:Deque-based isn't and I must say, discriminating mixed-race like that, it's RACISM, mate < 1349650404 230010 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :anyway have a good night < 1349650428 636759 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: that's dr. turing to you, punk < 1349650445 879988 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1349650449 636843 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1349650465 613354 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hmmm something wrong with auto-reconnect server, or something < 1349650467 499544 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :someone is very good at falling short < 1349650497 847282 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :IT'S AN OMEN AND YOU MUST STAY < 1349650513 755371 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :it's weird it only does that for freenode < 1349650577 598042 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nope, i don't have a clue how to tame Ndeql's randomness < 1349650657 702453 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :proving it cannot be tamed would be enough to tame it < 1349650671 372134 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's true < 1349650713 58198 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh i know! < 1349650716 732336 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :(I would say I just proved it could be tamed but Gödel says no) < 1349650754 783124 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :dangit Gödel < 1349650759 517480 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there is absolutely guarantee against one particular variable _never_ being the one involved in anything, _except_ for being used for all the \ commands. which means it is always possible for all loops to be skipped. < 1349650766 21092 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*no guarantee < 1349650796 999035 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :ok < 1349650807 935463 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :now to fix that < 1349650835 2727 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :"the \ command can only select variables which are not 0" < 1349650850 3019 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...i think that might have other problems :) < 1349650851 605057 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :there, you have your guarantee WHAT DO YOU MEAN "it's worse" < 1349650916 324715 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hi < 1349650922 366554 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :about that "two stacks but no communication" silly idea: I had loops based on whether the register had been modified or not < 1349650937 563597 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sounds dangerous < 1349650951 290565 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :sprunge.us/died or something < 1349650968 159267 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh it did? well good riddance. < 1349650989 986333 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :(so I decided to name that language "died") < 1349651060 933408 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :however a better version: http://sprunge.us/FXJc < 1349651170 486788 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :ok I'd really like to follow the omen but that's probably not a good idea so gnight < 1349651530 75416 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :(well as for the conditionals that allow to pass information from one side to the other - I might be ok with that if it's not too easy to do, or if for any other reason the language is not tc) < 1349651538 174843 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: that's dr. turing to you, punk < 1349651880 966377 :pikhq_!~pikhq@174-24-31-176.clsp.qwest.net PRIVMSG #esoteric :http://sprunge.us/CSTT Hooray, it sucks! < 1349651906 616687 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1349652011 30677 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :huray < 1349652021 207478 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ps what does this do < 1349652023 793249 :pikhq_!~pikhq@174-24-31-176.clsp.qwest.net PRIVMSG #esoteric :gzip < 1349652064 408462 :pikhq_!~pikhq@174-24-31-176.clsp.qwest.net PRIVMSG #esoteric :Because I was stupendously lazy with the IO, it doubles in speed if linked against musl. < 1349652074 81267 :pikhq_!~pikhq@174-24-31-176.clsp.qwest.net PRIVMSG #esoteric :(apparently glibc getchar is slow?) < 1349652230 621325 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq_: Should I buy a UEFI motherboard? < 1349652248 853846 :pikhq_!~pikhq@174-24-31-176.clsp.qwest.net PRIVMSG #esoteric :elliott: Is it possible to not anymore? < 1349652254 704123 :sirdancealot7!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1349652256 379295 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :A language sucking in certain ways doesn't mean I should abandon it, does it? < 1349652257 322453 :pikhq_!~pikhq@174-24-31-176.clsp.qwest.net PRIVMSG #esoteric :MS is pushing UEFI pretty hard. < 1349652296 473586 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq_: I... assume so? < 1349652305 290218 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It would be pretty weird if the entire computer inventory stopped selling BIOS motherboards over night. < 1349652307 472769 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Am I really that behind? < 1349652309 48768 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant??? < 1349652325 816369 :pikhq_!~pikhq@174-24-31-176.clsp.qwest.net PRIVMSG #esoteric :elliott: IIRC they sell mobos that can be toggled between UEFI and BIOS. < 1349652326 539354 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: Are you using the language because it is a useful tool or because it is a community? < 1349652345 159385 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :If the former, yes, if those ways affect how you are coding in a negative way that other languages do not. If the latter, it doesn't matter. < 1349652374 140337 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq_: Do you have to deal with this "Secure" Boot nonsense if you do UEFI? < 1349652377 417873 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Or is that a separate thing? < 1349652401 116701 :pikhq_!~pikhq@174-24-31-176.clsp.qwest.net PRIVMSG #esoteric :elliott: That's a separate thing. < 1349652434 296418 :pikhq_!~pikhq@174-24-31-176.clsp.qwest.net PRIVMSG #esoteric :Well. Technically, it's a feature of UEFI... < 1349652449 889052 :pikhq_!~pikhq@174-24-31-176.clsp.qwest.net PRIVMSG #esoteric :But anyways. On x86, Microsoft is mandating that it be optional. < 1349652453 755188 :pikhq_!~pikhq@174-24-31-176.clsp.qwest.net PRIVMSG #esoteric :So you needn't bother. < 1349652458 144634 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Thicrosoft. < 1349652561 191615 :augur!~augur@c-69-250-16-111.hsd1.md.comcast.net QUIT :Read error: Connection reset by peer < 1349652598 764135 :augur!~augur@c-69-250-16-111.hsd1.md.comcast.net JOIN :#esoteric < 1349652623 385557 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I should make up a BIOS which is complete PC BIOS, public domain, and Forth interpreter built-in which is also used to configure it, and then I think it would be completely OK. It can then be made the computer which has a jumper to enable UEFI, to enable BIOS, and to enable both. < 1349652648 840634 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I agree. < 1349652671 603681 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :me too < 1349652730 440352 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I think it would be better than what is currently have, isn't it? Especially if it is also BIOS one function is to download an operating system over the internet, so that you can install an operating system even if you do not have a disk, or use it to emulate a VT100 terminal, or whatever < 1349652805 995491 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :You can even write, in forth, an ipmi like operating system. Oh wait. < 1349652818 161882 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What is a ipmi like operating system? < 1349652848 160259 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq_: I forget, does btrfs support shrinking? < 1349652859 312581 :pikhq_!~pikhq@174-24-31-176.clsp.qwest.net PRIVMSG #esoteric :I dunno < 1349652894 552696 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Well, I suppose real IPMI runs on separate hardware < 1349653178 580860 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :International Microwave Power Institute? < 1349653182 881018 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Oh, whoops < 1349653767 252189 :kinoSi0!~kinosi@27-96-32-84.ipq.jp JOIN :#esoteric < 1349653925 99903 :kinoSi!~kinosi@27.96.32.84 QUIT :Ping timeout: 246 seconds < 1349654375 609153 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer