< 1156723210 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :ACTION peers at ihope. < 1156723215 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :You know what's fun. < 1156723232 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Freezing up your interpreter by making it do a lot of shit over and over. < 1156723240 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1156723282 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :ihope, So... how would you recommend doing 30000 0's without blowing something up? < 1156723424 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Okay. . . I've got myself a Brainfuck frontend to the "interfuck" language. < 1156723542 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :CakeProphet: not allocating them all at once? < 1156723556 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :ihope, ??? < 1156723582 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Um... < 1156723588 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :You could use generators. < 1156723601 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :ACTION figures out how to use these mythical generators. < 1156723629 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Generators can do ANYTHING! < 1156723709 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Python's documentation on generators confuses me.. < 1156724714 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION works on a Doublefuck frontend. . . < 1156725418 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Hmm. . . < 1156725478 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I remeber that there was an isomorphism between Doublefuck and Brainfuck, but I can't remember what it is.l < 1156726205 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Hrm. < 1156726243 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Perhaps I'd be best off defining the intermediate language in such a way that multiple arrays can easily be added. < 1156726753 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Hrm. < 1156726780 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ihope: Ideas for compiling Doublefuck into the intermediate language? < 1156726882 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :CakeProphet: nested arrays work just fine. < 1156726908 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :(in Python) < 1156726923 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION should probably lay off of this for a bit < 1156726941 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :a = [] < 1156726943 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :a.append(a) < 1156726984 0 :ihope!unknown@unknown.invalid QUIT :sterling.freenode.net irc.freenode.net < 1156726985 0 :sp3tt!unknown@unknown.invalid QUIT :sterling.freenode.net irc.freenode.net < 1156726985 0 :mtve!unknown@unknown.invalid QUIT :sterling.freenode.net irc.freenode.net < 1156726985 0 :SimonRC!unknown@unknown.invalid QUIT :sterling.freenode.net irc.freenode.net < 1156726985 0 :tokigun!unknown@unknown.invalid QUIT :sterling.freenode.net irc.freenode.net < 1156726986 0 :lindi-!unknown@unknown.invalid QUIT :sterling.freenode.net irc.freenode.net < 1156726986 0 :Anders!unknown@unknown.invalid QUIT :sterling.freenode.net irc.freenode.net < 1156726987 0 :EgoBot!unknown@unknown.invalid QUIT :sterling.freenode.net irc.freenode.net < 1156726987 0 :lament!unknown@unknown.invalid QUIT :sterling.freenode.net irc.freenode.net < 1156726989 0 :sekhmet!unknown@unknown.invalid QUIT :sterling.freenode.net irc.freenode.net < 1156726989 0 :CXI!unknown@unknown.invalid QUIT :sterling.freenode.net irc.freenode.net < 1156726990 0 :ivan`!unknown@unknown.invalid QUIT :sterling.freenode.net irc.freenode.net < 1156726990 0 :puzzlet!unknown@unknown.invalid QUIT :sterling.freenode.net irc.freenode.net < 1156726990 0 :Sgeo!unknown@unknown.invalid QUIT :sterling.freenode.net irc.freenode.net < 1156726990 0 :RodgerTheGreat!unknown@unknown.invalid QUIT :sterling.freenode.net irc.freenode.net < 1156726990 0 :jix!unknown@unknown.invalid QUIT :sterling.freenode.net irc.freenode.net < 1156726990 0 :pgimeno!unknown@unknown.invalid QUIT :sterling.freenode.net irc.freenode.net < 1156726990 0 :bsmntbombdood!unknown@unknown.invalid QUIT :sterling.freenode.net irc.freenode.net < 1156726992 0 :Razor-X!unknown@unknown.invalid QUIT :sterling.freenode.net irc.freenode.net < 1156726992 0 :GregorR!unknown@unknown.invalid QUIT :sterling.freenode.net irc.freenode.net < 1156726992 0 :lindi-!n=lindi@kulho150.adsl.netsonic.fi JOIN :#esoteric < 1156727004 0 :Anders!i=anders@217.211.68.33 JOIN :#esoteric < 1156727035 0 :EgoBot!n=EgoBot@c-24-21-138-66.hsd1.or.comcast.net JOIN :#esoteric < 1156727089 0 :jix!n=jix@L635d.l.strato-dslnet.de JOIN :#esoteric < 1156727263 0 :pgimeno!n=pgimeno@124.Red-80-59-211.staticIP.rima-tde.net JOIN :#esoteric < 1156727276 0 :bsmntbombdood!n=sex@unaffiliated/bsmntbombdood JOIN :#esoteric < 1156727285 0 :lament!n=lament@S010600110999ad06.vc.shawcable.net JOIN :#esoteric < 1156727288 0 :GregorR!n=gregor@c-24-21-138-66.hsd1.mn.comcast.net JOIN :#esoteric < 1156727292 0 :Sgeo!n=Sgeo@ool-18bf61f7.dyn.optonline.net JOIN :#esoteric < 1156727443 0 :RodgerTheGreat!n=RodgerTh@wads-5-233-121.resnet.mtu.edu JOIN :#esoteric < 1156727575 0 :Razor-X!n=user@user-11fa5b3.dsl.mindspring.com JOIN :#esoteric < 1156727577 0 :mtve!i=mtve@mtve.vm.jvds.com JOIN :#esoteric < 1156727585 0 :tokigun!n=tokigun@sparcs45.kaist.ac.kr JOIN :#esoteric < 1156727586 0 :CXI!i=Sanity@dialup-142.89.221.203.acc50-kent-syd.comindico.com.au JOIN :#esoteric < 1156727601 0 :sp3tt!n=sp3tt@80.244.80.162 JOIN :#esoteric < 1156727610 0 :ivan`!i=ivan@wikipedia/ivan JOIN :#esoteric < 1156727979 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Mmkay. . . < 1156727995 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Shouldn't be hard to get this thing to target Brainfuck. . . < 1156728028 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Unless I want to add some more features to my intermediate language, enabling it to handle stuff like pbrain and Brainfork, that is. . . < 1156728353 0 :sekhmet!n=pez@ppp-70-226-137-191.dsl.mdsnwi.ameritech.net JOIN :#esoteric < 1156728447 0 :puzzlet!n=puzzlet@124.57.51.58 JOIN :#esoteric < 1156728612 0 :SimonRC!i=sc@bylands.dur.ac.uk JOIN :#esoteric < 1156731239 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :Ah. Back. < 1156731257 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :Let's see if I can build my parser in 10 minutes or less. < 1156731526 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :ARE YOU DONE YET < 1156731534 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :IF YOU SAY NO YOU'RE SLOOOOOOOOOOW < 1156731553 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :GregorR: What do you think of my insane idea? < 1156731595 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :I haven't been reading the log. < 1156731597 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Just appeared. < 1156731624 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Oh. < 1156731629 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Read. < 1156731718 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :Gah. People keep interrupting me! < 1156731727 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Razor-X: Don't watch IRC. < 1156731741 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: No I mean, my parents actually have things for me to do :P. < 1156731746 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Oh. < 1156731749 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric ::'( < 1156731818 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :Well, the parser 'aint gettin' done. Seems ah gots me an error here. < 1156732678 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :That's "ain't" < 1156732690 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :I was wondering why you were putting "aint gettin" in qutoes ... < 1156732902 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :What does the ain't contraction expand to? < 1156734213 0 :jix__!n=jix@L618d.l.strato-dslnet.de JOIN :#esoteric < 1156734725 0 :jix!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1156736585 0 :Arrogant!i=Scott@107.orlando-06-08rs.fl.dial-access.att.net JOIN :#esoteric < 1156736850 0 :jix__!unknown@unknown.invalid QUIT :"Bitte waehlen Sie eine Beerdigungnachricht" < 1156737407 0 :Arrogant!unknown@unknown.invalid QUIT :"Leaving" < 1156737882 0 :CXII!n=Sanity@dialup-23.88.221.203.acc50-kent-syd.comindico.com.au JOIN :#esoteric < 1156738334 0 :bsmntbombdood!unknown@unknown.invalid QUIT : < 1156738394 0 :CakeProphet!unknown@unknown.invalid QUIT :No route to host < 1156738450 0 :sexteddy!n=sex@h-69-3-122-197.dnvtco56.dynamic.covad.net JOIN :#esoteric < 1156738470 0 :sexteddy!unknown@unknown.invalid PART #esoteric :? < 1156738497 0 :bsmntbombdood!n=root@unaffiliated/bsmntbombdood JOIN :#esoteric < 1156738538 0 :sexteddy!n=sex@h-69-3-122-197.dnvtco56.dynamic.covad.net JOIN :#esoteric < 1156738544 0 :sexteddy!unknown@unknown.invalid PART #esoteric :? < 1156738950 0 :CXI!unknown@unknown.invalid QUIT :Connection timed out < 1156740730 0 :Arrogant!i=Scott@99.orlando-06-08rs.fl.dial-access.att.net JOIN :#esoteric < 1156742827 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Byeall < 1156742841 0 :Sgeo!unknown@unknown.invalid QUIT :"Ex-Chat" < 1156748658 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :Wow. This interpreter is turning out a lot longer than I expected it to be. < 1156750140 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :YOU LOSE < 1156750143 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :I mean hi. < 1156750211 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Wow, there was very briefly a sexteddy in here X-D < 1156750267 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Oh, and the "ain't" contraction expands to "is not" for no particular reason. < 1156750309 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :That sounds just like English. < 1156750324 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :Why did the name change from Inglish to English? There's no particular reason. < 1156750331 0 :ivan`!unknown@unknown.invalid PRIVMSG #esoteric :ain't can turn into anything you want it to < 1156750344 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :Why is it Britain and not Briton even though the latter is more phonetically correct? There's no particular reason. < 1156750421 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :From now on, I'm using "ai" as an alternative to "is". Pronounced as sort of a nasal "aaah" sound :-P < 1156750438 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :This ai fun? < 1156750448 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :For no particular reason? < 1156750452 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Yup :P < 1156750480 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :That's the English spirit! < 1156750499 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :IN FACT! < 1156750504 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :It'a < 1156750508 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :It'a good. < 1156750517 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Contraction of "it ai" :-P < 1156750574 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :Yay! < 1156750581 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :Now time to graft attitudnals onto the language. < 1156750592 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :How 'bout it. Why don't we add in an attitudnals library onto English? < 1156750614 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Wouldn't that be "It'i good."? < 1156750614 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :import("additudnals.lang"); < 1156750624 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Since it's normally "it's", not "it'i". < 1156750638 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: It's that way for no particular reason. < 1156750645 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :Haven't you caught onto English logic just yet? < 1156750647 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Oh, right. < 1156750695 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :I suddenly lost motivation for my BF interpreter even though I'm only a few lines away from the finish. < 1156750718 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :Now it'll probably stay unfinished forever as I go onto the real project I had meant to start, but used the BF interpreter for practice. < 1156751999 0 :clog!unknown@unknown.invalid QUIT :ended < 1156752000 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1156752369 0 :puzzlet!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1156754374 0 :puzzlet!n=puzzlet@124.57.51.58 JOIN :#esoteric < 1156755251 0 :CXII!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1156758346 0 :Arrogant!unknown@unknown.invalid QUIT :"Leaving" < 1156767511 0 :GreyKnight!n=greykt@88-108-250-8.dynamic.dsl.as9105.com JOIN :#esoteric < 1156770299 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :GregorR: You do know that "ain't" is a pointless slang usage that makes you sound somewhat uneducated, right? < 1156772013 0 :GreyKnight_!n=greykt@88-108-161-58.dynamic.dsl.as9105.com JOIN :#esoteric < 1156772049 0 :GreyKnight!unknown@unknown.invalid QUIT :Nick collision from services. < 1156772051 0 :GreyKnight_!unknown@unknown.invalid NICK :GreyKnight < 1156772063 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :Whoops < 1156772066 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :cablo < 1156772196 0 :jix!n=jix@L618d.l.strato-dslnet.de JOIN :#esoteric < 1156772402 0 :CXI!i=Sanity@dialup-54.88.221.203.acc50-kent-syd.comindico.com.au JOIN :#esoteric < 1156773245 0 :ivan`!unknown@unknown.invalid QUIT :" HydraIRC -> http://www.hydrairc.com <- IRC with a difference" < 1156773395 0 :GreyKnight!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1156773576 0 :GreyKnight_!n=greykt@88-108-161-58.dynamic.dsl.as9105.com JOIN :#esoteric < 1156773577 0 :GreyKnight_!unknown@unknown.invalid NICK :GreyKnight < 1156773610 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :ACTION doesn't know < 1156778651 0 :CXI!unknown@unknown.invalid QUIT :"If you're reading this, it's probably xchat's fault." < 1156779960 0 :tgwizard!n=tgwizard@c-e33fe155.178-1-64736c10.cust.bredbandsbolaget.se JOIN :#esoteric < 1156780447 0 :Razor-X!unknown@unknown.invalid QUIT :"ERC Version 5.1 (CVS) $Revision: 1.796 $ (IRC client for Emacs)" < 1156780476 0 :Razor-X!n=user@user-11fa5b3.dsl.mindspring.com JOIN :#esoteric < 1156781425 0 :GregorR-W!n=chatzill@jffwprtest.jf.intel.com JOIN :#esoteric < 1156781539 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Yes, but that doesn't mean that there isn't a correct usage. < 1156781560 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :And, for that matter, "y'all" has the same connotation but is far more valuable of a linguistic construct. < 1156782503 0 :CXI!n=Sanity@dialup-205.89.221.203.acc50-kent-syd.comindico.com.au JOIN :#esoteric < 1156784997 0 :kipple_!n=kipple@203.80-202-102.nextgentel.com JOIN :#esoteric < 1156786435 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :GregorR: But the distinction between "thou" and "you" is proper English (if a bit archaic). ;) < 1156786929 0 :GregorR-W!unknown@unknown.invalid PRIVMSG #esoteric :"Proper English" is a relative term - English has no overseer. < 1156786933 0 :GregorR-W!unknown@unknown.invalid PRIVMSG #esoteric :(Thankfully) < 1156787103 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It could be worse. "Proper English" could be defined by, say, the 1337-5p34k3|2'5 standards body. :p < 1156787148 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION much prefers a mild level of anarchy over. . . That. *shudder* < 1156787179 0 :GregorR-W!unknown@unknown.invalid PRIVMSG #esoteric :X_X < 1156787188 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :http://www.aeforge.com/aeforum/showpost.php?p=46488 < 1156787195 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :^--- relevant short story < 1156787218 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :Caution: extremely scary < 1156787291 0 :_jol_!n=_@c5850-a3-2-62-147-22-233.dial.proxad.net JOIN :#esoteric < 1156787931 0 :GregorR-W!unknown@unknown.invalid PRIVMSG #esoteric :I didn't read that, but saw a bit of it. < 1156787936 0 :GregorR-W!unknown@unknown.invalid PRIVMSG #esoteric :Now I want to gouge my eyes out. < 1156787965 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :A terrifying dystopian vision of the future < 1156789088 0 :GregorR-W!unknown@unknown.invalid PRIVMSG #esoteric :ACTION twiddles his thumbs. < 1156789125 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :idea: a language based on the idea of thumb-twiddling < 1156789263 0 :GregorR-W!unknown@unknown.invalid PRIVMSG #esoteric :Thumb twiddling can be done in either direction, therefore it has at least one bit, therefore NetBSD should boot on it. < 1156789402 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1156789461 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :You have two thumbs, which can be either stationary, twiddling clockwise, or twiddling anticlockwise < 1156789567 0 :pgimeno!unknown@unknown.invalid QUIT :Read error: 54 (Connection reset by peer) < 1156789580 0 :GregorR-W!unknown@unknown.invalid PRIVMSG #esoteric :It's difficult/impossible to twiddle your thumbs in opposite directions in proper "twiddling position" < 1156789797 0 :Blahbot!n=Blah@user-11fa5b3.dsl.mindspring.com JOIN :#esoteric < 1156789797 0 :Blahbot!unknown@unknown.invalid QUIT :Client Quit < 1156789810 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :Hey-o and goodbye Blahbot. < 1156789869 0 :_jol_!unknown@unknown.invalid QUIT :"leaving" < 1156790506 0 :pgimeno!n=pgimeno@124.Red-80-59-211.staticIP.rima-tde.net JOIN :#esoteric < 1156791241 0 :lament_!n=lament@S010600110999ad06.vc.shawcable.net JOIN :#esoteric < 1156791492 0 :lament!unknown@unknown.invalid QUIT :Nick collision from services. < 1156791557 0 :lament_!unknown@unknown.invalid NICK :lament < 1156791764 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION really needs to extend his "interfuck" thing. . . < 1156791821 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :._. < 1156791823 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :? < 1156792190 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It's the intermediate language for my Brainfuck compiler. < 1156792215 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :interfuck. < 1156792222 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :That's what I'm calling it. < 1156793355 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is going to plan out additional features and such for this. . . < 1156793544 0 :GregorR-W!unknown@unknown.invalid PRIVMSG #esoteric :ARRRRGH < 1156793546 0 :GregorR-W!unknown@unknown.invalid PRIVMSG #esoteric :DAMN YOU ECCO < 1156793551 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :My almost-complete interpreter just used a parser to parse BF into Scheme code, and then executed the Scheme code. < 1156793552 0 :GregorR-W!unknown@unknown.invalid PRIVMSG #esoteric :DAMN YOU TO THE FIREY PITS OF FALSE ADVERTIZING < 1156793569 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Razor-X: I'm going all-out on this. :) < 1156793574 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :Gregor, it's ``ADVERTISING''. < 1156793584 0 :GregorR-W!unknown@unknown.invalid PRIVMSG #esoteric :Razor-X: I DON'T CARE I'M MAD :< < 1156793591 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :Oh. < 1156793629 0 :GregorR-W!unknown@unknown.invalid PRIVMSG #esoteric :Now I have to try to bring a pair of shoes back after about five weeks again X_X < 1156793636 0 :GregorR-W!unknown@unknown.invalid PRIVMSG #esoteric :Five weeks of not wearing it, mind you. < 1156793638 0 :GregorR-W!unknown@unknown.invalid PRIVMSG #esoteric :But still. < 1156793697 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :I'm writing an IRC bot instead. The old Haskell one needed some tune-ups. < 1156793743 0 :GregorR-W!unknown@unknown.invalid PRIVMSG #esoteric :Blahbot? :-P < 1156793744 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Hell, if I do this well enough, I might be able to get some support for things like 1337. . . < 1156793755 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :Yes! Blahbot! < 1156793768 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :At this point, it negotiates the connection and promptly quits. < 1156793781 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :Ah < 1156793785 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :That explains a lot :-) < 1156793818 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :Well, school starts tomorrow, so today I won't have much time to code the bot, so I probably won't get to the code to keep it from timing out until later tonight. < 1156793864 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION ends up having a lot of free time during school. . . < 1156793867 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :But I'm finding that I actually coded the internals of my Haskell bot pretty well. < 1156793878 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Hell; I'm in IRC during class right now. < 1156793888 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :I don't have any computer classes this year. < 1156793892 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Aaaw. < 1156793895 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :I don't have time in my schedule -- at all. < 1156793903 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric ::/ < 1156793912 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :I don't have time. I'm light-like. < 1156793913 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :4 AP classes and one normal class. I don't even have the Arts and P.E. classes I need to graduate done yet. < 1156793920 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is leaving for lunch in $very_soon < 1156793927 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :Razor-X: you're in *high school*? < 1156793933 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :lament: Yeah. < 1156793935 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :Razor-X: and you think you *don't have time*? < 1156793938 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :ha. ha. < 1156793946 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :I don't have time, *in school*. < 1156793952 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :lament laughs in your FACE < 1156793957 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :HA HA! < 1156793961 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :Boo hoo :(. < 1156798589 0 :CakeProphet!n=CakeProp@h5.232.213.151.ip.alltel.net JOIN :#esoteric < 1156798645 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :ACTION asks CakeProphet if there's any cake coming his way in the near future. < 1156799738 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Meh < 1156800281 0 :lindi-!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1156800292 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :;_; < 1156800390 0 :anonfunc!n=pimaniac@dhcp-132-241-2-164.ecst.csuchico.edu JOIN :#esoteric < 1156801111 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :hmmm... < 1156802427 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Hmmm... I got to thinking... that = and != are really just the same thing. < 1156802438 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :It's different kinds of equality. ^_^ < 1156802462 0 :GregorR-W!unknown@unknown.invalid PRIVMSG #esoteric :Yeah, one of them being not-equality ... < 1156802468 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :So for some hypothetical language... I think it would be neato to have multiple equality types... not sure why that'd be useful... but it sounds fun. < 1156802479 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :!= == #= $= < 1156802483 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :Huh? < 1156802497 0 :GregorR-W!unknown@unknown.invalid PRIVMSG #esoteric :EgoBot isn't on board :-P < 1156802684 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :So, what would #= and $= do? < 1156802691 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :I'm going really bizzare with this one... unusual control flow statements, an entirely different system of mathematical operations (different than the usual + - / * ) < 1156802707 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :INTERCAL select and mingle? :-) < 1156802724 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Dunno intercal. < 1156802733 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :It has strange bitwise operators < 1156802802 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :Anyway, from a mathematician's point of view, you could have something along those lines for the operations < 1156802821 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :It'd require some checking to make sure you can still "do" everything with them, though < 1156802857 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :I'm not sure about the otherequalities... some sort of abstract relation < 1156802859 0 :CakeProphet!unknown@unknown.invalid QUIT :Nick collision from services. < 1156802875 0 :CakeProphet!n=CakeProp@h5.232.213.151.ip.alltel.net JOIN :#esoteric < 1156802890 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric ::-o < 1156802905 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Hmm... anyone get those last two things I said? < 1156802906 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :You have my messages gemisseded? < 1156802915 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :Last I heard from you was "Dunno intercal." < 1156802931 0 :lindi-!n=lindi@kulho150.adsl.netsonic.fi JOIN :#esoteric < 1156802934 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :Then I waffled about some abstract mathematical ideas for you < 1156802968 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :I was thinking of a "sarcasm" statement... which checks to see if something is undefined... and returns True (or some other type of bool) < 1156802973 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :False if defined. < 1156803009 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Relation_%28mathematics%29 < 1156803017 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Field_%28mathematics%29 < 1156803050 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :These two cover abstract relations (==, !=, <, >, ...) and operations (+, -, /, *, ...), which might be relevant < 1156803229 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :ACTION wants to make multiple equality/assignment types... and then a "not equal" for each type.. and then in addition the ability to check the equality of different assignments using the different equality types. < 1156803236 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Eh... complicated... I'm not even sure myself how it works. < 1156803266 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :well, you could certainly pull it off... < 1156803292 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :In fact, there are essentially an infinite number of ways to do it; hard part is picking one < 1156803338 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :I suppose the more complex the better, here :-) < 1156803356 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :You should represent numbers in base-pi notation while you're at it :-D < 1156803366 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :>.> < 1156803370 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :I don't like math. < 1156803375 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :I just like comfusion. < 1156803379 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1156803426 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :But this would make your language the first one capable of representing pi exactly < 1156803435 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :"pi = 10" < 1156803464 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :So, a simple but confusing approach? < 1156803475 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Intuitively complicated? < 1156803505 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :Something that redefines +, -, etc to be something not-too-difficult but still *different* < 1156803507 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :I've sort of got too many ideas jumbling around to put them all into one thing. < 1156803589 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Hmmm... and then one equality type could check for equality of equality types between two values. :D < 1156803594 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :You'll want your new +,* to still be able to make a field out of the set of real numbers, if you know what that means < 1156803606 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :I can generate some that do that for you < 1156803712 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :I've never had abstract algebra stuff. < 1156803760 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Existence of multiplicative inverses < 1156803765 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :I want -lots- of that :D < 1156803785 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Like positive and negative... but like five of them :D < 1156803825 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :And then different operations that do different things to different kinds of numbers. < 1156803876 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :In typical math, + adds positive values, and - adds negative... so what happens when you stretch it out into 5 or 6 dimensions instead of 2? < 1156803877 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :You could use complex numbers, disguised as something else? < 1156803893 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :Or go to quaternions, with all sorts of fun < 1156803922 0 :anonfunc_!n=pimaniac@132.241.173.193 JOIN :#esoteric < 1156804027 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :with complex numbers you'd get normal, negated, conjugated, and negated+conjugated < 1156804040 0 :CakeProphet!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1156804078 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :wtf is he talking about. < 1156804088 0 :CakeProphet!n=CakeProp@h5.232.213.151.ip.alltel.net JOIN :#esoteric < 1156804097 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :CakeProphet: what 2 dimensions? < 1156804113 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :Hardest part with using complex numbers is disguising them so the user gets a brain meltdown :-) < 1156804117 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Argh... what did you say after quaterions? < 1156804127 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :CakeProphet: nothing < 1156804128 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric : with complex numbers you'd get normal, negated, conjugated, and negated+conjugated < 1156804141 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Polarity of the numbers. < 1156804142 0 :ihope!n=foo@c-71-205-100-59.hsd1.mi.comcast.net JOIN :#esoteric < 1156804142 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :ah well if it was a non singular you GreyKnight is right < 1156804143 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :positive and negative... two dimensions of polarity. < 1156804150 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :CakeProphet: one dimension < 1156804173 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :because it's either positive or negative.... it can't be a combination < 1156804184 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Direction + opposite direction = dimension. < 1156804190 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Oh yeah... < 1156804196 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :with complex numbers you'd get two dimensions... one for the real part one for the imaginary one < 1156804199 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :the real numbers exists in one dimension (the real line), the complex exist in two (the complex plane), and the quaternions in 4 (Happy Fun Ball) < 1156804206 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :ACTION isn't sure he wants combinations of polarity ... but it sounds like fun. ^_^ < 1156804215 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :IIRC you can't reasonably extend the numbers to 3 dimensions < 1156804221 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :you people are all on crack. < 1156804225 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :GreyKnight: it's called 3-vectors. < 1156804226 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Sure you can. < 1156804238 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :ACTION attempts to reasonable extend the numbers to 3 dimensions < 1156804241 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :Not in a nice closed way < 1156804248 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :GreyKnight: "closed"? < 1156804254 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :lament: and it's still a uhm how ist it called in english... < 1156804273 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :An extension of the complex numbers to three dimensions, such that all the mathematical operations are closed over the set < 1156804281 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :I was thinking of having 7 types of polarity... with each set of two being opposites, and then having a single one on its own. < 1156804288 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :GreyKnight: why "of the complex numbers"? < 1156804311 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :GreyKnight: all the standard mathematical operations on 3-vectors are closed over 3-vectors. (except for cross product.. duh) < 1156804322 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :i^2 = -1, j^2 = -i, 1^2 = j... j = 1, 1^2 = -i, 1^2 = -1? < 1156804338 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :positive-to-negative, blah-to-meh, pepsi-to-coke, and then a single measure called Jesus or something. < 1156804339 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :lament: are 3-vectors still a field? < 1156804356 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :ACTION hasn't taking this shit yet, argh! < 1156804358 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :because real, complex and quaternions are < 1156804371 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :CakeProphet: so there's no negative Jesus? < 1156804374 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :vectors are a sideshow - complex and hypercomplex numbers are where the real mathematical action is < 1156804375 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Nope < 1156804385 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Don't ask me how... I'm still figuring that out. < 1156804426 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :do you know that the positive reals are a field to? < 1156804461 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :Oh? What's the additive inverse of 3 in the positive reals? < 1156804463 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :So subtraction and opposites aren't field operations? < 1156804488 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :I guess you could redefine +, but you didn't mention that < 1156804494 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :So... a number might look like.... hmmm.... +%^5? Or would it look like +5%6^4 < 1156804499 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :GreyKnight: well the definition of field doesn't say that those uhm THINGS (don't know how it's called) has to be + and * < 1156804505 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :AFAIK < 1156804511 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :binary operations < 1156804515 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1156804516 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :and no, they needn't be < 1156804526 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :(which is how we got onto this topic) < 1156804562 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :well i'm no expert for this... ai'm just in grade 11 < 1156804583 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :What age range is that? < 1156804602 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is in 11th too. < 1156804603 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :uhm.. 15-17 i think < 1156804612 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :er < 1156804614 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :10th < 1156804628 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :ACTION 's internet will probably go off soon. < 1156804631 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :well, you're probably ahead of your peers then :-P < 1156804634 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :CakeProphet: 17 in the 10th? < 1156804653 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :ah wait yes... < 1156804664 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :argh... totally forgot my whole class skipped a year < 1156804691 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :well not really skipped but squeezed 5 into 4 years < 1156804717 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :ACTION feels a sudden need to eat something resembling toast < 1156804746 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :replace toast with cornflakes < 1156804747 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :afk < 1156805051 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :I feel old when all the other people on IRC are teenagers :'( < 1156805073 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :how old are you? < 1156805083 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :And how old are we? < 1156805116 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :ACTION = mid-twenties < 1156805136 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :somewhere between 21 and 28? < 1156805138 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :me too! < 1156805148 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :we're old! < 1156805160 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :ACTION compares zimmerframes with lament < 1156805201 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i'm 22 in 9 days < 1156805239 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :You're not old! You're barely middle-aged! < 1156805257 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :does that mean i'm gonna die at 44? < 1156805272 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :Yes < 1156805278 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :And not a day later < 1156805304 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric ::| < 1156805321 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :DOOMED < 1156805328 0 :GregorR-W!unknown@unknown.invalid PRIVMSG #esoteric :<-- 20 < 1156805394 0 :kipple_!unknown@unknown.invalid PRIVMSG #esoteric :hmm. appears I am the oldest so far... < 1156805415 0 :kipple_!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is 28 < 1156805426 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric ::-O < 1156805437 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :Pensioner, then? < 1156805462 0 :kipple_!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1156805532 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :We need a language that's designed to be implementable with lego bricks. < 1156805559 0 :anonfunc!unknown@unknown.invalid QUIT :Connection timed out < 1156805597 0 :anonfunc_!unknown@unknown.invalid NICK :anonfunc < 1156805609 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :I love the idea of it, I just can't think how to pull it off :-( < 1156805629 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Red brick means output, blue brick means subtract, yellow brick means input, and green brick means jump. < 1156805631 0 :kipple_!unknown@unknown.invalid PRIVMSG #esoteric :If you use the RCX brick it becomes trivial... < 1156805678 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Wait... you mean the programs would consist of Lego bricks, or the machine running them would? < 1156805729 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :The former, although the latter would be an obvious next step < 1156805739 0 :CakeProphet!unknown@unknown.invalid QUIT :Connection timed out < 1156805751 0 :kipple_!unknown@unknown.invalid PRIVMSG #esoteric :the former is easy < 1156805768 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :Obviously something involving sequences of colours is trivial, like ihope's suggestion < 1156805808 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :But I'm trying to think of something that can take advantage of lego's three-dimensionality < 1156805964 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Yeah. < 1156805991 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I never said that this would *only* be sequences of colors, though :-) < 1156805999 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric ::-P < 1156806010 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :I'm thinking a 2-D plane of stacks of blocks < 1156806039 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :With a/some instruction pointer(s) that roam the field and ascend the stacks to perform actions < 1156806052 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Hmm... < 1156806069 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :stacks can also be viewed as encoding numbers, and are addressable as storage locations < 1156806083 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Maybe we could forget the jump instruction and use the shapes of the stacks to jump. < 1156806126 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Like... a stack is like a mini-program, and it would be executed from top to bottom. Once the bottom is reached, something's done. < 1156806128 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :in what way? < 1156806176 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :How about if each IP uses the next two numbers on its personal stack to determine a relative position at which to find the next stack to execute? < 1156806181 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Or maybe the main execution stuff would simply choose a position and run down through it, changing the bricks as it goes... < 1156806197 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :for bonus points, have their personal stacks existing as actual stacks of blocks on the field :-) < 1156806314 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Nah, the blocks themselves would be used as storage. < 1156806329 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :I say use them as storage *and* code >:-) < 1156806365 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Bingo. < 1156806382 0 :CakeProphet!n=CakeProp@h181.238.213.151.ip.alltel.net JOIN :#esoteric < 1156806418 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :For further bonus points, it takes the IPs time to reach their next stack while jumping? < 1156806424 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Argh... < 1156806425 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :So a code pointer traverses a set of code blocks and an IP cycles through storage? < 1156806427 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :1 clock tick/square moved? < 1156806434 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :So.. uh... what insane mathematical shit did I miss? < 1156806444 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :CakeProphet: we got onto lego instead < 1156806457 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :So I think I'm going to hide from all the crazy theoretical math shit.... and go for a more... uh... non-numbers design. < 1156806463 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :I like words over numbers.. < 1156806486 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :As fun as inventing an entirely new system of mathematics is... < 1156806494 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :Program in ORK! < 1156806507 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :one, two, many, lots? < 1156806525 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :Why were you using complex numbers? < 1156806531 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :ACTION does not have the time to fully go over the logs. < 1156806533 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :I wasn't... < 1156806560 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :I was just using a notation type for representing multi-dimensional polarity... paired with something I'm going to call "multi-dimensional equality" < 1156806565 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :He was talking about generally "extending" number systems, so naturally we got onto that subject < 1156806590 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :positive, negative, cow, omega, chromefuck, lala, Jesus... < 1156806593 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :etc < 1156806595 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :Multi-dimensional equality? < 1156806599 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Yeah < 1156806609 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :Oh, you mean attaching alternate dimensions to a quantity. < 1156806621 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :I got the idea from thinking about = and !=... which are essentially two "types" of equality... they just happen to be the inverse of each other. < 1156806628 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :I had the idea when I was younger of representing numbers in a vector of n-elements, and I had a rudimentary set of equivalence predicates done. < 1156806669 0 :Razor-X!unknown@unknown.invalid PRIVMSG #esoteric :You should look at the postulates of Zermelo-Franklin set theory and the Fundamental Arithmetic Law for some ideas on the stuff. < 1156806671 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :b != 3.... it's essentially saying that it equals three, but only in this type of equality. < 1156806688 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :There is no escape from the abstract algebra! < 1156806692 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :b = 3 is false... thus b != three... which brings us back to our original statement. < 1156806733 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :CakeProphet: well, in Math, there's a set of rules an equivalence operation has to conform to. < 1156806743 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :CakeProphet: = happens to conform to them, and != does not. < 1156806749 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Binary_relation < 1156806751 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :So you could have multi-dimensional equality.... $= %= $= #= < 1156806806 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :more appropriately, http://en.wikipedia.org/wiki/Equivalence_relation < 1156806837 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :!= breaks reflexivity and transitivity. < 1156806840 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :Huh? < 1156806870 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :lament: well, the full abstract treatment might be a bit *too* abstract for a non-specialist :-) < 1156806881 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :and I gather he's only talking about binary relations < 1156806896 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Reflexivity, symmetry, transivity... anythingelse? < 1156806921 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :GreyKnight: equivalence relations are binary relations < 1156806925 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :ihope: nope < 1156806960 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :oh wait, I thought you'd posted http://en.wikipedia.org/wiki/Relation_%28mathematics%29 < 1156806965 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :my mistake < 1156806969 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :yeah... so.. < 1156806973 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :math isn't my... subject. < 1156806983 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :CakeProphet: a "real" equivalence relation other than == is for example (a mod 2 == b mod 2) < 1156807023 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :CakeProphet: what is your subject? < 1156807038 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Writing? < 1156807043 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :ACTION shrugs < 1156807047 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :music. < 1156807048 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :i like math < 1156807050 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :art I guess. < 1156807052 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :i like music too < 1156807053 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :lego! Lego is everyone's subject < 1156807058 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :uh yeah lego rules! < 1156807066 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :\./ < 1156807110 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :with math and lego i even won competitions... < 1156807115 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :with music i didn't... < 1156807126 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :but i did competitions in all those things < 1156807142 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :so.. er... standard mathematics aside.. I think having types of equivalence is do-able in a language. < 1156807397 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :eh < 1156807408 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :scheme has eq?, eqv?, equal? and = < 1156807430 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :CL has eq, eql, equal, = < 1156807443 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :which I guess are isomorphic to the scheme ones :-) < 1156807478 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :I don't think that's quite what CakeProphet has in mind, though, he's just not got the words to express it any better... < 1156807507 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :ACTION really only halfway knows what he's talking about. < 1156807540 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :If you can construct an example of one of your new relations in action we might get a better idea < 1156807662 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Hmmm < 1156807976 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :This might be a little bit jumpy... since I don't have the idea fully conceptualized... but let's say we invent four operations.... cow, scree, flub, and kuma each a type of equality, with relational properties to other types of equality... anything that cow-equals 5 will not scree-equal 5.... but might flub-equal five.... each type of relationship has relationships amongst... < 1156807978 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :...themselves.... maybe everything that cow-equals will also flub-equal.... but anything that flub-equals will not nessicarily cow-equal... and then something that scree-equals may cow-equal any value -except- the value that scree-equals... so each represent equality, but when compared with conditional logic the different types of equality will behave differently to each other. < 1156807998 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :In fact... the language itself might be able to invent new types of equality that relate to the pre-existing types... < 1156808015 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Just random ideas... nothing that would be useful or make much sense at all. < 1156808080 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :I think that could be turned into a Venn diagram? < 1156808117 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Or maybe he'll end up with "not equal, equal, sort-of equal, halluciongenically equal. . ." :p < 1156808120 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :you could even have it so that if something kuma-equals 4... then it will cow-equal any number. < 1156808149 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :@= #= $= %= ^= &= < 1156808150 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1156808167 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :I think this will be either (a) useless, or (b) the next INTERCAL < 1156808175 0 :GregorR-W!unknown@unknown.invalid PRIVMSG #esoteric :That is, useless. < 1156808180 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :But in a good way < 1156808189 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :"anything that cow-equals 5 will not scree-equal 5" < 1156808190 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Lots of esolangs are useless. < 1156808200 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :5 will have to both cow-equal 5 and scree-equal 5. < 1156808216 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :Being useless is pretty much their entire reason for being < 1156808229 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Being useless is what they're used for! < 1156808235 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :ihope, Why? < 1156808238 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :\./ < 1156808255 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :CakeProphet: well, if you want them to actually be equality operations. < 1156808268 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :They are. < 1156808313 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :x $= 5 if x $= 5: print "5 cow-equals x" < 1156808329 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Any equality operation has to have 5 and 5 be equal. < 1156808335 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :Or is "a @= b" more like asserting that (a,b) belongs to a certain set T_@ ? < 1156808352 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :ihope, Within the scope of one equality type... 5 will equal 5 < 1156808356 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :that made pretty much not any improved amount of sense... < 1156808437 0 :tgwizard!unknown@unknown.invalid QUIT :Remote closed the connection < 1156808560 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :x $= 5 < 1156808561 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :if x %= 4: print True else: False < 1156808563 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :if x ^=344: print False else:True < 1156808564 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :if X lol= 6: print Maybe else: False < 1156808566 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :if x (= 305823095823985902834908: print False else: True < 1156808567 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :True < 1156808569 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :True < 1156808570 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Maybe < 1156808572 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :False < 1156808573 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric : < 1156808594 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :All from the expression x $= 5 < 1156808604 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :Okay, as I see it you have some, apparently pretty arbitrary sets of pairs of numbers < 1156808633 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :each relation "a $= b" means that the pair (a,b) belongs to the particular set T_$ < 1156808650 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :no idea what you're talking about. < 1156808651 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :So T_= contains (0,0), (1,1), (2,2), ... < 1156808659 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :(for ==) < 1156808686 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :T_! (for !=) is just the inverse of T_=, contains everything that's not in it < 1156808713 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :And the other T_$, T_#, T_lolwhut contain various semi-random collections of pairs which may or may not intersect < 1156808730 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :? < 1156808732 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Not random. < 1156808748 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :that's why I said semi-random :-P < 1156808769 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :presumably there'd be some actual function for determining which pairs belong to the set < 1156808783 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :keeping actual lists of numbers to compare against would be muy wasteful < 1156808804 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Whether or not something that $='s 5 will also %= 2 depends on the relationship between the $= and %= operators. < 1156808864 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :I think I get it: < 1156808912 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :You define these extra relations purely in terms of the relationships between them, then have the computer use that information to calculate what the relations actually are < 1156808913 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Just like if x = 5... then x != 5 will return False < 1156808930 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Pretty much. < 1156808985 0 :kipple_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1156808994 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :You couldn't rely on it having a unique solution to any arbitrary set of relationships between them, though < 1156809002 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :In my hypothetical language... != would be a type of equality that directly relates to =... so that it something that ='s 5 will != everything except five. < 1156809043 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :DEFINE NEW RELATION != WHERE a==b IMPLIES NOT a!=b < 1156809058 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Er... sure. < 1156809059 0 :bsmntbombdood_!n=root@unaffiliated/bsmntbombdood JOIN :#esoteric < 1156809077 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :I just picked a random syntax for ease of expression < 1156809082 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :It'd be really easy to use an OO design scheme for definiing the relationships... but I want to make it confusing ^_^ < 1156809085 0 :bsmntbombdood!unknown@unknown.invalid QUIT :Nick collision from services. < 1156809101 0 :bsmntbombdood_!unknown@unknown.invalid NICK :bsmntbombdood < 1156809123 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :It's already confusing enough as is... and I have no clue how this would tie in with strings :D < 1156809138 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :in order to apply it to actual numbers, you will have to touch base with the regular mathematical relations at some point < 1156809141 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :say: < 1156809170 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :DEFINE NEW RELATION $= WHERE a$=b IMPLIES (a+5)==(b*6) < 1156809205 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :for at least *one* of the new operators < 1156809227 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :and the others could maybe then just be defined in terms of it and/or each other < 1156809228 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Hmmm... what would $= do in that case? < 1156809262 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :as long as there's a chain of implications leading back to the regular relations, the computer should be able to trawl through it to apply the relations to actual numbers < 1156809279 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :That wouldn't work for variable assignment. < 1156809295 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :It would only work for conditional testing. < 1156809319 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :well: < 1156809346 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :The way I see it... the equality types can also be used as assignment. < 1156809349 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :you can view the assignment "x $= 3" as finding an x such that that expression is true < 1156809426 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :(in that example definition of $= I gave, it's the case that "25 $= 5") < 1156809444 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Hmm... < 1156809460 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :I wish I was extremly good at fleshing out parsers... so I could just make random languages? < 1156809481 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :I like the idea of a language that assigns based on not-equals instead of assigning based on = < 1156809497 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :well, you'd have a bit of a problem there... < 1156809515 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :Say you did "ASSIGN x != 5" (is this the sort of thing you mean?" < 1156809522 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Yup < 1156809542 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :then the interpreter/compiler will have to pick one of the infinite amount of numbers which aren't equal to 5... < 1156809553 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Nah < 1156809556 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :unless you're suggesting it set x to the entire set of non-5 numbers? < 1156809564 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :Nope < 1156809581 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Well, there are finite things. < 1156809585 0 :GreyKnight!unknown@unknown.invalid PRIVMSG #esoteric :so, what value does x receive in that example? < 1156809589 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :x != true < 1156809597 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :That would set x to false.