< 1545609601 347447 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :(the actual ranking depends on how you define Europe and whether Mohammed and Jesus counts as such) < 1545609602 539854 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: the days of the week are mostly named after Norse deities < 1545609602 802009 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net QUIT :Quit: ZNC 1.6.6+deb1ubuntu0.1 - http://znc.in < 1545609609 495424 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although Monday is an exception, that's named after the Moon < 1545609621 642393 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net JOIN :#esoteric < 1545609635 961317 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :yeah, that's sort of a better explanation < 1545609643 620705 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :Wednesday named after Odin, yeah, that makes sense < 1545609649 39450 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(and the Moon has a capital M because we're talking about Earth's Moon in particular, i.e. it's a proper name for it; lowercase "moon" could refer to any natural satellite of anything) < 1545609653 650048 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :yeah < 1545609689 438996 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :I don't know why those are called "moon" or "satellite" by the way. the russians totally invented them, they should be called sputniks even in English. < 1545609738 14706 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think Sputnik was the name of a particular line of artificial satellites (which is famous due to being the first), and people weren't expecting the name to continue through to all satellites in the future < 1545609744 716178 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it'd be like calling all moon landers apollos < 1545609788 329235 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :um, isn't it basically a common noun for artificial satellites in sane languages? < 1545609796 209548 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not in English < 1545609815 194508 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :as for moon landers, aren't ALL of the ones that carried humans actually called "Apollo"? < 1545609817 265267 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :we'd interpret "Sputnik" as referring to the first artificial satellite (or one closely related), whatever the capitalisation < 1545609826 316844 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :the first line, I think < 1545609842 995712 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :but I think it used to be a common noun for a few decades until the Americans forced it out of common use somehow < 1545609851 881709 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and yes, I think all the moon landers which carried humans were in the Apollo series, but we wouldn't expect the same name to be used for future moon landers < 1545609859 25645 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :all the old books call them sputnik, at least on the east side of the Iron Curtain < 1545609902 141646 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Wiktionary's definition of "sputnik" says that the reference to the series of Soviet satellites is "historical", and the more general usage is "dated" < 1545609933 861604 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :yeah, maybe it lasted for longer on this side of the iron curtain < 1545609949 673850 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :where we didn't have american trends about what words are "dated" and what are "trendy" until like 1990 < 1545609961 854378 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :or more like 2002 when the internet came around < 1545609972 494677 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :or Hollywood films < 1545610196 622380 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and Wiktionary explains that by "historical" it means a current word that describes something that no longer exists, thus the word is only useful when talking about the past < 1545610221 465861 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :yeah < 1545610222 879962 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :it's sad < 1545610231 113933 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although one example they give for that is "phlogiston", which never did exist in the first place < 1545610232 859760 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :I'd prefer if we called them sputniks < 1545610252 190107 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :isn't phlogiston just oxygen after a sign change? < 1545610291 370057 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :I mean, it's like electric charge, supposedly since Franklin didn't get corrected by a time traveler, is electrons after a sign change? < 1545610809 128985 :moony!moony@hellomouse/dev/moony QUIT :Killed (Sigyn (BANG!)) < 1545610828 441805 :moony!moony@hellomouse/dev/moony JOIN :#esoteric < 1545610878 78036 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :At least, an explanation of phlogiston that I have read in one book seems to match what you suggest. < 1545611116 754359 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :nah, the explanation I read is that it was just a measurement error < 1545611183 609641 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :phlogiston was "proved" by someone burning something in an airtight enclosure, and measuring that it becomes lighter when it's burned, so they proclaimed that flogiston is a magical material that has particles so fine that it can leak out through whatever glass enclosure they used, because obviously they didn't have modern plastic for that like we do < 1545611204 600610 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :it turns out that their enclosure just wasn't as airtight as they believe, and some air did leak out < 1545611212 506186 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :which is why the scale measured it lighter < 1545611279 504525 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :I read a different thing than that in a different book, though. < 1545611286 455970 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :hmm < 1545611294 523861 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :maybe what I read wasn't entirely trustworthy < 1545611306 616005 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :we had all sorts of stupid things in pop science books back when I was young < 1545611320 779093 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :UNLIKE NOW WHEN EVERYTHING WE READ ON THE INTERNET IS A HUNDRED PERCENT [3~TRUE < 1545611359 784017 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :I mean, I literally had a pop science book that told obviously false stuff about tides, and less obviously false stuff about a bicycle, for more than a decade before I realized how stupid that one is < 1545611382 807441 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :the phlogiston one was in a different book, but that one need not be trustworthy either < 1545611501 131496 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :What I read in one book is they thought phlogiston has a negative mass, and that hydrogen is made of water and phlogiston. So, I thought, that mean that phlogiston is the negative oxygen. < 1545611531 58966 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :negative mass? < 1545611548 29603 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Yes, that is what it said. < 1545611548 940996 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :but isn't phlogiston supposed to be some magical fuel thingy that unburned materials have but burned materials no longer have? < 1545611557 437025 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :that would have positive mass < 1545611565 67956 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :unless they measured wrong of course < 1545611567 990265 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :I don't know. I only know what I read < 1545611586 597683 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :which is quite easy, given how oxygen is 1000 times less dense than wood, and they didn't have scales that precise back then < 1545611606 110991 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :so all the measurements they get on the weight of phlogiston are probably errors in the experiment filtered through publication bias < 1545611766 228362 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :ok that's totally false < 1545611779 507556 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :the 1000 times lighter is for gaseous oxygen, that's irrelevant < 1545611797 980707 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :the releavnt stuff is how much oxygen the burnt wax would consume, and that weight is much more significant < 1545611818 256170 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :so you could actually measure it, but only if your supposedly airtight container actually lets more air in < 1545611826 570197 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you need to compare the mass by molarity, not by volume < 1545611862 678868 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :ais523: by mass I think < 1545611870 558788 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :it's the mass that's measured < 1545611885 70806 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: you need to compare the mass of the reacted oxygen with the mass of the reacted fuel < 1545611911 302334 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :ais523: yeah < 1545611914 439441 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and the molarity of each that reacts will be the same up to multiplication by a small integer on each side < 1545611929 486158 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so you need to compare the mass of a mole of oxygen to the mass of a mole of wax < 1545611964 399011 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(although with polymers, you need to count the monomers when measuring your mole, not the chains, as the monomers burn individually) < 1545611974 748201 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :for perfectly burning petrol in modern cars, sure. but would it be so constant in realistic scenareos from two hundred years ago? < 1545611975 578307 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I can't remember whether wax is a polymer; wood is, though < 1545612000 139221 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the 200-year-ago state may be /more/ controlled < 1545612029 398627 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :petrol is a very complex mixture (e.g. it's not entirely made of octane), whereas wood is almost entirely cellulose < 1545612029 949515 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :I think wax is ideally pure unsaturated alkane compounds, and it ideally burns to only oxygen and water < 1545612046 613159 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :OK, so wax is a short-chain polymer < 1545612046 733022 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :at least if you have a chemistry lab where you can burn wax that well < 1545612063 548415 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :so well that it doesn't even leave smoke < 1545612076 902736 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :but all we hear is about how messy candles and oil lighting were back then < 1545612096 661641 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :they got replaced by Edison's light bulbs really quickly < 1545612210 696803 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :and that was before oil refineries < 1545612228 164232 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :their gas factories were laughable < 1545612875 66449 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :b_jonas> seriously, "Monday"? => yeah, to me it too seems quite unnatural. I get it in German all noun are capitalized, but English seems strange in this, as French punctuation spacing and a language I don’t remember which uses quotes »like this« :D (no offense, I respect the choices, in the end I don’t write in these languages at all—except English, which I should practise more frequently, really, but it’s irrelevant in this p < 1545612875 226428 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :arenthetical) < 1545612995 984161 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1545613061 871563 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :arseniiv: yeah, French is space. French uses « outside facing » quotes like this, with thinner than normal non-breaking spaces inside them < 1545613108 788359 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :I know that because I read David Madore's blog, and he writes about typography often < 1545613158 245661 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: it seems your re:direction TC proof doesn't really need the left direction, except possibly to ensure interspersed 0s instead of junk output < 1545613192 719062 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: indeed, it doesn't need up either < 1545613227 586460 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :otoh maybe if you have all 4 you could avoid wrapping - you're only using it at the bottom < 1545613232 793765 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the language is more elegant with all four directions, though (and likely has more ability to write code in interesting ways) < 1545613268 977988 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I considered "Re:direction without wrapping" as a challenge language for PPCG (i.e. the challenge is to prove it TC), but I have to prove it TC myself first before I can do that < 1545613311 154073 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :heh < 1545613380 22324 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :one huge benefit of the wrapping is that you can put a diamond on a row/column by itself and delete a certain type of element from the queue entirely that way; in the non-wrapping version, deletions are still possible but it's much more complex < 1545613506 609994 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :Russian has capitalization issues, I should admit, too. One case I remember is possessive adjectives made from proper names, these capitalize when they have certain suffixes in them (!!) Maybe this rule has some semantic overtones (it shouldn’t have been appeared by chance probably, and writers of the past certainly thought something?) but I don’t see that < 1545613515 294664 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :btw, on the subject of the two-variable Blindfolded Arithmetic construction: I've been interested in the potential for a language which can get it down to one for a while < 1545613548 226477 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(basically, as a thought experiment into "what sort of commands would Deadfish need to be Turing-complete, with no memory but the accumulator?") < 1545613564 793303 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :arseniiv: yeah, the Hungarian rules are crazy too < 1545613567 438427 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but didn't come up with anything that worked, assuming we want the commands to be arithmetically simple and take no argument < 1545613619 680688 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :no wonder > 1545613744 518494 PRIVMSG #esoteric :14[[07Blindfolded Arithmetic14]]4 10 02https://esolangs.org/w/index.php?diff=58810&oldid=58783 5* 03Ais523 5* (+179) 10/* External links */ link the two-variable TCness proof < 1545613962 448793 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : especially of fields. English maths terminology does borrow from german occasionally, so why didn't they just say "corpse" or "corps" or something? <-- i suspect that suggestion was dead on arrival hth < 1545613993 999433 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit < 1545614098 572337 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :oerjan: it even has a freaky Hungarian equivalent. algebraic corpses are called "test" in Hungarian, < 1545614165 950545 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :and there's a whimsical suggetion to call a subcorpse "altest", because the prefix "al-" would totally work for that on normal words, < 1545614182 452029 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think the french "corps" means "body", not "corpse" hth < 1545614215 943334 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :but "altest" happpens to mean "lower body", so mathematicians are ALL so chickems < 1545614221 532412 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the norwegian equivalent is "kropp", cognate to the german and used for the math too < 1545614242 375962 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :that thwy call it "résztest" instead < 1545614264 457561 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :oerjan: yeah, or "torso". < 1545614335 865824 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :but "torso" sounds like it's about something non-commutative because of "torsion" and how algebraist's mind work, so that's excluded < 1545614447 873358 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm "underkropp" means both lower body and subfield in norwegian < 1545614461 527803 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :so it's a corps or a Körper < 1545614706 626371 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm swedish seems to have chickened out with "del-" instead of "under-" :P < 1545614740 46274 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :which seems like just what hungarian did too < 1545614745 971188 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(meaning "part") < 1545614763 785461 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :yeah < 1545614869 679126 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :mind you, "rész" is much more frequent in other maths words too, partly because "alhalmaz" sound stupid < 1545614876 535317 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oerjan: darn you made me look at https://en.wikipedia.org/wiki/Corpse < 1545614901 809141 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So I learned about plastination. Good night. < 1545615202 408051 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: i take no blame for that hth < 1545615284 964506 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :corpses everywhere! :o :o :o and ghosts and whatnot < 1545615315 115414 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :ghosts? < 1545615318 16080 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :oops Halloween has passed a while ago < 1545615350 357173 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu PRIVMSG #esoteric :hmm < 1545615514 466133 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: interesting, norwegian uses "del-" in that case, "delmengde" = subset. although "undermengde" seems to have some usage. < 1545615516 676596 :b_jonas!~x@catv-176-63-14-66.catv.broadband.hu QUIT :Remote host closed the connection < 1545615528 638696 :xkapastel!uid17782@gateway/web/irccloud.com/x-etetkcbabqkyudey QUIT :Quit: Connection closed for inactivity < 1545615567 84595 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :everyone flees < 1545615655 847957 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :I meant to say, in Russian math terminology, there is a body too, it denotes a skew field. And “subbody” doesn’t have any sufficiently strong connotations, it isn’t homonymous with any body part < 1545615717 473800 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :I spent so much time looking what skew field is called in English :\ < 1545616193 350416 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : I have thought that 'full and 'null rhyme, poor me <-- argh they don't? < 1545616379 805092 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : oh, um, have someone added a language to Try it online? <-- i vaguely think the procedure is to go on the PPCG channel for it and ask dennis < 1545616401 399262 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(not that i have done so) < 1545616459 878333 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523 would know, if he hasn't already told you. < 1545616698 590234 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :no notification at least < 1545616717 606601 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell b_jonas ais523: does ghc use it to parse the contradictory fixity statements that affect where the invisible braces are earlier in the code? or is that using a sat solver? <-- ghc never did that, and since 2010 official haskell doesn't do it either. < 1545616717 663293 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1545616789 881227 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell b_jonas (they sanely made fixity resolution a separate post-parsing phase) < 1545616789 953780 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1545616866 748986 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :if I sometime write an implementation for Ⅎ it would be cool, but I haven’t yet and lazy to plan doing it even, so no importance < 1545617554 381509 :imode!~imode@unaffiliated/imode JOIN :#esoteric > 1545617681 325144 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Areallycoolusername 5* 10New user account < 1545617735 649915 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :is there a middle ground between Haskell and Rust (or C++, but Rust is more disciplined with what way you can define an operator for your type)? < 1545617735 760053 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :maybe something with less freedom to do unnecessary ASCII art than in Haskell (or this is not needed and I’m deluded), and with more restrictions, in case there is a small finite set of operators, on which constraints there are when defining/overloading several operations together < 1545617818 771601 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :at the time I think Haskell (but with the right mathematically sound Prelude of course!) is a better alternative but < 1545617876 377166 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :(and that Prelude should include actions, so I could add a point and a vector and get a point, or subtract two points and get a vector) > 1545617935 594734 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=58811&oldid=58804 5* 03Areallycoolusername 5* (+177) 10Introduction < 1545617964 928498 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :(I come to think people are overlooking actions, and it seems sad. Maybe they are not so practical, but still!) < 1545618083 415224 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :. o O ( wonders what does “areally cool” mean ) < 1545618101 188056 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i vaguely recall mixing types like that leads to horrible type inference < 1545618199 377997 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :although maybe that's only if you try to use the same + operator for all uses < 1545618230 103030 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :I think there would be an issue if we want to define a default action (only one or maybe both) for a group and use the same operation + for action(s) and a group operation itself < 1545618237 421899 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :yeah I have that feeling < 1545618276 782768 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :also using + is somewhat bad for noncommutative cases < 1545618302 453150 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you might look at the replacement preludes on hackage < 1545618317 61189 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :I want it because of strings in too many languages, but I understand why there’s <> for Semigroup/Monoid < 1545618357 109308 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :in one or two of them, IIRC there were no actions, but it’s a good reminder, thanks < 1545618378 453111 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :I still haven’t picked a mathy Prelude to use < 1545618516 755188 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :my haskelling is all about PPCG these days, i don't even seem to have installed lens with my GHC version, which is still 8.0.1 < 1545618555 613933 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com QUIT :Quit: Qutting < 1545618590 556663 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :oerjan: p. puzzles and code golf or polyhedral parallel code generation? < 1545618600 556089 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the former < 1545618634 910782 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :I wish I could say this too but I’m almost only talking about Haskell even :D < 1545618649 253728 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :(and I blame unmathy Prelude!) < 1545618798 571136 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :btw haven’t someone heard isn’t there something new about comonadic do-notation? Is it possible to do right and do one needs it at all. It seems non-symmetric to have do, proc…do but no “codo”, whatever it may be < 1545618844 450221 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :seems this topic ceased to interest people, I haven’t found any news when searched a while ago… > 1545619154 445677 PRIVMSG #esoteric :14[[07GreeeeeeeeenText14]]4 N10 02https://esolangs.org/w/index.php?oldid=58812 5* 03Areallycoolusername 5* (+247) 10A new language page > 1545619342 3000 PRIVMSG #esoteric :14[[07GreeeeeeeeenText14]]4 M10 02https://esolangs.org/w/index.php?diff=58813&oldid=58812 5* 03Areallycoolusername 5* (+173) 10New edit > 1545619419 394974 PRIVMSG #esoteric :14[[07GreeeeeeeeenText14]]4 M10 02https://esolangs.org/w/index.php?diff=58814&oldid=58813 5* 03Areallycoolusername 5* (+20) 10New edit < 1545619562 376583 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :but once there were two attempts, and flaws were deemed to be in at least one of them, with not many commenters > 1545619612 101689 PRIVMSG #esoteric :14[[07Joke language list14]]4 M10 02https://esolangs.org/w/index.php?diff=58815&oldid=58761 5* 03Areallycoolusername 5* (+84) 10Language link > 1545619762 720349 PRIVMSG #esoteric :14[[07GreeeeeeeeenText14]]4 M10 02https://esolangs.org/w/index.php?diff=58816&oldid=58814 5* 03Areallycoolusername 5* (+13) 10Coooool > 1545619797 153377 PRIVMSG #esoteric :14[[07GreeeeeeeeenText14]]4 10 02https://esolangs.org/w/index.php?diff=58817&oldid=58816 5* 03Areallycoolusername 5* (+1) 10E < 1545619835 980187 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :I thought it should be easy if one submits themselves and after some thought sees how to use duality to make it, but either there’s few folks interested or it’s non-trivial < 1545619869 332112 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :interested *and* fluent in comonads, that is < 1545620569 921864 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i'm sure edward kmett must have spoken about the issue somewhere... < 1545620601 468005 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :I think I read somewhere that the do-notation for comonads is called "method" < 1545620607 67399 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :ah, seem to remember my idea what to do: we know functions a → m b where m is a monad are actually arrows (in Arrow sense), as are functions w a → b for w a comonad, so one could(?) see how do do-notation and proc…do which is doing the same, correspond; and then take proc…do which operates only on comonadic arrows and “uncorrespond” it into valid codo notation < 1545620636 32473 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :zzo38: yeah, one of the two authors I read called his a method < 1545620739 823096 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :uncorrespond => or should I say rrespond (ok I’ll show myself out) < 1545621024 971883 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :do notation is really a quite thin sugar over >>= and lambdas, which only makes sense because it resembles intuitive imperative notation. perhaps the equivalent for comonads is simply not something already intuitive, and therefore no one sees a real point in not using the operators directly. at least that's my guess, i haven't really used them. < 1545621166 508249 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :I thought that do-notation should be somehow definable as a macro rather than being built-in. < 1545621201 328223 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :horay, I have googled an article by Dominic Orchard and Alan Mycroft, “A Notation for Comonads”. Diving in < 1545621324 551278 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :zzo38: AFAIK it’s a sorta macro, GHC has a tiny core language which shouldn’t contain it and many other things, and it translates ordinary Haskell into it first < 1545621620 201589 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :no one would like writing in this core language of course, and there are no means to restrict input to it if I got it right < 1545621629 634720 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :so my answer is off < 1545621718 669944 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :there's not even a parser for it, although i think you can use the GHC api to construct core in plugins < 1545621731 667791 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(unless someone made one since i heard) < 1545622464 400395 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1545622606 761133 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 272 seconds < 1545622606 999210 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1545626139 925803 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1545627375 497564 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1545628201 326322 :doesthiswork!~Adium@131.191.115.81 QUIT :Quit: Leaving. < 1545628381 270907 :doesthiswork!~Adium@131.191.115.81 JOIN :#esoteric < 1545629403 408869 :APic!apic@apic.name QUIT :Ping timeout: 245 seconds < 1545629823 673152 :APic!apic@apic.name JOIN :#esoteric < 1545632067 819782 :sprock1em!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1545632068 520140 :sprock1em!~sprocklem@unaffiliated/sprocklem QUIT :Client Quit < 1545632410 262210 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: WeeChat 2.3 < 1545632431 754005 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1545633588 302682 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: brb < 1545633711 319432 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1545634201 547087 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: brb < 1545634275 397198 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1545640127 294983 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 240 seconds < 1545640533 835603 :xkapastel!uid17782@gateway/web/irccloud.com/x-zzgiuesemmrmnkqq JOIN :#esoteric < 1545640922 133276 :AnotherTest!~turingcom@ptr-82l26zcjpltykrbgmmx.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1545641524 380892 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :How to play a audio CD on Linux? I tried "play /dev/cdrom" but it says it can't determine the type of the file. < 1545643439 948255 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru QUIT :Ping timeout: 246 seconds < 1545646141 424596 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :(Specifying the type of the file doesn't help either; in that case it is a different error.) < 1545650168 390861 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 250 seconds < 1545652486 238972 :doesthiswork!~Adium@131.191.115.81 QUIT :Quit: Leaving. < 1545653759 577845 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1545653782 361556 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: VLC seems to have an option to play audio CDs (it's under "open disc" in the "media" menu) < 1545653819 621338 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't think playing a raw device works for the same reason that you can't open a file on /dev/hda, you need some layers in between to understand things like the partitioning and filesystems < 1545653835 487150 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(a CD can contain both audio tracks and data tracks at the same time, implying that there's some sort of partitioning going on) < 1545654008 825889 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@tell arseniiv for adding a language to TIO, you nee to contact Dennis (on StackExchange chat is easiest), and have a working interpreter or compiler that supports at least output, a hello world, a documentation link, and some idea about how UTF-8 source entered into TIO directly corresponds to bytes as seen by the program on disk < 1545654008 915911 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1545656292 43975 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: sorry for my connection < 1545656304 546310 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1545659095 306474 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit < 1545660020 629471 :doesthiswork!~Adium@131.191.115.81 JOIN :#esoteric < 1545660828 280415 :nchambers!~nchambers@learnprogramming/staff/nchambers JOIN :#esoteric < 1545661213 306585 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1545661574 512783 :MDude!~MDude@71.50.218.48 QUIT :Ping timeout: 244 seconds < 1545661599 568499 :xkapastel!uid17782@gateway/web/irccloud.com/x-zzgiuesemmrmnkqq QUIT :Quit: Connection closed for inactivity < 1545663098 879735 :nchambers!~nchambers@learnprogramming/staff/nchambers QUIT :Quit: WeeChat 2.2 < 1545664009 496722 :MDude!~MDude@71.50.218.48 JOIN :#esoteric < 1545664090 545234 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1545664574 29485 :xkapastel!uid17782@gateway/web/irccloud.com/x-qumamqdzrwamprgr JOIN :#esoteric > 1545665270 901012 PRIVMSG #esoteric :14[[07User:Areallycoolusername14]]4 N10 02https://esolangs.org/w/index.php?oldid=58818 5* 03Areallycoolusername 5* (+168) 10E < 1545665770 436980 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1545665828 397478 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 245 seconds < 1545665907 178317 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1545665960 974529 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1545666023 657445 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1545666048 769423 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1545666120 68816 :FreeFull!~freefull@defocus/sausage-lover QUIT :Read error: Connection reset by peer < 1545666158 232227 :nchambers!~nchambers@learnprogramming/staff/nchambers JOIN :#esoteric < 1545666171 978587 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1545666224 951055 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 246 seconds < 1545667898 404074 :nchambers!~nchambers@learnprogramming/staff/nchambers QUIT :Ping timeout: 244 seconds < 1545668070 524737 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1545669151 91651 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru JOIN :#esoteric < 1545669622 177606 :nchambers!~nchambers@learnprogramming/staff/nchambers JOIN :#esoteric < 1545670648 171072 :moony!moony@hellomouse/dev/moony QUIT :Killed (Sigyn (BANG!)) < 1545670663 697264 :moony!moony@hellomouse/dev/moony JOIN :#esoteric < 1545671340 996606 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1545671716 819998 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and the foreshadowing in girl genius comes together... < 1545672294 291994 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :also, merry christmas! (norwegian style timing) < 1545673095 683854 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :oerjan: it's christmas in east asia already < 1545673155 241732 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well in norway's case it's mostly that it starts at 5pm on the 24th < 1545673206 558734 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION prepares to open his traditional first nutella ball < 1545673327 127687 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 JOIN :#esoteric < 1545673339 979115 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :Hi everybody < 1545673345 372937 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hi < 1545673348 806986 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :ACTION says hi < 1545673386 537019 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION gets sudden urge to apply turing test to BBH  < 1545673392 151928 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :b:Hi!\n;p:b;k; < 1545673399 130982 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :A:; program < 1545673450 82760 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :What's the difference between this and IRC < 1545673486 517967 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :this is irc < 1545673500 677316 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :so, none i guess? < 1545673582 534951 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :... < 1545673616 704554 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :programming anyone < 1545673669 845611 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :Wait < 1545673685 969977 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :On my screen this website says "Not Secure" < 1545673793 877193 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :but for me it isn't such a big problem < 1545673845 636348 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :j:He;l:llo?;p:j;p:l;k; > 1545673860 140069 PRIVMSG #esoteric :14[[07A:;14]]4 10 02https://esolangs.org/w/index.php?diff=58819&oldid=58545 5* 03Oerjan 5* (-15) 10/* Interpreter in Ruby */ fix(?) fmt < 1545673864 698769 :Luciole!znc@freenode/staff/firefly PRIVMSG #esoteric :oerjan: good yule! < 1545673868 621827 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :? < 1545673886 424866 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :"Difference between revisions of A:;" < 1545673902 546008 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :BBH: i just removed the redundant tags < 1545673921 461269 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :they were causing stray little grey blobs in the page < 1545673953 834352 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :oh yeah < 1545673999 495790 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :in the esolang article https://esolangs.org/wiki/A:; there are 3 or 4 empty boxes around the Ruby interpreter < 1545674023 998916 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :.... go to the web address bar and add another ";" < 1545674058 806281 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :not any more. < 1545674086 950005 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :ACTION stares wide-eyed at screen * < 1545674183 142364 :BBH_!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 JOIN :#esoteric < 1545674195 38274 :BBH_!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :wait < 1545674204 686490 :BBH_!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :why is there BBH and BBH_ < 1545674208 120577 :BBH_!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :ACTION  < 1545674220 145577 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :BBH_: you can use https to get rid of the insecure warning, i suspect < 1545674249 619511 :BBH_!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 QUIT :Client Quit < 1545674279 666545 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Luciole: feliz navidad < 1545674321 35354 :Luciole!znc@freenode/staff/firefly PRIVMSG #esoteric :oerjan: Frohe Weihnachten < 1545674324 124769 :BBH_!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 JOIN :#esoteric < 1545674341 524878 :BBH_!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :ok now i think this is broken' < 1545674365 375078 :Luciole!znc@freenode/staff/firefly PRIVMSG #esoteric :What bit? < 1545674371 126466 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 QUIT :Ping timeout: 256 seconds < 1545674383 67286 :BBH_!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :the first time i got here i was BBH < 1545674400 1989 :BBH_!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :then i refreshed, logged in as BBH, and now I'm BBH_ < 1545674418 997411 :Luciole!znc@freenode/staff/firefly PRIVMSG #esoteric :sure, because BBH is still online, since you refreshed < 1545674427 950633 :Luciole!znc@freenode/staff/firefly PRIVMSG #esoteric :ping timeout and all that < 1545674438 784379 :Luciole!znc@freenode/staff/firefly PRIVMSG #esoteric :it quit up there, so you can /nick to BBH now < 1545674449 109200 :BBH_!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 NICK :BBH < 1545674483 563121 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :ACTION Runs away to get brunch but realizes he forgot to say thanks * < 1545674490 814505 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :thx < 1545674511 806136 :Luciole!znc@freenode/staff/firefly PRIVMSG #esoteric :mmm brunch < 1545674512 988942 :Luciole!znc@freenode/staff/firefly PRIVMSG #esoteric :good idea < 1545674584 928367 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think it may be impossible for an A:; program to print a ; character, not good for quines < 1545674594 395616 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :b:BBH gets;c: leftover bread from yes;j:terday;p:b;p:c;p:j;k; < 1545674596 484485 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :yeah < 1545674626 678415 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or wait < 1545674628 758822 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :there < 1545674641 929625 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :was a \n somewhere, so maybe it can be escaped < 1545674692 307444 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :A quine would be somthing like "b:b:b:b:b:b:b:... p:b ...p:b" < 1545674723 605927 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh no, the ruby interpreter explicitly substitutes \n, and only that < 1545674726 606686 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :But I can't work the Ruby interpreter 🤣 < 1545674759 596337 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :so there is probably no way to get ; into a variable < 1545674823 557824 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and you need at least one in any program to print < 1545674990 483037 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :https://en.wikipedia.org/wiki/ASCII#Control_Characters is not what you think. < 1545675010 684601 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :the first part is boring, but the table is important for many esolangs < 1545675033 106671 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :like Omgrofl < 1545675117 835799 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :ACTION takes a break to eat brunch * < 1545675236 668935 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :the C interpreter behaves quite differently than the ruby one < 1545675280 688416 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :idk c < 1545675333 43542 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :and nothing keeps me more interested than A:; 🙂 < 1545675876 29987 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :b: bottles of beer on the wall,\n;c: bottles of beer,\nTake one down,pass it around,\n;j: bottles of beer on the wall.\n\n;l: bottle of beer on the wall.\n;o:bottle of beer,\ntake one down, pass it around,\n0 bottles of beer on the wall.;q:99.0;r:1.0;t:99.0;?:q:=:t:7;p:q;p:b;p:q;p:c;s:q:r;p:q;p:j;g:6;... < 1545675898 426062 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :That's supposed to be a 99 bottles of beer program but I'm too lazy to write it all < 1545675964 720022 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :How to make the data of a audio CD on stdout (so that it can be written to a file or piped to another program) or to mount as a file system with one file per track (which can then be played or converted by SoX)? < 1545676082 382355 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :Audio IS represented by ones and zeros. So is text... but I don't think you could convert audio to text because there's a huge amount of information in the audio file(like a CD)especially if it's >45 minutes. < 1545676096 42541 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :I am not trying to convert audio to text < 1545676139 313431 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :but stdout can only output text right? < 1545676147 495687 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :No, it can output any data < 1545676166 608790 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :i was thinking of the stdout in python < 1545676188 373348 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :but in any other languages idk < 1545676248 640476 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :b:I am;c: st;j:up;l:id!\n;p:b;p:c;p:j;p:l;k; < 1545676269 342891 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :ACTION That is true * < 1545676327 129316 :BBH_!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 JOIN :#esoteric < 1545676349 183683 :BBH_!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 NICK :BrightBlackhole < 1545676355 786375 :BrightBlackhole!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 NICK :BrightBlackHole < 1545676362 197623 :BrightBlackHole!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :ok got it < 1545676501 428588 :BrightBlackHole!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :i looked at the esolang A:; article and i found out that the page was "last edited on 20:18, December 2, 2018". < 1545676519 424999 :BrightBlackHole!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :so 8:18 PM < 1545676547 145478 :BBH!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 QUIT :Ping timeout: 256 seconds < 1545676556 47966 :BrightBlackHole!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :? < 1545676568 812817 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com JOIN :#esoteric < 1545676569 69520 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :BrightBlackHole: depends on the server timezone < 1545676587 314182 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :BrightBlackHole: and the native timezone of the user who edited it < 1545676609 43468 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :I hate time zones < 1545676622 984474 :BrightBlackHole!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :me too < 1545676640 883103 :BrightBlackHole!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :but remember that this is #esoteric, not #randomchat < 1545676673 454684 :BrightBlackHole!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :^[ < 1545676677 313919 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :I don't hate timezones. However, the timezone could be specified in the timestamp to avoid, such as adding "Z" at the end if it is UTC < 1545676705 79216 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :That would have to be fixed in MediaWiki software if you wanted to do that though. < 1545676705 855567 :nchambers!~nchambers@learnprogramming/staff/nchambers NICK :Rudolph < 1545676707 581427 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :I don't know if the wiki uses its own time zone or converts time ro the zone of the user < 1545676786 301370 :BrightBlackHole!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :oh wait now it sayd december 24 < 1545676788 675155 :BrightBlackHole!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :thats today < 1545676796 671883 :BrightBlackHole!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :christmas eve < 1545676852 897326 :BrightBlackHole!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :about:blank < 1545676864 765953 :BrightBlackHole!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :chrome://blank < 1545677127 947939 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :timezones are a relic of times when there was hardly an easy way to lookup local astronomical times of different places, now in principle we can with the internet and all that, but the zones don’t want to go :( < 1545677155 586375 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric : I don't hate timezones but I do hate daylight saving time < 1545677177 354740 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :and so I must live more than a hour away of my local time (IIRC, as there was flux several years ago, still) < 1545677320 74431 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :and the noon is 13:something, bwah, and with DST it was for several years even 14:something (as the people somewhere there ceased to understand what DST means, for some obscure reason; then a while ago DST was canceled, finally) < 1545677350 325743 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru PRIVMSG #esoteric :weird, I say < 1545677461 795157 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oren: the timezone is a user preference, defaulting to UTC < 1545677468 760698 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(of the reader) < 1545677550 632422 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :although in talk page signatures, UTC is used. < 1545677805 979442 :BrightBlackHole!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :whoops i didn't realize i was still on < 1545678111 138768 :BrightBlackHole!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 QUIT :Ping timeout: 256 seconds < 1545679188 124565 :BrightBlackHole!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 JOIN :#esoteric < 1545679194 411685 :BrightBlackHole!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :hi again < 1545679207 242163 :BrightBlackHole!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :blankslate.com < 1545679220 332372 :BrightBlackHole!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :blankslate.io < 1545679235 331151 :BrightBlackHole!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :is a place to program in < 1545679265 474956 :BrightBlackHole!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 PRIVMSG #esoteric :https://blankslate.io < 1545679954 745782 :BrightBlackHole!cfb5d56d@gateway/web/freenode/ip.207.181.213.109 QUIT :Quit: Page closed < 1545681211 247820 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :I discussed yesterday with the GM of the game if we can use bite and breath attack together, and he said it can be done, and also that my character (and others of the same species, too) are immune to his own breath attack. (So, if we need to fight someone else of same species, should then use other weapons such as arrows, or even melee attacks, which even in case of natural melee attacks should still work.) < 1545681376 531226 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :What would you think? < 1545682323 400811 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :if the breath comes out of the same body opening as where the teeth are, then it would seem hard to do both efficiently simultaneously... < 1545682368 535370 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Yes, but I meant on the next turn, if opponent has not yet escaped. If on the same turn, maybe you have to make a rapid strike for a -6 penalty to hit. < 1545682397 704422 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :If you still think there something wrong with that you can complain about that too < 1545682661 450219 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Also in this case is sharp beak rather than teeth < 1545682956 709549 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :might depend on the beak shape how well it works < 1545682990 792899 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Ah, yes, I suppose so. < 1545683184 518437 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :also on how the breath attack works, if it just needs to touch the opponent's body or e needs to breath it in... < 1545683196 500486 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :It is a contact agent < 1545683206 503836 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :(I did already consider that) < 1545683356 394548 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the species might very well have evolved holes or gaps in the beak precisely to be able to do this < 1545683384 787254 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :if it's evolved rather than magically designed, i guess < 1545683396 92060 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :O, OK, I suppose that can make sense. < 1545684521 212290 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Thank you for your suggestions < 1545684643 822571 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you're welcome < 1545685427 274156 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1545688641 242434 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1545688672 173937 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Do you like to play Scrabble with memoryless blank tiles? < 1545690399 404391 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hi < 1545690412 933819 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :is there a context to this question? I just arrived < 1545690620 666064 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :There is no other context, I think < 1545691079 451722 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :then I'm confused < 1545691109 367049 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :must I understand that the tiles forget which letter they represent, as soon as they're played? < 1545691478 274889 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 245 seconds < 1545691540 814618 :xkapastel!uid17782@gateway/web/irccloud.com/x-qumamqdzrwamprgr QUIT :Quit: Connection closed for inactivity < 1545691665 790911 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Yes, rather than the normal rule which is to have to remember which one it is. < 1545691712 241707 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :aha > 1545691900 564316 PRIVMSG #esoteric :14[[07Brain:D14]]4 N10 02https://esolangs.org/w/index.php?oldid=58820 5* 03Areallycoolusername 5* (+643) 10:DDDDDDDDDDDDDDDDDDDDDDDDDDDDDD < 1545692677 253995 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net QUIT :Read error: Connection reset by peer > 1545692743 695580 PRIVMSG #esoteric :14[[07Brain:D14]]4 M10 02https://esolangs.org/w/index.php?diff=58821&oldid=58820 5* 03Areallycoolusername 5* (+99) 10: + infinite Ds > 1545692900 813594 PRIVMSG #esoteric :14[[07Joke language list14]]4 M10 02https://esolangs.org/w/index.php?diff=58822&oldid=58815 5* 03Areallycoolusername 5* (+58) 10/* Brainfuck derivatives */ > 1545693139 108279 PRIVMSG #esoteric :14[[07Brain:D14]]4 M10 02https://esolangs.org/w/index.php?diff=58823&oldid=58821 5* 03Areallycoolusername 5* (+104) 10: > 1545693220 143849 PRIVMSG #esoteric :14[[07Brain:D14]]4 M10 02https://esolangs.org/w/index.php?diff=58824&oldid=58823 5* 03Areallycoolusername 5* (+0) 10Hol' up I did an oof. < 1545694152 730918 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1545694434 132045 :AnotherTest!~turingcom@ptr-82l26zcjpltykrbgmmx.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 268 seconds < 1545694706 788707 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 250 seconds < 1545695719 35643 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1545695998 588893 :Rudolph!~nchambers@learnprogramming/staff/nchambers QUIT :Quit: WeeChat 2.2