< 1454458013 982338 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1454459370 665439 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :You know, when I put dates in filenames, for the most part I don't even consider using a format besides YYYYMMDD. < 1454459406 279311 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So, I'm implementing everything in Coq! < 1454459410 967571 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@google "interference system" < 1454459411 803681 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :https://en.wikipedia.org/wiki/RNA_interference < 1454459412 333948 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :And by "everything", I mean "a lot of things". < 1454459431 865771 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :But sort of everything. < 1454459437 372909 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I'm gonna be doing a lot of category theory. < 1454459439 116325 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :tswett : I've always liked DDMMYYYY but that's only because of my L1 < 1454459456 915377 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :What's an L1? < 1454459459 995457 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :I admit YYYYMMDD is more logical < 1454459463 709815 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :native language < 1454459490 348020 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :L2 is "the language you're learning in your language class" more or less < 1454459492 774291 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I think DD-MM-YYYY is okay. DDMMYYYY is (with all due respect, sir or madam) horrible. < 1454459509 105878 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think I'm YYYYMMDD 90% of the time, and YYYY-MM-DD the rest. < 1454459522 477909 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :And L3 is "the language you've learned about ten words of thanks to an iPhone app", right? < 1454459542 595324 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :aka japanese? :D < 1454459550 688653 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :How did you know? :D < 1454459569 795313 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :it's the language _everyone_ learns about ten words of :D < 1454459575 511768 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So, I think I'm going to be implementing the concept of "a theory". < 1454459587 459271 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I probably know at least 50 Japanese words. Lemme list off a few. < 1454459646 822219 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1454459707 502220 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :well... do igo terms count? < 1454459715 291590 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :no, neko, uma, inu, doa, wa, ga, desu, watashi, boku, imasu, ao, shiro, kuro, murasaki, kuruma, baka, hagane, mizu, oto, nonde, ringo, tamago < 1454459724 85323 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :int-e: do you know what they actually mean in Japanese? < 1454459751 361871 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :for most of them, no. < 1454459763 608653 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :They don't count in that case. < 1454459775 743524 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :what does murasaki mean? < 1454459802 137558 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Purple. < 1454459828 397551 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :tswett: DD-MM-YYYY is *not* okay, you cannot distinguish DD-MM from MM-DD. MMM-DD-YYYY or DD-MMM-YYYY are fine. < 1454459833 869448 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :tswett: no (domo) arigato? or the one that everyone knows, hai... < 1454459837 779931 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :(MMM for three-letter month abbreviations) < 1454459846 404442 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :int-e: I know a lot more words than I just listed. < 1454459867 794267 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I guess a theory is just a special case of a presentation. < 1454459876 198365 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh well, I only recognize the cat. < 1454459879 423706 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :the 100-odd japanese words I know (+kanakana for gleaning the meaning of a tiny bit of japanese text) is like my L6 < 1454459886 283423 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I am here < 1454459893 704745 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :You may commence interesting conversation < 1454459896 103603 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric ::P < 1454459901 85183 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :is L6 a language that is somehow computerized? :p < 1454459906 41802 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Lemme give the meanings of all those words. (Sometimes the "meanings as taught to English speakers".) < 1454459916 414245 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: No thank you xD < 1454459925 83908 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: this is not optional. < 1454459927 406032 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :(unless someone else requests them) < 1454459929 360579 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Damn < 1454459941 658012 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Do I need it to graduate? < 1454459957 125107 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Untranslatable, cat, horse, dog, Western-style door, untranslatable, untranslatable, is, I, I, is doing, blue, white, black, purple, car, stupid, steel, water, sound, drink, apple, egg < 1454459958 790734 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: nope. < 1454459962 47500 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :Tbh I could only have a conversation in like L3... past that it's just way too fragmental < 1454459979 937212 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :("Wow", someone thinks, "Japanese sure has a lot of words for 'untranslatable'.") < 1454459994 302717 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Hmm, an L3 cache... < 1454459997 44698 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: No word is untranslatable to a Chomsky-complete language < 1454460023 372039 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :we can put languages in a box < 1454460039 556872 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :(Chomsky completeness: Sufficiently overcomplicated such that you can express anything it, technically) < 1454460042 423758 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :no you could translate with 'of' < 1454460043 229326 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :no? < 1454460061 461487 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :or 's < 1454460087 477888 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yeah, more or less. < 1454460089 285898 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :I've seen 'wa' translated as 'as for' < 1454460104 555434 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yup. < 1454460131 768395 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :"Ga" can be translated as "is the one", though that's pretty dang inadequate. < 1454460147 536831 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :"Jerry wa mizu o nonde imasu." "As for Jerry, he's drinking water." < 1454460156 895825 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :"Jerry ga mizu o nonde imasu." "Jerry is the one who's drinking water." < 1454460166 880380 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Or "it's Jerry who's drinking water" or whatever. < 1454460186 368601 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The first one would probably just be translated as "Jerry is drinking water", really. < 1454460268 902328 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I guess next I'll implement free monoids. < 1454460296 994034 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :L3 cache... once you have that you have a really complex cpu :D < 1454460321 20719 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :tswett: they are (especially for verbs) non-standard forms, aren't they? for example nonde "drink" has a standard form of nomu. < 1454460387 328774 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :lifthrasiir: yeah, but I don't know those. < 1454460396 127669 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I just know the -te forms. < 1454460400 530666 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :aha. < 1454460442 995289 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :kind of confusing thing for agglutinative languages < 1454460459 196630 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :lifthrasiir : what is? < 1454460471 629486 :Trioxin!~Trioxin@64.197.162.2 QUIT :Read error: Connection reset by peer < 1454460505 994659 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :mad: affixes can be freely attached to the word stem? < 1454460508 736728 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Quit: Leaving < 1454460540 622307 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :lifthrasiir : I thought it was more like "affixes are regular (instead of irregular like in fusional languages)" < 1454460590 570299 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :hmm, I didn't know about the clear distinction between agglutinative and fusional languages < 1454460621 995031 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :(was about to point out the distinction between agglutinative and inflectional languages, but then the realization came to me) < 1454460634 614729 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :fusional is another term for inflectional < 1454460650 81573 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :hmm < 1454460652 831077 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :unless I'm mistaken < 1454460661 604928 :__Beavis__!~Adium@84.93.42.125 QUIT :Quit: Leaving. < 1454460717 532174 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :AFAIK the distinction between agglutinative (ah fuck, I cannot easily remember this word) and inflectional languages is the "freely" part, i.e. the inflection to the word stem is not as simple and orthogonal as affixes < 1454460760 761047 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :that's what I said :D < 1454460768 646468 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :inflection is more irregular < 1454460963 661767 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :agglutinative affixes still get phonetically adapted (vowel harmony, change depending on if the stem ends in a vowel or consonant, change depending on voicedness, etc) but generally not replaced entirely (which would more or less make it inflectional) < 1454461045 50436 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :yeah, can be regarded as a more common variations between consecutive words/morphemes < 1454461053 656396 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :s/ a / / < 1454461094 661300 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :inflectional mostly stands out because it's in the most well known languages (european) < 1454461494 916794 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION note that tswett's list of japanese words looks pretty much disjoint from the set he'd consider "everyone" likely to pick up. in fact he only remembers "watashi".
< 1454461508 860046 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh wait, the cat yeah < 1454461618 473617 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07HQ9+14]]4 10 02https://esolangs.org/w/index.php?diff=46349&oldid=37183 5* 03Erinius 5* (+42) 10 < 1454461693 615140 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :also, the "untranslatable" reminds me of yudkowski's three worlds collide story. < 1454461981 50904 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I read that, but I don't really remember how "untranslatable" featured in it. < 1454461992 496298 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :in the speak of the superhappy people < 1454461995 15726 :mauris__!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :i probably know at least 50 japanese words too: i can count to 50 in japanese < 1454461995 811961 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*speech < 1454462016 364963 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :untranslatable-N for N from 1-4 or thereabouts < 1454462066 669176 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :one of which seemed to denote the thing they did instead of _both_ sex and speech. < 1454462075 181825 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1454462080 929446 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(or rather, as both) < 1454462184 277299 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(both, to them, involved exchanging actual genetic material, because they had no genetic/neural information distinction) < 1454462207 771755 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I'm pretty sure the word for that is "intercourse". < 1454462217 658105 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :... < 1454462443 897970 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and possibly as a result of this, they were incapable of lying. < 1454462527 839415 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Would it be possible to make an interpreter for a language that runs on bare metal such that that language can be used for OS development? < 1454462552 716387 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: forth is thataway, i think < 1454462586 103221 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Ah, yes. Forth. < 1454462592 80956 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that's almost it's original purpose < 1454462616 974808 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Don't forget the Lisp machines. < 1454462627 545076 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm < 1454462638 453189 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1454462769 991588 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: I'm kind of tempted to learn Rust, figure out how to cross-compile rust for OS dev, etc. JUST so I can get a bare-metal interpreter for that language I mentioned earlier working < 1454462897 750668 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :okay < 1454462931 928518 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: The purpose of which would be... something, I'm sure < 1454463122 939872 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Quit: mihow < 1454463919 33923 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :I'm trying to figure out what are the "mixed relational concepts" of sapir's linguistic typology < 1454464929 125807 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1454465030 703458 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 245 seconds < 1454465543 543823 :bb010g!uid21050@gateway/web/irccloud.com/x-gfgamaqetbjbrkpk JOIN :#esoteric < 1454465595 607118 :mad!boulam@69-165-212-148.cable.teksavvy.com QUIT :Quit: Pics or it didn't happen < 1454465712 127214 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1454465738 29415 :mauris__!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 276 seconds < 1454466010 987673 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 276 seconds < 1454466820 206553 :Treio!~Treio@87.244.233.250 QUIT :Quit: Leaving < 1454467304 810002 :mad!boulam@69-165-212-148.cable.teksavvy.com JOIN :#esoteric < 1454468995 15399 :gde33|2!kvirc@546A0B75.cm-12-3a.dynamic.ziggo.nl JOIN :#esoteric < 1454469126 110139 :gde33!kvirc@546A0B75.cm-12-3a.dynamic.ziggo.nl QUIT :Ping timeout: 240 seconds < 1454469287 51895 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Quit: Leaving < 1454469411 12884 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1454469484 85375 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1454469642 328078 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1454469657 976292 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1454469677 387581 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hey, you know how there's a commonly used type void/unit seen in many programming languages, which only has one value? < 1454469691 589004 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and that it has a mathematical equivalent, normally called 1 (i.e. a 1 in bold)? < 1454469703 523025 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what's the element of that mathematical set called? < 1454469763 848517 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :void is normally empty < 1454469777 967859 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: unit is the one with an element < 1454469781 244873 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :coppro : it's 0 bits yes < 1454469781 830805 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If you're talking about 1 the trivial group, I imagine people would call its element 1. < 1454469784 852614 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know about the set. < 1454469786 843190 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :1 = { 0 } as von neumann numeral, so... < 1454469797 94688 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: so the empty set < 1454469798 955656 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :the identity, the empty set, or simply the unit element, depending on context? < 1454469801 766655 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :1 = {{{}}} < 1454469802 320561 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I considered that but thought it would be confusing < 1454469805 642938 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :coppro: void has one element in C < 1454469815 409889 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :therefor 1=2 < 1454469816 978776 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Void has no elements in Haskell, though < 1454469821 248386 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Problem, maths? < 1454469823 864061 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ais523: I assume you mean type theoretical stuff, where it has no elements < 1454469843 123924 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :coppro: well I'm doing type theoretical stuff, but picked a non-type-theoretical analogy < 1454469857 846657 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I'd simply call it the unit element then < 1454469868 170012 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :because the point is that it's an arbitrary type with a single member < 1454469872 275989 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :In my programming language I'm making < 1454469877 230377 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :it isn't necessarily going to be any one thing in particular < 1454469903 325109 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :What should be the syntax for creating an instance of a class? e.g. a socket? < 1454469906 144396 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :since all unit types are isomorphic < 1454469914 783203 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :The language is like Haskell < 1454469917 927517 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :"identity element" for the number that produces no effect in a given operation (0 for addition, 1 for multiplication) < 1454469943 654296 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :So it uses currying for functions- f x y z- instead of f(x, y, z) syntax < 1454469957 46419 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :coppro: the problem is I want a literal for it < 1454469959 541263 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mad: -1 for andation < 1454469963 953152 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :currently I'm leaning towards an empty tuple < 1454469974 641972 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :by analogy with the () that most programming languages use < 1454469982 493884 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: Define your own syntax- e.g. 1* < 1454469996 73713 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: this is for a mathematical paper-alike < 1454470003 322924 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :defining your own syntax tends to annoy people < 1454470015 760298 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: Or $1- "select 1"- which selects the set of instances for a type < 1454470028 205886 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: If there isn't a known syntax, you're allowed to define your own < 1454470037 886284 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :That's rule 34 of math < 1454470043 701193 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: well, in this case, I suspect there is a known syntax, but I just don't know what it is < 1454470054 309483 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: Ah < 1454470064 131695 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is why I asked < 1454470067 853811 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@check \x -> (-1) .&. x == x < 1454470069 555867 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : +++ OK, passed 100 tests. < 1454470074 643487 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :checks out < 1454470103 62688 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Well duh < 1454470108 737018 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wow such activity < 1454470132 380812 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: -1 = 1xN, where N is the bitwidth of the number < 1454470138 27077 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :At least, if you're doing 2's complement < 1454470139 752583 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, if oerjan doesn't know either, perhaps there isn't a standard notation after all < 1454470154 828386 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: this is haskell Integer the bitwidth is infinite hth < 1454470156 838311 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :wouldn't it be 0? < 1454470157 920656 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: So you get to make up your own < 1454470162 131215 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Shit. < 1454470175 182057 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :logically 0 is the only integer expressible in 0 bits < 1454470180 373520 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Therefor -1 = 0b111111111111111111111111111111111... < 1454470187 209459 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mad: WRONG! < 1454470202 237676 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mad: You can express any integer in 0 bits if it is pre-known what integer that is < 1454470204 117223 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: it's not something i recall using < 1454470218 464539 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's weird, you'd expect it to come up more often < 1454470230 131721 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but Wikipedia doesn't mention it either (merely that all such sets are equivalent) < 1454470233 866593 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mad: e.g. if we agree that in our encoding for integers, 69=0b, then 69=0b < 1454470242 272642 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess I'll define 1 as containing an empty tuple for now, I can always change later < 1454470249 764054 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :hppavilion[1] : true but using the normal positional encoding, then it's 0 < 1454470250 680871 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: that's the problem in CT, elements are not canonical < 1454470258 570693 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mad: Unless you're including the bits to define the encoding, in which case WRONG < 1454470263 923025 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Quit: Leaving < 1454470271 719647 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: Sometimes I call that element ★ < 1454470292 323156 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :shouldn't the empty tuple simply be an empty tuple? < 1454470310 912755 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: well in the category of sets, each object is an equivalence set of sets, right? otherwise it'd have more than one terminal object which is impossible < 1454470311 132482 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :IE() perhaps, where is the operator you want the identify for? < 1454470312 849770 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: actually that rings a bell < 1454470314 625260 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :*identity < 1454470321 579173 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :represented by something like {} < 1454470341 410646 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mad: the empty tuple is just an empty tuple; however, because there's only one empty tuple < 1454470364 555800 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the set of all empty tuples is thus equivalent to 1, and is in fact the definition of 1 that most practical programming languages choose < 1454470402 81432 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: Wouldn't it be that the /cardinality/ of the set of all empty tuples is thus equivalent to 1? < 1454470423 859064 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: there is nothing preventing a category from having more than one terminal object < 1454470436 563610 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :they just all have to be isomorphic < 1454470458 994111 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :dunno, in C++ there's an infinity of empty vectors more or less < 1454470469 970 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :though they do have the same value < 1454470473 991726 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1454470476 241499 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :So can I get an answer? It'll onlt take a second < 1454470477 483514 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :[03:32] mad: the empty tuple is just an empty tuple; however, because there's only one empty tuple < 1454470479 513637 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :[03:32] the set of all empty tuples is thus equivalent to 1, and is in fact the definition of 1 that most practical programming languages choose < 1454470483 517773 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :[03:34] ah hmm, according to Wikipedia you can have more than one terminal object if they're all isomorphic < 1454470486 992083 :ais523!~ais523@unaffiliated/ais523 QUIT :Disconnected by services < 1454470489 90823 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1454470490 105580 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> [minBound .. maxBound :: ()] < 1454470491 683547 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [()] < 1454470524 131466 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> [minBound .. maxBound :: [()]] < 1454470525 116340 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523: is it like bottom? or just like bijective base-k 0? < 1454470525 258669 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :I guess the problem with 1 is that it doesn't express type < 1454470525 516566 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : No instance for (Enum [()]) < 1454470525 659061 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : arising from the arithmetic sequence ‘minBound .. maxBound :: [()]’ < 1454470525 659138 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : In the expression: [minBound .. maxBound :: [()]] No instance for (Bo... < 1454470544 392493 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mad: well, it is a type itself, really < 1454470548 217998 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Object Creation syntax in my language. < 1454470548 759982 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :and calling a 0-size thing 1 is confusing < 1454470563 984881 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :ais523 : why do you need a type for 0-sized stuff < 1454470571 421044 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :For example, srv <- new ssv.srv < 1454470572 357843 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mad: well 0 has fewer possibilities than 1 does < 1454470577 966084 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mad: because you're using a generic type < 1454470586 845400 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and one of the fields happens to be unused < 1454470597 797072 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> [], [()], [(), ()] < 1454470599 291897 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:3: parse error on input ‘,’ < 1454470600 511990 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :that makes no sense < 1454470606 459252 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> [[], [()], [(), ()]] < 1454470608 54380 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [[],[()],[(),()]] < 1454470612 575547 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :1 is already 0 bit < 1454470636 69448 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mad: that was me using the type [()] in Haskell < 1454470637 389972 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :\oren\_: You're the one who hates OO with a passion? < 1454470642 717282 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :i.e. a list of 1 < 1454470658 693307 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's equivalent to the natural numbers < 1454470669 272404 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :ais523 : oh, then I don't think a value for empty fields is a good idea < 1454470680 967195 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: Does the category 2 have one or zero non-identity arrows? < 1454470687 931081 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mad: you can't construct an object without being able to initialize all its fields, including the empty ones < 1454470704 921953 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :SO MUCH ACTIVITY < 1454470706 793835 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: that was hotly debated at a seminar I attended recently < 1454470707 50424 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :BWWAAAAAAAAAAAAAAAA < 1454470726 416117 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :imho the property of a field having a value should probably be separate from the value of that field itself < 1454470748 504591 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the seminar presenter was using an arrow in the definition of 2, but some of the audience disagreed < 1454470787 755071 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Some people refer to the one without the arrow as 1+1 < 1454470806 584475 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :2 as the category for the partial order of {0,1} needs an arrow from 0 to 1 < 1454470817 181294 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :apparently it was needed for the definition of if to work correctly < 1454470844 979247 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think 2 should probably have an arrow. < 1454470847 486132 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think I'm going to call the element of 1 •, because I vaguely remember seeing that name in the past < 1454470878 812523 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so I guess 3 has three non-identity arrows, one of which is the composition of the other two? < 1454470892 955562 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric ::k Void < 1454470894 142969 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :* < 1454470907 418942 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> Right () :: Either Void () < 1454470909 68367 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Right () < 1454470923 321338 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: what answer were you expecting from that :k query? < 1454470926 91226 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that requires Void to have a Show instance. < 1454470931 220836 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: 3 = {0,1,2} < 1454470939 951811 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: i was just checking if it was imported. < 1454470943 430403 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :As both a set and a poset. < 1454470946 366526 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: err, types don't have other types as arguments < 1454470954 600115 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :3 = {0,1,2}, without the bold, I'll believe < 1454470956 885545 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: ah right < 1454470972 924912 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, OK. < 1454470978 21736 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not sure what you mean by argument. < 1454470984 271803 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I meant element < 1454470991 131650 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and said the wrong word < 1454471012 68078 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :so basically a 1 field can only contain {0}. a 0 field cannot contain any number? (so is basically a guaranteed exception on read?) < 1454471016 485567 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I was talking about the category, not the type. < 1454471016 652804 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :? < 1454471021 203791 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or really the poset. < 1454471071 593442 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway it didn't really make sense. < 1454471077 961640 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well in the seminar in question, 2 had objects {ff,tt} < 1454471102 50470 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But the other day I was at a talk about Lawvere's fixed point theorem and we figured out a good example that used the poset 2. < 1454471102 794216 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is a semi-common notation for false and true < 1454471106 243212 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :presumably used to save space while being distinctive < 1454471109 221674 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which has the fixed point property. < 1454471126 827718 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> read "Right ()" :: Either Void () -- Read instance, too < 1454471127 703324 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There's an epimorphism : N -> 2^N < 1454471128 521946 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Right () < 1454471148 313532 :augur_!~augur@c-73-46-94-9.hsd1.fl.comcast.net NICK :augur < 1454471150 862222 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: can't you trivially define instances of pretty much every typeclass for Void? < 1454471168 488094 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :2^N = N union {infinity} < 1454471176 615041 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't have all my Unicode things set up here. :-( < 1454471186 570884 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :assuming every function in the typeclass takes an argument of the type (which is very common, although not technically required) < 1454471193 558214 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you can just use absurd as the body < 1454471195 2015 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: yes, but this Either argument shows why they're needed (and thus they've been added to GHC base) < 1454471231 605516 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah right < 1454471236 337680 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :what's the practical use of this stuff& < 1454471237 632898 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :? < 1454471249 113718 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :let's see; a hypothetical non-base-kind Void wouldn't be a monad because you couldn't define return < 1454471335 360446 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm < 1454471345 471602 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> Proxy >>= \x -> Proxy < 1454471347 75861 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Proxy < 1454471367 272240 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :edwardk mentioned he'd added a Monad instance for Proxy < 1454471397 188155 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm assuming from this that Proxy has only one constructor that takes no arguments, and has kind * -> *? < 1454471404 858098 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it's the only Monad that doesn't distinguish return of different values < 1454471425 606871 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Also (e,) for any Monoid e. < 1454471425 817955 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :technically it has kind forall k. k -> * < 1454471425 960444 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :unlike Void, I can't immediately see an obvious use for Proxy, but I can easily believe there is one < 1454471437 574301 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :but here k = * < 1454471464 343203 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wait, Haskell has kind polymorphism? < 1454471476 787442 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :GHC does. < 1454471480 759420 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: it's useful for passing a type to a function when you have no value of it < 1454471504 11860 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or when a value would be illogical < 1454471521 586025 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: why would you pass a type to a function? can Haskell do enough dependent typing to make that useful? < 1454471530 604307 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: 8.0 will have kinds = types < 1454471544 667767 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess it let's you define Idris' = < 1454471548 906748 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is far from useless < 1454471555 652153 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, refl, I mean < 1454471556 410425 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or has. how far has it got i'm still back in December on /r/haskell < 1454471559 451718 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :^prefixes < 1454471559 594166 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , blsqbot ! < 1454471568 937140 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :( refl < 1454471571 379769 :idris-bot!~idris-bot@dslb-084-062-094-060.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :No such variable refl < 1454471572 852848 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: It's useful for all sorts of things. sizeOf :: ... a => Proxy a -> Int < 1454471583 40817 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Haskell has Idris's equality. < 1454471597 361785 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :data a :~: b where { Refl :: a :~: a } < 1454471599 203210 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's in base. < 1454471601 540365 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: can sizeOf be defined in Haskell itself? or is it a compiler builtin? < 1454471608 375105 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's just a class. < 1454471613 384771 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah right < 1454471619 831542 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's for the FFI. < 1454471700 615437 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: GHC is in the process of having dependent types added. < 1454471732 312644 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :although not totality, so it will have an inconsistent logic. < 1454471753 304023 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's not necessarily a problem for it to have an inconsistent logic, is it? < 1454471779 255680 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you can't create an actual runtime error like that, just send the compiler into an infinite loop, IIRC < 1454471851 745793 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :And C++ seems fine with the same issue. < 1454471985 733785 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually you could create an infinite loop at runtime < 1454471988 667986 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: yes, Richard Eisenberg who is designing this argues that GHC's internal coercion evidence is enough to keep it sound < 1454471998 155112 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but that really isn't a problem, most people would consider it a feature not a bug < 1454472020 626082 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What are interesting objects that have the fixed point property? < 1454472038 954878 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :but it does mean you cannot use GHC directly as a theorem prover < 1454472041 919546 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I.e. everything : X -> X is a fixed point. < 1454472123 204741 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: balls hth < 1454472149 351844 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :assuming you mean has < 1454472175 288298 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I do mean has. Everything is a fixed point. < 1454472187 910023 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wat < 1454472193 506314 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Only closed balls, presumably. < 1454472198 176600 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1454472199 377670 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: (Of id.) < 1454472207 189214 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, what else? < 1454472219 146152 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Things like 2, of course. < 1454472242 548132 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Every type in Haskell has the fixed point property. < 1454472256 731637 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(And the proof is identical to Lawvere's proof.) < 1454472664 150403 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :how are we defining fixed point, here? < 1454472714 572406 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think with global elements. < 1454472715 454180 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm it does seem to require actual underlying sets. < 1454472726 561304 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So x : 1 -> X such that f . x = x < 1454472735 1923 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ooh < 1454472785 81528 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you can construct that if you have limits in the right direction, can't you < 1454472797 275015 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or wait < 1454472797 417389 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1454472825 479107 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :what is the "fixed point property"? < 1454472845 937026 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :X has the fixed point property if every arrow : X -> X has a fixed point. < 1454472853 656521 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ah < 1454472868 172563 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or wait, a limit of X'es may not itself be X, perhaps < 1454472902 731389 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ais523: also in our discussion earlier about types and elements, technically Void in Haskell also has one value, and () has two. < 1454472919 668065 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :bottom isn't really a value < 1454472943 751418 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It can be. < 1454472949 767355 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: that's a flamewar issue i think < 1454472969 605600 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Actual Haskell and Haskell where you pretend everything is total both make for legitimate categories. < 1454472970 239968 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the haskell report treats it as one < 1454472975 436012 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :it's very relevant to what shachaf is saying ;) The existence of bottom guarantees the fixed point property < 1454472986 481680 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, 20:04 Every type in Haskell has the fixed point property. < 1454473001 440208 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I remember reading an article that mentioned how Haskell was pretty much the only language whose definition specifically talked about infinite loop handling < 1454473019 695181 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Each arrow X-> X is a function, which must either examine the value passed in or not. If it doesn't, it is constant, so its value is its fixed point. Otherwise, it examines it, and therefore bottom is a fixed point. < 1454473036 339058 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :coppro: right, I'd almost proved that myself < 1454473043 516045 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :(or the arrow 1 |-> bottom, if we go by generalized elements) < 1454473045 191368 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :err < 1454473045 589640 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :was thinking "x = undefined" < 1454473046 372565 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Anyway, Set has all small limits, but only one-element sets have the fixed point property. < 1454473047 298452 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :global elements < 1454473050 67073 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hadn't adjusted for laziness yet though < 1454473052 267189 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :coppro: no, that's too simple < 1454473058 159758 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :coppro: It doesn't have to be constant. < 1454473061 449427 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :coppro: e.g. \x -> 1:x < 1454473067 743266 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ah, hmm < 1454473075 370206 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I hadn't thought of that < 1454473087 24736 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But certainly every type has the fixed point property, because of fix. < 1454473090 717286 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :right < 1454473095 825860 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :x = fix f < 1454473096 837914 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :don't worry, i just made the same thought error 10 mins ago < 1454473117 296486 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, now I just remembered that ursala had pluggable fixed point operators < 1454473121 528151 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I can't remember why, though < 1454473131 155897 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's ursala so we might not get sensible answers < 1454473189 521508 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :would you consider ursala an esolang, btw? < 1454473196 512012 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :right, so the non-examining case becomes "applies a possibly-empty series of constructors to its value" (we can beta reduce functions to get a series of constructors) < 1454473222 946495 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it passes the weirdness test about as well as bancstar, but also has the advantage that its author considered that other people might find it surprising or hard to learn < 1454473223 868260 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :which can be made into a fixed point in the manner that fix works < 1454473261 427757 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If you consider lambda a constructor. < 1454473267 81348 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or, you know what I mean. < 1454473288 851283 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :yes, in this case I do < 1454473297 99486 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway Haskell is boring because every type has the fixed point property. And sets is boring because only one-element sets do. < 1454473325 131986 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and Top is less boring because, balls < 1454473339 921686 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Algebraic things like monoids or pointed sets or something are also boring because a monoid homomorphism maps the identity to the identity. < 1454473348 977963 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Topological spaces are more interesting for the reason oerjan mentioned. < 1454473355 886125 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Top is Void, right? < 1454473358 17102 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Partial orders are a special case of topological spaces. < 1454473363 927746 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Top the category of topological spaces. < 1454473365 718081 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and Bottom is () < 1454473375 229054 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: ah right < 1454473386 691205 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But if you're talking about initial and terminal objects in Haskell, it would be the other way around if anything. < 1454473416 447642 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Or "subtyping", where (forall a. a) ~~ Void is bottom, and (exists a. a) ~~ () is top.) < 1454473428 983600 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: bottom is initial, or terminal? < 1454473445 981845 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Usually people say initial. < 1454473489 988488 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it's not initial in haskell < 1454473491 902524 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, that's what was confusing me < 1454473495 734580 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or wait, is it < 1454473506 239605 :Alcest!~alcest@69.64.40.177 JOIN :#esoteric < 1454473507 122474 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :darn < 1454473513 154694 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Void is initial in Haskell-without-bottoms. < 1454473520 375417 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: absurd basically takes an initial value (i.e. a value of an initial type) and produces a value of any type < 1454473546 401584 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1454473546 543957 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There's no such thing as an initial value here. :-) < 1454473550 149311 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is very very close to the definition of initial types being an initial object < 1454473555 965733 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: I know :-) < 1454473576 913742 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or, well, you can view absurd in two ways < 1454473580 400752 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :either as being an empty function < 1454473584 863055 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or as mapping bottoms to other bottoms < 1454473613 766901 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm does the projective plane have the fixpoint property - there's this borsuk-ulam thing < 1454473646 94916 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: In the second perspective (where _|_ is a value) Void isn't initial. < 1454473696 181958 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: for it to not be initial implies that either: a) there's a type T for which there's no function of type Void -> T; or b) there's a type T for which there are two non-equivalent functions of type Void -> T < 1454473708 734193 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :a) can't be true because absurd is always a function that fits the requirement < 1454473739 410259 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: (\_ -> ()) and (\() -> ()) are two different functions. < 1454473751 756188 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah right, laziness again < 1454473784 985936 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :On the other hand Void is terminal. < 1454473896 957160 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but only because all bottoms are equivalent < 1454474507 92947 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1454475759 12914 :MDude!~fyrc@pa-67-235-7-57.dhcp.embarqhsd.net NICK :MDream < 1454476119 561958 :\oren\_!~oren@TOROON0949W-LP140-1-1175999594.dsl.bell.ca PRIVMSG #esoteric :orital docking achieve < 1454477073 876076 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1454477401 449360 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1454478085 610773 :nisstyre!~yourstrul@li611-52.members.linode.com JOIN :#esoteric < 1454478122 488774 :nisstyre!~yourstrul@li611-52.members.linode.com QUIT :Changing host < 1454478122 631037 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1454478155 898457 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1454480705 611060 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1454480757 809535 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :https://asciinema.org/a/35400 < 1454480955 582753 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1454481156 630612 :zgrep!sid43445@gateway/web/irccloud.com/x-cceqawspvetlxaqf PRIVMSG #esoteric :
ACTION starts searching for words after losing them due to looking izabera's brainfuck mastery... (basically, zgrep is speechless)
< 1454481163 739321 :zgrep!sid43445@gateway/web/irccloud.com/x-cceqawspvetlxaqf PRIVMSG #esoteric :s/ing /ing at / < 1454481167 239026 :zgrep!sid43445@gateway/web/irccloud.com/x-cceqawspvetlxaqf PRIVMSG #esoteric :Err... < 1454481170 629519 :zgrep!sid43445@gateway/web/irccloud.com/x-cceqawspvetlxaqf PRIVMSG #esoteric :s/king /king at / < 1454481193 92048 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :izabera: is it going to be faster than bff4? :) < 1454481554 958255 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :lol not any time soon < 1454482052 634145 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net QUIT :Ping timeout: 256 seconds < 1454482621 704517 :infinitymaster!~infinitym@c-67-201-229-96.reshall.wwu.edu JOIN :#esoteric < 1454483004 524001 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 256 seconds < 1454483017 849260 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07The chan-esoteric stack14]]4 10 02https://esolangs.org/w/index.php?diff=46350&oldid=46346 5* 03Hppavilion1 5* (+60) 10/* The Stack */ Clarification < 1454483028 487741 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :http://magic.wizards.com/en/articles/archive/feature/oath-gatewatch-update-bulletin-2016-01-29 M:tG OGW update bulletin < 1454483038 102938 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net JOIN :#esoteric < 1454483123 750012 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Sghello < 1454483150 749315 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(yes, I know it's like four days old, but I wasn't here) < 1454483171 596542 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Sgeo: I'm engineering my own personal solution stack :) < 1454483246 107578 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :hppavilion[1], cool. For what? (And meaning what?) < 1454483271 655709 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Sgeo: Just a general stack (like LAMP or XAMPP or MEAN) for web development :) < 1454483282 265049 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Sgeo: I'm rolling my own database and my own language < 1454483293 391691 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :Ah < 1454483294 546181 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :The language is suitable for golphing, if one were to feel like it < 1454483299 982719 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Here's a cat server in it: < 1454483300 671016 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :|ssv;srv<-$ssv.srv '' 4242;upn srv.srcv{sck<-caller.sck;(<<-sck)->>sck} < 1454483303 24424 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :That article says the update about the colorless mana symbol affects 316 cards, which ALMOST perfectly matches with my previous regex /\{[1-9X]\}[^:]*pool/ which matches 317 cards < 1454483408 801541 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Granted, that uses a library (ssv), but still < 1454483828 755418 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's with the new colorless mana symbol? < 1454483831 825847 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Seems a bit scow to me. < 1454485133 638182 :infinitymaster!~infinitym@c-67-201-229-96.reshall.wwu.edu QUIT :Remote host closed the connection < 1454485187 355001 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :although some of the 317 matches are un-cards, certainly not updated, so it's not that good of a match < 1454485205 862859 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: do you want a serious answer? < 1454485238 589686 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I know how it works, I'm just not quite sure of the motivation. < 1454485342 799859 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :The regex has at least one false hit: it matches Charmed Pendant's reminder text and Power Sink's ability and (embarassingly) Mirrorpool's trigger. < 1454485427 614592 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :/\{[1-9X]\}[^:\n]*\bpool/ is better, only two false positives < 1454485450 329247 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i,i Charmed Pedant < 1454485528 356106 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, I didn't know Power Sink. < 1454485541 691620 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :two false positives other than two un-cards < 1454485544 34340 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is there something that has tapping all your lands as a cost? < 1454485551 739075 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not sure how that would be phrased exactly. < 1454485564 178698 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: I'm not sure if it exists as a cost, but it exists as an effect < 1454485618 621718 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Tap all lands you control: [...]. Activate this ability only if you control no tapped lands. < 1454485638 330453 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or {X} where X is the number of lands you control. Of course those are quite different. < 1454485646 261683 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What has it as an effect? < 1454485700 406060 :mad!boulam@69-165-212-148.cable.teksavvy.com QUIT :Quit: Pics or it didn't happen < 1454485706 878779 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: Pygmy Hippo and War's Toll -- note that they're somewhat different < 1454485753 499156 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, that affects your opponent, not you. < 1454485890 670348 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is there something which uses some other mechanism to be cheap in the early game and expensive in the late game? < 1454486106 995107 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :The people of this channel could do so much good if Esolangs were useful in the slightest... < 1454486169 868800 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :we need something like an esolangs4charity marathon < 1454486318 398750 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :izabera: That'd only work if the rest of the programming world was into esolangs < 1454486363 817064 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :ok, that's step 1 < 1454486558 459735 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :izabera: Good point < 1454486568 766137 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Step 1) Get the world to like esolangs < 1454486583 299036 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Step 2) Do an Esolangs4Charity competition/marathon/whatever < 1454486589 601841 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Step 3) WORLD DOMINATION < 1454486594 663765 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Step 4) Buy milk < 1454486602 976234 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :good luck with step 1 < 1454486615 594540 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :even at my university, i am the strange one < 1454486700 596268 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :can we just move step 4 a bit higher in the list? < 1454486746 929224 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :we may swap 3 and 4 < 1454486753 362590 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :yay < 1454486836 245062 :charles047!~cm@204.187.100.19 JOIN :#esoteric < 1454486838 550881 :charles047!~cm@204.187.100.19 PRIVMSG #esoteric :Hi. Just came across this, please read and comment with your thoughts http://chrishadnagy.com < 1454486862 131969 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :no < 1454486900 370567 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :first of all, i will not support spammers in any way < 1454486982 108283 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :not even *esoteric* spammers?! < 1454487009 291154 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :only if i can clearly identify it as such < 1454487014 203181 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :which i cannot < 1454487121 121051 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Invent an esoteric programming language where a program is only valid if it was written in good faith that it will terminate. < 1454487195 249599 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :do you have to invent it from scratch or can you just apply that property to something like python? < 1454488072 449593 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1454488682 666173 :hppavilion[1]!~Devourero@58-0-174-206.gci.net QUIT :Ping timeout: 256 seconds < 1454491559 618850 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1454491563 476672 :zadock!~outsider@81.180.223.51 JOIN :#esoteric < 1454491718 68212 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1454492057 92992 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1454493034 565699 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 256 seconds < 1454494044 117693 :MoALTz!~no@78-11-180-214.static.ip.netia.com.pl QUIT :Ping timeout: 252 seconds < 1454496706 78529 :J_Arcane!~chatzilla@37-219-108-222.nat.bb.dnainternet.fi QUIT :Ping timeout: 252 seconds < 1454496996 518948 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`ftoc 73 < 1454497011 651122 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :73.00°F = 22.78°C < 1454498471 157765 :mauris__!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1454498577 355400 :zadock!~outsider@81.180.223.51 QUIT :Quit: Leaving < 1454498818 79134 :mauris__!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 252 seconds < 1454499043 41544 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1454499240 125982 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1454500044 81084 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1454500108 539151 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@metar CYUL < 1454500108 881166 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYUL 031137Z 04016KT 3SM -FZRA -SG FEW010 OVC043 M03/M05 A3004 RMK SF2SC6 PRESFR SLP175 < 1454500123 282967 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :FZRA! < 1454500259 144786 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is that freezing rain? < 1454500275 907829 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :it's freezing rain. < 1454500286 47230 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1454500314 80969 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Ping timeout: 252 seconds < 1454500365 277716 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :it's -FZRA < 1454500412 342069 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :means "very definitely NOT freezing rain" < 1454500467 185758 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :a - means light. < 1454500479 138948 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :whaaaaa < 1454500488 720068 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :(strangely, everything tends to be light when reported here. -RA, -SN, -BR...) < 1454500504 291747 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :no prefix is about average, and + is heavy. hth. < 1454500530 486833 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :
ACTION knows nothing about metar
< 1454500600 890057 :Melvar!~melvar@dslb-084-062-094-060.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :@metal EDLW < 1454500601 179152 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :EDLW 031150Z 26010KT 240V310 9999 FEW027 06/M00 Q1015 < 1454500681 450634 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :Mellolvar. I see what you did there hth < 1454500694 163473 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :izabera: where are you approximatively at? < 1454500722 654431 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :on a train going to milan < 1454500738 940969 :Melvar!~melvar@dslb-084-062-094-060.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :I wonder where the LW bit comes from. < 1454500793 980939 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1454500836 770234 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@metar LIML < 1454500837 40759 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :LIML 031150Z 16003KT 130V190 2000 -DZ BR SCT003 BKN030 09/08 Q1014 NOSIG < 1454500862 279665 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :in english? < 1454500871 8189 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :typing it... < 1454500932 37417 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :this train is awful < 1454500945 146725 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :shitty, stinks < 1454500966 446674 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :report made today at 11:50 UTC, 3 kt south wind, varying between south-east and south-west, ground visibility 2 km, light drizzle, fog, scattered clouds at 300', broken clouds at 3000', it's +9 °C, dew point at 8 °C, sea level pressure 1014 hPa, nothing else to report. < 1454500973 304755 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :can't even charge my laptop < 1454501003 204576 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :boily: sooo... foggy? < 1454501052 613099 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not very foggy if you can see 2km < 1454501054 654048 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :foggy and humid. < 1454501114 988809 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :where does the LW bit come from... can't find anything. < 1454501593 280362 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`wisdom < 1454501604 894869 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :mojibake/mojibake _ÌÌÌ°_ÌÌ̦̻ͭͭͬÌÍÌÌÍ¡_ͧÍÌÍÌ­_ÍÍÍͧÍÌÌ̯Í̬̬̦̯_ÌÌÌͨÌÌ´Í < 1454501618 875813 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that < 1454501623 975741 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :doesn't even make any sense < 1454501635 559886 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it doesn't look realistic < 1454501637 361134 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1454501654 82871 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :it's an overencoded wisdomface. < 1454501659 938217 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`? asdfasfawtraritoa < 1454501661 536656 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :asdfasfawtraritoa? ¯\(°​_o)/¯ < 1454501689 483481 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm < 1454501705 992567 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :should we try to make an automatic decoding tool for this? < 1454501713 773315 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or would that be heretical? < 1454501721 516616 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yes, I know the format isn't completely uniform < 1454501722 627624 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but still < 1454501943 371129 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :Ì. < 1454502010 607976 :deltab!~deltab@cpc1-smal2-0-0-cust155.19-1.cable.virginm.net QUIT :Ping timeout: 256 seconds < 1454502121 211468 :boily!~alexandre@96.127.201.149 QUIT :Quit: SUBLAYER CHICKEN < 1454502256 748110 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 JOIN :#esoteric < 1454502435 356984 :deltab!~deltab@cpc1-smal2-0-0-cust155.19-1.cable.virginm.net JOIN :#esoteric < 1454502763 436641 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :@tell LexiciScriptor bad day yesterday and i lost the logs. remind me again what form of O() did you write? :P < 1454502763 579016 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1454502843 315599 :Alcest!~alcest@69.64.40.177 QUIT :Ping timeout: 240 seconds < 1454503814 164433 :mauris__!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1454504050 538265 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? game < 1454504054 872869 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :game? ¯\(°​_o)/¯ < 1454504334 692309 :myname!~myname@84.200.43.57 QUIT :Ping timeout: 250 seconds < 1454504576 430054 :mauris__!~mauris@unaffiliated/nooodl QUIT :Quit: Leaving < 1454505097 635355 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1454505654 781422 :TodPunk!~Tod@67-2-63-198.slkc.qwest.net QUIT :Read error: Connection reset by peer < 1454505682 774184 :TodPunk!~Tod@67-2-63-198.slkc.qwest.net JOIN :#esoteric < 1454506915 349840 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1454507097 373520 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1454507981 39098 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1454509290 835546 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1454509638 840680 :tromp!~tromp@rtc35-135.rentec.com QUIT :Killed (Sigyn (Spam is off topic on freenode.)) < 1454509682 537339 :tromp!~tromp@rtc35-135.rentec.com JOIN :#esoteric < 1454509707 126225 :mauris_!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1454509721 20493 :myname!~myname@84.200.43.57 JOIN :#esoteric < 1454509762 630020 :mauris!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 256 seconds < 1454510563 245070 :Treio!~Treio@87.244.233.250 JOIN :#esoteric < 1454511613 656003 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1454511838 605793 :charles047!~cm@204.187.100.19 QUIT :Quit: :D < 1454511904 510829 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 256 seconds < 1454512723 306146 :bb010g!uid21050@gateway/web/irccloud.com/x-gfgamaqetbjbrkpk QUIT :Quit: Connection closed for inactivity < 1454512857 331277 :spiette!~spiette@x-132-204-251-95.xtpr.umontreal.ca JOIN :#esoteric < 1454514592 86445 :Treio!~Treio@87.244.233.250 QUIT :Ping timeout: 252 seconds < 1454515419 898504 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03FricativeMelon 5* 10New user account < 1454515523 269590 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`wisdom < 1454515533 111089 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`8-ball is that a spam user? < 1454515533 399208 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :phantom_hoover/Phantom Michael Hoover is a true Scotsman, hatheist, and completely out of the loop. < 1454515535 865471 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Concentrate and ask again. < 1454515956 695316 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1454516261 634087 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Fricative eh < 1454516269 293538 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Like a chicken fricative? < 1454516278 839371 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :(this will be in a boily part message soon) < 1454516440 2529 :Melvar!~melvar@dslb-084-062-094-060.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :“Melon” doesn’t even contain any fricatives. < 1454516791 249554 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it's surprisingly devoid of them. < 1454517375 553042 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 260 seconds < 1454517433 920376 :`^_^v!~nycs@38.125.127.189 JOIN :#esoteric < 1454517451 738376 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@metar ENVA < 1454517452 151420 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :ENVA 031620Z 25013KT 9999 6000E -SHSNRA FEW010CB SCT024 BKN034 02/M01 Q0993 TEMPO 1200 SHSN VV007 RMK WIND 670FT 25014G24KT < 1454517754 63051 :Melvar!~melvar@dslb-084-062-094-060.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :@metal EDDL < 1454517754 442583 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :EDDL 031620Z 26014G24KT 9999 SCT018 BKN050 05/01 Q1019 NOSIG < 1454517804 905883 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :dusseldörf < 1454517817 862840 :Melvar!~melvar@dslb-084-062-094-060.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Hmm. Is @metal better than @messages-lewd …? < 1454517896 134256 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@fetal LIRO < 1454517896 321639 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Maybe you meant: metar keal eval < 1454517900 680356 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :darn < 1454517908 665943 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :stupid ambiguities < 1454518186 56854 :`^_^v!~nycs@38.125.127.189 QUIT :Ping timeout: 240 seconds < 1454518308 79451 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Line in a blog post I am writing: «most people call 1 dimensional triangles "lines"» < 1454518395 60116 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :those lines, so degenerate < 1454518412 74345 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :aren't those line segments? < 1454518413 361190 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :line segments with a distinguished point... < 1454518420 624639 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1454518421 702033 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :my bet would be s/lines/stupid/ though < 1454518466 528479 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I'm talking about generalizing triangle numbers into other dimensions < 1454518472 10734 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Like tetrahedron numbers < 1454518500 681402 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh, simplices < 1454518536 769613 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :That's fine then; a one-dimensional simplex is a line segment. < 1454518570 405732 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Oh, there's a word for these? < 1454518592 513622 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :That's useful < 1454518668 1490 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :T: wouldn't that be just the binomial coefficients? < 1454518668 416060 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Am I allowed to talk about, say, the 6th 5-simplex number? < 1454518675 985631 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Beeswax14]]4 10 02https://esolangs.org/w/index.php?diff=46351&oldid=46090 5* 03Albedo 5* (+183) 10/* Local/global stack interaction */ Instruction U added < 1454518756 525607 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Beeswax14]]4 M10 02https://esolangs.org/w/index.php?diff=46352&oldid=46351 5* 03Albedo 5* (+3) 10/* Global stack related I/O */ < 1454519170 9190 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Taneb: those are usually called "binomial coefficients" hth < 1454519175 96745 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oops < 1454519184 625742 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :stupid skipping of lines < 1454519211 244675 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :oerjan, I'm trying to explain where the binomial coefficients are coming from < 1454519216 27178 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :And what they have to do with yahtzee < 1454519433 120761 :zgrep!sid43445@gateway/web/irccloud.com/x-cceqawspvetlxaqf PRIVMSG #esoteric :What do they have to do with yahtzee < 1454519433 703212 :zgrep!sid43445@gateway/web/irccloud.com/x-cceqawspvetlxaqf PRIVMSG #esoteric :+ < 1454519434 917286 :zgrep!sid43445@gateway/web/irccloud.com/x-cceqawspvetlxaqf PRIVMSG #esoteric :? < 1454519483 690422 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :zgrep, the number of ways you can roll 5 dice if you don't care about order is the 6th 5-simplex number < 1454519497 42854 :zgrep!sid43445@gateway/web/irccloud.com/x-cceqawspvetlxaqf PRIVMSG #esoteric :
ACTION looks up simplex numbers
< 1454519551 756334 :Reece`!~Reece@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net JOIN :#esoteric < 1454519626 333062 :zgrep!sid43445@gateway/web/irccloud.com/x-cceqawspvetlxaqf PRIVMSG #esoteric :Does yahtzee care about order? < 1454519648 778225 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :the game doesn't; the associated probabilities do. < 1454519740 401925 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :And in general, the number of ways you can roll n d-sided dice if you don't care about order is the dth n-simplex number < 1454520024 837695 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Later < 1454521865 114279 :MoALTz!~no@78-11-180-214.static.ip.netia.com.pl JOIN :#esoteric < 1454522064 18194 :jaboja!~jaboja@ejr65.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1454522319 923836 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :guys < 1454522326 596349 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :strpbrk runs in linear time < 1454522356 738518 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :
ACTION astonished by this
< 1454522387 563073 :vodkode!~vodkode@fl-71-52-122-10.dhcp.embarqhsd.net JOIN :#esoteric < 1454522468 535372 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1454522648 48184 :hppavilion[1]!~Devourero@74-114-87-80.dynamic.asdk12.org JOIN :#esoteric < 1454522764 473705 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 272 seconds < 1454522778 41691 :Reece`!~Reece@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net QUIT :Quit: Alsithyafturttararfunar. < 1454522924 674758 :LexiciScriptor!~LexiciScr@net-37-117-69-8.cust.vodafonedsl.it JOIN :#esoteric < 1454523036 755916 :Reece`!~Reece@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net JOIN :#esoteric < 1454523229 281088 :Melvar!~melvar@dslb-084-062-094-060.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :izabera: Linear in what? < 1454523258 336242 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :lenght of the string < 1454523275 484153 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :char *strpbrk(const char *s, const char *accept); <- of s < 1454523320 684212 :Melvar!~melvar@dslb-084-062-094-060.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Well, the most naive algorithm would do that (where you loop through accept for each char in s). < 1454523346 579432 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :no < 1454523357 43766 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :unless your naive algorithm is way more advanced than mine < 1454523358 655636 :mauris__!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1454523358 905042 :jaboja!~jaboja@ejr65.neoplus.adsl.tpnet.pl QUIT :Remote host closed the connection < 1454523360 363303 :Melvar!~melvar@dslb-084-062-094-060.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Oh, you mean the runtime is independent of accept? < 1454523367 518430 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :yes < 1454523433 209106 :Melvar!~melvar@dslb-084-062-094-060.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :That *is* surprising. < 1454523440 233378 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :there's a version in assembly for x86_64 in glibc, very well commented < 1454523499 614203 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :http://git.musl-libc.org/cgit/musl/tree/src/string/strpbrk.c http://git.musl-libc.org/cgit/musl/tree/src/string/strcspn.c musl does it in O(n+m) < 1454523501 935664 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :still linear < 1454523520 989179 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :and no comments because fuck you < 1454523524 134098 :mauris_!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 252 seconds < 1454523575 52272 :hppavilion[1]!~Devourero@74-114-87-80.dynamic.asdk12.org QUIT :Ping timeout: 276 seconds < 1454523609 101896 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Punycode is too complicated. < 1454523751 84350 :Reece!~Reece@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net JOIN :#esoteric < 1454523755 711058 :Reece`!~Reece@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net QUIT :Ping timeout: 245 seconds < 1454523826 135657 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's still linear in length of s even if it depends on the length of accept. < 1454523869 77440 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(I mean, if you only paramterize by length of s.) < 1454524081 179015 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't think the musl one really needs comments, it's pretty obvious of what it does. < 1454524156 629740 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :comments don't make your executable larger < 1454524211 699165 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 264 seconds < 1454524312 606475 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :
ACTION didn't see a jnz in glibc and it was obviously needed so both run in O(n+m)
< 1454524478 121285 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :No, but there's no need to add comments where it's obvious either. Granted, the musl example might not be quite. < 1454524490 244175 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But, for example, return result; // Returns the result. < 1454524567 654003 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :int main(int argc, char **argv) { /* program starts here */ < 1454524867 536607 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :int /* return type of integer */ main /* <- this is the function name */ /* watch out, a parenthesis: */ ( int argc, ... < 1454525017 202281 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :could probably use some vertical whitespace < 1454525258 37761 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1454525390 162472 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1454525458 642427 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1454525480 87191 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: yeah, there's some assembly code out there commented that way < 1454525496 736911 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it's even more horrible because it's like < 1454525510 303682 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :XOR AL, AL ;clear the AL register < 1454525553 527473 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :registers aren't named meaningfully for the code, and comment doesn't tell what AL is actually used for in that section < 1454525988 257186 :Treio!~Treio@87.244.233.250 JOIN :#esoteric < 1454526450 524644 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Ping timeout: 272 seconds < 1454526644 298488 :bb010g!uid21050@gateway/web/irccloud.com/x-enkdkjnnukhtchxh JOIN :#esoteric < 1454526938 93684 :XorSwap!XorSwap@wpa-6-1342.cc.umanitoba.ca JOIN :#esoteric < 1454527224 569425 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1454527602 429843 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Ping timeout: 250 seconds < 1454527866 679533 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1454528028 96972 :hppavilion[1]!~Devourero@74-114-87-64.dynamic.asdk12.org JOIN :#esoteric < 1454528348 650861 :hppavilion[1]!~Devourero@74-114-87-64.dynamic.asdk12.org PRIVMSG #esoteric :i<-'$';w!i.eof{i<-gln inp;out<<-i} < 1454528507 495492 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what is that? < 1454528609 698743 :hppavilion[1]!~Devourero@74-114-87-64.dynamic.asdk12.org PRIVMSG #esoteric :b_jonas: Cat that terminates on EOF < 1454528621 869827 :hppavilion[1]!~Devourero@74-114-87-64.dynamic.asdk12.org PRIVMSG #esoteric :b_jonas: In Shorthand < 1454528650 373573 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I see < 1454528669 574782 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um, what's Shorthand? < 1454528691 106304 :Reece`!~Reece@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net JOIN :#esoteric < 1454528697 857682 :hppavilion[1]!~Devourero@74-114-87-64.dynamic.asdk12.org PRIVMSG #esoteric :b_jonas: Language I'm making for golphing and scientific computing as part of my personal webstack < 1454528709 513729 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that's golfed? < 1454528716 443623 :hppavilion[1]!~Devourero@74-114-87-64.dynamic.asdk12.org PRIVMSG #esoteric :mezkhalin: Hi < 1454528717 72379 :Reece`!~Reece@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net QUIT :Max SendQ exceeded < 1454528726 145803 :Reece!~Reece@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net QUIT :Ping timeout: 240 seconds < 1454528728 957878 :hppavilion[1]!~Devourero@74-114-87-64.dynamic.asdk12.org PRIVMSG #esoteric :b_jonas: It's as short as I can get it in my language xD < 1454528752 12139 :hppavilion[1]!~Devourero@74-114-87-64.dynamic.asdk12.org PRIVMSG #esoteric :b_jonas: I suppose I could do perl's thing with undef for undefined variables... < 1454528764 879058 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :hppavilion[1]: greetings! < 1454528774 143005 :hppavilion[1]!~Devourero@74-114-87-64.dynamic.asdk12.org PRIVMSG #esoteric :mezkhalin: How's it going? < 1454528774 549097 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :whats the topic? < 1454528791 597905 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :haha verlet integration how about you? < 1454528885 84244 :Reece`!~Reece@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net JOIN :#esoteric < 1454528896 823684 :vodkode!~vodkode@fl-71-52-122-10.dhcp.embarqhsd.net QUIT :Quit: Leaving < 1454529010 846704 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07AnnieFlow14]]4 N10 02https://esolangs.org/w/index.php?oldid=46353 5* 03FricativeMelon 5* (+6069) 10Created page with "'''AnnieFlow''' is a [[StackFlow]] derivative that has mostly the same behavior, except for the following: # It is much terser than StackFlow, with more condensed syntax. Ever..." < 1454529086 668695 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Ping timeout: 250 seconds < 1454529135 346497 :Reece`!~Reece@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net QUIT :Read error: Connection reset by peer < 1454529138 974215 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :cat in bash is 3 characters < 1454529227 101360 :Reece`!~Reece@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net JOIN :#esoteric < 1454529267 439664 :Reece`!~Reece@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net QUIT :Client Quit < 1454529415 106913 :Reece`!~Reece@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net JOIN :#esoteric < 1454529756 580422 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1454529861 985323 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net JOIN :#esoteric < 1454529971 33342 :hppavilion[1]!~Devourero@74-114-87-64.dynamic.asdk12.org QUIT :Ping timeout: 276 seconds < 1454530015 591004 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1454530300 120565 :Treio!~Treio@87.244.233.250 QUIT :Ping timeout: 252 seconds < 1454530525 696441 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1454530605 92236 :XorSwap!XorSwap@wpa-6-1342.cc.umanitoba.ca QUIT :Quit: Leaving < 1454530676 349816 :jaboja!~jaboja@ejr65.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1454530922 736899 :Treio!~Treio@87.244.233.250 JOIN :#esoteric < 1454530943 685782 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Ping timeout: 264 seconds < 1454530962 75575 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07AnnieFlow14]]4 10 02https://esolangs.org/w/index.php?diff=46354&oldid=46353 5* 03FricativeMelon 5* (+332) 10 < 1454531455 674028 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1454531491 104357 :hppavilion[1]!~Devourero@74-114-87-64.dynamic.asdk12.org JOIN :#esoteric < 1454531515 551941 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Ping timeout: 260 seconds < 1454531644 142551 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net JOIN :#esoteric < 1454531902 726268 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Remote host closed the connection < 1454533248 833479 :vodkode!~vodkode@fl-71-52-122-10.dhcp.embarqhsd.net JOIN :#esoteric < 1454533537 622636 :hppavilion[1]!~Devourero@74-114-87-64.dynamic.asdk12.org QUIT :Read error: Connection reset by peer < 1454533586 23619 :hppavilion[1]!~Devourero@74-114-87-64.dynamic.asdk12.org JOIN :#esoteric < 1454533701 124651 :J_Arcane!~chatzilla@37-219-108-222.nat.bb.dnainternet.fi JOIN :#esoteric < 1454533782 374310 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1454534192 147796 :Reece!~Reece@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net JOIN :#esoteric < 1454534246 99485 :Reece`!~Reece@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net QUIT :Ping timeout: 240 seconds < 1454534456 680940 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1454534923 420577 :bb010g!uid21050@gateway/web/irccloud.com/x-enkdkjnnukhtchxh QUIT :Quit: Connection closed for inactivity < 1454535275 61434 :hppavilion[1]!~Devourero@74-114-87-64.dynamic.asdk12.org QUIT :Ping timeout: 276 seconds < 1454535338 308642 :hppavilion[1]!~Devourero@74.114.87.64 JOIN :#esoteric < 1454535536 174153 :Reece!~Reece@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net QUIT :Quit: Alsithyafturttararfunar. < 1454536292 538303 :hppavilion[1]!~Devourero@74.114.87.64 QUIT :Ping timeout: 272 seconds < 1454536454 812759 :MDream!~fyrc@pa-67-235-7-57.dhcp.embarqhsd.net NICK :MDude < 1454536763 271232 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :@tell ais523 I've seen ★ used as the element of "the" one-element collection. < 1454536763 425518 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1454536765 192034 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Hmm. < 1454536775 728040 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :> read " Right ( ) " :: Either () () < 1454536777 194174 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Right () < 1454536796 167674 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :> read " Right ( ( ) ) " :: Either () () < 1454536797 616637 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Right () < 1454536803 712617 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :> read " ( Right ( ( ) ) ) " :: Either () () < 1454536805 832665 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Right () < 1454536813 371480 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :> read " ( ( Right ) ( ( ) ) ) " :: Either () () < 1454536815 250175 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : *Exception: Prelude.read: no parse < 1454536837 675197 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :> read "(((((Right((((())))))))))" :: Either () () < 1454536839 116652 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Right () < 1454536951 284232 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1454536955 84539 :hppavilion[1]!~Devourero@74-114-87-64.dynamic.asdk12.org JOIN :#esoteric < 1454536963 890866 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> read "(((((Right((((()),((()))))))))))" :: Either () ((),()) < 1454536965 400624 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Right ((),()) < 1454536989 163614 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that's gonna need some backtracking for tuples... < 1454537011 893579 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> read "(((((((((()),((()))))))))))" :: ((),()) < 1454537013 504363 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ((),()) < 1454537055 587931 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 240 seconds < 1454537064 435727 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm can we get it to blow up < 1454537110 624501 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> read "(((((())))),())" :: ((),()) < 1454537112 143263 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ((),()) < 1454537121 178545 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> read "(((((((())))))),())" :: ((),()) < 1454537122 560931 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ((),()) < 1454538260 367419 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> read "((( ((((),()),()),()) )))" :: ((((),()),()),()) < 1454538261 763213 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ((((),()),()),()) < 1454538275 740190 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> read "((((((( ((((),()),()),()) )))))))" :: ((((),()),()),()) < 1454538277 214310 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ((((),()),()),()) < 1454538301 131750 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1454538474 58488 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think this ReadP thing is thwarting me by not actually using backtracking. < 1454539117 491145 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1454539896 753280 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 QUIT :Ping timeout: 252 seconds < 1454540000 13801 :hppavilion[1]!~Devourero@74-114-87-64.dynamic.asdk12.org PRIVMSG #esoteric :Overdone Programming: Taking a programming project that should be simple and producing the most horribly complicated possible version of it < 1454540008 134822 :spiette!~spiette@x-132-204-251-95.xtpr.umontreal.ca QUIT :Quit: :qa! < 1454540040 133793 :hppavilion[1]!~Devourero@74-114-87-64.dynamic.asdk12.org PRIVMSG #esoteric :Example: A command-line utility for saying "Hello, World" in a highly advanced way < 1454540202 720616 :hppavilion[1]!~Devourero@74-114-87-64.dynamic.asdk12.org PRIVMSG #esoteric :Sort of like GNU Hello < 1454540314 719595 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`hello < 1454540331 962703 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Hello < 1454540422 586897 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1454540500 997523 :hppavilion[1]!~Devourero@74-114-87-64.dynamic.asdk12.org QUIT :Ping timeout: 276 seconds < 1454540794 22599 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Ping timeout: 240 seconds < 1454540849 909345 :nycs!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1454541029 27482 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@metar CYUL < 1454541029 407969 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYUL 032300Z 15013KT 15SM BKN033 OVC045 06/04 A2963 RMK SC6SC2 SLP037 < 1454541069 77062 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :there should be a lumens measure somewhere in those metars twh < 1454541083 153461 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :today was distressingly dark. < 1454541284 376682 :Treio!~Treio@87.244.233.250 QUIT :Ping timeout: 248 seconds < 1454541471 567496 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :We used to have one at the university's weather thing. < 1454541480 680412 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://outside.aalto.fi/ < 1454541505 327652 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Or http://outside.aalto.fi/lite.html for the history. < 1454541685 873121 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :fizziello! < 1454541706 232282 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :not very bright out there. < 1454542036 702244 :Treio!~Treio@87.244.233.250 JOIN :#esoteric < 1454542265 668467 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1454542275 471056 :jaboja!~jaboja@ejr65.neoplus.adsl.tpnet.pl QUIT :Remote host closed the connection < 1454542467 717244 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1454542606 358432 :zgrep!sid43445@gateway/web/irccloud.com/x-cceqawspvetlxaqf PRIVMSG #esoteric :`hello world. < 1454542608 886276 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Hello < 1454542736 668827 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 250 seconds < 1454542747 267385 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`hello hello < 1454542754 804483 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Hello < 1454542761 633820 :hppavilion[1]!~Devourero@58-0-174-206.gci.net JOIN :#esoteric < 1454542863 163761 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hello hello helloppavellon[1] ♪ < 1454542873 336559 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :zgrellop! < 1454543153 655489 :mauris__!~mauris@unaffiliated/nooodl NICK :mauri < 1454543378 951577 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :belloily < 1454543412 159236 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Ping timeout: 252 seconds < 1454543456 256992 :Treio!~Treio@87.244.233.250 QUIT :Quit: Leaving < 1454543602 435620 :zgrep!sid43445@gateway/web/irccloud.com/x-cceqawspvetlxaqf PRIVMSG #esoteric :helloily.