< 1529194553 497101 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i don't remember if i've mentioned it before, but solving tatham's Loopy puzzle by only deleting lines (except for the final check) makes it a bit more challenging < 1529194645 204831 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :some of the geometries make this more or less difficult < 1529194997 801407 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :although it makes the final check a bit of boring clicking > 1529195055 469357 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=55869&oldid=55813 5* 03Asangi a4ac 5* (+140) 10/* Introductions */ > 1529195067 532331 PRIVMSG #esoteric :14[[07Hexsp14]]4 N10 02https://esolangs.org/w/index.php?oldid=55870 5* 03Asangi a4ac 5* (+2314) 10Created page with "'''Hexsp''' is a programming language made by Otakuto. It is basically Lisp written in Hexspeak. Every code is written in hexadecimal numbers and it is supposed to resemble ma..." > 1529197372 486917 PRIVMSG #esoteric :14[[07Hexsp14]]4 10 02https://esolangs.org/w/index.php?diff=55871&oldid=55870 5* 03Asangi a4ac 5* (+111) 10 < 1529197382 322305 :MDude!~MDude@pa-67-234-118-37.dhcp.embarqhsd.net JOIN :#esoteric > 1529197440 565693 PRIVMSG #esoteric :14[[07Hexsp14]]4 10 02https://esolangs.org/w/index.php?diff=55872&oldid=55871 5* 03Asangi a4ac 5* (+18) 10/* Sample Code */ < 1529197479 37626 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :fungot: have you seen quintopia? < 1529197479 407317 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: i an- they were all democrats rely on ignorance of it you just even if you sit in the restaurant we were at the beginning < 1529197494 868825 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :fungot: in a restaurant? which one? < 1529197495 73490 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: but i do merchandising and mystery shopping < 1529197506 95102 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :fungot: a mysterious shopping restaurant????? < 1529197506 261496 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: um that type of thing that's what i need and i love to < 1529197537 58988 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :. o O ( the restaurant that wasn't there yesterday ) < 1529197548 919352 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hily. > 1529197636 789792 PRIVMSG #esoteric :14[[07Hexsp14]]4 10 02https://esolangs.org/w/index.php?diff=55873&oldid=55872 5* 03Asangi a4ac 5* (+209) 10 < 1529197718 849046 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :bonsœøirjan! > 1529197736 125036 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=55874&oldid=55855 5* 03Asangi a4ac 5* (+12) 10/* H */ < 1529197798 940848 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :. o O ( yesterday, I ate a restaurant that wasn't there. it wasn't there again today... ) < 1529197934 217838 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :so that's what happened to the CIA's restaurant, you fiend! < 1529198088 178656 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :which CIA? < 1529198258 109141 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the one which rhymes with "today" hth < 1529201014 715434 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: FAVOURITE CHICKEN < 1529202422 336941 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :what's your favorite model of computation? < 1529202630 837401 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :I'm warming up to string rewriting. < 1529205052 218547 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1529206028 673431 :trout!~variable@freebsd/developer/variable QUIT :Quit: /dev/null is full < 1529206104 851360 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1529206254 331844 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1529206401 304313 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 265 seconds < 1529215183 756971 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Do you know what is the computation class of the Free Hero Mesh preprocessor? (ignoring hash table limits and memory limits) < 1529215402 54408 :arseniiv!~arseniiv@89.189.133.178.dynamic.ufanet.ru JOIN :#esoteric > 1529215921 184819 PRIVMSG #esoteric :14[[07Your Pong May Minsky14]]4 10 02https://esolangs.org/w/index.php?diff=55875&oldid=55868 5* 03Zzo38 5* (+40) 10Add category < 1529216019 961909 :xkapastel!uid17782@gateway/web/irccloud.com/x-xuigmxddjcihpoqy QUIT :Quit: Connection closed for inactivity < 1529227684 200640 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 256 seconds < 1529229414 96872 :xkapastel!uid17782@gateway/web/irccloud.com/x-toccwmwexqxguslf JOIN :#esoteric > 1529231432 112805 PRIVMSG #esoteric :14[[0714]]4 N10 02https://esolangs.org/w/index.php?oldid=55876 5* 03Iamcalledbob 5* (+7785) 10Created page with "'''Chicken''' is an [[esoteric programming language]] by Torbjrn Sderstedt, in which "chicken" is the only valid symbol. ==Language overview== A chicken program consists..." > 1529231702 616244 PRIVMSG #esoteric :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=55877&oldid=55876 5* 03Iamcalledbob 5* (-6515) 10 < 1529234598 190621 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1529235620 741996 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1529236021 842491 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: sorry for my connection < 1529236034 355796 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1529237095 236214 :xkapastel!uid17782@gateway/web/irccloud.com/x-toccwmwexqxguslf QUIT :Quit: Connection closed for inactivity < 1529238052 306174 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric > 1529238666 6402 PRIVMSG #esoteric :14[[07Talk:Your Pong May Minsky14]]4 N10 02https://esolangs.org/w/index.php?oldid=55878 5* 03Ais523 5* (+1901) 10/* Continuous waterfalls */ new section < 1529239295 708783 :AnotherTest!~turingcom@ptr-82l26zeb2rj73gye3ft.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1529239922 677150 :AnotherTest!~turingcom@ptr-82l26zeb2rj73gye3ft.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 276 seconds < 1529242509 615957 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is the integral of an analytic function necessarily analytic? (I love that this is potentially relevant for an esolang I'm making…) < 1529242543 271633 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`quote < 1529242544 328924 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :1280) i don't approve of nuclear-free zones; without nuclei we'd not exist hth < 1529242547 153070 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`quote < 1529242547 856139 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :1196) I am in room number 404. I keep not finding it and walking past the door. < 1529242549 790161 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`quote < 1529242550 504271 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :711) Just seen this comment on reddit: "Parallel programming has been a solved problem for decades." I might have to stop reading the internet. < 1529242552 589835 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`quote < 1529242553 376626 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :866) Taneb: The other day on the channel I came up with BRAINLISPCODE, a LOLCODE-style LISP with an embedded bf derivative. I thought you should know. :-I < 1529242556 947582 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`quote < 1529242557 515783 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :745) The world would be a much classier place if the world was full of Gregors. True, but how many of them are on fire? < 1529242628 559420 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, indefinite integral < 1529242876 872223 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1529243180 705904 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric > 1529243594 621470 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Zackmowrer 5* 10New user account > 1529244544 835444 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=55879&oldid=55869 5* 03Zackmowrer 5* (+276) 10/* Introductions */ < 1529244741 845978 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Quit: Leaving < 1529246306 890767 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :`5 quote < 1529246309 92580 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :1/2:1267) pikhq: The Google way isn't exactly NIH. They have their own variant of it. \ 972) ok im sober now and DNS makes sense again [...] Domain Name System [...] ♫ domain name system ♫ \ 151) I don't trust ducks. They always look like they're planning something. I'm not sure it's a good idea to give them language capabilities. \ 192) [CTCP] Received CTCP-ERRMSG reply from clog: unknown CTCP: ERRMSG. \ 97) [...] i'm a law student so i am loving my bread machine < 1529246563 431613 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1529248332 726498 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1529248441 187937 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: TOOL CHICKEN > 1529248890 894213 PRIVMSG #esoteric :14[[07Talk:Your Pong May Minsky14]]4 10 02https://esolangs.org/w/index.php?diff=55880&oldid=55878 5* 03Ais523 5* (+220) 10a correction in the proof < 1529249734 586104 :variable!~variable@freebsd/developer/variable QUIT :Quit: /dev/null is full < 1529249979 487591 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1529250526 173421 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1529250945 518826 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : is the integral of an analytic function necessarily analytic? <-- yes < 1529250945 837801 :variable!~variable@freebsd/developer/variable QUIT :Read error: Connection reset by peer < 1529250962 528697 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :good to know < 1529250976 979132 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1529250977 654557 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm surprised that isn't mentioned anywhere on the relevant Wikipedia page (or at least if it is, I can't find it) < 1529250981 126039 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :same radius of convergence on the power series iirc < 1529250983 526604 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but the Taylor series definition made it seem likely < 1529251088 514104 :xkapastel!uid17782@gateway/web/irccloud.com/x-rbjdvnactubsdenh JOIN :#esoteric < 1529251409 489959 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Ping timeout: 256 seconds < 1529251490 729551 :variable!~variable@freebsd/developer/variable QUIT :Quit: Found 1 in /dev/zero < 1529252883 639143 :contrapumpkin!~copumpkin@haskell/developer/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1529252938 469781 :contrapumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric < 1529256754 305088 :AnotherTest!~turingcom@d51A46C74.access.telenet.be JOIN :#esoteric < 1529257772 470784 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1529257993 306703 :AnotherTest!~turingcom@d51A46C74.access.telenet.be QUIT :Ping timeout: 256 seconds < 1529258867 487133 :xkapastel!uid17782@gateway/web/irccloud.com/x-rbjdvnactubsdenh QUIT :Quit: Connection closed for inactivity < 1529259048 39367 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGIRL, dying... < 1529259313 359993 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1529259696 424555 :jix!~jix@jix.omnomnom.pizza QUIT :Quit: leaving < 1529259742 75874 :jix!~jix@jix.omnomnom.pizza JOIN :#esoteric < 1529261542 287464 :AnotherTest!~turingcom@ptr-82l26zeb2rj73gye3ft.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1529261790 333831 :AnotherTest!~turingcom@ptr-82l26zeb2rj73gye3ft.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 245 seconds < 1529262367 362868 :AnotherTest!~turingcom@d51a46c74.access.telenet.be JOIN :#esoteric < 1529262651 313606 :AnotherTest!~turingcom@d51a46c74.access.telenet.be QUIT :Ping timeout: 256 seconds > 1529262670 745105 PRIVMSG #esoteric :14[[07R U DS14]]4 N10 02https://esolangs.org/w/index.php?oldid=55881 5* 03Zackmowrer 5* (+1815) 10Created page with "'''R U DS''' is an simple, [[:Category:Output only|output-only]] [[esoteric programming language]] [[Category:Languages]] created by Zackery Mowrer in [[:Category:2018|2018]]...." > 1529263350 296502 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=55882&oldid=55874 5* 03Zackmowrer 5* (+13) 10/* R */ < 1529263670 693369 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :ais523: for counter machines with a limited number of counters (let's call it 4 or 5), how would you represent sequential strings? godel numbering? < 1529263701 396980 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :imode-desktop: most likely as digits of a number < 1529263711 27969 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :e.g. you interpret the string in base 256 < 1529263715 574653 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if it's a string of octets < 1529263720 115233 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or base 10 if it's a string of digits, etc. < 1529263727 716183 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's an easy form to work with in counter machines because divmod tends to be easy < 1529263783 545155 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :alright. how about instructions? do counter machines always have atomic instructions or are equivalent transition tables available for counter machines? < 1529263905 107916 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :i.e for every transition in a TM, I'm doing multiple operations in a single step, whereas for something like register machines I do larger operations incrementally by combining several atomic instructions. < 1529263933 235835 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1529263998 706891 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :I guess you could have a kind of state transition table and simply list out whether each counter is incremented or decremented, and build things like multi-register NOPs off of that. < 1529264068 665136 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :it could be as simple as a boolean flag. 1 if you're incrementing, 0 if you're decrementing. < 1529264140 182448 :xkapastel!uid17782@gateway/web/irccloud.com/x-hejwcxsdxtfojema JOIN :#esoteric < 1529264187 893695 :int-e!~noone@int-e.eu PRIVMSG #esoteric :imode-desktop: I think it's natural to build a test for zero into the decrement operation, in which case it's not perfectly symmetric with the increment. < 1529265091 569446 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :int-e: good point. it'd still work though. if you wanted to increment _just one register_ (let's say you had 3), you could specify a state where you increment all of them, then decrement all but the one you want preserved. < 1529265149 248598 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :control flow could be specified by a bitmask of the registers you wanted to check. < 1529265193 560808 :int-e!~noone@int-e.eu PRIVMSG #esoteric :that's so ... unmathematical < 1529265193 736534 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :so the notation for 3 registers would be `State:Reg1Zero,Reg2Zero,Reg3Zero:Reg1,Reg2,Reg3` < 1529265224 998823 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :and atomic instructions are any better? :P < 1529265233 829504 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :all this shit is arbitrary. < 1529265387 68207 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :counter machines tend to vary a lot on how control flow works < 1529265418 188085 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :having it as a side effect of decrement is common, though, as that's the only time you have useful information to check < 1529265569 867940 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1529265785 965192 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :int-e: I'm actually genuinely curious, what part of that is unmathematical? vs. practically any other abstract machine formulation that's been presented since turing's paper. < 1529265816 321191 :int-e!~noone@int-e.eu PRIVMSG #esoteric :imode-desktop: "bitmask" :P < 1529265850 465718 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :oh bugger off. :P < 1529265858 936547 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(these binary operations are not very natural, if you can forgive the pun) < 1529265904 258455 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :it's not really a bitmask, you use 0 to determine if you're decrementing and 1 to determine if you're incrementing, so "Increment register 1 and decrement registers 2 and 3" looks like 100. :P < 1529265955 406147 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :"If you're in state 2, and registers 2 and 3 are zero, increment register 1, decrement registers 2 and 3, and go to state 3." < 1529265967 941821 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :2:011:100:3 < 1529265992 497323 :int-e!~noone@int-e.eu PRIVMSG #esoteric :There's no accounting for taste. :P < 1529266005 549517 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :taste be damned, it looks funny. :P < 1529266018 87423 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :besides, isn't that the point of an esolang. < 1529266059 458647 :int-e!~noone@int-e.eu PRIVMSG #esoteric :it may be < 1529266690 25393 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? this < 1529266691 56089 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :This is something people on the channel like to talk about. We're often unsure what this is, though. < 1529266714 353720 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? this page < 1529266715 443406 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :This page intonationally left blank. < 1529266740 305228 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`learn This page is under construction. < 1529266742 355934 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Learned 'thi': This page is under construction. < 1529266743 184584 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oops. < 1529266745 403353 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`revert < 1529266746 512950 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Done. < 1529266752 84588 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`le//rn this page//This page is under construction. < 1529266754 95985 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Relearned 'this page': This page is under construction. < 1529267138 168934 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :int-e: re-reading what you said keeps piquing my interest: what defines a natural operation? sans the pun. < 1529267305 282448 :int-e!~noone@int-e.eu PRIVMSG #esoteric :imode-desktop: Hmm, without the pun, it's really a matter of conventions (what does everybody else do?), elegance (is this needlessly complicated), and taste (uh the bit that cannot be defined but that one still forms strong opinions about). < 1529267354 948589 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :the second is something that I'm concerned about, first maybe, third not so much. :P < 1529267384 762703 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So, there's no hard definition. (Note that there are interdependencies... elegance implicitly refers to conventions. < 1529267387 768845 :int-e!~noone@int-e.eu PRIVMSG #esoteric :) < 1529267455 564804 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :I'd be hard-pressed to prove that implicit dependance. conventions are useful as a starting point imho but treating them as an upper limit gives you a sense of tunnel vision. < 1529267507 319597 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :if we define "elegance" as the negation of needless complication, then there's a lot of old models that follow needless complication. < 1529267550 352629 :int-e!~noone@int-e.eu PRIVMSG #esoteric :What I mean is that expressing things in terms of established notions, even somewhat clumsily, is usually preferred to developing a new language just to make a single definition elegant. Of course if that language extends to other definitions... well then you may be on the way to a new mathematical theory. < 1529267635 213123 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :with a funny mention, term rewriting. not only do you have to maintain a list of bound variables + storage for all of the bound term trees for those variables, you have to go through the process of pattern matching on terms, which isn't that hard, but something I'd hardly call natural from my perspective. < 1529267711 524912 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :that imho is needlessly complicated. deceptively simple because it relies on the ability to keep state in your head relatively easily and relies on yor pattern matching ability, but deviates from what can be done strictly mechanically. < 1529267884 965710 :imode-desktop!~imode@unaffiliated/imode PRIVMSG #esoteric :then again, that's just my perspective. I don't like anything that can't be done strictly mechanically in a trivial way unless it can be _reduced_. mainly because the more allowances you give, the more we're just talking in some abstract notation for algorithms, and my train of thought falls apart. < 1529268326 183699 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric > 1529268520 380056 PRIVMSG #esoteric :14[[07CopyPasta Language14]]4 M10 02https://esolangs.org/w/index.php?diff=55883&oldid=55576 5* 03BoutonIA 5* (+22) 10Add Category:Languages < 1529270701 931744 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: [] < 1529272233 296174 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1529272370 328222 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Client Quit < 1529272395 296584 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1529275803 844142 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1529275905 438110 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 248 seconds < 1529276403 698106 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net QUIT :Quit: ZNC 1.6.5+deb2build2 - http://znc.in < 1529276423 329603 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net JOIN :#esoteric < 1529276550 309507 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1529276675 891280 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 260 seconds < 1529277260 570462 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1529277313 329750 :MDude!~MDude@pa-67-234-118-37.dhcp.embarqhsd.net QUIT :Ping timeout: 248 seconds < 1529277815 351934 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1529278031 294292 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 265 seconds < 1529279620 873179 :oerjan!bc715ce1@gateway/web/freenode/ip.188.113.92.225 JOIN :#esoteric < 1529279652 107716 :oerjan!bc715ce1@gateway/web/freenode/ip.188.113.92.225 PRIVMSG #esoteric :
ACTION is using webchat, nvg seems to be having network problems
< 1529279700 669609 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I keep thinking that means Taneb. < 1529279710 642585 :oerjan!bc715ce1@gateway/web/freenode/ip.188.113.92.225 PRIVMSG #esoteric :`? ngevd < 1529279711 776221 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :​$�m����e:^��O��˥�=_�5r�8����ָ�9��H5�AdB�� < 1529279740 762519 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? nvd < 1529279741 850325 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :nvd is what Taneb calls himself when he wants to feel professional. < 1529279744 73819 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? nvg < 1529279745 195425 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :nvg? ¯\(°​_o)/¯ < 1529279816 292545 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1529279912 637197 :oerjan!bc715ce1@gateway/web/freenode/ip.188.113.92.225 PRIVMSG #esoteric :`learn NVG is a student computer club in Trondheim, whose servers are frequently infiltrated by oerjan. Not to be confused with nvd. < 1529279914 707518 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Learned 'nvg': NVG is a student computer club in Trondheim, whose servers are frequently infiltrated by oerjan. Not to be confused with nvd. < 1529279931 54554 :oerjan!bc715ce1@gateway/web/freenode/ip.188.113.92.225 PRIVMSG #esoteric :helloily.