< 1451088046 60222 :a_kragmas_tree!~kragniz@nyaa.kragniz.eu NICK :kragniz < 1451088491 735174 :hppavilion[1]!~Devourero@58-0-174-206.gci.net QUIT :Ping timeout: 246 seconds < 1451089245 21597 :Tat-Tvam-Asi!~sat-buddh@unaffiliated/sat-buddhi JOIN :#esoteric < 1451089426 627230 :infinitymaster!~infinitym@207-118-91-211.dyn.centurytel.net QUIT :Quit: Leaving... < 1451089666 256843 :Tat-Tvam-Asi!~sat-buddh@unaffiliated/sat-buddhi PRIVMSG #esoteric :is there difference between cause and effect? < 1451089687 442708 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :cause causes effect, effect doesn't effect cause < 1451089867 254964 :Tat-Tvam-Asi!~sat-buddh@unaffiliated/sat-buddhi PRIVMSG #esoteric :izabera> but are they different?.. are they two object different? or are they onlyone < 1451089937 454444 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :cause is the reason an effect occurs < 1451091766 787353 :hppavilion[1]!~Devourero@58-0-174-206.gci.net JOIN :#esoteric < 1451091884 617284 :Tat-Tvam-Asi!~sat-buddh@unaffiliated/sat-buddhi QUIT :Quit: Saliendo < 1451092244 399714 :sat-buddhi!~sat-buddh@unaffiliated/sat-buddhi JOIN :#esoteric < 1451092664 242007 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :`? photograph < 1451092665 2468 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :A photograph is a device for creating photograms. < 1451092706 319453 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric ::) < 1451092859 671403 :hppavilion[1]!~Devourero@58-0-174-206.gci.net QUIT :Ping timeout: 246 seconds < 1451094812 885327 :Elronnd!elronnd@znc.dank.ninja NICK :Enronnd < 1451095235 251044 :AlexR42!~textual@145.255.21.176 JOIN :#esoteric < 1451095710 617305 :sat-buddhi!~sat-buddh@unaffiliated/sat-buddhi QUIT :Quit: Saliendo < 1451097210 764455 :jaboja!~jaboja@esa180.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1451099177 795850 :Enronnd!elronnd@znc.dank.ninja NICK :Elronnd < 1451099889 638875 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net JOIN :#esoteric < 1451100320 570174 :jaboja!~jaboja@esa180.neoplus.adsl.tpnet.pl QUIT :Read error: Connection reset by peer < 1451100357 134726 :jaboja!~jaboja@esa180.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1451100477 687787 :jaboja!~jaboja@esa180.neoplus.adsl.tpnet.pl QUIT :Read error: Connection reset by peer < 1451100546 94040 :jaboja!~jaboja@esa180.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1451101136 581299 :andrew!~andrew@119.122.32.102 JOIN :#esoteric < 1451102060 9431 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :At least I'm on my computer again < 1451102074 265438 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :finally < 1451105526 385624 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :How would characters of the level20.tex to compare with colors of mana of Magic: the Gathering? < 1451105747 777117 :andrew!~andrew@119.122.32.102 QUIT :Quit: Leaving < 1451105774 588890 :andrew!~andrew@119.122.32.102 JOIN :#esoteric < 1451106033 475762 :jaboja64!~jaboja@eru75.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1451106200 761907 :hppavilion[wc]!ceae003a@gateway/web/freenode/ip.206.174.0.58 JOIN :#esoteric < 1451106213 910780 :hppavilion[wc]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Ugh < 1451106220 380679 :hppavilion[wc]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :HexChat's broken < 1451106227 871884 :hppavilion[wc]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :It keeps crashing when I launch the main application < 1451106264 421368 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I don't know the problem < 1451106265 622857 :dcentral!~IGLC@2601:681:500:165a:2d0b:65b9:18c4:f9bb JOIN :#esoteric < 1451106278 52789 :jaboja!~jaboja@esa180.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 276 seconds < 1451106279 554881 :hppavilion[wc]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :In other news, there's a new data type I'd like to see languages implementing, and thus will be including in the TypeMaker/TypeFactory/Factory stdlib most likely < 1451106286 647971 :hppavilion[wc]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :The "fuzz" < 1451106343 990585 :hppavilion[wc]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Basically, a fuzz of bitwidth w is equal to, with the unsigned integer n that its encoding represents, n/2**w < 1451106366 13550 :hppavilion[wc]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :So basically, is is used for representing values in fuzzy logic or members of fuzzy sets < 1451106704 503851 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Is that similar to the numeric data type in Kvikkalkul? < 1451106729 563393 :hppavilion[wc]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :zzo38: Haven't heard of that type nor that language < 1451106910 566027 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :In Kvikkalkul it is signed with one's complement, although it seems similar. < 1451107552 529748 :andrew!~andrew@119.122.32.102 QUIT :Ping timeout: 256 seconds < 1451107888 81094 :jaboja64!~jaboja@eru75.neoplus.adsl.tpnet.pl QUIT :Remote host closed the connection < 1451108708 965763 :hppavilion[wc]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :zzo38: Oh, no, it isn't quite like kivikkalkul < 1451108751 540381 :hppavilion[wc]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :The type has a minimum value of 0 and a maximum of 1; essentially, it's fixed point with the decimal point at the very beginning < 1451108794 883604 :hppavilion[wc]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :On a completetly unrelated note, I need detailed (but understandable) informtion on the exact behavior of Floating Point on machines for my language < 1451109975 785465 :hppavilion[wc]!ceae003a@gateway/web/freenode/ip.206.174.0.58 QUIT :Ping timeout: 252 seconds < 1451111273 988657 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :hp..dangit < 1451111281 437176 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :@tell hppavilion[wc] http://www.h-schmidt.net/FloatConverter/IEEE754.html < 1451111281 863369 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1451111487 825309 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :I probably should have tried to learn Hebrew BEFORE my trip to Israel < 1451111516 888011 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The first time I showed up there I didn't speak any Hebrew. < 1451111522 760040 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I did fine. < 1451111722 776111 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :holy shit < 1451111724 667778 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :perl 6 released < 1451111732 347043 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :Merry Christmas! < 1451112644 827509 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :the official version is 6.c (Christmas) < 1451112777 776711 :hppavilion[wc]!ceae003a@gateway/web/freenode/ip.206.174.0.58 JOIN :#esoteric < 1451112894 938562 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :wait, perl6 was released? < 1451112896 232870 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :woot! < 1451112933 328585 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :Ugh, but my OS's pkg repos haven't upgraded yet < 1451112937 271356 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :I'll do it manually < 1451113581 352722 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Well, perl 6 itself was released < 1451113602 706254 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Rakudo also had a release, but it doesn't claim to implent Perl 6 100% correctly. < 1451114153 585234 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :"Rakudo"? < 1451119970 668138 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1451120489 94471 :hppavilion[wc]!ceae003a@gateway/web/freenode/ip.206.174.0.58 NICK :hppavilion[1] < 1451121609 147953 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : Basically, a fuzz of bitwidth w is equal to, with the unsigned integer n that its encoding represents, n/2**w <-- i think that doesn't include 1, which may be a bit awkward. also, i'd call that a probability. < 1451121622 9399 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :hppavilion[1]: But n/2**w isn't quite doing that < 1451121646 711504 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :zzo38: I think I got my order of operations right < 1451121650 127005 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :So what's the problem? < 1451121652 891842 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :(Also, I already said it isn't the same; the type in kvikkalkul is signed and yours is unsigned so that is already different) < 1451121662 563109 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :The same problem oerjan mentioned < 1451121684 556822 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :zzo38: Ah < 1451121701 105098 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Of course, in addition, it's nothing like kvikkalkul's numeric IIRC < 1451121722 35300 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :n/2**w-1 might work < 1451121724 691777 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Something such as n/(2**w+1) has the correct range but may result with strange calculations. < 1451121729 176158 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I mean 2**w-1 < 1451121732 221207 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Like you said < 1451121748 947433 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Just hope that w!=0 < 1451121760 394170 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :(2**0-1=1-1=0) < 1451121799 546848 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think conflating 0 and 1 is inevitable if you have 0 bits < 1451121812 486168 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :so it all works out. < 1451121823 984557 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :oerjan: Fair enough < 1451121840 18461 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I do mean n/(2**w+1) but it might make multiplication more difficult? < 1451121840 608424 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :So your only option would be 0/0, I suppose < 1451121863 699967 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :zzo38: no, you do mean - < 1451121890 208042 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION is pretty sure
< 1451121894 112552 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :So the `void fuzz` type is equal to all real numbers. And complex ones, probably < 1451121931 603187 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :just call it the tao. which is incidentally also equal to tau. < 1451121935 322911 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Because, from the standpoint of what happens when you graph it, 0/0 is equal to all possible slopes < 1451121958 829978 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :oerjan: In my MathLISP math.constants library I included pi, tau, and pau < 1451121975 74720 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :(and e and stuff, of course. But that's not really important) < 1451121992 528223 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :I would like to propose we stop using the constant "e" and start using "j" < 1451122000 498123 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :j=12e < 1451122049 441417 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Wait, no, h < 1451122083 88288 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :WAIT, no, k < 1451122115 676418 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :because k is the pos('e')*12%25+1th letter of the alphabet < 1451122163 364591 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: j is already taken by the engineers as a synonym for i. < 1451122176 648179 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :oerjan: Yes, for some strange reason < 1451122185 162587 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Do they use i for something else < 1451122198 460823 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Jesus, mathematicians should probably speak Mandarin < 1451122201 497057 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well, current, but i think that's capitalized. < 1451122220 596309 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :oerjan: Unlike your use of the word "I" < 1451122239 95562 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :I FAIL TO SEE THE PROBLEM < 1451122242 839494 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :xD < 1451122277 957139 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Would've been funnIer If you capItalIzed everythIng /except/ "I" in that sentence < 1451122384 208907 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : I probably should have tried to learn Hebrew BEFORE my trip to Israel <-- i hear it takes 10 years to get proficient enough to read a newspaper, or something like that. < 1451122421 606056 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :tOo lAtE NoW. < 1451122571 212726 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: took me less than that hth < 1451122575 62149 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :mandarin/hebrew deathmatch: which has the worst writing system? < 1451122588 103184 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: DON'T RUIN SCIENCE WITH YOUR FACTS < 1451122599 231148 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hebrew's writing system is pretty simple < 1451122615 584002 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :s/writing/reading/ < 1451122654 112976 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :in mandarin, the writing tells you more than the pronunciation does. in hebrew, less. < 1451122688 166377 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :if you're confused about a word you can look it up letter by letter in a dictionary < 1451122694 874474 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :seems p. simple to me < 1451122716 380265 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that doesn't help when you're confused about which grammatical form it is, and they're written the same. < 1451122730 385672 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(of course mandarin cheats by not having grammatical forms) < 1451122789 586086 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i guess it is kind of complicated sometimes < 1451122808 126475 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :do you have an example of the sort of thing you mean twh < 1451122835 646014 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :all i know is that most of the inflections are in the vowels, which are not written hth < 1451122851 368736 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(what, you expect me to know hebrew? or mandarin for that matter.) < 1451122861 190304 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mandarin mandarout < 1451122938 461246 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: https://en.wikipedia.org/wiki/Ktiv_hasar_niqqud yo < 1451123319 246447 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :hppavilion[1], < 1451123335 888743 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Hi Sgeo! < 1451123338 311273 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :http://www.h-schmidt.net/FloatConverter/IEEE754.html < 1451123339 624785 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :You're back! < 1451123385 246563 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :hppavilion[1], but in parents' house, with no easy access to a shower, and completely unable to execute my old routine < 1451123397 251917 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :And the constant possibility of seeing my step-mom < 1451123408 996688 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :That sucks :/ < 1451123411 618036 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :I ssume < 1451123414 551086 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :So I don't feel back. I feel like I just left a pleasant vacation and into an unpleasant one < 1451123414 710799 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :*assume < 1451123432 600987 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :I'm making a top-down shooter :) < 1451123466 985326 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :I got the world renderer working (well, one of them. There'll be two: A text-based one and a super-leet gzip'd JSON one) < 1451123531 436585 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :oerjan: Yes I do mean - but I am tired at this time and make mistakes < 1451123560 237607 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Sometimes I make a lot of mistakes. I certainly do mean - but sometimes I type something else by mistake < 1451123610 30985 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :okay < 1451123735 154213 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: ok i guess mandarin wins, then. < 1451123770 117385 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :a chinese friend told me i should learn mandarin tdnh < 1451123809 772429 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :shachaf: ask him about the sesame credit < 1451123833 430264 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i am curious about it being the stuff youtube said < 1451123858 46295 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :her < 1451123867 41754 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i wonder how gendered it is < 1451123885 631398 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe i should just learn finnish < 1451123906 790654 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what for? < 1451123908 844742 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hän < 1451124000 958543 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :shachaf: From my year and a half of after school mandarin, I can tell you they beat english by having a gender-neutral pronoun. Really, ONLY a gender neutral pronoun. < 1451124038 981710 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :To angelicize it, Tah shir wah'd mae-mae means "(s)he is my little sister" < 1451124063 458553 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :So it's also better in that there isn't a special possessive for yourself, it's just me's < 1451124099 813657 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :well, being better than english is not that hard < 1451124118 213978 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :I should invent, and then learn, a spoken language based on Combinatory Logic < 1451124132 376406 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :lojban < 1451124148 368606 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :well, not combinatory < 1451124156 179668 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :but predicates < 1451124156 868260 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :myname: True. But "being better than english" is still a pretty big step in being a not-entirely-shit language < 1451124164 873180 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :myname: Yeah. < 1451124189 194264 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :How would you say "she kicked the bucket" in Combinese? < 1451124218 829333 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :(Spoken language based on Semi-Thue Systems, or Turing Machines. Lulz.) < 1451124230 572162 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i actually like french way more than english. i nearly don't speak a word in it, though < 1451124234 897494 :sat-buddhi!~sat-buddh@unaffiliated/sat-buddhi JOIN :#esoteric < 1451124250 223409 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :"From now on, when I use the string 'horse' it is to be interpretted as 'HEIL SATAN'" < 1451124272 916277 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :and vice versa < 1451124280 642888 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Kicked Bucket She perhaps? < 1451124295 875439 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :oh look, that HEIL SATAN broke a leg < 1451124296 942212 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Kick-did bucket she? < 1451124315 298033 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`welcome sat-buddhi < 1451124321 69511 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :sat-buddhi: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) < 1451124340 58545 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :why are there so for relcomes these days? < 1451124341 683809 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :My Little HEIL SATAN, My Little HEIL SATAN, ah-ah-ah-ah... < 1451124374 543264 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: stop that, i'm trying to unconfuse sat-buddhi about what this channel is about < 1451124386 320162 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :pony isn't the same as horse < 1451124401 413699 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :oerjan: it's about nerds < 1451124405 459011 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Note that the Semi-Thue System language is based on meaning rather than on literal representation < 1451124454 895855 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :myname: also, it's because of the relcome haters < 1451124470 155321 :myname!~myname@84.200.43.57 PRIVMSG #esoteric ::o < 1451124484 651683 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :they've subdued us < 1451124500 742890 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :strange people < 1451124505 740664 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :with their powerful frowns < 1451124510 619063 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Would it be acceptable to document esoteric non-programming languages on the wiki? < 1451124524 759140 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :good question < 1451124532 699644 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: i'm gonna make an executive decision: no. < 1451124542 235038 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :For example, a language designed to be spoken or a markup language < 1451124547 595397 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :oerjan: Why? < 1451124558 256055 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well, for spoken. markup could pass. < 1451124583 725550 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :there's afaik a conlang community. < 1451124587 301403 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :oerjan: Dammit, now we need a sister wiki for spoken languages xD < 1451124598 409563 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :oerjan: But they don't have a beautiful wiki like we do < 1451124600 943714 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(i used to subscribe to their list.) < 1451124614 877840 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Also, what if it was a spoken language that is deeply rooted in CS? < 1451124625 35314 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :For example, the aforementioned Combinatory Logic Spoken Language < 1451124631 262631 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i guess the conlang wiki is not intended for fun stuff? < 1451124767 669812 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net QUIT :Ping timeout: 264 seconds < 1451124773 981265 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Technically, it's called an "esolang", not an "esoproglang", so... < 1451124785 799369 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION spots wikia and recoils
< 1451124811 448055 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Not to mention that any spoken language can, in theory, be understood by a computer < 1451124821 658888 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Some more easily than others < 1451124833 882902 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :"in theory" < 1451124837 82647 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :(See: English (on the wiki)) < 1451124864 437420 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :oerjan: One could argue that that technically makes any language to which a meaning can be assigned a programming language < 1451124903 808220 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i am not sure if arguing is the best thing you can do here < 1451124917 408416 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: stop pouring oil on our slopes < 1451124924 14032 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :In fact, the only language to which meaning /can't/ be assigned is a single-string language < 1451124950 496865 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :oerjan: xD < 1451126683 66184 :sat-buddhi!~sat-buddh@unaffiliated/sat-buddhi QUIT :Quit: Saliendo < 1451127339 570243 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl JOIN :#esoteric < 1451127472 41442 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :wait, what? you can use the 1/2 sign in perl6 to get a 0.5? < 1451128389 774633 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 QUIT :Ping timeout: 252 seconds < 1451132685 585366 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Magicard!14]]4 10 02http://esolangs.org/w/index.php?diff=45996&oldid=45664 5* 03LegionMammal978 5* (+24) 10 < 1451132995 950739 :vodkode!~vodkode@fl-71-52-122-10.dhcp.embarqhsd.net JOIN :#esoteric < 1451133834 224071 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Quit: *bubbles away* < 1451134167 28067 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 250 seconds < 1451136880 735745 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1451136958 317620 :AlexR42!~textual@145.255.21.176 QUIT :Quit: Textual IRC Client: www.textualapp.com < 1451137152 770398 :helyx!557ec73a@gateway/web/freenode/ip.85.126.199.58 JOIN :#esoteric < 1451137205 217995 :helyx!557ec73a@gateway/web/freenode/ip.85.126.199.58 PRIVMSG #esoteric :!zjoust helyx_FightAndFlight (>)*8+(<)*7 ((-)*13>(+)*13>)*4(([-{([+{[-]}])%8}])%4>)*21 < 1451137206 230154 :zemhill!bfjoust@selene.zem.fi PRIVMSG #esoteric :helyx.helyx_FightAndFlight: points -14.14, score 11.08, rank 47/47 < 1451137261 589380 :AlexR42!~textual@145.255.21.176 JOIN :#esoteric < 1451137262 337775 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :!zjoust test < < 1451137262 570194 :zemhill!bfjoust@selene.zem.fi PRIVMSG #esoteric :oerjan.test: points -46.00, score 0.00, rank 47/47 < 1451137278 341537 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i guess it's not pessimal < 1451137281 291092 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :!zjoust test . < 1451137281 838167 :zemhill!bfjoust@selene.zem.fi PRIVMSG #esoteric :oerjan.test: points -33.14, score 3.04, rank 47/47 (--) < 1451137504 668082 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca JOIN :#esoteric < 1451137823 669201 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Later < 1451137860 761302 :helyx!557ec73a@gateway/web/freenode/ip.85.126.199.58 QUIT :Ping timeout: 252 seconds < 1451138226 74840 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :fungot: ghuuuuuurgh. < 1451138226 321707 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: write is a function of 1 argument. what is tlo? or is that death? < 1451138260 280056 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :fungot: write is a function of one argument. what's a tlo? a Three Letter Optimisation? death is too much tourtière. < 1451138542 988000 :AlexR42!~textual@145.255.21.176 QUIT :Quit: Textual IRC Client: www.textualapp.com < 1451139235 523580 :arararara!b2241709@gateway/web/freenode/ip.178.36.23.9 JOIN :#esoteric < 1451139312 14289 :arararara!b2241709@gateway/web/freenode/ip.178.36.23.9 PRIVMSG #esoteric :in what language shall thou spell to bring freebsd to work? >inb4 enochian or brainfuck < 1451139327 769341 :arararara!b2241709@gateway/web/freenode/ip.178.36.23.9 PRIVMSG #esoteric :xD < 1451139432 814451 :arararara!b2241709@gateway/web/freenode/ip.178.36.23.9 QUIT :Client Quit < 1451139535 522345 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :eh? < 1451139718 731585 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1451139832 245373 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :`? program < 1451139844 342676 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :A program is an image created by means of prography. < 1451141480 474032 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :`wisdom < 1451141482 892233 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lie bracket/Politicians try to stay within the lie bracket: Not so many lies that voters cannot stand it, but not so few that they think you have nothing to give them. < 1451142886 907099 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl QUIT :Quit: Leaving < 1451146550 911576 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca QUIT :Quit: DOMINATING CHICKEN < 1451148135 608504 :Lymia!lymia@magical.girl.lyrical.lymia.moe QUIT :Ping timeout: 260 seconds < 1451148239 15701 :trn!jhj@trnsz.com QUIT :Ping timeout: 260 seconds < 1451148670 631707 :Lymia!lymia@magical.girl.lyrical.lymia.moe JOIN :#esoteric < 1451148859 569802 :trn!jhj@trnsz.com JOIN :#esoteric < 1451153622 729789 :J_Arcane!~chatzilla@37-219-2-250.nat.bb.dnainternet.fi QUIT :Ping timeout: 265 seconds < 1451154270 92559 :J_Arcane!~chatzilla@37-219-2-250.nat.bb.dnainternet.fi JOIN :#esoteric < 1451155094 53061 :sat-buddhi!~sat-buddh@unaffiliated/sat-buddhi JOIN :#esoteric < 1451156563 604906 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca JOIN :#esoteric < 1451157152 751219 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :`wisdom < 1451157157 454643 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1*1/1*1 is two. < 1451157172 874301 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :`` culprits wisdom/1\*1 < 1451157176 466855 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :mroman < 1451157186 82625 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :@tell mroman I mapole you. < 1451157186 288703 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1451157215 129748 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :@tell mroman (with great force and momentum, might I add.) < 1451157215 372076 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1451157221 448505 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :@tell mroman (tsé.) < 1451157221 758823 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1451157391 719140 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :`wisdom < 1451157392 993370 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :page/The smallest floating-point number is known as pages. Fungot discovered it. < 1451157602 233133 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca QUIT :Quit: WANDERING CHICKEN < 1451159594 943752 :PinealGlandOptic!~PinealGla@vps2.conus.info QUIT :Ping timeout: 250 seconds < 1451160254 650425 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net JOIN :#esoteric < 1451160812 757442 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 JOIN :#esoteric < 1451160949 796873 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :I just had an amazing idea for an improved legal system < 1451161012 957050 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Consider the following: Formal logic is, largely, based on assumptions called "axioms" that are turned into "theorems" through "proofs"- you take the axioms and laws, put them together, and you get something that must be true < 1451161074 676762 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :For example, if you have the axioms T->a, a->b and the law of syllogism, you can derive that T->b, and therefor b. < 1451161102 398592 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :In law, we have "higher law" which is a base set of rules that it is against the rules to break. < 1451161131 8272 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :We also have "[lower] laws", which are also rules that you can't break, but aren't assumed at the beginning necessarily < 1451161169 133371 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :In a way, axioms correspond to higher laws and theorems to lower laws < 1451161189 973130 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :I am going to call this the Jefferson-Howard Correspondence, just because it sounds funny < 1451161221 59866 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :However, one (though not the necessarily the only) major thing is different about the way logic and laws work is this: < 1451161291 468873 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :In normal formal logic, theorems are derived from axioms. In "legal logic", which is what I'm calling the formalization of law, theorems come out of thin air and apply if and only if they do not contradict with the axioms < 1451161401 833470 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :So in Legal Logic (which might already be a thing, but I doubt it), from the axiom set `A={a}` one can derive the thorem `b` because `~b /<< A` (where ~ is logical NOT and /<< is IS NOT AN ITEM OF) < 1451161435 693911 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Which leads to lots of issues, because you can pretty much derive anything < 1451161447 272600 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Which leads to my idea for an improved legal system < 1451161491 959892 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :What if, instead of having higher law and lower law which higher law must not contradict, we had a (larger) set of higher law axioms, and any lower law established must be derived from these axioms < 1451161622 175352 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :There would, of course, be a process to add higher law, but it would take much longer and be more difficult, and would include a 5-year period in which government-employed mathematicians must test it for consistency with the new axiom (not really sure how consistency works, but if it's possible to prove consistency, that would pretty much be the goal), and at the end of which it must be voted on by the population. < 1451161689 121198 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :The constitution of this theoretical nation would, of course, include all axioms both in english (though this would have no real legal standing) and in a Formal Logic < 1451161850 600724 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net QUIT :Ping timeout: 256 seconds < 1451161969 377659 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :hppavilion[1]: see also my thesis "The propositional nomic" < 1451161981 33440 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :it's in the agora archives somewhere < 1451162004 978414 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :coppro: It's the first result when I google it < 1451162009 638105 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :On pastebin < 1451162171 159521 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :By syllogism, one can derive the Curry-Jefferson correspondence, and thus prove that all Computer Scientists are really just lawyers who type a random mix of symbols < 1451162428 391890 :sat-buddhi!~sat-buddh@unaffiliated/sat-buddhi QUIT :Quit: Saliendo < 1451162654 254242 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :coppro: ⊼ is good for NAND hth, though I think that the just-now made up symbol !∧, ~∧, or ¬∧ is the best IMHO, because it expresses that it is "NOT AND" < 1451162718 68730 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Which one you use depends on which symbol you use for NOT, of course, though you could certainly use a different prefix to the operator for clarity (e.g. ¬ for NOT but ~∧ for AND, such as to more clearly distinguish them) < 1451162795 732676 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Use of | for NAND is just confusing for computer scientists. My system only requires that you memorize the symbols for AND, OR, and the three possibilities for NOT < 1451162904 68097 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :And XOR, I suppose. ⊻ works for XOR, but if it is the only modified AND or OR used in the expression, it gets confusing due to line location < 1451162994 983810 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Also, of course, ->, which the inverse for could probably be written as any of -/>, ~->, !->, ¬->, or even ~> < 1451163177 449760 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :coppro: In any good game of Nomic, `|{p|(p ∈ P) ∧ A(p)}| = i` hth < 1451163567 832660 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 QUIT :Ping timeout: 252 seconds < 1451163759 769511 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl JOIN :#esoteric < 1451164055 26018 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07RFOL14]]4 10 02http://esolangs.org/w/index.php?diff=45997&oldid=45994 5* 0378.52.138.216 5* (-3) 10/* Example Code */ < 1451164122 950325 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07RFOL14]]4 10 02http://esolangs.org/w/index.php?diff=45998&oldid=45997 5* 0378.52.138.216 5* (-1) 10cleanup < 1451164616 707748 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Subskin14]]4 10 02http://esolangs.org/w/index.php?diff=45999&oldid=20080 5* 0378.52.138.216 5* (+8) 10/* Examples */ < 1451164907 596558 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net JOIN :#esoteric < 1451166281 76044 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1451168950 890502 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl QUIT :Quit: Leaving < 1451171135 168458 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 276 seconds < 1451171578 630864 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Consecrated Sphinx, Notion Thief, Donate on Notion Thief, Chromatic Sphere, Krosan Grip on Chromatic Sphere, and then activate Chromatic Sphere in response. It is now difficult for opponent to win at this game. < 1451172772 867978 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :If you have a complex Bernstein polynomial f(z) and then you want to draw the curve bounded by: (f(z)+i|f'(z)|/f'(z)) and (f(z)-i|f'(z)|/f'(z)) then can it be optimized? < 1451173165 755525 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :http://www.ginostuscany.com/ < 1451173185 942597 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :How does this manage to be half decent (not fully decent though) when it's made by http://www.somelikeithotproductions.com/ < 1451173419 761915 :hppavilion[1]!48236c44@gateway/web/freenode/ip.72.35.108.68 JOIN :#esoteric < 1451173571 621136 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :hppavilion[1], did my floating point link help? < 1451173742 711078 :Vrittis!~sat-buddh@unaffiliated/sat-buddhi JOIN :#esoteric < 1451174183 63241 :hppavilion[1]!48236c44@gateway/web/freenode/ip.72.35.108.68 PRIVMSG #esoteric :Sgeo: I believe so < 1451174191 963455 :hppavilion[1]!48236c44@gateway/web/freenode/ip.72.35.108.68 PRIVMSG #esoteric :Given two points represented as 2-tuples a and b, how can I calculate a direction r (in degrees) such that an entity centered at a facing in direction r is pointing towards point b? < 1451174274 290934 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Atan2 < 1451174306 491893 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :atan2(b-a) < 1451174359 616915 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :Oh, that's traditionally radians, so * 180/PI