< 1259971724 0 :asiekierka!i=asiekier@078088180066.elblag.vectranet.pl JOIN :#esoteric < 1259971726 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Hey < 1259973644 0 :lifthrasiir!i=GBdaGWc0@haje12.kaist.ac.kr JOIN :#esoteric < 1259973664 0 :lifthras1ir!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1259973954 0 :coppro!unknown@unknown.invalid QUIT :Remote closed the connection < 1259974709 0 :lifthras1ir!i=BzNqq9YZ@haje12.kaist.ac.kr JOIN :#esoteric < 1259974710 0 :lifthrasiir!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1259977101 0 :fungot!unknown@unknown.invalid QUIT :verne.freenode.net irc.freenode.net < 1259977294 0 :lifthras1ir!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1259977295 0 :lifthrasiir!i=hfRlINoO@haje12.kaist.ac.kr JOIN :#esoteric < 1259977473 0 :adam_d!n=Adam@AAnnecy-751-1-2-234.w90-52.abo.wanadoo.fr JOIN :#esoteric < 1259977736 0 :lifthrasiir!unknown@unknown.invalid QUIT :Remote closed the connection < 1259977740 0 :lifthrasiir!i=EkK5J6nH@haje12.kaist.ac.kr JOIN :#esoteric < 1259978370 0 :lifthras1ir!i=uwepuFhC@haje12.kaist.ac.kr JOIN :#esoteric < 1259978424 0 :asiekierka!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1259978760 0 :lifthras2ir!i=xHjka2nm@haje12.kaist.ac.kr JOIN :#esoteric < 1259979019 0 :lifthrasiir!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1259979500 0 :lifthras1ir!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1259980613 0 :lifthras2ir!unknown@unknown.invalid QUIT :Read error: 54 (Connection reset by peer) < 1259984368 0 :rodgort!unknown@unknown.invalid QUIT :Client Quit < 1259984378 0 :rodgort!n=rodgort@li14-39.members.linode.com JOIN :#esoteric < 1259984598 0 :oklokok!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1259985300 0 :MigoMipo!n=MigoMipo@84-217-9-230.tn.glocalnet.net JOIN :#esoteric < 1259985886 0 :FireFly!n=firefly@1-1-3-36a.tul.sth.bostream.se JOIN :#esoteric < 1259989334 0 :BeholdMyGlory!n=behold@d83-183-181-73.cust.tele2.se JOIN :#esoteric < 1259993197 0 :adam_d!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1259996604 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1259996740 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: iwc :) < 1259996748 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, indeed < 1259996755 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, remind me what it was about < 1259996758 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I read it so long ago < 1259996783 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :president allosaurus agreed the world wasn't a strange place < 1259996832 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah right < 1259996909 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :darn i can only find 27 ninjas < 1259996921 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION whistles innocently < 1259996953 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, I can't find any < 1259996960 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*WHOOSH* < 1259996981 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :... I understood that... I was just continuing the joke < 1259997073 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :with AnMaster you never know whether there is a *WHOOSH* or not. just like ninjas. < 1259997407 0 :adam_d!n=Adam@AAnnecy-751-1-19-16.w83-197.abo.wanadoo.fr JOIN :#esoteric < 1259997434 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, true < 1259997461 0 :adam_d_!n=Adam@AAnnecy-751-1-5-248.w90-52.abo.wanadoo.fr JOIN :#esoteric < 1259998584 0 :adam_d!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1259999087 0 :Asztal!n=asztal@host86-158-81-44.range86-158.btcentralplus.com JOIN :#esoteric < 1259999648 0 :ehird!n=ehird@91.104.237.227 JOIN :#esoteric < 1259999680 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Close encounters of the Hird kind. < 1259999713 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :00:21:17 Stony Brook O_O < 1259999713 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :00:21:20 oh right < 1259999713 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :00:21:29 you're a cunt, now i remember < 1259999713 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :excuse me, don't you go there too < 1259999719 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :NECROLOGREAD < 1259999818 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :05:46:33 Asztal, my family name is of that type for example. But with a bit unusual spelling < 1259999818 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :norlander ~= north land/country? < 1259999841 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :05:50:23 "KuraMoto" literally means storage-basis for example < 1259999841 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Good name for a file hosting company. < 1259999855 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, yeah, north = nord/norr and land/country = land < 1259999865 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :so well, yeah spelling was changed somewhat < 1259999876 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Swedish is boring because you can mostly just pretend it's mangled English and figure out a lot :) < 1259999881 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :German even moreso < 1259999899 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :then again I guess that's all languages that English raped < 1259999911 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, you stole my reply :/ < 1259999949 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's nice to have such a whore of a native language, though, for that utility :D < 1259999955 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hah < 1259999999 0 :clog!unknown@unknown.invalid QUIT :ended < 1260000000 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1260000017 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07:02:25 btw what is 1/INFINITY in double floating point? < 1260000017 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07:02:44 Assuming IEC 60559 conformance of course < 1260000017 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Prelude> 1 / (1/0) :: Double < 1260000018 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :0.0 < 1260000027 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's a smiley < 1260000035 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"I AM SHOCKED AT YOUR INTENT" < 1260000038 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hah < 1260000048 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ghci is pretty strict with its ieee floating point i believe < 1260000113 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :btw, just because i explained google's new home page thing that doesn't mean i agree with it < 1260000121 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i, too, find it irritating < 1260000153 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :however < 1260000155 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[[Starting this week, when we have high confidence that your query was misspelled, we go a step further than asking "Did you mean..." by automatically showing results for the corrected query, saving you a click. In case we did misinterpret the query, there will be a link at the top of the results to undo the auto-correction. So, the next time I'm visiting South Florida and accidentally search for [maimi restaurants], it's reassuring to know I'll quickly go < 1260000155 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :straight to the results for what I really meant: Miami restaurants.]] < 1260000159 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's about time < 1260000351 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Didn't they already do that? < 1260000363 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :no, they showed a preview of the results < 1260000370 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :this way, if they have a high confidence of an error < 1260000374 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Well yeah, okay < 1260000376 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :they show only the fixed results < 1260000378 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :with an option to undo < 1260000384 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://3.bp.blogspot.com/_7ZYqYi4xigk/Sxb_MsMIxyI/AAAAAAAAFC0/IqU_3tGQCUU/s1600-h/barcode_mockup_fade.gif ;; i have to admit though, this is hot < 1260000424 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and i was _already_ finding google's tendency to second-guess me occasionally annoying :( < 1260000454 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Stop whining and use grep query /the/internet. < 1260000463 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Google is clever; its suggestions are usually good. < 1260000554 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"Yahoo! Selects Google as Search Engine Provider" —2000 (http://www.google.com/corporate/timeline/images/photos/XBD_HP_20000711.png) < 1260000569 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"Yahoo! Selects Yahoo! as Search Engine Provider" —? < 1260000573 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"Yahoo! Selects Bing as Search Engine Provider" —2009 < 1260001338 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07:15:06 1/inf == 0.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...............1 < 1260001338 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07:15:10 i guess < 1260001338 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07:15:14 the dots represent infinite 0's < 1260001338 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :You fail at mathematics forever. < 1260001364 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07:17:42 0.999999999999.................. rounds to 1! < 1260001364 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Die. < 1260001412 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07:22:05 0.33333... given that ... is "continue forever" is *exactly* 1/3. Multiplying it with 3 will *not* yield 0.999..., but exactly 1 < 1260001412 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you fail < 1260001413 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :In general when somebody that young fails to understand something I don't think it's fair to say "forever", it's quite likely they'll understand it some time in the future < 1260001421 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :0.333.... * 3 = 0.999... = 1 < 1260001430 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :0.333... = 1/3 < 1260001433 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :1/3 * 3 = 1 < 1260001434 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :therefore < 1260001438 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :0.999... = 1 < 1260001446 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :0.333... * 3 does very well equal 0.999... < 1260001451 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant: I'm allowed to memeify. < 1260001467 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Is the word "forever" a meme now? < 1260001489 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :you fail memes forever < 1260001520 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant: "you fail X forever" is a meme < 1260001536 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Okay < 1260001541 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07:39:49 otherwise casting to (bool) should make it well defined < 1260001541 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07:40:16 there is a bool type? < 1260001542 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07:40:34 in C99 yes < 1260001542 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07:40:36 in C89 no < 1260001542 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Incorrect; there is a _Bool type. There is also , which contains `#define bool _Bool`. < 1260001576 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07:57:53 To me Wave is an experiment by Google to see how long they can hold the attention of people with a product that makes no sense. < 1260001576 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07:57:56 Discuss. < 1260001576 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I think it's accidentally that < 1260001592 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :they came up with some reasonable ideas, built it, and then realised that is the only way for it to survive < 1260001601 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :they accidentally the sense < 1260001824 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :09:05:53 what about three "that" then? < 1260001824 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :That that that's property, that's property. < 1260001831 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I guess that's isn't really that. < 1260001865 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :09:09:28 oklofok, what about: "using that that that construct outside contrived examples is really irritating"? < 1260001865 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that that is perfectly proper English. as is had had. < 1260001875 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"He had had that that sucks before, but this time was different." < 1260001933 0 :oklofok!n=oklopol@a91-153-117-63.elisa-laajakaista.fi JOIN :#esoteric < 1260001985 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :09:52:07 where can i find any source code for BSD dc < 1260001985 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://freebsd.org/cgi/cvsweb.cgi/src/ < 1260002019 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :10:10:38 happy australian mailman reminders day! < 1260002019 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*Australian Mailman Mailing List Reminders Day < 1260002046 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :10:14:50 this is your last day of being a teenager, ever < 1260002047 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i don't think being 19 is actually possible < 1260002051 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :when do you ever hear of someone being 19 < 1260002056 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :everyone is just in a void while they are 19 < 1260002085 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :10:20:03 asiekierka: if you want to port a light dc, maybe you have more luck with p9p version < 1260002086 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :<3 < 1260002103 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :I don't remember being 19, so it must be a lie < 1260002119 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :10:20:44 i think this one may roughly be related to the unix v7 one < 1260002120 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :10:21:02 yup < 1260002120 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :10:21:16 it is a port of (probably a bit newer) the version from unix v7 < 1260002120 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It's a port of Plan 9's dc to POSIX with Plan 9 libraries. < 1260002133 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Plan 9's dc was probably derived from Tenth Edition Unix, being its official successor. < 1260002141 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i most certainly remember being 19. possibly the best life in my year so far. < 1260002147 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :er < 1260002154 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*year in my life < 1260002183 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: you'd be happier if you didn't spend all your time mentioning how gloomy you are < 1260002188 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : that that is perfectly proper English. as is had had. <-- yes, but still takes more work to parse than average. < 1260002219 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :10:23:38 girls are always like uhh big day let's cuddle < 1260002219 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :10:24:04 oklofok, anything wrong with that? < 1260002220 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :10:24:49 well it's against the tradition. < 1260002220 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklofok representin' < 1260002222 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i _don't_ remember spending all my time mentioning how gloomy i am, however < 1260002258 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :10:48:35 line 814 < 1260002258 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :10:48:35 Blk* div(Blk *ddivd, Blk *ddivr) < 1260002258 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :10:48:35 3 "variable identifier expected" < 1260002259 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :10:48:35 and 2 "undefined symbol:" one for 'ddivd' and one for 'ddivr' < 1260002259 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Blk isn't defined < 1260002260 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :typedef mistake < 1260002295 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :12:21:47 just write a new backend for llvm, and some system specific header files and you are done < 1260002296 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :64 k memory < 1260002309 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, I didn't say llvm would run *on* it < 1260002313 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Well then :P < 1260002315 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :llvm is a perfectly good cross compiler < 1260002503 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I think I'm going to try to avoid the semicolon. < 1260002566 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, in what place? programming? natural language? < 1260002571 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The latter. :P < 1260002583 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :08:29:46 oklofok, how would this be handled if humanity started to colonise other planets? With possibly different lengths of day and year. < 1260002583 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :colon-ise < 1260002592 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oops < 1260002595 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :nice typo < 1260002634 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :08:34:59 * AnMaster notes that writing (* 365 24 60 60) is much more compact than 365 * 24 * 60 * 60 (and skipping those spaces is ugly) < 1260002634 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It's not really that ugly. < 1260002637 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: no type < 1260002638 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*typo < 1260002668 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Anyway, 36524*60>60*. < 1260002668 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :s/>>/>/ < 1260002669 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :HP in your face? :P < 1260002681 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, but if it wasn't ugly it wouldn't be sorter to write it in the former way < 1260002708 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :long live circular argument or something < 1260002746 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :08:56:41 iirc he likes factor < 1260002746 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :heh it's interesting < 1260002781 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :09:03:43 anyway, I'm kind of worried < 1260002782 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :09:03:48 there was a weird whirring sound for a while < 1260002782 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :09:03:52 then a bang above me < 1260002782 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :09:03:56 now there's the smell of burnt silicon < 1260002782 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :literally seconds after complaining about the channel not being on-topic often < 1260002804 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :09:04:36 overheard :P so now we're confusing overload and overheard too! < 1260002804 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :overhird! < 1260002841 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :the problem with RPN for complex statements is that the operands' meaning depend on the operator unless we're talking about basic arithmetic < 1260002848 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so we have to keep a mental stack of uninterpreted operands < 1260002927 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :09:19:41 don't make math too formal it takes the soul out of it < 1260002927 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :That, and your name quantumEd, means you are now officially an "omg math is innate beauty it doesn't have to be formal, plus quantum effects=consciousness=UNIVERSE MATTER TRANSCEND BEAUTY" quack. < 1260002931 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Have a nice day. < 1260002969 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :09:27:34 oklofok just look at this picture, http://thinkzone.wlonk.com/MathGems/pics/pythagorean_theorem.gif -- this proves pythagoras without any "R" or "metric" or analytic geometry < 1260002970 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I hate visual proofs. < 1260002995 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :09:32:35 if you were traveling near speed of light, that proof wouldn't apply anymore < 1260002995 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :marry me < 1260003107 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :09:34:36 I would say it is: Mathematics < 1260003107 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :09:34:41 it is not: mathematics < 1260003107 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :09:34:46 it has nothing to do with: mathematics < 1260003108 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :09:35:01 maybe to you mathematics is deduction trees which a computer can say "VALID" or "INVALID" < 1260003108 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :You are ignorant to the highest degree. < 1260003239 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :10:26:24 also why is it so hard to remember quantumEd is fax < 1260003239 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :he is? < 1260003288 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :10:27:09 except to get statements from us that you could later use to destroy our political careers < 1260003289 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Raping horses with a stick is the only moral thing to do when confronted with a child molester. < 1260003292 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :There goes my career! < 1260003327 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :10:37:14 oklofok: you know, it's OK to unbelieve things you previously believed if someone points out errors in them < 1260003327 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Shut up, science-fascist! < 1260003410 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :09:36:10 ok, consider a "times table" (a table where the element at (i,j) is i*j) < 1260003410 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :THIS SOUNDS LIKE A JOB FOR J < 1260003496 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :poor I got left out < 1260003555 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i forgot j lulz < 1260003846 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :13:37:28 (short)x is in the same memory location as (long)x < 1260003846 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :13:37:43 if you use big-endian, you have to write code for downcasting < 1260003846 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :13:37:58 this is the main theoretical advantage for little-endian, as far as I know < 1260003847 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i am now a little-endian fan < 1260003966 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :13:45:12 AnMaster: I/O, etc < 1260003967 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :13:45:17 as in, you need inline ASM < 1260003967 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :13:45:19 or something else similar < 1260003967 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :unsigned char *out = 0xB0000; < 1260004009 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, eh context of the I/O stuff < 1260004019 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :rtfl < 1260004022 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :as in, what were we discussing < 1260004048 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :09.12.01 < 1260004063 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :meh, don't care enough < 1260004392 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hey, AnMaster? < 1260004394 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"A very large, 30-year study of just about everyone in Scandinavia shows no link between mobile phone use and brain tumours." < 1260004406 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Not that I expect it'll stop your irrationality about that matter. < 1260004406 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Speaking of things not to care about, I have this N900 phone now. < 1260004420 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: Nice timing. < 1260004424 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Or did you see my message? < 1260004493 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Well, sort-of. I did see it, but I was already writing what I wrote when I saw it. < 1260004527 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, err, I didn't say I believed that. I only think I said I prefer being cautious < 1260004541 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :What, even now? < 1260004562 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION read that as NMT-900 < 1260004565 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The study provides overwhelming evidence that phones do fuck all as far as brain tumours go. < 1260004579 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: I assume you pray 5 times a day to Mecca— to be cautious in case the Islamic god exists? < 1260004590 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(is it 5 or 7 times?) < 1260004591 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, well sure. But at least some types of cancer can take quite some time to develop iirc. :P < 1260004601 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :5 < 1260004617 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: The worst kind of idiot is the idiot who tries to ignore his stupidity with a bad joke. < 1260004638 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, I wasn't replying to the praying line... < 1260004643 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I never said that. < 1260004655 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: if mobile phones take 30 years to develop cancer then _absolutely_ no one has any evidence that it does < 1260004669 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :because it won't have _happened_ yet < 1260004670 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, true < 1260004681 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"Ha! I don't know anything about how science works, and will summarily ignore this study with a huge base of evidence, yet continue to believe in evolution, even though all we have for that is that same pesky *evidence*." < 1260004683 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"... :P" < 1260004718 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, I think we can be quite safe in about 100 years or so. Becuase if it causes cancer over longer periods than that it can currently be safely assumed we will be killed by something else before instead. < 1260004726 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : < 1260004768 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[[It is possible, Deltour's team wrote, that it takes longer than 10 years for tumours caused by mobile phones to turn up, that the tumours are too rare in this group to show a useful trend, or that there are trends but in subgroups too small to be measured in the study. < 1260004768 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : < 1260004769 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It is just as possible that mobile phones do not cause brain tumours, they added.]] < 1260004795 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: You should be just as cautious of radio. < 1260004796 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, I read about this study in the newspaper today (or was it yesterday?) < 1260004802 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :May I suggest moving to an area where you cannot receive radio? < 1260004805 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It's radiation, you know. < 1260004816 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :You could say that everything's radiation. Sort of. I guess. < 1260004847 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, lets avoid sun light (hey that one *does* cause cancer) < 1260004869 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :How on earth can you make a joke based entirely around your foolishness and yet still go by it? < 1260004874 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It makes almost a negative amount of sense. < 1260004940 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :um. Because you have been misunderstanding what my actual opinion on mobile phone radiation issues is? < 1260004942 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: if it had been NTM-900, then it would really have been something not to care about < 1260004959 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: I'm basing it entirely on what you've said today. < 1260004983 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :That is: "I only think I said I prefer being cautious" < 1260004986 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, do you have anything against: "better safe than sorry" < 1260004997 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Yes, because you're not trying to avoid radio signals, are you? < 1260005003 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Or low levels of sunliight. < 1260005006 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*sunlight < 1260005011 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ehird, always interpreting any sentence in the way that most implies its source is an idiot < 1260005016 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, well, there is also evidence that we need sunlight < 1260005026 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :as in, too low = bad, too high = bad < 1260005032 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: I think you'll find he's interpreting it in the same way. Care to offer me whatever hackneyed interpretation you take? < 1260005036 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :s/high/much/ < 1260005050 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: That's irrelevant. Anyway, you are still dodging the matter of radio signals. < 1260005061 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ehird: i'm making a general statement here < 1260005074 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: btw, the radiation from phones is non-ionizing. < 1260005095 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and in the range of tens of millions time weaker than it would take to be the weakest ionising sort. < 1260005103 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :if i understand it correctly, which i think i do. < 1260005120 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and ionising radiation is what fucks up dna, and causes cancer. < 1260005143 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oh, and... < 1260005143 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[[ < 1260005143 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :At room temperature, your DNA is rattled around by thermal fluctuations with an energy on the order of 0.026 eV. So you can absorb radiation (Infrared Light) on this order of energy without any problem other than possibly getting hot. < 1260005143 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :If you want to start harming DNA, and thus helping cause cancer, you need to hit it with photons of 3 eV or more (ultraviolet light). < 1260005144 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Cell phone radiation, on the other hand, consists of photons with around 0.000001 eV of energy (~ 1 GHz - 5 GHz ). So getting bombarded with a few of these photons isn't going to have any effect. < 1260005147 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :]]] < 1260005154 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so i guess you avoid ... existitng < 1260005173 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :what with all that over-80-times-more-powerful-than-phones radiation < 1260005177 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*existing < 1260005747 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :18:58:51 Sgeo: It's brilliant. It's the smallest device I've ever seen that a criminal could use to steal card numbers < 1260005747 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :You mean... getting people to tell you their number? < 1260005752 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Store owners are EEEEEEEEEVIL < 1260005773 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Credit cards are insecure anyway. < 1260005782 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Everyone you've ever bought from could purchase things as you forever. < 1260005802 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :um they have expiration dates don't they? < 1260005855 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1260005861 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Well, forever=as long as you can use it. < 1260005865 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07:58:11 uuuuurgh < 1260005865 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07:58:16 what happened to ehird < 1260005866 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :08:02:08 there was a tragic accident involving cheddar, a moose and five ancient OSes < 1260005866 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :08:02:30 while ehird survived (barely), the cheddar did not. < 1260005866 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION nods < 1260005904 0 :Azstal!n=asztal@host86-158-81-44.range86-158.btcentralplus.com JOIN :#esoteric < 1260005923 0 :Asztal!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1260005934 0 :Azstal!unknown@unknown.invalid NICK :Asztal < 1260005964 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :12:42:53 http://ismarriagelegalintexas.com/ < 1260005965 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :isnomiclegalintexas < 1260006134 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :isrunningwordstogetherlegalintexas < 1260006316 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :14:10:13 like, office suite, compiler, vector graphics editor, "better than paint" bitmap editor (gimp) < 1260006317 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :gimp isn't better than paint, just more powerful < 1260006360 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :14:10:57 ais523, xp x64 needs around 2.5 GB iirc < 1260006360 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :14:11:00 way more reasonable < 1260006361 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"The Oberon OS is available for several other hardware platforms, generally in no cost versions. It is typically extremely compact. Even with an Oberon compiler, assorted utilities including a web browser, TCP/IP networking, and a GUI, the entire package has been able to fit on a single 3.5" floppy disk." < 1260006377 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Okay okay so I'm raving a bit on the Oberon OS' design, shut up. < 1260006381 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, I didn't say it was good. Just more reasonable :P < 1260006389 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*OS's, fuck s-with-no-s-thingy < 1260006417 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :s with no s? < 1260006422 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :OS' vs OS's < 1260006423 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :eh i need to set up bitlbee again to connect to m*b*s < 1260006445 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, so care to give a summary about what the hell was going on last week and few weeks before that? < 1260006457 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :not really. also, it's not over yet. < 1260006461 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1260006467 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :good luck with.... whatever it is < 1260006478 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you get another break from me next mon-fri ;p < 1260006479 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*:P < 1260006495 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, huh. What sort of strange thing may this be < 1260006524 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's complicated < 1260006544 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, parent got fired? < 1260006556 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :You can sit there guessing for a few years and it won't help. < 1260006559 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ouch < 1260006560 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :right < 1260006581 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, so tell us! < 1260006587 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :No. < 1260006601 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :you just love having secrets right? < 1260006656 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hey, feel free to fuck off. < 1260006954 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :16:52:10 skullfuck is the more popular term < 1260006955 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :16:54:07 I meant, being done, rather than being talked about < 1260006955 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :16:54:24 i imagine it's difficult to find a willing partner < 1260006955 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :16:54:54 zzzzzzzzzzzzzzzzzzzzzzzzz < 1260006955 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :17:17:36 lament: who said they had to be willing? < 1260006956 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Either we just jumped the shark, or the shark just jumped us. < 1260006957 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I'm not sure which. < 1260006981 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :19:06:44 but than that means your solve_halting_program() function cannot return either true or false for that particular program because then the program uses the solution to prove it false < 1260006982 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::slowpoke: < 1260007012 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :19:18:33 quantumEd: ... "Well-founded recursion"? < 1260007012 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :19:18:49 you are allowed to loop on smaller inputs than what you were given only < 1260007012 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :19:19:09 so that every function (that's execution doesn't reach any "loop") terminates < 1260007012 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :19:19:28 And how do you intend to enforce such a restriction? < 1260007013 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It is possible. < 1260007020 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :19:20:35 ... And for that matter, what does "smaller inputs" mean? < 1260007020 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It's well-defined. < 1260007026 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The resultant language is sub-TC, but not too bad. < 1260007041 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://lambda-the-ultimate.org/node/2003 < 1260007041 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://www.jucs.org/jucs_10_7/total_functional_programming/jucs_10_07_0751_0768_turner.pdf < 1260007060 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :19:29:53 quantumEd: What sort of ridiculous restriction on the type system *could you do* to make that not well-typed? < 1260007060 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :See above. < 1260007062 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It's not useless. < 1260007066 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ehird: we don't jump the shark. we tie it up and force it to do computation. < 1260007070 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :19:31:34 quantumEd: By "useful", I mean "capable of non-trivial calculation". < 1260007071 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It can do Ackermann. < 1260007258 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :12:20:53 ah yes those ones. who has those anymore? ;P < 1260007258 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :higher-quality keys. < 1260007273 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :although there are other mechanical switches apart from buckling spring < 1260007399 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :22:24:09 (01:31:11 AM) <>: SystemError: Cannot compiler 'Python.h'. < 1260007418 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Karnts kompiler Pygthon.h < 1260007423 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i suck at faux-german < 1260007483 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :btw more people should go wtf at my sort-of-early-draft-thingy-work-in-progress-vaguely-formed-ideas dependently-typed-of-a-sort pastie.org/728571.txt?key=zl2af7lovf0knbe3avpw. < 1260007492 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://pastie.org/728571.txt?key=zl2af7lovf0knbe3avpw for clickability < 1260007586 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :erm another mistake? < 1260007590 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i suck at this :D < 1260007621 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://pastie.org/729217.txt?key=y9oq5kkybo7uhz8eyr9vq < 1260007622 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fixed < 1260007638 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(s/List\.on/List.of/) < 1260008007 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION considers using haskell < 1260008029 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :except for the effort of a haskell compiler, ugh < 1260008714 0 :adam_d_!unknown@unknown.invalid QUIT :"Leaving" < 1260008880 0 :quantumEd!n=somebody@unaffiliated/fax JOIN :#esoteric < 1260010025 0 :augur!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1260011001 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, oh? < 1260011053 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Context of that oh? < 1260011059 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : except for the effort of a haskell compiler, ugh < 1260011079 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Well, an Oberon-2 compiler is about 4,000 lines. < 1260011089 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :A Haskell compiler is more like 50,000. < 1260011098 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I think GHC is about 100k lines of Haskell. < 1260011114 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Oberon-2 compiler would be more like 3,000 lines in Haskell, I guess. < 1260011137 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :And the snippet I pasted should be quite simple to compile too. < 1260011150 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Anything that requires 33x the effort of an Oberon-2 compiler I probably won't want to do. < 1260011152 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1260011161 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Haskell could fit in quite nicely to the system, but eh. < 1260011182 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :100k lines feel so inelegant somehow < 1260011243 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: GHC does a *lot*. < 1260011251 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :true < 1260011362 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :GHC is pig-ugly code < 1260011369 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :there is stuff in there that makes its own monad infrastructure < 1260011376 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :because monads didn't exist at the time < 1260011379 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :in haskell < 1260011425 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Oh, it still uses non-monadic Haskell? < 1260011427 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Eeeeew. < 1260011544 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :what did haskell use before monads? < 1260011560 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :LISTS < 1260011683 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Lists of actions for the IO monad, lists of other things otherwise. < 1260011760 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :lisp had it right, CAR CDR and all that < 1260011778 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Lisp had it wrong. < 1260011786 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :You can modify state. < 1260011795 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :oh yeah I forgot about that < 1260011870 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :You forgot continuation IO. < 1260011876 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Anyway, it was for non-IO stuff. < 1260011879 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :And this is just in some parts. < 1260011886 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Other parts use regular Prelude Monads. < 1260012193 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :pikhq what was the argument against modifying state again? < 1260012704 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :quantumEd: There is no state. There is only lambda. < 1260012716 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :um < 1260012732 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :On a more serious note: a lack of state greatly aids reasoning about your program. < 1260012779 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Separation of Church and state. < 1260012785 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hyuk hyuk hyuk get it lambda calculus church? < 1260012786 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ahahaha < 1260012788 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I am funny comedian < 1260012879 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: have you looked at the oberon os? the paradigm is like plan 9's acme (inspired it) ftp://ftp.inf.ethz.ch/pub/ETHOberon/Native/StdAlone/ < 1260012894 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :maybe you'll have better luck at getting it to run in a vm than me, I think it'd be interesting to have an oberon-os-but-haskell < 1260012896 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Can't say I have. < 1260012896 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :or similar < 1260012918 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: the paradigm blends hypertext with code, it's a living-environment like smalltalk < 1260012926 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you can have code inline with documents < 1260012932 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and that's how you run commands and open things etc < 1260012951 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and everything is text, except it handles multimedia and formatting too < 1260012959 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but it's best at manipulating text/commands < 1260012975 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it divides the whole window into frames like acme, and they're as fluid as acme's frames < 1260013059 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i can boot it in qemu but the old-IDE disk driver spews a lot of crap and after installation+reboot, it just hangs trying to boot < 1260013079 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: the implications are really interesting — the installer is the same as its documentation < 1260013096 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Huh. < 1260013098 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it just has hyperlinked commands at certain points that you erase the arguments of and fill in the appropriate ones as explained, then middle-click the command name < 1260013151 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and e.g. partitioning is done by middle-clicking (iirc) Partition.Show, which brings up another frame, scrolling down to the partition-creation command, replacing and and middle-clicking it < 1260013160 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so you have a sort of composition of tools there, into one documentation-tool < 1260013200 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Researchers from Helsinki University of Technology (Finland), University of New South Wales (Australia), and University of Melbourne (Australia) have succeeded in building a working transistor, whose active region composes only of a single phosphorus atom in silicon. The results have just been published in Nano Letters. < 1260013205 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :grats, fizzie + Deewiant :P < 1260013215 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :We didn't do it < 1260013236 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :tkk is your uni < 1260013243 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :your uni was part of it, the news article is on the tkk site < 1260013245 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I REST MY CASE < 1260013254 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Whatever < 1260013269 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant: moody :p < 1260013272 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric ::-P < 1260013327 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ehird: clearly Deewiant is just denying it so no one will notice their nanobots taking over the world < 1260013339 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :mmf < 1260013339 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :mmf < 1260013341 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :MMPH < 1260013342 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :$(*$&@&(@(&@ < 1260013349 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hello i am grey goo < 1260013356 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(british gray goo) < 1260013366 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :http://tunes.org/~nef/logs/esoteric/?C=M;O=D < 1260013373 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :what's the point in ?C=M;O=D ? < 1260013377 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :sorting < 1260013404 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :oh I see < 1260013421 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1260013440 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Column=Modified < 1260013443 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Order=Descending < 1260013524 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :futura was designed by a german, I am the least surprised < 1260013780 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: what did you do when you were 19? < 1260013826 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :probably was unconscious for a whole year, knowing oerjan's fatalistic outlook < 1260013925 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: any luck with oberon or not interesteed? < 1260013974 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ehird: 9~Bit busy trying to find keys. < 1260013983 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Wat? < 1260013989 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Oh, physical keys. < 1260014001 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1260014018 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ehird: That, and your name quantumEd, means you are now officially an "omg math is innate beauty it doesn't have to be formal, plus quantum effects=consciousness=UNIVERSE MATTER TRANSCEND BEAUTY" quack. <<< THANK you < 1260014022 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :As in door-openers. < 1260014034 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: no, thank YOU! < 1260014038 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :this is a war on thanks < 1260014066 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I'd rather people were outright religious than quantum-mystical < 1260014077 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :but... i was agreeing with you, do i really have to fight you now? < 1260014079 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It's pathetic to see them denigrate the beauty of quantum mechanics in such a way < 1260014088 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: well, i don't know what to do otherwise :D < 1260014120 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: i started university < 1260014155 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1260014159 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :oklofok what ? < 1260014162 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :also went to the math olympiad. although i'm not quite sure if that was before or after my birthday < 1260014173 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :how did you do? < 1260014176 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :oklofok is that about me < 1260014195 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :quantumEd: you can read logs, basically i'm thanking ehird for being on my side about our debate < 1260014205 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :oklofok us two had a debate? < 1260014208 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1260014208 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :fairly mediocre < 1260014213 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :oklofok what was it about < 1260014227 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :short one, but i count it as a great irc debate, because it didn't turn into a flamewar :) < 1260014231 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :oklofok oh you're taking the piss out of me because I have a different philosophy to mathematics than you do < 1260014238 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ACTION does something incredibly unlikely < 1260014239 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :oklofok that's kinda lame < 1260014260 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :taking the piss out of you? < 1260014268 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :"omg math is innate beauty it doesn't have to be formal, plus quantum effects=consciousness=UNIVERSE MATTER TRANSCEND BEAUTY" < 1260014272 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i'm just saying thanks for agreeing with me < 1260014289 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :what did I agree with you on? < 1260014293 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :err yeah, that's how ehird says he disagrees < 1260014303 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :quantumEd: Your definition of "mathematics" is wrong. < 1260014307 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :felt like you were making fun of me with it < 1260014307 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :"YOU'RE A FUCKING MORON GRRRR I HATE TYOU SO MUSCH!?!?1?1?" < 1260014329 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: I don't hate him, he's just a quack. < 1260014332 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i'm not saying i completely agree with you being totally insane :P < 1260014359 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :yeah not sure what you're getting at but it seems like you're taking the piss < 1260014361 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i just like it when ehird agrees with me, because i don't like being the quack... well okay i suppose i do < 1260014396 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :quantumEd: okay w/e < 1260014416 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: i don't really recommend spontaneously teleporting like that, what if you end up inside something? < 1260014417 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ehird: yes, but i got the gist of it < 1260014430 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, no this is even stranger < 1260014436 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh dear < 1260014440 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, using a floppy device! < 1260014443 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :oklofok are you referring to something someone said in particular? because I probably don't know what it is if so < 1260014445 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: you broke backwards compatibility? < 1260014446 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oh. < 1260014446 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :AAAAAAAAAAAAAAAAAAAAA < 1260014454 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :an USB one even. < 1260014477 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :connected to an ibook. < 1260014503 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :quantumEd: wtf? i'm fucking pasting a line someone said and thanking them for agreeing with me, and you start saying i urinate, look in the fucking logs and stop being a bitch kay? < 1260014528 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: oh you didn't write this? "omg math is innate beauty it doesn't have to be formal, plus quantum effects=consciousness=UNIVERSE MATTER TRANSCEND BEAUTY" < 1260014534 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :... < 1260014536 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :if it ducks like a quack... < 1260014546 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :nono, i wrote that, then pasted it here and thanked myself < 1260014548 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :quantumEd: no, I did. < 1260014551 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1260014552 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :00:48:47 That, and your name quantumEd, means you are now officially an "omg math is innate beauty it doesn't have to be formal, plus quantum effects=consciousness=UNIVERSE MATTER TRANSCEND BEAUTY" quack. < 1260014560 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :anyway if you thought that was me, then i see why you'd be mad < 1260014568 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :yeah I don't read a lot of what ehird writes < 1260014573 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1260014579 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :My words are made of pure pain! < 1260014581 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :oklofok um.. thanks for making me aware of this though < 1260014584 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :s/ / / < 1260014593 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Ooh, aware of it. I think I'm supposed to be scared now. < 1260014614 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :ignorance is bliss kinda thing < 1260014646 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ehird: you've been quantum observed! < 1260014659 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :prepare to collapse! < 1260014667 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :quantumEd: and "THANK you" wasn't exactly a sincere thanks, it was sort of sarcastic, because he sort of did what i definitely didn't want to do, and said something that usually leads to a flamewar on irc. < 1260014673 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :sort of < 1260014690 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :not sure why i'm explaining myself < 1260014694 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :oklofok dunno it's pissing off me though, I left because ehird is such a cunt, now I can't even /ignore him < 1260014703 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: you realize this has now officially turned into a flamewar anyhow? < 1260014716 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1260014719 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :to both of you < 1260014754 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: yes, but it was just because of misinterpretation, unlike most other flamewars! < 1260014761 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :what the hell just happened < 1260014767 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :using the floppy drive in my desktop < 1260014770 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :made X crash < 1260014779 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and I get IO error on my SATA drive < 1260014783 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :when I try to read from it < 1260014800 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that's ridiculous < 1260014818 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :it's reproducible btw < 1260014840 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, any bright idea about that? < 1260014856 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :nope < 1260014957 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :nice to be reminded how pathetically antisocial and confrontation I am too by you folks < 1260014958 0 :mycroftiv!unknown@unknown.invalid PRIVMSG #esoteric :did someone say ELIZA? http://www.atariarchives.org/morebasicgames/showpage.php?page=58 < 1260014976 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :quantumEd: anyway i find that sometimes people that are total cunts are the ones that really make you wonder whether you're as great a person as you could be; not saying ehird has made me change my ways, but a few other total cunts have made quite an impression! :P < 1260015002 0 :mycroftiv!unknown@unknown.invalid PRIVMSG #esoteric :wow, i was a full 24 hours back in the scrollback < 1260015015 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :quantumEd: i wasn't personally attacking you, btw. < 1260015019 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :oklofok I don't really follow, the deal was: don't read stuff from ehird - don't get into some horrible droning argument that nobody wants to hear < 1260015020 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :just your beliefs about mathematics < 1260015040 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I try not to attack people (I usually mean "you're being an idiot" when I say "you're an idiot") < 1260015051 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :quantumEd: that was a general comment, it was not about this thing here < 1260015066 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :yeah I got that < 1260015136 0 :adu!n=ajr@pool-71-241-254-143.washdc.fios.verizon.net JOIN :#esoteric < 1260015157 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :in fact, a certain well-known #math cunt has changed my views about mathematics quite a lot < 1260015173 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :in a bad way? < 1260015173 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :how? < 1260015190 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :views can only be changed in a good way < 1260015199 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :because it's i who changes them < 1260015207 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :don't take it personally, I'm a mathematician, and I love math, but I hate #math < 1260015216 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well #math is full of cunts < 1260015219 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :yeah #math is not really a good place < 1260015220 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1260015225 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :neither is this channel < 1260015229 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i like that, really makes you think what you say < 1260015248 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :it's the kind of place where you don't want to turn on your brain because you're only not going to get insulted if you say the pattern match responses < 1260015261 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1260015264 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: so how is your OK-language or whatever? < 1260015278 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :pattern shmattern < 1260015281 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION ducks < 1260015289 0 :augur!n=augur@pool-71-163-207-43.washdc.east.verizon.net JOIN :#esoteric < 1260015296 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :adu: a simple version of oklotalk got implemented in python, but i've kinda gotten out of programming < 1260015310 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1260015318 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :I've gotten into it :) < 1260015336 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :I wrote an OpenType to JSON converter yesterday :) < 1260015341 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i mean i still code like little snippets every now and then, but bigger i don't really have time for bigger programs < 1260015345 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :*-bigger < 1260015351 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :hey ehird can I PM you or are you going to be a bitch about it? < 1260015366 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i've usually just pm'd him without asking < 1260015372 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uh, i can't promise anything mr quantum ed < 1260015382 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: you mean oklotalk--? < 1260015383 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :oklofok yeah but past experience tells me that it's probably best to point this out here first < 1260015390 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ehird: yes, oklotalk-- < 1260015397 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i guess it's not really a simple version of oklotalk... < 1260015402 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :ehird fine, fuck you then < 1260015414 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :quantumEd: uh, fine, pm me < 1260015421 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i won't be a bitch < 1260015452 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i can assure everyone, that there will never be a moment in my life, or a person annoying enough, that i wouldn't love being pm'd by them < 1260015459 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :ehird: you're starting to sound like one < 1260015461 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: *that* one you can quote < 1260015473 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :adu: k < 1260015482 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :ehird: jk ;) < 1260015488 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :kjk < 1260015494 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :stop talking in ehird'd favorite languages < 1260015497 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :*ehird's < 1260015502 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: ok < 1260015522 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :is o a language? i probably should know... < 1260015529 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :what? < 1260015529 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well okay obviously it's a language < 1260015538 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :adu: i'm sort of an o-philiac < 1260015546 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :adu: "k" "j" < 1260015549 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :are not actually my favourite languages < 1260015555 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it was a joek, thou seest < 1260015560 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1260015569 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :I like "D" myself < 1260015579 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :all my favorite words start with d < 1260015588 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :like delicious and dick < 1260015601 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :like Dance, Drive, Dying < 1260015615 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :well maybe not dying < 1260015633 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :but i like driving, its fun < 1260015634 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i'm sure you meant coloring things pretty < 1260015642 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :oh yes < 1260015651 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :dodger dastardly devouring dick < 1260015664 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :death, destiny and despair < 1260015747 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :my cousin asked me when i'm getting a car, i said i don't have a license, he was like when are you getting it? apparently it's not a choice < 1260015747 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(yeah it's sandman) < 1260015747 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :and one day, when I have 1,000 code monkeys on my payroll, I will write a bloated IDE/Editor/Browser/Neuralnet that will start with D too < 1260015747 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i had this dream about driving a motorcycle, and have been wanting to try one since then, though, as i've mentioned here < 1260015747 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :Destiny! i like that one < 1260015762 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :Depressed... < 1260015787 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :delirium, dream, destruction and desire, to complete the set < 1260015825 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :donkey < 1260015836 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :doofus < 1260015844 0 :Rembane!unknown@unknown.invalid PRIVMSG #esoteric :doozer < 1260015964 0 :ehird_!n=ehird@91.105.120.33 JOIN :#esoteric < 1260016275 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :A defence of preemptive multitasking: http://sprunge.us/YNUJ < 1260016277 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :I felt like writing that. < 1260016309 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :quantumEd: you still haven't /msg'd me like you said < 1260016336 0 :mycroftiv!unknown@unknown.invalid PRIVMSG #esoteric :ehird_: there aren't people still preaching non-preemptive multitasking, surely? < 1260016359 0 :mycroftiv!unknown@unknown.invalid PRIVMSG #esoteric :(were there ever?) < 1260016359 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :there are (and visionary people too), lemme find an example < 1260016438 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :http://tunes.org/cliki/no-kernel.html, fourth paragraph onwardfs < 1260016441 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :*onwards < 1260016446 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :that's pluggable task-switching, but still < 1260016459 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :i'm quite pleased with http://sprunge.us/YNUJ, it's concise and easy-to-read < 1260016469 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :i normally end up with too short/too long paragraphs/sentences < 1260016500 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :hmm the last newline should be before the though, "system." is a widow < 1260016519 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :erm, orphan < 1260016582 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :http://sprunge.us/RMJD for typographic pedants < 1260016672 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :mycroftiv: also: http://tunes.org/cliki/preemption_20and_20cooperation.html "Now, TUNES is a secure system, and we can and shall use cooperation whenever possible (=almost always)" < 1260016678 0 :mycroftiv!unknown@unknown.invalid PRIVMSG #esoteric :mrph, that tunes link is interesting but doesnt seem to grapple with the fact that preemptive multitasking is good both for the abstraction/layering reason you give in your essay but also as a pragmatic protection against buggy applications, aka 99.99% of applications < 1260016678 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :that page is actually on that topic < 1260016682 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :probably a better resourcee < 1260016692 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :and it may rebut your points, I haven't read it yet < 1260016708 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :mycroftiv: I noted the protection aspect too in my ...work/page/article/note/essay/whatever < 1260016715 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :"Preemptive < 1260016716 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :multitasking handles malicious or badly-written tasks much better, < 1260016716 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :too: you have a chance to terminate a task that tries to hog the < 1260016716 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :system." < 1260016750 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :and before that: "Worse, the < 1260016752 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :programmers of a task are probably not experts in task-switching, < 1260016752 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :and so it's quite likely they'll get it wrong." < 1260016784 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :"Actually, threads are interrupted and signaled by more priviledged threads, but not preempted by equally-priviledged threads. (they might be preempted by foreign threads, to which they can't compare priviledge). This is why we rather call that interruptible cooperative threads instead of preemptible threads." < 1260016789 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :ACTION wonders what that means < 1260016822 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :mycroftiv: the thing with tunes is that fare is a very strong libertarian < 1260016825 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :it means a thread that's not running can ask to be run, if needed! < 1260016835 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :and so it makes quite a lot of compromises in the name of freedom and independence of tasks < 1260016863 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :(he views system design as an exercise in ethics) < 1260016944 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :who needs threads when you can just buy multiple computers < 1260016952 0 :ehird!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1260016952 0 :ehird_!unknown@unknown.invalid NICK :ehird < 1260016958 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ninja'd < 1260016960 0 :mycroftiv!unknown@unknown.invalid PRIVMSG #esoteric :well, i kind of feel that way also, but i guess my ethical baseline is that if the code is open, you can always change it - and the ability to change the code means sometimes you just hard code it and figure anyone who needs to will hack it and recompile < 1260017028 0 :mycroftiv!unknown@unknown.invalid PRIVMSG #esoteric :(i understand of course that tunes is fully self-modifying and reflexive so that particular example is a bit un-tunesish) < 1260017044 0 :lifthrasiir!i=fWB6YwGS@haje12.kaist.ac.kr JOIN :#esoteric < 1260017046 0 :mycroftiv!unknown@unknown.invalid PRIVMSG #esoteric :although really having a compiler means you are still in a self modifying environment < 1260017066 0 :mycroftiv!unknown@unknown.invalid PRIVMSG #esoteric :thats part of why im not fully sold on some of ideas you seem committed to, because i think they dont necessarily change as much as you might suppose < 1260017096 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :a lot of my ideas aren't big in themselves, but have a large effect on the system's architecture and philosohpy < 1260017287 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :mycroftiv: do you know how the viewpoints research institute is funded? < 1260017313 0 :ais523!n=ais523@92.236.187.64 JOIN :#esoteric < 1260017319 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :donations and company funding < 1260017320 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :how boring < 1260017347 0 :mycroftiv!unknown@unknown.invalid PRIVMSG #esoteric :were you hoping they sponsored a team of somali pirates? < 1260017372 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: oh, I'm not sure if you knew this before, apologies if you did: there's a proposal in the UK government that gives Lord Mandelson a dictatorship < 1260017374 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :no :P < 1260017398 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i thought maybe doing work for companies, letting people use unused computing power for a cost, etc < 1260017413 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: an absolute dictatorship? < 1260017466 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: pretty much, it's a "Mandelson can modify this law by [method]" with ineffective safeguards < 1260017489 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I don't expect it would actually be abused in such a way, thankfully. < 1260017497 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I want to get off this island ASAP anyway, though... < 1260017514 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :read it yourself if you like: http://www.publications.parliament.uk/pa/ld200910/ldbills/001/10001.13-19.html#j164 < 1260017518 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :there's an extra room here < 1260017543 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: i'm not sure i could legally move in with you before i'm 16 :P < 1260017557 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: can you shorten this perl -n oneliner? < 1260017558 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :$n{$_}++}{print"$n{$_}\t$_"foreach keys%n < 1260017563 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i can't think of any fun horrid tricks < 1260017572 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, hi there. I had an odd hardware issue you might be of help with: < 1260017583 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ugh, the braces aren't even balanced there, that's crasily abusive. I like it < 1260017591 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :although, use "for" not "foreach", they're synonyms < 1260017594 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : using the floppy drive in my desktop made X crash and I get IO error on my SATA drive when I try to read from the floppy < 1260017599 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : that's ridiculous it's reproducible btw < 1260017608 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: yeah, it's abusing the implicit while(<>){code} :) < 1260017611 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :yep < 1260017616 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ehird: probably not without parental permissionz < 1260017623 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, if you have any idea whatsoever might be going on there? < 1260017628 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: I don't < 1260017630 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :s/if/do/ < 1260017642 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: does say output a newline if the argument ends with one? < 1260017671 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :probably, but it's perl6 anyway < 1260017677 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :so the rest of the syntax there would be wrong < 1260017678 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :no it's perl 5.10 < 1260017686 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ah, it's been backported? < 1260017694 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :same time as the switch thing < 1260017711 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :$ perl -v < 1260017711 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :This is perl, v5.8.9 built for darwin-2level < 1260017711 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fucking macports < 1260017721 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ooh, you could use an implicit hash->array cast < 1260017723 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: could you test perl -e'say "fuck\n"' for me? < 1260017734 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :if you didn't mind the output format being line\ncount\n < 1260017735 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :or, well, any non-fuck string too < 1260017738 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :rather than count\tline\n < 1260017742 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: i do, that's why i didn't do it < 1260017757 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: could I do < 1260017757 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :String found where operator expected at -e line 1, near "say "test\n"" < 1260017759 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric : (Do you need to predeclare say?) < 1260017761 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :like php's variable variables < 1260017763 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :${$_}++ < 1260017768 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :looks like say isn't defined < 1260017774 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: use 5.10 < 1260017777 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I am < 1260017779 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :use 5.10; < 1260017781 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i mean < 1260017782 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1260017802 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :or rather < 1260017802 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :Perl v5.100.0 required (did you mean v5.10.0?)--this is only v5.10.0, stopped. < 1260017806 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :well, I didn't expect that < 1260017810 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :perl -M5.10.0 -e'...' < 1260017827 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I get two newlines if I do -M5.01, though < 1260017841 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :darn < 1260017861 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :does ${'foo'} = x < 1260017865 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :set $foo to x? < 1260017873 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1260017875 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :symbolic reference < 1260017876 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and, is there an easy way to get all defined variables that aren't in perl? < 1260017881 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :although, use strict may get annoyed if you do that < 1260017883 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :as an array of names < 1260017889 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: not AFAIK < 1260017896 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :if there was: < 1260017900 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :${$_}++}{print"${$_}\t$_"for ??? < 1260017904 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :there's probably a hard way, though < 1260017938 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ugh, perldoc.perl.org is now ugly < 1260018033 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: any silly tasks to do in perl? i'm trying to sharpen my art of the horror < 1260018044 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i'm trying to think of perl as a game. a ridiculous game. < 1260018066 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :try writing a brute-force Lights Out solver < 1260018081 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I did almost that yesterday, to help solve an Enigma level < 1260018088 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :(someone else's level, that is) < 1260018099 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :brute-force? how? < 1260018106 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :isn't that super-mega-exponentially-hard? < 1260018136 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :wow, the Bible has a copyright statement < 1260018140 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :or rather, a license < 1260018142 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"All scripture is given by inspiration of God, and is profitable for doctrine, for reproof, for correction, for instruction in righteousness: That the man of God may be perfect, throughly furnished unto all good works." < 1260018142 0 :mycroftiv!unknown@unknown.invalid PRIVMSG #esoteric :write a perl program that converts other perl programs into a human readable form < 1260018151 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :2 Timothy 3:16-17 < 1260018184 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :can anyone link me to the source code of use English? < 1260018212 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i'd just make it do an s// < 1260018213 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :voila < 1260018215 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :human readable! < 1260018278 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ehird: for an nxn grid it'd take 2^(n*n) attempts < 1260018280 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: ooh, give me something mathematical, and i/we can golf perl vs j < 1260018292 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: you mean 2^(n^2) :P < 1260018300 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :yes, i mean that too < 1260018301 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :moar 2s < 1260018327 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i mean (2^n)^n < 1260018353 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"i mean aaaaaaaaaaall sorts of things" < 1260018367 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, what is this lights out? < 1260018375 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://justfuckinggoogleit.com/ < 1260018378 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: a logic game < 1260018382 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, ah < 1260018393 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, I didn't ask you. I asked ais523 < 1260018403 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :You asked it in a public forum. < 1260018434 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, That is no reason to give unhelpful answers. < 1260018440 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :bbl < 1260018453 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It was not helpful; had you followed it, you would have reached an answer far richer than ais523's. < 1260018456 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*it was not unhelpful < 1260018543 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: you have a universe U, and a set of subsets of U, called S, you are then given a problem instance I, which is a subset of U, and you need to find a subset Z of S such that when you take the multiset M given by the union of sets in Z, each element of I appears in M an odd number of times, and each element in U\I appears an even amount of times < 1260018558 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :you don't get that from google < 1260018577 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :your mom doesn't get that from google < 1260018584 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :haha, that's a good one < 1260018599 0 :poiuy_qwert!n=poiuy_qw@74.13.126.140 JOIN :#esoteric < 1260018603 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: i think your HIGHLY COMPLEX MATHEMATICS might go over AnMaster's head. < 1260018608 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :refers to the fact my mom doesn't watch porn < 1260018615 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :highly :P < 1260018631 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: http://cpansearch.perl.org/src/DAPM/perl-5.10.1/lib/English.pm < 1260018635 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i need to train my incomprehensibility < 1260018640 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :sorry I didn't answer sooner < 1260018644 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: bah, too complex < 1260018679 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I love the way it's copying symbol table references < 1260018803 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :so in lights out, basically we can just think of this as summing a bunch of vectors to another vector, which is basic linear algebra, assuming you know finite fields form vector spaces when you take, well, vectors of them < 1260018839 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :gah, evolution keeps crashing when I load it < 1260018842 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it wasn't doing that earlier... < 1260018870 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i guess that doesn't really solve the part where you want the least amount of presses < 1260018885 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :what's the complexity? < 1260018932 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :brute-forcing is 2^(n^2), presumably that's beatable < 1260019034 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well finding a solution is clearly in P < 1260019042 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :the way i explained < 1260019051 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION wonders what the best way to geneerate a times table in j is < 1260019055 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :s/ / / < 1260019068 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :is there a P-time linear algebra algorithm that works even over modulo-N arithmetic? < 1260019105 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ah, (i.10)*/i.10 < 1260019125 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :s/geneer/gener/ < 1260019133 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :take all the sets in S, and think of them as length n*n vectors, then find a nice basis for the space of n*n vectors, and store which sets of S are used to get each vector in the basis < 1260019134 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(1+i.9)*/1+i.10 if you don't want 0s < 1260019175 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :if you get a nice orthonormal basis, with 000...00100...000 vectors, it's trivial to find a solution < 1260019203 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :like you have 00110, just take the vectors 00100 and 00010, and sum the vectors of S used to get them < 1260019236 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ais523: if you have a finite field F, F^n forms a vector space over F < 1260019256 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(1+i.9)%/1+i.9 < 1260019259 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The division table! < 1260019274 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :if p is prime, then 0, .., p-1 form a finite field < 1260019281 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :in this case we have 0, 1 < 1260019299 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(i.10)+/i.10 wraps in a fun way < 1260019319 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :any "linear algebra algorithm" should work on them just as well as with real vectors or whatever you have < 1260019326 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :not that i know what a linear algebra algorithm is < 1260019409 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ais523: in particular, gaussian elimination works directly in the case of binary arithmetic < 1260019495 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ah, ok < 1260019513 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :for i = 1...n, you just take some vector that has 1 as its ith bit, and add it to all other vectors that have i as their ith bit < 1260019527 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :if no such vector exists, just skip that part < 1260019531 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :that index < 1260019599 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: what's the j thingy for making a number into a string < 1260019611 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :sry, i don't know anything about j's strings < 1260019644 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :it's not like they're that important............................... < 1260019674 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :WELL YOU SHOULD :| < 1260019699 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ah it's called row echelon form < 1260019738 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :now i kinda want to write a generic lights out solver :P < 1260019750 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :do it! < 1260019774 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :better still if you somehow make it TC < 1260019782 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1260019817 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :is there 3d lights out < 1260019838 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well mine is already much more general than nd < 1260019843 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, n-dimensional sounds even more fun < 1260019863 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i'm just doing this for generic S \subset 2^U < 1260019884 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oklofok, U being the universe set? < 1260019924 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :for say 3-dimensional, you'd have n^3 elements in U, then form S by taking the, well, whatever form you want your "explosion sizes" to be < 1260019931 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :err < 1260019933 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :*explosions < 1260019957 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm makes kind of sense. I think I understood some parts of it at least :) < 1260019962 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :U being the universe, or you could just think of it as the length of vectors, and give |U| < 1260019969 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ehh /me tries to remember if j has an adverb meaning repeat argument < 1260019977 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :adv+v x → x v x < 1260019995 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i suggest you study basic linear algebra, it's sort of ubiquitous stuff < 1260020029 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oklofok, I do know *basic* linear algebra. Like how to reduce to reduced row echelon form and such. < 1260020044 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well right, i guess i mean you should study general linear algebra :P < 1260020052 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oklofok, ah < 1260020075 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oklofok, I also know some set theory. What I'm missing out on here is the vector stuff. < 1260020107 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well that is linear algebra too, matrices and vectors are close friends < 1260020168 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oklofok, yeah I said basic. There is some module later on covering it iirc. < 1260020174 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :one thing "matrices actually are" is a kind of "implementation" of linear maps, that is, mappings between two vector spaces that preserve structure < 1260020185 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :forget linear algebra < 1260020192 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :quantumEd, why on earth? < 1260020214 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :it's just solving simultaneous equations of the form ax + by + cz = d < 1260020218 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :it's useful. For practical applications < 1260020225 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1260020226 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's ~ < 1260020227 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :so why forget it < 1260020232 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :quantumEd, yes and? < 1260020235 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :yeah it's a theory of that < 1260020247 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so */~i. — multiplication table < 1260020259 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :one of the theories everyone should understand < 1260020271 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :you don't need any linear algebra to solve these equations < 1260020280 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :... < 1260020284 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i'm gonna go now -> < 1260020337 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :quantumEd, well I guess there are/could be other ways. It still seems like an easy and useful way for solving large equation systems. < 1260020386 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :quantumEd: did you know a lot of modern coding theory also relies on linear algebra? while it's a theory of linear equations, it has applications outside them. < 1260020410 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :oklofok no < 1260020416 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i mean linear algebra is what gives says if we have a linear code, we can find a basis for our code, and we have a unique dimension < 1260020438 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :and the orthogonal complement space of C is of dimension n-dim(C) < 1260020464 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :this is all stuff that doesn't have to be proven separately, because linear algebra gives us an understanding of general vector spaces < 1260020472 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :"no". < 1260020497 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :whoops, i guess i was wrong. < 1260020497 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :-> < 1260020509 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :when I said forget linear algebra I meant, for the duration of solving lights out < 1260020663 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oh. then i agree in this case you could just think of it as solving equations. < 1260020681 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :yes so don't jump to conclusions to ridicule me please < 1260020686 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i mean for getting solutions < 1260020705 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :err, and also seeing if they exist in practical situations < 1260020716 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :"You are such a fucking moron I am leaving rather than waste time listening to your bullshit" < 1260020769 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :quantumEd: you're way too sensitive < 1260020776 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :not everything's a war against you < 1260020777 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :grow up < 1260020777 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :yeah, i said that, then realized that was rude, and explained myself < 1260020792 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :but mostly i said that because i was leaving < 1260020817 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :have to do a thing < 1260020819 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :quantumEd: it really did sound like you were saying linear algebra is useless. < 1260020835 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :oklofok how much of a stupid dickhead do you think I am? seriously < 1260020851 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"You are such a fucking moron I am leaving rather than waste time listening to your bullshit" is amusing with him previously saying he left because of me < 1260020861 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"you are such a fucking dick I am leaving rather than waste time listening to your bullshit" < 1260020876 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :quantumEd: you could think it's not something people should learn as the first things in mathematics without being a stupid dickhead, imo < 1260020883 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i would just loudly disagree, as i did. < 1260020934 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well, w/e, again :P < 1260020935 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :-> < 1260021221 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :quantumEd, oklofok always had problems leaving when he had to. Don't take it personally < 1260021233 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :he usually shows up several times again before actually leaving for real < 1260021236 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :s/had/has/g < 1260021236 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster I guess you missed what happened earlire < 1260021243 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: quantumEd has a persecution complex. < 1260021249 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :quantumEd, probably. I don't generally read scrollback < 1260021254 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, "persecution"? < 1260021261 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :rtfd(ictionary) < 1260021282 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :an irrational and obsessive feeling or fear that one is the object of collective hostility or ill-treatment on the part of others. < 1260021294 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :quoth whatever os x's dictionary is < 1260021313 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, 2. The feeling you easily get around ehird < 1260021315 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :right? < 1260021340 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :If you're prone to taking criticisms personally when they were not so, yes. < 1260021349 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, ... That was a joke dujh < 1260021350 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :duh* < 1260021355 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I know. < 1260021363 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :didn't seem so. meh < 1260021383 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i wonder if fortran has any cool ideas < 1260021394 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, define cool < 1260021404 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :interesting < 1260021417 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well, okay, hard to define that precisely < 1260021431 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :indeed. < 1260021447 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :also I know next to nothing about fortran < 1260021461 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i still find it hard to believe how short oberon-2's report is compared to r5rs... < 1260021462 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :been cooling for 50 years, should be practically freezing < 1260021481 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh yeah I remember one thing. at least gcc's fortran compiler stores multi-dimensional arrays in the opposite order of gcc's C compiler < 1260021493 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :as in a C array like int myarray[200][100]; < 1260021512 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :end of fortran knowledge < 1260021537 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, "meh" < 1260021537 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ary[x][y] = ary[(x*width)+y] is intuitive and obvious, I'd say < 1260021546 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: he was joking < 1260021550 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, yes < 1260021564 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, but I found the joke rather mediocre < 1260021598 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, not up to his usual punerific strength < 1260021601 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ary[x][y][z] = ary[(((x*width)+y)*depth)+z] < 1260021605 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :wonder if that can be simplified < 1260021626 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, anyway the thing is gcc stores it in one order and gfortran in the opposite one < 1260021629 0 :adu!unknown@unknown.invalid QUIT : < 1260021634 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :MATLAB matrices are also in column-major order in memory, at least usually. < 1260021639 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :iirc fortran was columns first, but gcc was row first < 1260021643 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :not sure < 1260021647 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1260021658 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :in int foo[42][34]; is sizeof foo == 42*sizeof int? < 1260021664 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :or is it 42*34*sizeof int < 1260021677 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :The latter. < 1260021685 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :darn < 1260021686 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, err how could the former one happen? < 1260021698 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oh, you could do sizeof foo / sizeof foo[0] < 1260021704 0 :Gracenotes!unknown@unknown.invalid QUIT :"Leaving" < 1260021718 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so: < 1260021739 0 :adu!n=ajr@pool-71-241-254-143.washdc.fios.verizon.net JOIN :#esoteric < 1260021844 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1260021859 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i had < 1260021860 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :nested: A[X][Y] = A[(X*(sizeof A / sizeof A[0]))+Y] < 1260021861 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : | {A[X]:nested}[Y] = A[(X*(sizeof A / sizeof A[0]))+Y] < 1260021863 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but in the latter one < 1260021870 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :in the sizeofs < 1260021876 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it needs to know how nested it is previously < 1260021880 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :eh < 1260021884 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :just use the generic pointer rule :P < 1260021980 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: width, depth, ? < 1260021983 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :for 4-dimensions < 1260021984 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :any ideas? < 1260021985 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, sizeof is always bytes < 1260021994 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: yes, yes, it was just an example :P < 1260021996 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, hm? < 1260022003 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hm whatt < 1260022017 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :for 4 dimensions? < 1260022017 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :you asked me something < 1260022017 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I'm not sure what < 1260022019 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1260022021 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :width = 2d < 1260022023 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :depth = 3d < 1260022024 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :? = 4d < 1260022024 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well yes < 1260022032 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :does the name matter? < 1260022037 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :not really < 1260022039 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i'll call it fourd < 1260022045 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and the variables x,y,z,x4 < 1260022051 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, better name: fnourd < 1260022060 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ok, mathematica has found a simpler form for me < 1260022112 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :or rather, not it hasn't < 1260022119 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but it has found one with less nesting! < 1260022137 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :a[x][y][z] = (depth*width*x) + (depth*y) + z < 1260022138 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, what is the current mathematica version < 1260022148 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ACTION has decided to get it < 1260022157 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :a[x][y][z][x4] = (depth*fourd*width*x*x4) + (depth*fourd*x4*y) + (fourd*x4*z) < 1260022161 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ofc that's kinda obvious < 1260022164 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: what; legally?! < 1260022171 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i hope your name is moneybags < 1260022177 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :wait then you'd be able to look it up < 1260022200 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, lets not go into details < 1260022200 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :about legality < 1260022200 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so clearly illegally < 1260022200 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :7.0.1 < 1260022206 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i have 7.0.0 < 1260022224 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :suffice to say I'm always a law abiding person and this is a public place and freenode doesn't use ssl, and why trust freenode anwyay. < 1260022234 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: you'll need a key generator, and it'll only run on windows, just so you know... just in case... not that i'm implying anything... < 1260022254 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, I have MSDNAA and I have virtualbox. What else does one need? < 1260022259 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :a vm might be good... because they're not too trustable... this is for PUBLIC INFORMATION ONLY < 1260022265 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well yes < 1260022274 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :if I did that I would rollback of course < 1260022279 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :not that I would ever do such a thing < 1260022311 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :if you're epileptic the demoscene light show included might be bad... JUST SAYING < 1260022324 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :there, I think that was relatively inconspicuous < 1260022325 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :cough < 1260022326 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :anything important new in 7.0.1 compared to 7.0.0? < 1260022327 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :just call me ford prefect < 1260022330 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: probably not. < 1260022340 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :sounds like a bugfix release < 1260022361 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and mathematica is buggy enough that it hardly matters :D < 1260022378 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, I have of course not seen such demoscene light shows before, but I do happen to know exactly what you mean. Very strange this knowledge just dumped straight into my brain somehow. < 1260022391 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Clearly all minds are the same. < 1260022399 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, I read that as "fnord prefect" first XD < 1260022400 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :You have the ability to break down the barriers between them. < 1260022415 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: also, you can't edit mathematica notebooks (programs) outside of mathematica, just so you kknow < 1260022417 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*know < 1260022423 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :they're rich text < 1260022423 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, okay < 1260022432 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :well they're not really programs per se < 1260022448 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :they're definitions, lines of code that haven't been rune, lines of code with their output (which can be interactive) below, and formatted text to explain it < 1260022470 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oh, and it automatically indents, add spacing and wraps lines for you. working against it is painful, I suggest never typing whitespace < 1260022479 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :But you can view them with that viewer thing that everyone of course has installed. < 1260022490 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :finally, the default 3d output is fugly because it doesn't antialiase < 1260022500 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :in the options, it's appearance→graphics→drag to the highest setting. barely any performance hit. < 1260022501 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you're welcome < 1260022544 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, purely hypothetical: to what degree should one trust the actual pirated program in question if the keygen can't be trusted? < 1260022563 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Entirely. < 1260022569 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Keygens aren't cracks, they don't hack the program. < 1260022584 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :They just reverse-engineered the key mechanism, and made a program that generates valid ones. < 1260022590 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, even if the keygen is included in the same purely hypothetical torrent? < 1260022602 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: It was not compiled by the keygen authors. < 1260022612 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The warez community... isn't too fond of bittorrent. < 1260022615 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, says "EDGE"? hm < 1260022620 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, why not? < 1260022623 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Neither is the piracy community. < 1260022632 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: tradition, security, privacy. < 1260022636 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :exclusivity < 1260022659 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, well, what do you suggest, a 600 part yencoded usenet thread? < 1260022659 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :XD < 1260022669 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :or something around that. Probably more parts < 1260022691 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :They use protected FTP servers. < 1260022696 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1260022714 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :To get in to one, you have to have first made a certain number of releases yourself and stuff. < 1260022734 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :There's a tier of most-exclusive-earliest-releases-fastest-connections down to the public sites. < 1260022759 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :There're bots that distribute it all downwards. There's a race between scene groups to complete a distribution of a new release before anyone else, and the group that manages it wins that release. < 1260022760 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, so then who uses torrents? < 1260022764 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :This is all vague and I've probably made some errors. < 1260022770 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :use* < 1260022781 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: FTP might filter down to Usenet or whatever, or straight from the public site. < 1260022801 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Then it just circulates around P2P and shit, and someone makes a torrent at some point. < 1260022814 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :mhm < 1260022827 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, what sort of P2P? < 1260022837 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :non-torrent p2p I assume < 1260022837 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :like gnutella and stuff, I guess < 1260022841 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1260022852 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i'm fuzzy as to the path from scene-approved to torrents < 1260022887 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oh, maybe ed2k is involved somewhere < 1260022893 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, of course, since all this is just hypothetical knowledge or something < 1260022896 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ed2k? < 1260022900 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/EDonkey_network < 1260022914 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :the ed2k://long hash links < 1260022927 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :not that i've ever seen one. < 1260022933 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :btw mathematica uses qt for gui < 1260022949 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you can technically use at the command line, but most of mathematica's fun is from the interactive/graphical stuff < 1260022957 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I haven't seen such a link either. Not even hypothetically < 1260023013 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, does it include *.deb? < 1260023023 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It's a binary, I believe. < 1260023025 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Plus supporting files. < 1260023034 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Or an installer. < 1260023037 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://reference.wolfram.com/mathematica/tutorial/InstallingMathematicaOnUnixAndLinux.html < 1260023040 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, I mean, is it a installer.sh thing that spews all over the file system or not < 1260023049 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It's an installer. < 1260023055 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh well < 1260023055 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :5. The installer prompts you to specify the directory in which Mathematica should be installed. The default location is /usr/local/Wolfram/Mathematica/7.0. Press Enter to accept the default, or type in a new location and then press Enter. < 1260023059 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: But no file system spew. < 1260023065 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I'd suggest /opt/mathematica. < 1260023070 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Or if you have no /opt, /usr/lib/mathematica. < 1260023078 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :7. You are asked for the location in which to copy the executable scripts. You should choose a directory that is present on each user's PATH. The scripts are also installed in the Executables subdirectory of the Mathematica installation directory. Type a location or accept the default and press Enter. < 1260023080 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, yeah and do it as normal user < 1260023084 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I'd choose $prefix/bin. < 1260023103 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: That'll fuck up the ownership of the resulting files. < 1260023104 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :as in create directory and chown it to said user, then install mathematica as it < 1260023105 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I highly doubt Wolfram have created a malicious piece of software. < 1260023135 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It only touches the Mathematica prefix and the executable prefix, it seems. < 1260023137 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, 1) binary installer 2) hypothetical non-trusted source < 1260023142 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: it says it requires root. < 1260023146 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, also you said it was buggy < 1260023148 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and binary? < 1260023150 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's shell, I believe < 1260023153 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Mathematica itseelf < 1260023153 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well okay < 1260023154 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*itself < 1260023158 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but that's mostly crashes and stuff < 1260023169 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :algorithmic errors that is < 1260023173 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that make it crash < 1260023181 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1260023188 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, why so badly coded one wonders < 1260023188 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i've never crashed mathematica < 1260023190 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523 has though < 1260023200 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but ais523 is quite pathological < 1260023213 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: the main thing you'll notice with mathematica is that if you compose a few primitives, it's really fast < 1260023219 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and then if you write some code that isn't glue, it takes years < 1260023230 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's bipolar performance < 1260023234 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :also this is hypothetically strange: getting higher download speed than what your connection limit is. < 1260023238 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :manic-depressive language < 1260023250 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: what connection speed, what download speed? < 1260023257 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :answer with proper units, please < 1260023268 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i.e. b=bit, B=byte, K=1000, Ki=1024 < 1260023273 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :otherwise I won't be able to see what you got wrong :-D < 1260023280 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :your connection is 9 Mb, right? < 1260023283 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :9 megabits = 9,000 bits < 1260023286 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, "8 megabit down" (ISP's wording), 2 megabit (1024 based) actual download < 1260023286 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :erm < 1260023287 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :8 < 1260023295 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: 1024 x bit? < 1260023299 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :surely you mean 2 megabyte < 1260023306 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :megabit is never 1024 based < 1260023308 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's always 1000 < 1260023308 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, yeah byte < 1260023309 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :typo < 1260023325 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so, to translate into the formal units required for actually diagnosing the problem < 1260023336 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :anyway I should get something around 1000 kilobyte per second max < 1260023336 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ISP says 8 Mb/s = 8 megabits per second < 1260023341 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I'm getting around twice < 1260023361 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :in practise I tend to get 800 kbyte/s (unknown if it is 1000 or 1024) most time < 1260023364 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :You tend to get 2 MiB/s = 16 Mb/s < 1260023365 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :just this time... < 1260023369 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric := 16 megabits per second < 1260023369 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, indeed < 1260023371 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :...wait, what? < 1260023375 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i think google fucked up that conversion < 1260023382 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, *8 < 1260023393 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, you went from bits to byte < 1260023393 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :eh, I can't trust google to have the correct units < 1260023395 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I think it did < 1260023408 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, the maths is easy, just do it yourself < 1260023410 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I'm going to write a program that actually converts them properly < 1260023418 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: not when you get to Mi < 1260023435 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, just unravel it down to bytes/bits < 1260023437 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION tries writing it in perl, for no reason < 1260023445 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, interesting choice < 1260023479 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :kilobytes to petabytes should do methinks < 1260023488 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, decabytes! < 1260023498 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :(just because) < 1260023621 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :10.4 MB/s over lan? < 1260023626 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that's poor < 1260023640 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :even for ssh < 1260023652 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :since it is gbit ethernet < 1260023658 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh wait it isn't < 1260023663 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :only part of the way < 1260023664 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :duh < 1260023751 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :wat, perl's foreach doesn't let you get the indices too? < 1260023755 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :must be a way < 1260023808 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :LOL, http://perldoc.perl.org/functions/ shows the thiing for index < 1260023809 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :guess why < 1260023827 0 :Slereah_!n=Slereah@ANantes-259-1-118-39.w92-139.abo.wanadoo.fr JOIN :#esoteric < 1260023841 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ACTION wonders why on earth /opt/plan9 is owned by the non-existent user 1002 < 1260023857 0 :poiuy_qwert!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1260023970 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :argh < 1260023977 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :automating -i is hard because it's just "nearest power" < 1260024001 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :or is it, always? < 1260024002 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i'm not sure < 1260024071 0 :oerjan!unknown@unknown.invalid QUIT :"Good night" < 1260024186 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1260024193 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i'm case-insensitive in the first letter of the prefix, but not the rest < 1260024203 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :kiB = KiB < 1260024205 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but < 1260024209 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :kib != kiB < 1260024225 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, is KIB == kiB? < 1260024231 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I is a syntax error. < 1260024235 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, oh < 1260024240 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's just that the thing for kibibytes, officially, is kiB < 1260024242 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :logically it's KiB < 1260024243 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but yeah < 1260024337 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :well < 1260024340 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I guess uppercase I will work < 1260024342 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :just for my laziness < 1260024459 0 :Slereah!unknown@unknown.invalid QUIT :Connection timed out < 1260024567 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ugh < 1260024570 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I need to use bignums < 1260024573 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :because i work in bits < 1260024581 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :since the smallest unit is b = 1 bit < 1260024596 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and 1 petabyte is a loooot of bits < 1260024608 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oh well, easy enough < 1260024610 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :just < 1260024611 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :use bignum; < 1260024614 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and no other code changes required < 1260024623 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(AnMaster will hate that, it's magic) < 1260024675 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, I'm indifferent to this information < 1260024684 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :seriously? < 1260024685 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :why? Becuase I already hate perl. < 1260024692 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :so this changes nothing < 1260024717 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hate is a strong word < 1260024847 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, the hypothetical keygen seems to have instructions in, uh, spanish? < 1260024856 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :just run the exe < 1260024868 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and put AnMaster or your real name in every field it wants (prolly name, organisation) < 1260024871 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hit the button < 1260024880 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it should give a serial key and some other ID thing < 1260024881 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, why my real name or such < 1260024886 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I use made up ones normally < 1260024889 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: because it's what mathematica will put as your license information < 1260024897 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :no need for such paranoia, it's an in-program key checker < 1260024897 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, mhm < 1260024915 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :yeah my real name is N/A < 1260024917 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :very nice name < 1260024933 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Norlander/Arvid < 1260024934 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Indeed it is. < 1260025025 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, hah < 1260025056 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well then < 1260025075 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :fun, own category in the program menu < 1260025081 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :you said it didn't clobber stuff iirc? < 1260025083 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, ^ < 1260025127 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Top causes for wakeups: < 1260025127 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : 32,7% (9725,4) MathKernel : schedule_hrtimeout_range (hrtimer_wakeup) < 1260025127 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : 32,7% (9712,2) Mathematica : schedule_hrtimeout_range (hrtimer_wakeup) < 1260025127 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : 32,5% (9655,4) java : schedule_hrtimeout_range (hrtimer_wakeup) < 1260025129 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :wow < 1260025131 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, ^ < 1260025150 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Heh. < 1260025160 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Didn't know it clobbered the menus. < 1260025163 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Sorry. < 1260025164 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, it causes noise from my laptop < 1260025166 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :No big shakes, it's just one file. < 1260025170 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Even idling? < 1260025171 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :those wakeups < 1260025173 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, yes < 1260025184 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Open the options < 1260025186 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :high pitched C4 mwait/C0 switches < 1260025198 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, then? < 1260025206 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Look at the Parallel tab. < 1260025212 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :found it < 1260025213 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :then what < 1260025215 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :should be launching kernels when needed < 1260025219 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :automatic (number of cores) < 1260025225 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :set to that < 1260025228 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :is run kernels at a lower process priority set? < 1260025231 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :if not, set it < 1260025248 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :also set < 1260025255 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :still this noise is annoying. argh < 1260025295 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :shrug < 1260025299 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you'll have to deal with it < 1260025333 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, this is "worse than CRT" noise. < 1260025343 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Wakeups-from-idle per second : 10379,7 interval: 10,0s < 1260025343 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :btw < 1260025347 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that's quite a lot < 1260025354 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Deal with it. < 1260025354 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :usual is around 20-40 < 1260025372 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Or try setting there to be only one kernel. < 1260025383 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :And set it to launch parallel kernels at startup, then restart. < 1260025454 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :doesn't help either < 1260025456 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1260025537 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, why java though hm < 1260025550 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Some part of it is Java. < 1260025568 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I would reset those settings you changed, btw. < 1260025570 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :icedtea is buggy IME. Maybe that is why < 1260025580 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Try the open-source Sun JDK. < 1260025607 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Mathematica has received the signal: SIGSEGV and has exited. < 1260025611 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I'm not sure what I did < 1260025621 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :launch it and quit it I think < 1260025651 0 :coppro!n=coppro@unaffiliated/coppro JOIN :#esoteric < 1260025665 0 :poiuy_qwert!unknown@unknown.invalid QUIT :"Leaving" < 1260025712 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Even more magic than "use bignum" < 1260025713 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :use integer; < 1260025717 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Now all divisions are integer division. < 1260025721 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Of course, this is usually used in a block: < 1260025722 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :{ < 1260025723 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :mhm < 1260025724 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : use integer; < 1260025726 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : calculations; < 1260025726 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :} < 1260025745 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hmm, in fact, I think it has to be in a block. < 1260025761 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Or, no. < 1260025824 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :No, program, 8 KiB = 64 Kb, not 65.536. < 1260025831 0 :Pthing!n=pthing@cpc11-pres4-0-0-cust168.pres.cable.virginmedia.com JOIN :#esoteric < 1260025837 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, is there a way to tell apt-get that "no even if this is a recommends, I don't want this package" < 1260025845 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Or, no, wait, my Perl program is right. < 1260025846 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :"error out rather than try to install this" < 1260025856 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: There's a --dont-install-recommends-fuck-you < 1260025875 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1260025897 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :still I was considering a specific one I want to ban forever to the deepest circles of hell < 1260025919 0 :MigoMipo!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1260025957 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :but --no-install-recommends works I guess < 1260026011 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :note that the "recommends" means "if you want that, you almost certainly want this too unless you're doing something really weird" < 1260026066 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, well I disagree in this case < 1260026084 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :what case is it? < 1260026098 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :avahi-daemon and sun-java6-jdk (indirect dep) < 1260026105 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I don't want the former < 1260026119 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, how do you switch implementation for alternatives? < 1260026136 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :say, I want to switch from openjdk to sun's jdk < 1260026148 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :there's a command for it, but I can never remember what it is < 1260026150 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :let me check < 1260026166 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :thanks < 1260026169 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ah, sudo update-alternatives < 1260026182 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it's probably best to read the man page before using it < 1260026214 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :"sudo update-alternatives --config java" is the normal method of using it < 1260026217 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :tldr but I have to get something sugar rich, should be able to handle it then < 1260026239 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :where you write the name of the binary in question, which is probably going to be "java" here < 1260026267 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and it didn't help < 1260026271 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :(with the original issue) < 1260026273 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, ^ < 1260026464 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :back < 1260026486 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :openjdk is sun's < 1260026488 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, ah there seems to be many reports on this < 1260026493 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :unless you want the closed one < 1260026494 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :googling on mathematica 7 linux powertop < 1260026526 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, well the openjdk was the buggy one, that was causing grief in another context recently < 1260026531 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :icedtea was as bad < 1260026537 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :the closed one being less buggy < 1260026545 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :bugs have been filed < 1260026561 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :(not by me, but by the author of that java application) < 1260026605 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, http://groups.google.com/group/comp.soft-sys.math.mathematica/browse_thread/thread/861d1ad03b19d949 < 1260026628 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :yey bugs < 1260026657 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, same behaviour as I'm seeing < 1260026681 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :OpenJDK had some really strange bugs in the AWT/Swing image-processing parts; though those have long since been fixed. (It was just that only some of the university boxen were new enough to have fixed versions.) < 1260026709 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, hm the issue was in awt stuff iirc < 1260026712 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Try the 32-bit version? < 1260026714 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :or maybe swing < 1260026719 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, same cd? < 1260026724 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Dunno. < 1260026726 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Probably not. < 1260026726 0 :ais523!unknown@unknown.invalid QUIT :Remote closed the connection < 1260026732 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Wolfram are anal with their licenses. < 1260026748 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah yes same cd < 1260026787 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, well, I need this thing called sleep. So yeah will try in 32-bit chroot tomorrow < 1260026806 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Just press the sleep button! < 1260026847 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :$ ./sconvert 4PiB Pb < 1260026847 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :26.8435456 Pb < 1260026862 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :4 pebibytes is ~26.84 petabits. < 1260026865 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The more you know! < 1260026872 0 :fungot!n=fungot@momus.zem.fi JOIN :#esoteric < 1260026877 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :wb fungot < 1260026878 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :ehird: along with nick, for a marker, not an expression?)) fnord < 1260026880 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I didn't know you'd left < 1260026883 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :^style < 1260026883 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld europarl ff7 fisher ic irc* jargon lovecraft nethack pa speeches ss wp youtube < 1260026908 0 :jpc!n=jw@unaffiliated/javawizard2539 JOIN :#esoteric < 1260026922 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Really should put fungot under some auto-restart service supervisor one of these days. < 1260026922 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: or the specification has changed, maybe it will be < 1260026943 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :$ ./sconvert 1024PiB b < 1260026944 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :68719476736 b < 1260026944 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I, uh, no. < 1260026964 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, wrong indeed < 1260026991 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I wonder if < 1260026991 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[23:27] ehird: $ ./sconvert 4PiB Pb < 1260026992 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[23:27] ehird: 26.8435456 Pb < 1260026992 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :was incorrect too. < 1260027002 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Not sure when he left either. The wlan box did reset when I added an entry to the MAC filter list, but that shouldn't affect him. < 1260027010 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, does it work for MiB to MB? < 1260027027 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Mebibytes to megabytes, or to megabits? < 1260027040 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, the former < 1260027040 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I said that < 1260027057 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :$ ./sconvert 1024MiB MB < 1260027057 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :838.8608 MB < 1260027062 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: you're known to use inconsistent units < 1260027066 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :nnno < 1260027069 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that's wrong < 1260027070 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I think the above is wrong, yeah. < 1260027072 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :very wrong < 1260027089 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Oh, OH < 1260027094 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :My prefixes are— hm, no. < 1260027095 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Or... < 1260027096 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hm. < 1260027096 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, you had it backwards right? < 1260027108 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :print expr_value($ARGV[0])/unit_value($ARGV[1]), " $ARGV[1]\n"; < 1260027115 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :try 1 MiB to MB < 1260027127 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :unit_value('kB') → 8000 < 1260027136 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :expr_value('3 kb') → 3000 < 1260027137 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hopefully. < 1260027144 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :err < 1260027146 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :$ ./sconvert 1MiB MB < 1260027147 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :0.8192 MB < 1260027149 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, try simple ones < 1260027149 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :That looks right. < 1260027165 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Remember that the intermediate values are bits. < 1260027171 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Not bytes. < 1260027176 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, well try it for just bits then < 1260027193 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :$ ./sconvert 1Kib Kb < 1260027193 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :1.024 Kb < 1260027202 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :seems about right? < 1260027207 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Yep, that's right. < 1260027216 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :$ ./sconvert 1KiB KB < 1260027217 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :1.024 KB < 1260027218 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :That too. < 1260027224 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :$ ./sconvert 1KiB Kb < 1260027224 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :8.192 Kb < 1260027224 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :And that. < 1260027226 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, but the MiB -> MB one was wrong < 1260027231 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I think < 1260027244 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :not 100% sure but < 1260027247 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Well, let's see. < 1260027254 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :too tired to work it out < 1260027285 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :1 MiB = 1.048576 MB, I believe. < 1260027295 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :$ ./sconvert 1MiB MB < 1260027296 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :0.8192 MB < 1260027296 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :So, I think that's wr— oh, perhaps— < 1260027316 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :it should be more than one MB at least < 1260027321 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I'm pretty sure about that < 1260027332 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :WTF? Hm. < 1260027353 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :or should it? < 1260027361 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I'm confused now. < 1260027371 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :print unit_value('MiB')/8,"\n"; < 1260027371 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :→ 8192 < 1260027372 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :an 80 GB disk fits around 74 GiB iirc < 1260027382 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Division by 8 should convert bits to bytes. < 1260027387 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :So... < 1260027398 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : my @ids = split //, 'kmgtp'; < 1260027399 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : foreach (0..4) { < 1260027399 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : my $pow10 = 10**($_+3); < 1260027399 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : $prefixes{$ids[$_]} = $pow10; < 1260027399 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : $prefixes{$ids[$_].'i'} = 2**int((log($pow10)/log(2))+.5); < 1260027400 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : } < 1260027404 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, try 80 GB to GiB < 1260027408 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I think my error is in the i line. < 1260027413 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :because I remember what that should be < 1260027422 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It's calculating the nearest power of two. Maybe that's incorrect. < 1260027427 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :roghly < 1260027455 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :My prefixes are definitely wrong. < 1260027481 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, known test case from segate disk: 80 GB is around 74 GiB < 1260027506 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :61.03515625 here. My prefixes hash must be in error; let me dump it. < 1260027522 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :yeah, 61 is nowhere near 74 < 1260027540 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :print "$_\t$prefixes{$_}\n" foreach (keys %prefixes); < 1260027551 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :You want fixed powers of two, not upwards-rounded ones. < 1260027571 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://pastie.org/729686.txt?key=dqx6u1u7v0u9wipsfhg < 1260027575 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: Unverbosify? < 1260027598 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :2^10 for ki, 2^20 for Mi and so on. < 1260027611 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :"Today I finally tried an 2.6.27 kernel and the problem disappeared. So it seems that Mathematica has a problem with kernels newer than 2.6.27 and that this problem is not Ubuntu specific." < 1260027612 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, ^ < 1260027645 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: Oh, so it's just 2^(i*10)? < 1260027664 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Well. < 1260027665 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :For the right i, yes. < 1260027667 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(i+1)*10 < 1260027675 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Right. < 1260027678 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: k:0,m:1,g:2,t:3,p:4 < 1260027686 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :wow, I'm stupid :) < 1260027717 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :$ ./sconvert 80GB GiB < 1260027717 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :0.007450580596923828125 GiB < 1260027717 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :What. < 1260027723 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: I suspect you of incorrectosity! < 1260027738 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : my @ids = split //, 'kmgtp'; < 1260027738 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : foreach (0..4) { < 1260027738 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : $prefixes{$ids[$_]} = 10**($_+3); < 1260027738 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : $prefixes{$ids[$_].'i'} = 2**(($_+1)*10); < 1260027739 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : } < 1260027740 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :okay that's some false marketing if I ever seen it < 1260027742 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :;P < 1260027747 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: :-D < 1260027765 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(but srsly, it's not a drive company conspiracy, people who say that are dumb) < 1260027770 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :That's just a factor-of-1000 error if I saw right. < 1260027780 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, but jokishly: I know that < 1260027790 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :just checking < 1260027794 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :loads of people really think it's false marketing < 1260027804 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, of course the real conspiracy is SI using 1000 not 1024 < 1260027805 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :to begin with < 1260027807 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: Indeed, but I don't see why in my code. < 1260027819 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: IMPERIAL SYSTEM UBER ALLES < 1260027824 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :why is it weird that SI prefixes do not correspond to SI values? < 1260027824 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :PINTS AND YARDS AND MILES < 1260027826 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :DECIMAL MUST DIE < 1260027829 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :*do correspond < 1260027849 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :k = 1000x... deciding it ought to be 1024x just because it's more convenient is rather dumb < 1260027857 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :In the US, both the time and the measurements are non-decimal, but they use them both in decimal. < 1260027861 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It's crazy! < 1260027863 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :coppro, *woosh* < 1260027870 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :coppro: Indeed. Even in a REAL binary system, 1024 wouldn't be special. < 1260027873 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh is that how it feels to say it < 1260027876 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :We only use 1024 because it's close to 1000. < 1260027878 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: It's whoosh. < 1260027879 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :right < 1260027884 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, ah < 1260027888 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :woosh is a girly wind. WHOOSH is MEATY! < 1260027896 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, whaash? < 1260027904 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :rather wet I fear < 1260027906 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Wharsh yarsherlf. < 1260027917 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, what dialect? < 1260027918 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :also, it's a lowercase k; people seem to get this wrong :/ < 1260027922 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I don't know either; do dump that %prefixes hash, since the init should be right now. < 1260027965 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :coppro: Yeah, but know the crazy thing? < 1260027970 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The standard for the -i suffixes says that it's Ki-. < 1260027972 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Even though it's k-. < 1260027979 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :THAT IS INCONSISTENT AND STUPID ;_; < 1260027979 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :hmm... I'll just start measuring everything in dab, just to confuse people. < 1260028015 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :or mb < 1260028015 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :dab? < 1260028015 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Oh. You want 10**(($_+1)*3) there too. < 1260028015 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :ehird: decabits < 1260028015 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :mb. That's less than one bit. < 1260028016 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :HOW DOES THAT EVEN— < 1260028021 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :TURKEY BOMB < 1260028021 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh there are patches from wolfram it seems < 1260028022 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :yay < 1260028026 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :ehird: to confuse people who think I'm talking about Mb < 1260028029 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :or even MB < 1260028036 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :They think you'll mean MiB, probably. < 1260028042 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://catseye.tc/projects/turkeyb/doc/turkeyb.html < 1260028047 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :one GB == 8,000,000,000,000 mb < 1260028047 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"Two thirds of a bit plus half a trit." < 1260028058 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I am going to start measuring in BI_ITs. < 1260028059 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Now it's 10**3, 10**4, ... and so on, which is not very right. < 1260028087 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: Err, are you sure? < 1260028090 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Wait. < 1260028092 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yes you are. < 1260028125 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :$ ./sconvert 80GB GiB < 1260028125 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :74.50580596923828125 GiB < 1260028125 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I like the jut of your KiB! < 1260028131 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*rimshot* < 1260028156 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It should be legal to combine units. < 1260028160 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :G = KK! < 1260028165 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :umm < 1260028166 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :no < 1260028170 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :YES :| < 1260028178 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :G = MK or KM or KKK < 1260028191 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :KKK! < 1260028191 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :coppro: Oh, right, I meant M. < 1260028196 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :*Mk or kM or kkk < 1260028220 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :hmm... other fun things to measure in: YB < 1260028224 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1260028231 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :OOO < 1260028237 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Yotta comes after peta, right? < 1260028246 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I should probably make my calculator anal so that you have to use the correct capitalisation. < 1260028251 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :after, meaning smaller? < 1260028256 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I just need to make sure k's binary form becomes Ki. < 1260028266 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :coppro: although, do you think I should accept ki too? Because Ki is really fucking stupid. < 1260028280 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1260028291 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :i think prefixes are stupid < 1260028293 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :"Double prefixes such as those formerly used in micromicrofarads (picofarads), hectokilometres (100 kilometres), and millimicrons or micromillimetres (both nanometres) were also dropped with the introduction of the SI." < 1260028294 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :ehird: Ki makes sense in that it's used for consistency with other 'i' forms; I wouldn't really care either way < 1260028305 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :why don't people just write 1000000000000000? < 1260028313 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ah, it's kMGTPEZY < 1260028319 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :adu: obvious ereasons. < 1260028321 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :yep < 1260028330 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :k is the highest lowercase prefix < 1260028338 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :The "micromicrofarad" one is a link too. < 1260028342 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :coppro: but k makes sense with consistency for... most other >0 prefixes :-) < 1260028350 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :they should just have made all prefixes >1x capital < 1260028356 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :that would avoid "da" as well < 1260028359 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i'll make it support both ki and Ki < 1260028365 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :the first one is rational and the second one is standard < 1260028371 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :make it complain if you enter KB or Kb < 1260028371 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :ehird: and kI < 1260028380 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :coppro: yes < 1260028384 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :ehird: for the stupids < 1260028398 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :adu: no. < 1260028448 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :agree with ehird < 1260028458 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :"A micro-microfarad (μμF) that can be found in older texts is the equivalent of a picofarad." (That probably has a broken mu sign, haven't fixed the locale just right.) < 1260028477 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :also, if it sees "iB", it should complain that Hungarion notation sucks < 1260028493 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Okay, program made anal. < 1260028498 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :coppro: wat? < 1260028511 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :also, it's hungarian < 1260028516 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :yeah, typo < 1260028522 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :$ ./sconvert 1KiB kB < 1260028522 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :1.024 kB < 1260028534 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :$ ./sconvert 1KiB KB < 1260028534 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :inf KB < 1260028540 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1260028546 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I should probably handle that < 1260028554 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :did you mean μμF? < 1260028561 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :you should make it do other units two :D < 1260028570 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :or µµF? < 1260028599 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :coppro: But it's mainly for byte/bit, binary/decimal confusion. < 1260028618 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :curse you, Unix < 1260028624 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :also, curse my atrocious word choice there < 1260028627 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :that should have been "too" < 1260028629 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Unix? Why? < 1260028635 0 :kar8nga!n=kar8nga@jol13-1-82-66-176-74.fbx.proxad.net JOIN :#esoteric < 1260028650 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :coppro: units(1) is there for the rest < 1260028678 0 :kar8nga!unknown@unknown.invalid QUIT :Remote closed the connection < 1260028692 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : "A micro-microfarad (μμF) that can be found in older texts is the equivalent of a picofarad." (That probably has a broken mu sign, haven't fixed the locale just right.) < 1260028696 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :encoding failure? < 1260028704 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :you meant µ < 1260028705 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I guess < 1260028711 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :µµ maybe < 1260028712 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :Ůŋıçøðë Řōχ < 1260028722 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :indeed < 1260028733 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :$ echo "3$(units kg grams | tail -1)" | bc < 1260028734 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :3000 < 1260028748 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :It should be pretty clear from the () part what was meant. < 1260028766 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Sleepity now, night. < 1260028785 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Use of uninitialized value in multiplication (*) at ./sconvert line 38. < 1260028786 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Use of uninitialized value in split at ./sconvert line 27. < 1260028786 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Use of uninitialized value in hash element at ./sconvert line 28. < 1260028794 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :PEEEEEEEEERL :| < 1260028830 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, use strict; use warnings; use whatever-the-thing-that-makes-you-have-to-pass-stuff-through-a-regex-to-make-it-trusted;? < 1260028843 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Nothing to do with that. < 1260028851 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Trivial bug, now fixed. < 1260028884 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :meh < 1260028886 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Eh, now it says bad input for everything :-D < 1260028899 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, you should have used python instead < 1260028903 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Nah. < 1260028907 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: tainted mode? < 1260028907 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I'm going to code this in C out of curiosity, see how much bigger it is. < 1260028909 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Oh wait, bignums. < 1260028912 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :coppro, possibly < 1260028913 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :gmp. < 1260028914 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Shiver. < 1260028916 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Uh. < 1260028919 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :ugh < 1260028920 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, why not :D < 1260028926 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Maybe I'll just use longs for the C version. :P < 1260028933 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, long long < 1260028936 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Not that it'll be able to handle yottabytes, but. < 1260028937 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: No. < 1260028943 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :ehird: why not? < 1260028954 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, why not? you get 32 bits on 32-bit x86 then < 1260029028 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, or use gmp < 1260029036 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :You get 32-bits with long too... < 1260029044 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, eh? < 1260029048 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that's what I said < 1260029074 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :32-bit x86 sizeof: int=4, long=4, long long=8 < 1260029079 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :64-bit x86 sizeof: int=4, long=8, long long=8 < 1260029082 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, ^ < 1260029098 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :So? < 1260029101 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :or use __int128_t if __GNUC__ < 1260029102 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I don't care. < 1260029102 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :XD < 1260029112 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :or was it _int128_t? < 1260029116 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well something like that < 1260029133 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, still why not long long? < 1260029162 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Because long is more widely supported and grokkable. < 1260029162 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :long long long obv < 1260029165 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :the only decent error message in all of GCC < 1260029173 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :coppro, oh? < 1260029184 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, stdint.h: int64_t? < 1260029188 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :"Error: 'long long long' is too long for GCC" < 1260029193 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :coppro, :D < 1260029239 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I am now of the opinion that C compilers should offer a bigint type. < 1260029287 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, heh < 1260029316 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :I don't think the standard allows that :/ < 1260029335 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :coppro, oh? as a pointer type surely? < 1260029358 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well, not as a simple type obviously < 1260029361 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: ah, of course, but then all the regular operations would need functions :/ < 1260029369 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :long < 1260029369 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :prefixes[sizeof PREFIX_NAMES][2]; < 1260029373 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :coppro, or would they? < 1260029380 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :prefixes['M']['i'] < 1260029383 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :prefixes['M']['\0'] < 1260029384 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Evil? Yes. < 1260029387 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Cool? Yes. < 1260029392 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: I suppose an implementation could make a type implemented internally as a pointer < 1260029405 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Oh, it needs to be that sizeof + 1. < 1260029408 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :For Ki. < 1260029435 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :but the amount of work that would require is probably not worth it < 1260029601 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Okay, I've written prefix_value and unit_value in C. < 1260029607 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Pretty good so far. < 1260029692 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I want to use unsigned long, but I need to use -1 as an error code. < 1260029699 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Fuck you, C. Fuck you and your lack of convenient error handling. < 1260029765 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Actually, I'd say that lack of convenient error handling is C's #1 flaw. < 1260029779 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :If it just had a convenient tuple type ... it's just the same as a struct... < 1260029822 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(T1, T2+) is a type the same as struct {T1 _1; T2 _2; ...}. If you write "(a, b+) = tuple;", it extracts the values. If you use _ as a name, the value is discarded. < 1260029824 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :End of. < 1260029831 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Voila, now your erroring functions look like: < 1260029848 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(long, int) < 1260029849 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :might_fail(void) < 1260029852 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :And you use them like: < 1260029859 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(foolhardy, _) = might_fail(); < 1260029859 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :or < 1260029863 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(safe, err) = might_fail(); < 1260029868 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Is that really so difficult?! < 1260029920 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :ehird: it looks convenient, so no < 1260029924 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :err < 1260029926 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1260029931 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::-D < 1260029949 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :You could do it a bit with cpp, I think. < 1260029966 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :At least, tuples. Not triples and beyond. < 1260029971 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Without defining a separate macro. < 1260029979 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Well, and with gcc's typeof. < 1260030030 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :#define tuple(x, y) ((struct{typeof(x) a; typeof(y) b;}){(x),(y)}) < 1260030085 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :extract requires a temporary variable, though. < 1260030139 0 :augur!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1260030323 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Has anyone worked on an implementation of TURKEY BOMB apart from ais523? Didn't think so. < 1260030359 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Apparently ais523 came up with a turing-complete interpretation of the spec. < 1260030426 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :O_o < 1260030439 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Why O_o? < 1260030445 0 :adu!unknown@unknown.invalid QUIT : < 1260030453 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://catseye.tc/projects/turkeyb/doc/turkeyb.html is what I'm referring to. < 1260030462 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[[AMICED < 1260030462 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :A conceptual quantum state of information. < 1260030462 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Negative six sevenths of a decimal digit.]] < 1260030464 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :is a tricky one < 1260030470 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais had a NEGATIVE_AMICED type instead < 1260030475 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and negated all operations on it < 1260030508 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :PUDDING is also a tricky one, I'd do void *PUDDING = 0; < 1260030512 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :as the size should be infinite < 1260030518 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and all of the memory is close to infinite as it gets < 1260030525 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :as far as an unknowable value goes, just don't let the program at it < 1260030551 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Oh, and HYBRID OBTAINED BY COMBINING without WITH GUSTO has to be the average of the sizes of the two types. < 1260030562 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Good luck figuring out which fields to include. < 1260030590 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :TURKEY BOMB itself should just be a pointer to TURKEY BOMB. < 1260030624 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :If you want to be ultra-spec-compliant: < 1260030664 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :struct TURKEY_BOMB { < 1260030664 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : struct TURKEY_BOMB *referent; < 1260030664 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :} TURKEY_BOMB; < 1260030664 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :then < 1260030665 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :TURKEY_BOMB.referent = &TURKEY_BOMB; < 1260030712 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Once you've got all the types, you have to infer the language itself from the paradigm and the operators. < 1260030723 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :And, well, try and figure out things like: < 1260030725 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[[BI_IT BI_IT ? BI_IT BI_IT ? BI_IT BI_IT < 1260030725 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :3-argument trit operation; unfortunately the Ancient Texts seem unclear on what it actually does. (The closest English translation appears to be "take these trits three and meditate soundly upon them.")]] < 1260030767 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[[Attempts to deduce the existance of a HUMIDOR in the given PUDDING.]] < 1260030768 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Considering that PUDDING has an unknowable value... but if we assume it's all of memory, it just works out whether any HUMIDORs exist. < 1260030774 0 :puzzlet_!n=puzzlet@147.46.241.168 JOIN :#esoteric < 1260030785 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[[ALL BUT EXPR < 1260030785 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Returns a PUDDING indicating everything but EXPR.]] < 1260030785 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Just keep a list of things not included in PUDDING. < 1260030802 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[[WHEREFORE ART EXPR < 1260030803 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Returns a PUDDING indicating the entire metaphysical nature of EXPR.]] < 1260030803 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Perhaps a pointer to the internal representation of the value. < 1260030816 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[[GARNISH PUDDING < 1260030817 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Convolutes the PUDDING with recent context drawn from the program. The player holding the TURKEY BOMB must pass it off.]] < 1260030817 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Not a fucking clue. < 1260030835 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[[IMAGINE PUDDING, PUDDING! < 1260030836 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Returns a NOMENCLATURE indicating all the variables unchanged between two PUDDINGs.]] < 1260030836 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"Hey, a properly-specified operation." < 1260030845 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"Perform iterative cypher transformation of set of names." is kinda vague. < 1260030866 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Somebody be interested! < 1260030996 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :coppro: Stop being all O_o! < 1260031176 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :A BI_IT is (2/3)+(log(3)/log(2)/2) bits... < 1260031183 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :~= 1.46 bits. < 1260031233 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric := log(432)/log(64) < 1260031326 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"A composite quantum state of information." < 1260031345 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :So I guess the thing to do is to store the 2/3rds of a bit as one byte, and the half a trit as one byte too. < 1260031486 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION gives the struct members one-character names as otherwise they'd be really long < 1260031515 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Oh great, I have to have type tags too. < 1260031555 0 :puzzlet!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1260031799 0 :jpc!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1260031859 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :tagHYBRID_OBTAINED_BY_COMBINING < 1260031929 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"Exactly fifteen bytes, no exceptions." < 1260031930 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Great, so you need 5-byte pointers. < 1260031983 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :just change the size of a byte < 1260031990 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :No :P < 1260031996 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I think what I'll do is < 1260031999 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :one byte is 8/15ths of a bit < 1260032005 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :char p1,p2,p3,p4,p5; < 1260032021 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The lower/upper/whatever bits of each are a few bits of the pointer. < 1260032030 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I could just pad it out, but it doesn't say pad anywhere. < 1260032045 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(The type is "TRIVIA CONCERNING type", "Three references: one to an object of the named type, two to TRIVIA objects.") < 1260032080 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Remote closed the connection < 1260032112 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Wait. < 1260032113 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"two to TRIVIA objects" < 1260032123 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I wonder if that means two TRIVIA CONCERNING objects, or two TRIVIA objects. < 1260032138 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :it seems pretty clear to me < 1260032151 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :coppro: Excuse me, have you read http://catseye.tc/projects/turkeyb/doc/turkeyb.html? < 1260032155 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Nothing in there is clear. < 1260032179 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :("A fraction whose numerator is a perfect square of a perfect square and whose denominator is a prime number whose ordinal position in the counting list of prime numbers is also prime.") < 1260032231 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :OMG! Haskell 2010 removed n+k patterns! < 1260032232 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :YESSSSSSSSSSSSSS < 1260032368 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :coppro: the worst part of turkey bomb is that since it translates some stuff about the drinking game into computer terms, you have to take note of the drinking game-related items in your implementation < 1260033160 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :btw, coppro, seen http://killersmurf.blogspot.com/2009/11/typefuck.html? < 1260033169 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :iirc you like type/template-hacks + haskell < 1260033663 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://bit-player.org/wp-content/uploads/2009/12/grid15r0a.png < 1260033665 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pretty < 1260034431 0 :FireFly!unknown@unknown.invalid QUIT :"Leaving" < 1260035567 0 :augur!n=augur@c-68-33-240-147.hsd1.dc.comcast.net JOIN :#esoteric < 1260035585 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hi augur. < 1260035603 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :hey ehird < 1260035605 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :sup? < 1260035771 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The sky! < 1260035787 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :for(page in `{find . | grep -v '^\./jsMath' | grep '\.html$'}) < 1260035787 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : grep '' $page | sed 's!</?title>!!g' < 1260035787 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Discuss. < 1260035790 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Sins I have committed: < 1260035796 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :1. "Parsing" HTML with a regexp < 1260035807 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I'd have expected to commit more in such a rag-tag script. < 1260035947 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION removes the <h1> and makes the <title> visible instead. I am crazy. < 1260036083 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I wonder if it's kosher to do that. < 1260036340 0 :augur!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1260036625 0 :augur!n=augur@c-68-33-240-147.hsd1.dc.comcast.net JOIN :#esoteric < 1260036692 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :augur was actually asking for the supremum. < 1260036760 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Which is e to the power of (pi times the square root of 163). < 1260036879 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :o.o < 1260037006 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :wut < 1260037023 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :dont make me hurt you :| < 1260037105 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Wait, no. 67, not 163. < 1260037176 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It'd be nice if there was a minimalist, command-line, open-source symbolic calculation system with sane syntax. < 1260037202 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :You know, somewhere where you could type things like e^(pi*sqrt(163)) and be able to calculate it to arbitrary precision. < 1260037705 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :ehird, you should write that utility. < 1260037741 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I'm tempted to, and it wouldn't be all that hard to write the core language. But writing all the mathematical functions that go on top? And then rewriting them efficiently? < 1260037746 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I kinda lose interest at that point. < 1260037759 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :also, google does that. < 1260037770 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :No, it doesn't. < 1260037794 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :For one, it isn't symbolic. For two, its set of operations and functions is extremely limited. For three, it cannot calculate to arbitrary precision. < 1260037848 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :symbolic math libraries inevitably become big and bulky < 1260037864 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Not a library, a language and core library. < 1260037873 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Existing non-symbolic languages would be hell to use for symbolic stuff. < 1260037882 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :coppro: I don't see why. Their overall size, sure; simply due to their coverage. < 1260037886 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :But the individual functions? < 1260037896 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :GHCi can accept syntax like e^(pi*sqrt(163)), but obviously, GHCi isn't minimalist. < 1260037902 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :coppo kinda like algebra text books? :P < 1260037909 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: That isn't symbolic nor arbitrary precision. < 1260037916 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :ehird: Bulky because there are a bunch of features you inevitably want to accept, like retrieving the simplest form < 1260037917 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :It can be arbitrary precision. < 1260037924 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :e^(pi*sqrt(163)) :: CReal < 1260037927 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :th algorithms of algebra are really realyl hard stuff < 1260037929 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: Technically, yes; practically, no, because it's not symbolic! < 1260037938 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :And CReal is far more limited than a symbolic system. < 1260037939 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :I mean very involved in the basic case.. and then you have optimizations < 1260037947 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :and I disagree that you couldn't do it in an existing language; a language with sufficiently-descriptive operators and overloading could do it fine < 1260037947 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :You can actually compare symbolic things for equality, for instance. < 1260037956 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :What is it with these people thinking a symbolic mathematics environment is the same as a calculator?! < 1260037962 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :coppro: Yes, but not as comfortably. < 1260037984 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I suppose GHCi could handle that symbolically as well. < 1260037985 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :For instance, "a*pi*asdjads" giving that back instead of an undefined-name error? Not likely in a normal language. < 1260037992 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :e^(pi*sqrt(163)) :: Expr, or something. < 1260037998 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: Thus showing you don't know what making a symbolic environment entails — see above. < 1260038039 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Did I claim that GHCi would accept strings like a*pi*asdjads? < 1260038053 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Maybe I did; my conception of what "symbolic" means keeps changing. < 1260038074 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :ehird: For instance, aside from the awkwardness of a lack of operators, you could do symbolic C++ pretty easily. < 1260038090 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :ehird < 1260038094 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :qs can almost do this < 1260038100 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :ACTION ducks < 1260038152 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :you should write a QS plugin < 1260038181 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :QS? < 1260038185 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :augur: No, it can't almost do this, at all. < 1260038188 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Not even remotely. < 1260038197 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :coppro: Quicksilver. < 1260038203 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :OS X thing. It's for combining data and stuff. < 1260038212 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :well < 1260038230 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :you can type into qs _some_ stuff < 1260038231 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :like < 1260038235 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Like there's a calculate action that you can give 2+2, you can search the system for a file then email it to someone in one chain (like "somethinginthefilename<tab>email<tab>some name<enter>"). < 1260038239 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It's nothing even remotely related to this. < 1260038242 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :=sqrt(3^2 + 4^2) < 1260038245 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :and itll spit out 5 < 1260038248 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :coppro: Pretty easily, but it'd be uncomfortable to use. < 1260038254 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :augur: THAT'S CALLED A FUCKING CALCULATOR >_< < 1260038264 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :augur: That sounds like my Alt-F2 < 1260038270 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :or Excel :P < 1260038287 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :ehird: yeah, it would be uncomfortable for complex maths < 1260038299 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i know ehird < 1260038302 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :and then on the other side of things, there's software like Sage < 1260038310 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :which is so ridiculously complex that you almost explode < 1260038316 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :but calculator should be able to get everything but the pi part in e^(pi*sqrt(163)) < 1260038342 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :coppro: you know that sage is shit because it has its own livecd :) < 1260038342 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :augur: INCORRECT. < 1260038342 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :augur: Not to arbitrary precision. < 1260038343 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :except e^x would have to be exp(x) < 1260038343 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :oddly, i cant get =exp(2) to work... < 1260038345 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :but this is why you should create a math plugin! < 1260038346 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Not symbolically, so that the expression itself can be modified and compared. < 1260038351 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :augur: Why? < 1260038361 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I won't be using OS X soon enough, and you could easily do it by making something that calls out to my tool. < 1260038362 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :because qs is the new commandline 8D < 1260038374 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Embedding software of massive complexity into such a prison is stupid. < 1260038381 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :oh, you're switching to a nix machine? < 1260038382 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :D: < 1260038396 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Custom-assembled Linux. < 1260038399 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Nothing like most distros. < 1260038412 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Closer to my perfect OS than OS X. < 1260038436 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ehird: Do tell. < 1260038454 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I'm going to be using minimalist, Unixy tools, so that the command-line and the filesystem actually become a viable tool for approaching the ehirdOS linguistic interface ideal. < 1260038455 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Oh, wait. That distro you've been talking about. < 1260038456 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :XD < 1260038461 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :PIKHQ < 1260038463 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :EXPERT MEMORISER < 1260038549 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :coppro: incidentally, the LiveCD litmus test also works for rejecting Asterisk < 1260038576 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :Linux is clearly shit then < 1260038632 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Linux isn't a program. < 1260038770 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :A sitemap script written in the rc shell. Well, that's a first. < 1260038784 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(I'm trying to get my shit together and actually publish some stuff on the interwebnets.) < 1260039058 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I'm pretty sure making an element in <head> visible is a sin of some kind. < 1260039110 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :<title>? < 1260039116 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yep < 1260039133 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I'm attempting to manually write the pages, and the overhead I have with <h1> gone is just a few simple lines < 1260039147 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :specifically < 1260039155 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :<!doctype html> < 1260039155 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :<html> < 1260039156 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :<head> < 1260039156 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :<title>WHATEVER THE TITLE IS < 1260039156 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : < 1260039156 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : < 1260039157 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : < 1260039159 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :...content... < 1260039171 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :
Elliott Hird
< 1260039172 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : < 1260039173 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : < 1260039174 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*html < 1260039192 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :the only ones I have to "remember" are the stylesheet and address lines, as i know the rest < 1260039213 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but still, it feels a bit weird as i have to make itself visible, then hide everything inside , then unhide ... < 1260039483 0 :quantumEd!unknown@unknown.invalid QUIT :"* I'm too lame to read BitchX.doc *" < 1260039574 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[[ < 1260039574 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Dilution 1:10^60 - On average, this would require giving two billion doses per second to six billion people for 4 billion years to deliver a single molecule of the original material to any patient < 1260039575 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Dilution 1:10^400 - Dilution of popular homeopathic flu remedy Oscillococcinum < 1260039575 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :]] < 1260039654 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :"Oscillococcinum"? What the fuck does that mean? < 1260039660 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :"Oscillating cock"? < 1260039710 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It sounds MEDICAL! < 1260039714 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It must be MEDICINE! < 1260039891 0 :augur!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1260040038 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Oscillo-: a prefix formed from "oscillating". Coccus: spherical bacterium. -In: a diminutive suffix. -Um: a Latin accusative suffic. < 1260040055 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :So it means "little oscillating spherical bacterium". < 1260040088 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Presumably, -inum is a cute medicinal prefix, chosen in emulation of "platinum", which means "little silver". < 1260040174 0 :augur!n=augur@c-68-33-240-147.hsd1.dc.comcast.net JOIN :#esoteric < 1260040860 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION decides he probably doesn't like the title-is-a-visible-element thing, considers reverting it back < 1260041028 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :But on the other hand, writing out the title manually is bothersome. Gawd, I'm so indecisionful. < 1260041241 0 :augur!unknown@unknown.invalid QUIT :Connection timed out < 1260041434 0 :augur!n=augur@c-68-33-240-147.hsd1.dc.comcast.net JOIN :#esoteric < 1260042001 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION realises his sitemap sorts in alphabetical order... < 1260042001 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :...on the filename < 1260042712 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Don't fix it; it will be fascinating. < 1260042817 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: But it'll be quite annoying. "A defence of preemptive mutitasking" will appear under p, since it is preemptive.html. < 1260042817 0 :augur!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1260042830 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I only need a sitemap because I'm eschewing on-page navigational aids, anyway. < 1260042838 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :And that's just for simplicity. < 1260042857 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I may not even need a sitemap, if I can make the off-page navigational aids compelling and useful enough. < 1260042875 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :By the way, I think I'm tempted to write that symbolic tool. < 1260042907 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The issue is that, like quantumEd said, the basic algebra algorithms I'd have to implement efficiently would be a huge bitch. < 1260042998 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Hey, wait, you're making a web site? < 1260043002 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Oh, and even the simplest things like an algorithm to calculate pi efficiently to theh Nth place in any base are a bitch. < 1260043012 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: Yes; I'm trying to get my act together and start publishing stuff online. < 1260043028 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I wrote http://sprunge.us/RMJD for it. < 1260043051 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Hey, you didn't reply sarcastically. < 1260043077 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I'm feeling in a particularly unsarcastic mood right now. < 1260043096 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Strange. < 1260043103 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Any particular reason why you asked me? < 1260043105 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :ACTION ponders how to take advantage of this situation. < 1260043115 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I guess I was interested in looking at it. < 1260043183 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I haven't actually written anything more than http://sprunge.us/RMJD for it, so imagine the *text in asterisks* is bold, the underlined text is heading-sized and bold, and it's all in a non-monospaced font. < 1260043184 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Taraaa! < 1260043319 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :ACTION reads. < 1260043327 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Your conclusion is probably correct in most cases. < 1260043368 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :In what cases is it incorrect? < 1260043399 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I can think of embedded systems as one: all tasks are generally from the same source, and resources are limited enough that minimising unnecessary task-switching is a big plus. < 1260043402 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :If one process legitimately decides that it needs a lot of processing power for a little while. < 1260043417 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :And yeah, that. < 1260043493 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: Most systems nowadays are multi-core or even multi-CPU. < 1260043519 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :A task can be dedicated to a CPU and have it to itself while the other tasks switch on the other coress. < 1260043521 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*cores < 1260043523 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*dedicated to a core < 1260043556 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Anyway, that advantage isn't big enough to make up for the effort. Today's supercomputing is done on systems that use preemptive multitasking, and it works fine. < 1260043566 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :ACTION shrugs. < 1260043572 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :We're not really contradicting each other, here. < 1260043590 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1260043600 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hey, the average salary for a Haskell job is $198,000. < 1260043605 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :That's nice. < 1260043704 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :That's almost anomalously nice. < 1260043728 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Well, it's a very specialised skill and not many people want it. < 1260043731 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :(Gee, that word looks a lot like a misspelling.) < 1260043746 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Companies like Galois do heavy-duty reliable systems and the like, so that's high-salary already. < 1260043765 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :They also happen to be one of the main users of, and contributors to, Haskell. < 1260043773 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"So, yeah." < 1260043982 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Aww; nhttpd appears to not be able to look up foo.html when /foo does not exist. < 1260044000 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :So I can't get nice urls like http://domain.org/preemptive for preemptive.html. < 1260044267 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Does an HTTP response tell you what the filename is? < 1260044318 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :No. < 1260044320 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Why? < 1260044458 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uorygl's queries doth confuse. < 1260045007 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :But it can with Content-Disposition: Attachment; filename=blah.gif < 1260045013 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :(Or something like that) < 1260045043 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :Of course, your browser then shows a download dialog instead of the actual file. < 1260045241 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :http://pastie.org/729863.txt?key=ywp02s8p8potpiakeo6q <- Parsec in C#. It's a lot uglier without full type inference. :( < 1260045393 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : addOp = ('+'.ToParser().Select<Func<int, int, int>>(c => (x, y) => x + y)) < 1260045394 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : | ('-'.ToParser().Select<Func<int, int, int>>(c => (x, y) => x - y)); < 1260045394 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Puke. < 1260045413 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Anyone have an opinion on digit separators in a symbolic mathematics language? < 1260045422 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I'm considering allowing 1,000,000 and the like, just with commas. < 1260045422 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :Yeah, it can't infer Select's type parameter from the lambda expression :( < 1260045428 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(Europeans can go fuck off yo) < 1260045429 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Just wondering. < 1260045447 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :I think 1_000_000 is good enough < 1260045463 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Asztal: In a programming language, yes. < 1260045466 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :In a mathematics environment? < 1260045486 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's just that, getting a result like < 1260045493 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :-(log(2)/1,063,382,396,627,932,698,323,045,648,242,756,608) < 1260045494 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :back is obviously preferable to any other way of formatting the number < 1260045497 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :1 timesOneThousandPlus 000 timesOneThousandPlus 000 < 1260045537 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :But what's log(1,000,000)? Computers don't have common sense :( < 1260045562 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Asztal: I could require that to be log(1,000, 000) or whatever. < 1260045566 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :But indeed, that is ugly. < 1260045577 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :One option is spaces, but it's a non-option; spaces are multiplication. < 1260045581 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Anyway, for digit separators, I think ' is the most practical. < 1260045596 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: That's weirder than _, but might just work. < 1260045598 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :It's actually in use, and I can't immediately think of any other use for it in math. < 1260045608 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Derivative. < 1260045635 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :Sucks for the people taking the derivatives of constants, I guess < 1260045655 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Ah, but numbers aren't functions. You *can't* take their derivative. < 1260045667 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Yeah, okay; ' it is. < 1260045671 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Unless, you know, you're in automatically-treat-things-as-being-of-different-types-land. < 1260045691 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :(What's {1, 2, 3} + 5? {6, 7, 8}, of course.) < 1260045711 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Works in Mathematica, and probably other environments too. < 1260045730 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :That's more sets/lists/whatever being magic, though,. < 1260045732 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*though. < 1260045739 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Right. < 1260045742 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: Depending on your definition, you can take their derivative; it's just monumentally unexciting. < 1260045753 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Haskell doesn't like that magic. Haskell likes to make that magic unnecessary. < 1260045770 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Haskell fails at it, at least in this context. < 1260045798 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :map (+ 5) [1, 2, 3] < 1260045814 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I can conceive of a less faily way to do that. < 1260045878 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :That's not How Things Work, though. You don't have to explicitly specify that, but in Haskell you do. < 1260045899 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION finds himself trying to avoid Mathematica's names for things, even when they're good. < 1260045901 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Stop that, stupidhird. < 1260045932 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :My inner math platonist says that in most cases, Things Work How Haskell works. < 1260045952 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :(Math platonists are silly.) < 1260046109 0 :lifthrasiir!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1260046199 0 :lifthrasiir!i=58O9BYj3@haje12.kaist.ac.kr JOIN :#esoteric < 1260046218 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Strange. I can't get Mathematica to give me a number without a x 10^-foo at the end. < 1260046221 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It's not hard, Mathematica. < 1260046332 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Multiply every number by 10^10^10. < 1260046364 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Oh, shush. :P < 1260046412 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION makes a concession to computerism by representing the multiplication sign as *. < 1260046415 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Sorry, x; you're ambiguous. < 1260046446 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :is that (10**10)**10 or 10**(10**10)? < 1260046468 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :10^10^10 is 10^(10^10) because (10^10)^10 is 10^(10*10). < 1260046475 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION wonders how silly it is to put digit separators after the decimal point. < 1260046491 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Not so silly that there's a practical reason not to. < 1260046544 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Remember that the convention after the decimal point is to use one every eight digits. < 1260046554 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :(:-P, btw) < 1260046567 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hey, Mathematica does it. < 1260046609 0 :lifthrasiir!unknown@unknown.invalid QUIT :Success < 1260046618 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Which begs the question, should it be padded out? < 1260046624 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i.e. -6.518'324'76 or -6.518'324'760? < 1260046635 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The latter is more understandable but... feels like it's straying from the purpose of displaying a number. < 1260046642 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I mean, there's no point putting a dud 0 there. < 1260046711 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Not padding it out gives you a certain feeling under certain circumstances, i.e. makes something clearer. < 1260046722 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://pastie.org/729983.txt?key=rl9toh4jbce5llyo0eguba < 1260046723 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I present to you an imaginary session with my tool. < 1260046731 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :It makes a really useless piece of information clearer, but at least it does make it clearer. < 1260046745 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :$ = result of last line, $$ = result of previous line < 1260046751 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Imagine if all traffic lights were white for the sake of elegance. < 1260046753 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i'll probably have up to $$$$ < 1260046764 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :then maybe a function for everything prior < 1260046792 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I wonder how draw() will do for more complex expressions. < 1260046802 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Certainly the code for that will be a bitch. < 1260046810 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :It would be kind of nice if your syntax allowed $ to be a function operating on itself when concatenated directly like that. < 1260046813 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I'll need a whole layout system. < 1260046819 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: like $($)? < 1260046828 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :well, $ is just a regular identifier character < 1260046834 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Semantically $($), syntactically just $. < 1260046841 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :But it would probably be too complicated. < 1260046844 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Syntactically just $$ you mean. < 1260046845 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I could have function multiplication = application. < 1260046848 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I do mean. < 1260046852 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :f x → f(x) < 1260046860 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :$ $ → $($) < 1260046882 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Maybe even x f → a function taking y and returning f(x,y). < 1260046892 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :So you could do $ $ $ and have it... be ambiguous. < 1260046895 0 :lifthrasiir!i=JCaAlrjV@haje12.kaist.ac.kr JOIN :#esoteric < 1260046896 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Traditionally, function multiplication is composition, since composition is actually associative. Then again, Haskell points out that f x meaning f(x) is really elegant. < 1260046896 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I think I'll scrap that idea. < 1260046919 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Yeah, I think having f g work as composition would be cool. < 1260046920 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Remind me why putting things next to each other means multiplication rather than addition or something. < 1260046931 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: For convenience in algebra when doing 2a and the like. < 1260046944 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I guess. < 1260046948 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :ACTION shrugs. < 1260046950 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Anyway, it does, so that's how I'm doin' it. < 1260046959 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Math notation seems really arbitrary. < 1260046964 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It is. < 1260046969 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It's also quite pretty and convenient. < 1260046988 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: I'm considering letting $ be both a value and a function somehow. < 1260046990 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: Well, f (x) == f x in Haskell. < 1260046996 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :So $ = $(1), $$ = $(2), etc. < 1260047000 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Well. < 1260047005 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :f (x,y), of course, is quite different from f x y. < 1260047005 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :That'd be $$ is a separate variable. < 1260047019 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :But $(x) is the xth last line of history, and $ by itself is $(0). < 1260047028 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The issue with that idea is that you can't pass around $ the function. < 1260047039 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :This operation's going to have a symbol. This one's going to have a symbol, but it's going to be optional. This one's going to have a symbol that the operands go above and below instead of beside. This one's going to have a symbol that extends above the top of its operand. This one's not going to have a symbol at all. < 1260047071 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I wonder if there's any point in trying to reinvent math notation. I suppose it is what computer systems do all the time. < 1260047077 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I think division as two rows separated by a line was created to break up the unending linear monotony. :P < 1260047104 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :i think your FACE breaks up the linear monotony < 1260047125 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I wonder if the word "division" to mean separation predated or postdated the use of a line separating two rows to represent division. < 1260047239 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :In[35]:= FullSimplify[ < 1260047239 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : a^n + b^n == c^n, {Element[a, Integers], Element[b, Integers], < 1260047240 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : Element[c, Integers], Element[n, Integers], a > 0, b > 0, c > 0, < 1260047240 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : n > 2}] < 1260047240 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Out[35]= False < 1260047241 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :"Hi, seawolf.cis.orsum.edu." "Hey, munroe.nasa.gov. I've been having some ideas about math notation." "Great, can you send them to me raw on TCP port 12020?" "Well, they total 3.6 gigabytes. I think you'll want me to just explain them to you." < 1260047248 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"Mathematica: Yep, we know Fermat's Last Theorem." < 1260047254 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"Can calculate that in less than a second, us." < 1260047271 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: xD < 1260047297 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :The thing about theorems is that in general, they're easier to verify than to find in the first place. < 1260047307 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: You should click http://pastie.org/729983.txt?key=rl9toh4jbce5llyo0eguba because you are a bad person if you haven't. < 1260047317 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION ponders draw()ing something more complex < 1260047358 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :How semblant of Mathematica. < 1260047381 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :(I wonder why we're allowed to say "semblant" instead of "resemblant" but not "semble" instead of "resemble".) < 1260047416 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :(Why is it pronounced "rezemble"? "Semblant" isn't pronounced that way, is it?) < 1260047550 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: How does it resemble Mathematica, other than being a symbolic mathematical computerthingy? < 1260047557 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :And, okay, D and N as function names. < 1260047577 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://pastie.org/729994.txt?key=f2ktaru6ipl0umkusliusw < 1260047578 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :How should derivatives be drawn by default? YOUR OPINION IS MORE VALUABLE THAN SALT < 1260047595 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hmm, I guess one alternative I didn't list there is f'(x). < 1260047629 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :D \x (x^2) = 2 x < 1260047631 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Except probably not. < 1260047648 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The whole point of draw is that it uses ASCII smarts to draw the mathematical notation :P < 1260047674 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Implementing it will be "fun"... I think it'll require an entire layout engine to handle nested expressions. < 1260047674 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Anyway, the only notations that look like the inputs are the second and the fifth. < 1260047687 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :And I'm pretty sure the second is more common. < 1260047720 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :What would something like (1/2)^3 draw as? < 1260047736 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Sec. < 1260047741 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I'll draw it. < 1260047765 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Also, looking like the input isn't a huge deal. < 1260047774 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The whole point is so that you can examine an expression... mathematically. < 1260047806 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :How would the other notations handle D(x^2, x)? < 1260047826 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Sec, lemme handle the (1/2)^3 first. < 1260047855 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://pastie.org/729997.txt?key=0lv8wukto6chcghrhldzw < 1260047858 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Here's Epigram's strange way of doing (1/2)^3, by the way: http://pastebin.ca/1703894 < 1260047864 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It would look like one of these, none of which are particularly satisfying. < 1260047894 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Now for your D(x^2, x) query. < 1260047901 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :That's reminiscent of the C++ library for representing numbers by box-drawing. < 1260047903 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Use Unicode. :-P < 1260047909 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Asztal: What does it do? < 1260047917 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: I don't think there's a Unicode character that would help. < 1260047940 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Box drawing characters! < 1260047955 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Bezier curves! Wait, no. < 1260047980 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I guess my favorite one there is the parentheses-only one, because it uses only parentheses. < 1260048008 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: Incidentally, Mathematica's TraditionalForm does it as (rendering to ASCII here): < 1260048018 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : 2 < 1260048019 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :dx < 1260048019 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :--- < 1260048019 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :dx < 1260048025 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :With the d being the actual funny curly d. < 1260048042 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It handles the f(x) case with s/x^2/f(x)/. < 1260048052 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I think that's the most common representation, actually. < 1260048069 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :What a funny, curly way of drawing that. < 1260048086 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :ehird: I can't find it, but it looks something like this: http://pastie.org/730002 < 1260048086 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I'm pretty sure the most common representation is d/dx with the thingy after it. < 1260048098 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :There's a 3D one too. < 1260048120 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :oh, wait, found it. http://www.xs4all.nl/~weegen/eelis/analogliterals.xhtml < 1260048136 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://pastie.org/730003.txt?key=z1fpulfpftxpnwckw4r9ma < 1260048141 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Out of curiosity, how does Epigram handle it? < 1260048155 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Asztal: that's mighty strange. < 1260048160 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :ehird: how does Epigram handle what? < 1260048168 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The derivative. < 1260048195 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :It's not for math, so it doesn't have any syntax for that. < 1260048263 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Oh, that Epigram. < 1260048276 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://pastie.org/730005.txt?key=vzaayu7at3t3lfvthl8q < 1260048282 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Final contendors for derivative drawing. < 1260048318 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I like them all equally, I think. I think I very marginally prefer dx to d x, but the skewed alignment caused by using dx almost cancels that out. < 1260048340 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Btw, there probably won't be any way of actually parsing draw()s output. I'm not *that* crazy. < 1260048448 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: Any vote? < 1260048453 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :#1 is probably the leasst conventional notation. < 1260048456 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*least < 1260048461 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :That biases me against it, but it is rather clean. < 1260048476 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :However, imagine if the derivatived expression contains a division. < 1260048483 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :#1 would look really weird, but the others wouldn't. < 1260048486 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Well, #2 might. < 1260048517 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :My instant runoff vote: 3, 1, 2. < 1260048574 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Instant runoff voting is amusingly useless when you're the only voter. < 1260048606 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Any reason you prefer #3 to #2? It's more conventional to have no space, but it's also conventional to, you know, not actually use the Latin letter "d"; and the space helps align the top line. < 1260048611 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It is weirder-looking, though, I admit. < 1260048626 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :No fan of 4 and 5 I see. < 1260048652 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :#2 looks kind of like a guy standing in a really awkward pose. < 1260048663 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :You are strange. < 1260048669 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Somewhat, yes. < 1260048685 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION puts in a fun division into the equation to test each one. < 1260048701 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :It's conventional to not actually use the Latin letter "d"? < 1260048704 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Ooh, and a power. < 1260048707 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: You use the weird curly d. < 1260048719 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Only sometimes. < 1260048739 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :An actual, ordinary d is more common. < 1260048760 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Specifically, ordinary d is the total derivative (a.k.a. "the derivative"), and curly d is the partial derivative. < 1260048781 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Okay, #1 fails horribly trying to do D(f(x)/g(2^x), x). < 1260048790 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: Hmm, right, that's just Mathematica fucking with me. < 1260048802 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I wonder how I'll represent le partiality in ASCII. < 1260048851 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :?d, because ? vaguely resembles a curling iron. < 1260048862 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: Another poll (I hope your IRC is monospaced for this): < 1260048869 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : ( x) < 1260048869 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :f(2 ) < 1260048870 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :or < 1260048874 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : x < 1260048875 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :f(2 ) < 1260048885 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The first looks weird to me, the second very slightly confusing. < 1260048928 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :The second definitely has confusion potential. < 1260048934 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Wait, maybe not. < 1260048943 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :The first one is bigger, so it's better. < 1260048962 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Nah, the first one is really hard to read IMO. < 1260048979 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Really? < 1260049034 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Yeah. < 1260049036 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://pastie.org/730013.txt?key=r1dtedsmra4rfjswrynhq < 1260049045 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :In which all of them fail horribly. < 1260049050 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Uh, the first line has a repetition there. < 1260049051 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Ignore it. < 1260049076 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I'd say 2 and 3 fared the best there; 1 the worst. < 1260049100 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :1 could definitely fare better. < 1260049113 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :It's a subscript following the D, not preceding the expression. < 1260049140 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :So it is. < 1260049142 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Let me fix that. < 1260049163 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :You'll notice I added more spacing to all of them but one. < 1260049180 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I think the layout engine will, when confronted with putting a division or other block next to another thing, add another space. < 1260049205 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://pastie.org/730017.txt?key=vxyaitcstugqz67yca1bw < 1260049207 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Fixed version. < 1260049215 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :1 does quite well now; about as well as 2 and 3. < 1260049225 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :2 and 3 are still more common notations, I believe. < 1260049261 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I like the first three better than the last two, because they go before the expression rather than around it. < 1260049274 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Thereby taking up less room and staying out of the way. < 1260049287 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I agree; the last two suck gigantic donkey balls. To use a metaphor. < 1260049300 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Care to rank 1-3? < 1260049323 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Same as before, I think. 3, 1, 2. < 1260049328 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"Concur is like conquer without a q, and it has a c, and doesn't have that e between those two letters at the end." < 1260049333 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Since, you know, they're not really different. < 1260049342 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Yeah, they're exactly the same layout-wise. < 1260049344 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Just a different prefix. < 1260049361 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Different from how they were before you made it fractiony, I mean. < 1260049371 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Also, the words are pronounced differently and mean different things. < 1260049384 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :And are different. < 1260049457 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: Do you think I should make the layout engine able to output to multiple different formats? It seems like at the end of it, the conversion to ASCII would be a relatively small part. < 1260049465 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :This is all hypothetical right now, of course. < 1260049477 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Wait, really? You're telling me that these differently-spelled, differently-pronounced words that mean different things are *different*? < 1260049506 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :It probably would be a good idea to make the layout engine able to output to multiple different formats, in the end. < 1260049517 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :But I would think you should do more necessary things first. < 1260049522 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :draw() will probably be like half the code :-P < 1260049537 0 :lifthrasiir!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1260049541 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION wonders how to do conditionals < 1260049550 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Mathematica-style if(a,b,c) seems so ugly, but it is rather orthogonaly. < 1260049647 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :What's wrong with "if x then y else c"? < 1260049656 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :(Notice my clever choice of letters.) < 1260049735 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION spends a few minutes trying to find a relevant quote < 1260049850 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I give up. < 1260049945 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION ponders product(). < 1260050018 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :And sum(), by extension. < 1260050020 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fact(n) := product(k, 1, n, k) Not enough definition. < 1260050020 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fact(n) := product(k := 1, n, k) Weird use of assignment syntax. < 1260050020 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fact(n) := product(k := {1, n}, k) That's not actually what it's assigning k to. < 1260050020 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fact(n) := product(k, {1, n}, k) I can wrap arguments in braces, too. < 1260050149 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: I think I will adopt if x then y else c as the if syntax. < 1260050158 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It'll just be sugar for if(x,y,c). I think. < 1260050359 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :My function argument syntax doesn't allow for pattern matching on symbolic arguments. Mathematica solves this by making you mark every variable argument by suffixing it with _, but I don't like that < 1260050365 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Maybe {} means match. < 1260050367 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :So: < 1260050375 0 :jpc!n=jw@unaffiliated/javawizard2539 JOIN :#esoteric < 1260050379 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :foo({bar}) := quux < 1260050379 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :foo(bar) := bar < 1260050388 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :foo(bar) → quux < 1260050389 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :foo(xyzzy) → xyzzy < 1260050426 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :A bunch of identical factorials: http://pastie.org/730035.txt?key=cjgts9swnsynq9tyfmociq < 1260050438 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The last one is amusing. < 1260050665 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :productAs \k goesFrom 1 to n of k < 1260050668 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I'll stop bothering you now. < 1260050680 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: I don't consider that bothering. < 1260050689 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The reason I used that definition is because I was mumbling on how to do product(). :P < 1260050712 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Oh, an issue with your if syntax, or perhaps with my lack of semicolons: if you have < 1260050718 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fact(n) := if n = 1 then 1 < 1260050723 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you don't know if the statement's over < 1260050730 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :there could be an else on the next line < 1260050746 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :What Would Haskell Do? < 1260050765 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Have a very complex, hard-to-code-without-an-editor layout system. < 1260050805 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :ACTION ponders what Agda would do. < 1260050818 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :more languages should have "easy to code without an editor" as a design goal < 1260050828 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Maybe just having semicolons is what you should do. < 1260050849 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: But that bothers you when you just want to calculate 2+2 and the like. < 1260050856 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :And it gives an impression of statement-ness to expressions. < 1260050882 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :lament: I'm not sure that's true. It is a goal for mine, though, because the primary use is via the command-line tool. < 1260050884 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Well, it doesn't have to be an actual semicolon; it could be the word "please". :-P < 1260050934 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Have no such thing as statements, and make every program be one huge expression! < 1260050935 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Say, it would be interesting to have an implementation that used an HTTP server to serve a little HTML+CSS+JS page with a prompt ajaxin' to /evaluate (or whatever), so that all the draw()-style output becomes HTML tables and the like. < 1260050947 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I need to sleep soon. < 1260050954 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: There are no such things as statement. < 1260050962 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*statements < 1260050976 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :a;b is just an expression that evaluates a, disregards the result, and evaluates b. < 1260050986 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :And expressions can be empty, so you can do {a;b;c;}. < 1260051044 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :So you've already implemented my suggestion! Scary1 < 1260051052 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :s/1/!/ < 1260051063 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It's the obvious thing to do. Even Ruby does it. < 1260051106 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Say, I just got a rather silly idea: plaintext markup syntax stuff. < 1260051116 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :You mean... HTML? < 1260051131 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :It would render to ASCII art. < 1260051143 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Heh. < 1260051147 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :w3m -dump < 1260051212 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :<rows><r>x<sup>n</sup></r><r><fill>-</fill></r><r>n!</r></rows> < 1260051252 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :That'll be basically what the internal data structures of my layout engine will have. < 1260051359 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Will the sizes of rectangles be determined entirely bottom-up-ly, or will there be some top-down-ness as well? < 1260051416 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Erm, verbosify. < 1260051449 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Do you share my idea of what a "rectangle" is? < 1260051484 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Probably a lot like HTML's blocks. Rectangular shapes that the stuff is made of. < 1260051506 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Expand bottom-up-ly, top-down-ness, determining of sizes of rectangles. < 1260051529 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :ACTION nods. < 1260051566 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Suppose I have some subexpression. Will the dimensions of its bounding rectangle be determined entirely by the subexpression itself or also its surroundings? < 1260051626 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Entirely by the subexpression itself. However, the dimensions of the parent, and spacing of the surroundings, will change. < 1260051654 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :ACTION nods. < 1260051798 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :In that hypothetical HTTP/HTML/CSS/JS interface I mentioned, it should have an interface to the documentation so that you can click on an example and it switches to the prompt, with the example filled in. < 1260052207 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It bothers me that the simple stuff is so subtle. < 1260052216 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :This makes me want to work on my project thing. And when I think "work on my project", I think "figure out how to formalize functions". < 1260052222 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Because that means the complex stuff won't just be complex, it'll be incredibly subtle. < 1260052230 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: Symbolically! < 1260052241 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Manipulating symbolic expressions is both slow and elegant and useful < 1260052245 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :s/$/./ < 1260052258 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Yes, symbolically. < 1260052297 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Then a function is just an expression with a free variable. < 1260052329 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Well, free expression; f(x) could be a free expression if x is defined but f(x) isn'tt. < 1260052334 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Calling a function is just applying a table of expression→expression. < 1260052342 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :e.g. f(x)=x^2. < 1260052368 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :A more traditional function = parameter list + expression; parameter list is turned into a table in the obvious way and applied to the expression. < 1260052370 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Done. < 1260052379 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I want to be theoretically sound, since my project is centered on a theorem prover. < 1260052392 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Yes, well, just theoreticise my statements. < 1260052394 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :If a function were just an expression with a free variable, there wouldn't even be uncountably many functions. < 1260052410 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Uh, why not? < 1260052419 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :One or more free expressions. < 1260052427 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Well, in fact, a function is an expression. < 1260052438 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It's just that you can't really do a meaningful replacement without a free expression. < 1260052446 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Well, I could say that a function is an expression with two free variables combined with a set that fills one of them in. < 1260052452 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Maybe. < 1260052461 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Why two? Why free variable (that's not symbolic)? < 1260052467 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :You need free expression for f(x). < 1260052494 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :e.g. in f(2), we can fill in f(2) -> 4 or f({placeholder x}) -> x*2 and get 4 back. < 1260052509 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :That's how symbolic computation works: everything is a rewrite rule. < 1260052516 0 :jpc!unknown@unknown.invalid QUIT :"Leaving." < 1260052526 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I have a pet function named Bob. For every real number x, Bob(x) is a real number taken randomly from the standard normal distribution. < 1260052534 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :There's no "functions" as separate objects per se, although of course you can pass f and then the function does f(x) and since f rewrites to SomeFunction it becomes SomeFunction(x). < 1260052554 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I *definitely* want functions to be values here. < 1260052555 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :If functions are a thing in themselves, e.g. in the lambda calculus, it's not symbolic. < 1260052564 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: Boo hiss. < 1260052576 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Well, symbolic languages can have lambdas too, they're just done as a rewriting rule. :P < 1260052590 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Because I want S -> T to actually be a type, because it means something as a mathematical sentence. < 1260052598 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :(Namely, "S implies T".) < 1260052605 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I think it's done as a rewrite rule of lambda(x,y)(z) to replace(x,z,y) < 1260052614 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :which does the replacement thingy from lambda-calculus < 1260052625 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but yeah, this isn't suitable for a theorem prover < 1260052691 0 :jpc!n=jw@unaffiliated/javawizard2539 JOIN :#esoteric < 1260052728 0 :jpc!unknown@unknown.invalid QUIT :Client Quit < 1260052857 0 :jpc!n=jw@c-76-23-28-244.hsd1.ut.comcast.net JOIN :#esoteric < 1260052865 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Well, musing about this sure is fun. I guess if I get off my ass and spend peopleyears (Post-feminist adaptation of manyears, dude. I mean, uh, ... associate.) of work on it, it might be a viable alternative to... an old version of Mathematica. < 1260052880 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Oh well, all I want is a fun symbolic computation environment that isn't really weird like Mathematica and isn't really archaic like Axiom and the like. < 1260052883 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :And Maxima. < 1260052885 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :See you for today. < 1260052928 0 :ehird!unknown@unknown.invalid QUIT : < 1260053766 0 :iamcal!unknown@unknown.invalid QUIT : < 1260057213 0 :augur!n=augur@216-164-33-76.c3-0.slvr-ubr2.lnh-slvr.md.cable.rcn.com JOIN :#esoteric