< 1530144015 838465 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :you could do it by specifying machines that get exactly one tuple from the bag (removing it) and adding exactly one afterwards < 1530144126 556669 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :if the machines are at least as powerful as lambda expressions, the result should be turing complete < 1530144279 798376 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :input would then simply be adding tuples to the pool--whether that's at the beginning or at runtime doesn't matter < 1530144303 772186 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :and committing one specific value to the pool (eg. the empty tuple?) kills all the machines < 1530144404 465837 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :nfd: linda? < 1530144422 27017 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :yeah, like linda < 1530144455 225250 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :the trick is that you only get extremely simple machines < 1530144458 995330 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I've experimented with tuple-based rewriting. I got as far as implementing arithmetic before stopping. I used pattern matching and variable binding. < 1530144518 557668 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :huh, cool < 1530144555 346946 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :code was specified as tuples as well. < 1530144568 685424 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :so you had this one amorphous bag that could be distributed amongst machines. < 1530144580 117546 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :what were your limits on variable binding? i'm imagining something like this < 1530144601 599215 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :("val" a b c d) -> ("out" a b c "5") < 1530144625 977882 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :i think with a linda-like bag that this is probably turing complete < 1530144631 191993 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :oh it is. < 1530144645 732659 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :yeah. it sounds like a super easy proof < 1530144648 14439 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :https://ptpb.pw/urGZ/python so here's where.. I left off. < 1530144652 177987 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :but i'm not gonna claim it is until i do it < 1530144663 902312 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :line 301 is where the code starts. < 1530144680 834127 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :the language I was implementing was assembly-like in nature. < 1530144707 632724 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :each "line" had the ability to reference other lines and contain the result of its executed command. < 1530144714 58084 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :pretty sweet! < 1530144746 29140 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :so you could translate things like "Foo X Bar" to `match` commands by saying "okay, I need a tuple with Foo in the first place and Bar in the third place.` < 1530144821 859567 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :and then the resulting tuple would be dragged from storage, stored as a match, and then you could fetch another tuple like `Bar X Baz`, using the previous result's second column as a constraint (because they use the same variables in the "macro language"). < 1530144825 755696 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :gonna have to give this a close read < 1530144850 829733 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :it's pretty weird and I have about 30 revisions of it going back to february of last year. < 1530144874 172650 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :obviously not completed and it looks friggin' terrible. < 1530144922 160368 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :i'm thinking about doing a super-minimal version of this for kicks, now < 1530144960 595046 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :i guess i just specified the entire syntax in that one message up there < 1530144961 944793 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :try it! the concept is pretty minimal as-is: match and assert are the only required commands for pattern matching and assertions. < 1530144995 57523 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :match queries the tuple store and grabs things from it in a constrained manner, assert either adds or removes tuples. < 1530145021 507816 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :just have to decide if i wanna do it in racket (for its dsl features) or haskell < 1530145022 101339 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :it'd be trivial to construct things like addition, trees, lists and arrays... < 1530145038 195919 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :neither of which i know super well < 1530145057 362640 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :but i guess my favorite way to learn a language is to use it to write a language < 1530145060 82571 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :do it in a language you know well _first_. :P < 1530145078 311059 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :then port it. < 1530145116 188416 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :probably not a bad idea, haha < 1530145138 873735 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :i do know a bit of scheme and a bit of haskell. not like i'm operating totally blind here < 1530145160 194848 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :thing is, tuplespace stuff like this is really powerful as a paradigm. you could compile a prolog-like language (like what I was attempting) down to it. < 1530145172 906303 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :nfd: are you nvd's evil twin twh < 1530145186 741629 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :then turing completeness is as trivial as implementing a TM. < 1530145222 139490 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :shachaf: haha, you tell me. afraid i don't know them < 1530145225 402688 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :i'm new to this chan < 1530145238 841170 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :not really new to esolangs < 1530145306 368868 :trout!~variable@freebsd/developer/variable JOIN :#esoteric < 1530145426 764434 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :damnit nfd, you have me looking through my old code again. < 1530145457 866238 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? nvd < 1530145459 68550 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :nvd is what Taneb calls himself when he wants to feel professional. < 1530145514 224972 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 256 seconds < 1530145573 246244 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net JOIN :#esoteric < 1530145729 699442 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :hrm < 1530145756 861220 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :so, say each machine fetches one tuple < 1530145832 844814 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :would it be more fun to make each machine output exactly one tuple or zero, one, or two tuples < 1530145869 973741 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :if we take option two, we could add output/termination side effects < 1530145882 889441 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PRIVMSG #esoteric :if each machine takes one tuple and puts one tuple, that's not concurrent at all < 1530145928 621256 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :doesn't need to be actually concurrent to be conceptually threaded < 1530146019 489781 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :but if we want to make it actually concurrent, all we need to do is spawn one thread per machine < 1530146030 154565 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :if the tuple bag does its job, we get semaphores for free < 1530146181 102010 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PRIVMSG #esoteric :so wait am I getting this right, there's only a finite number of processes? < 1530146678 797331 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :yeah. at most one process/thread per machine. each () -> () statement completely specifies one discrete machine < 1530146714 168197 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :might be worth implementing this in C and pthreads first, actually < 1530146810 453052 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :so if you want multiple hardware threads working on one task at the same time, you just specify the same machine twice < 1530146894 345380 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :(which, frankly, would be a bizarre choice unless you have well-optimized matching) < 1530147087 132120 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :hah, i should write a specification for this before i get implementing < 1530147087 189833 :clog!~nef@bespin.org JOIN :#esoteric < 1530147229 587910 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1530147413 707365 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 276 seconds < 1530147857 132705 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :tuple rewriting without variable binding is an interesting concept. < 1530147878 910948 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PRIVMSG #esoteric :how would that work? < 1530147897 529263 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :same way that string rewriting would. < 1530147908 149170 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :only with disjoint segments of a larger string. < 1530148087 563789 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :my question I posed earlier still stands, though. all of this is just a variant of rewriting. it's either rewriting or automata. I've yet to see a truly unique form of computation. < 1530148157 480952 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PRIVMSG #esoteric :erlang's concurrency model is the most unique one I know of < 1530148186 880274 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :the actor model? I have seen absolutely no formal treatment of it. < 1530148222 679294 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I've just seen vagueness. abstract descriptions. no concrete model to speak of. I tried reading the original (now very scarred and scratched) paper to no avail. < 1530148235 164015 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PRIVMSG #esoteric :ahh formalism < 1530148238 168913 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PRIVMSG #esoteric :can't help you there < 1530148254 394856 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PART #esoteric :"the creeping crawling chaos will return." < 1530148257 487090 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I tried pursuing it as an alternative to process calculi, but stopped short because I couldn't find a damn description outside of "there are actors, they communicate via mailboxes." < 1530148257 966853 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net JOIN :#esoteric < 1530148337 170197 :Remavas!~Remavas@unaffiliated/remavas QUIT :Quit: Leaving < 1530148362 336590 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I guess it's a bit of NIH. that there's no real other category of computational models. < 1530148407 677782 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net QUIT :Ping timeout: 240 seconds < 1530148420 666835 :arseniiv!~arseniiv@89.189.140.235.dynamic.ufanet.ru QUIT :Ping timeout: 260 seconds < 1530148503 366472 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PRIVMSG #esoteric :imode: not concurrent, but here's some food for thought https://suhr.github.io/obsc/ < 1530149171 632249 :trout!~variable@freebsd/developer/variable JOIN :#esoteric < 1530149340 331061 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 245 seconds < 1530149949 399104 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :that's not really much of a variant, though. stack languages aren't really unique (well, they were for a while...) < 1530150045 330880 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PRIVMSG #esoteric :the notion of multiple types of concatonation as well as a haskell-style type system for one is interesting < 1530150083 481410 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :right, but it's just all a variant of rewriting to me. I can't feel impressed by it anymore. :( < 1530150123 630720 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PRIVMSG #esoteric :I mean, any turing complete system can be turned into term rewriting < 1530150188 463647 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :less term rewriting and more just general rewriting. < 1530150250 463 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :like, are there any models of computation that _aren't_ just a variant of a rewriting system, or an automata? even so-called exotic MoCs fall down to rewriting over some kind of structure. < 1530150315 369715 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PRIVMSG #esoteric :flow based programming? < 1530150333 835795 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I have my doubts but that is one of the more unique ones. dataflow in general is. < 1530150346 952105 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PRIVMSG #esoteric :hmm < 1530150349 106675 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I've been working on reducing it to a string rewriting system. < 1530150357 94706 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PRIVMSG #esoteric :do you know anything about verilog? < 1530150358 542913 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :based on signals and channels. < 1530150365 331588 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :yeah, a lot of it. same stuff. < 1530150368 77844 :trout!~variable@freebsd/developer/variable QUIT :Quit: Found 1 in /dev/zero < 1530150403 591618 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :the problem is a paradigm like that can either be taken at face-value or reduced to something in the two categories of rewriting or automata. < 1530150411 911605 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PRIVMSG #esoteric :I get the feeling that if you spend time reducing things to rewrite systems you're gonna start seeing more things as rewrite systems < 1530150440 680585 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I did the same thing with TMs and various other turing-equivalent automata. < 1530150462 525170 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :most paradigms to me can't stand on their merits enough without referring to something in those two categories. < 1530150476 208617 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I'm almost desperate for one that breaks that trend for me. < 1530150498 709989 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PRIVMSG #esoteric :prolog? < 1530150512 846810 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :breaks down to term rewriting. weird, I know. < 1530150525 534495 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PRIVMSG #esoteric :huh < 1530150527 210901 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PRIVMSG #esoteric :how so? < 1530150543 47669 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :everything in the language is represented as term trees. < 1530150553 295447 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :you can even manipulate rules as first-class citizens. < 1530150556 873498 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :with some difficulty. < 1530150573 763093 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :so it becomes a somewhat unique variant of term rewriting, but still in the category of rewriting. < 1530150584 340615 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PRIVMSG #esoteric :at that point you've just made an interpreter in a term rewriting language < 1530150616 376731 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :that's the kind of thing I'm talking about. there's always some kind of easy reduction. < 1530150659 295452 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PRIVMSG #esoteric :if you're counting interpreting as an easy reduction then every turing complete thing can be reduced to term rewriting < 1530150703 669333 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :again, not even terms. just abstract rewriting systems. graphs, trees, strings, multisets.. < 1530150722 161004 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :the same goes for automata. < 1530150756 502042 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :the paradigms that I've seen just aren't enough to stand on their own without referring to some aspect of either category. < 1530150772 480887 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :hence why you'll see every language standard reference some abstract machine (automata) or reduce to a rewrite theory (rewriting, obviously). < 1530150790 479897 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :it's almost crying out for a third. < 1530150795 37904 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PRIVMSG #esoteric :my point is just that if you're looking for something that can't be turned into rewriting somehow all that's left is the stuff above turing complete which you can't really use in the real world < 1530150847 754422 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :right, I'm not looking for that. automata and rewriting can be interchanged with some difficulty in either direction. I'm looking for something that stands as some kind of third category to the two already present. < 1530150906 834724 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :dataflow is a decent candidate. I don't know of any others. I thought various process calculi were the answer, but they just reduce to term rewriting (by some clever conventions). < 1530150938 24108 :xkapastel!uid17782@gateway/web/irccloud.com/x-kthzqhipsbxwqdwy QUIT :Quit: Connection closed for inactivity < 1530151007 267211 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PRIVMSG #esoteric :the game of life would also be a rewrite system but I also know of continuous game of life https://arxiv.org/pdf/1111.1567.pdf < 1530151012 395920 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :then again, I don't really know many formal treatments for dataflow. I don't know of any real well-defined models of computation. < 1530151018 577443 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PRIVMSG #esoteric :don't know if it's turing complete though < 1530151041 255927 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I can't imagine what the proof would look like. I'd imagine it'd be impressive. < 1530151195 127578 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I guess it's just a nagging doubt in my head that I'll probably need to silence. that "we can't have all of this figured out yet!" < 1530151408 768800 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PRIVMSG #esoteric :well the only other models I can think of can't be implemented in the real world so that's all I got man < 1530151437 468416 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I don't expect an easy out. :P < 1530151511 445694 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PRIVMSG #esoteric :if you're into parsing at all there's parsing with derivitives < 1530151557 260704 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I saw that posted somewhere a while back. I'll probably look into it tonight. < 1530151766 453925 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :eh. this only applies to context-free languages? < 1530151788 443808 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :looks like it. looks interesting anyway. < 1530151848 154432 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PRIVMSG #esoteric :are there parsers out there doing context sensitive grammars? < 1530151927 775994 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :there are parsers out there doing unrestricted grammars. :P < 1530151946 38432 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :whether they stop parsing is the real question... < 1530151960 997903 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PRIVMSG #esoteric :right, right < 1530151980 432158 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :fun fact: perl's grammar is unrestricted. at least I read that somewhere. < 1530152003 440861 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PRIVMSG #esoteric :pretty sure C++'s is too < 1530152013 260941 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :yeah. < 1530152028 477466 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :well, templates are turing complete. I guess template evaluation is undecidable? < 1530152062 341240 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :though I guess I can throw that under parsing. < 1530152114 289767 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net PRIVMSG #esoteric :see I just find it fun knowing that it's possible to take the taylor series of a grammar < 1530152162 606320 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :wow. my interest is piqued. < 1530152396 549893 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I should revisit formal language theory. < 1530154487 561458 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net JOIN :#esoteric < 1530154505 265954 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Operator-precedence_parser#Alternative_methods < 1530154513 434948 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :This FORTRAN I trick for operator precedence is too good. < 1530154968 490689 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1530156229 946961 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :that is a beautiful hack. < 1530158297 14814 :S_Gautam!uid286066@gateway/web/irccloud.com/x-swtznjjiozxicvvg QUIT :Quit: Connection closed for inactivity < 1530158382 599400 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: [] < 1530158754 820553 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1530159001 362086 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1530162489 644921 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net QUIT :Ping timeout: 268 seconds > 1530166478 809392 PRIVMSG #esoteric :14[[07Brainfuck implementations14]]4 10 02https://esolangs.org/w/index.php?diff=56138&oldid=56122 5* 03Asdf 5* (+1075) 10/* Normal implementations */ > 1530166500 868774 PRIVMSG #esoteric :14[[07Brainfuck implementations14]]4 10 02https://esolangs.org/w/index.php?diff=56139&oldid=56138 5* 03Asdf 5* (-1075) 10/* Normal implementations */ > 1530166696 557538 PRIVMSG #esoteric :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=56140&oldid=54620 5* 03Asdf 5* (+271) 10 > 1530166736 140349 PRIVMSG #esoteric :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=56141&oldid=56140 5* 03Asdf 5* (+39) 10/* How can I paste my own code on this wiki? */ > 1530166868 324994 PRIVMSG #esoteric :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=56142&oldid=56141 5* 03Asdf 5* (-2) 10/* How can I paste my own code on this wiki? */ > 1530167141 28229 PRIVMSG #esoteric :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=56143&oldid=56142 5* 03Asdf 5* (-1) 10/* How can I paste my own code on this wiki? */ > 1530167170 325521 PRIVMSG #esoteric :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=56144&oldid=56143 5* 03Asdf 5* (-17) 10/* How can I paste my own code on this wiki? */ > 1530167508 592747 PRIVMSG #esoteric :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=56145&oldid=56144 5* 03Asdf 5* (+57) 10/* How can I paste my own code on this wiki? */ > 1530167603 632223 PRIVMSG #esoteric :14[[07Brainfuck implementations14]]4 10 02https://esolangs.org/w/index.php?diff=56146&oldid=56139 5* 03Asdf 5* (+119) 10/* Normal implementations */ > 1530167773 468176 PRIVMSG #esoteric :14[[07Brainfuck implementations14]]4 10 02https://esolangs.org/w/index.php?diff=56147&oldid=56146 5* 03Asdf 5* (+40) 10/* Normal implementations */ < 1530167844 986403 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1530167943 705585 :ProofTechnique[m!prooftechn@gateway/shell/matrix.org/x-ebcfvqrltohcjprs QUIT :Ping timeout: 260 seconds < 1530168013 209116 :SoniEx2!~quassel@unaffiliated/soniex2 QUIT :Ping timeout: 260 seconds < 1530168110 328308 :SoniEx2!~quassel@unaffiliated/soniex2 JOIN :#esoteric < 1530168408 390877 :ProofTechnique[m!prooftechn@gateway/shell/matrix.org/x-jjiehtztggrlybxu JOIN :#esoteric > 1530168811 782893 PRIVMSG #esoteric :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=56148&oldid=56145 5* 03Asdf 5* (+10) 10/* How can I paste my own code on this wiki? */ > 1530168980 233683 PRIVMSG #esoteric :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=56149&oldid=56148 5* 03Asdf 5* (+36) 10/* How can I paste my own code on this wiki? */ > 1530169079 508921 PRIVMSG #esoteric :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=56150&oldid=56149 5* 03Asdf 5* (+117) 10/* How can I paste my own code on this wiki? (I didn't violate others' copyright) */ < 1530169633 811940 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :oh boy. < 1530170322 283365 :S_Gautam!uid286066@gateway/web/irccloud.com/x-zqpuehxyrrhctakz JOIN :#esoteric > 1530172094 671064 PRIVMSG #esoteric :14[[07Deadfish14]]4 10 02https://esolangs.org/w/index.php?diff=56151&oldid=55851 5* 03Asdf 5* (+319) 10/* C */ > 1530172566 600246 PRIVMSG #esoteric :14[[07Deadfish14]]4 10 02https://esolangs.org/w/index.php?diff=56152&oldid=56151 5* 03Asdf 5* (+383) 10/* C */ > 1530172626 389047 PRIVMSG #esoteric :14[[07Deadfish14]]4 10 02https://esolangs.org/w/index.php?diff=56153&oldid=56152 5* 03Asdf 5* (+13) 10/* C */ > 1530172779 940295 PRIVMSG #esoteric :14[[07Deadfish14]]4 10 02https://esolangs.org/w/index.php?diff=56154&oldid=56153 5* 03Asdf 5* (+49) 10/* C */ > 1530172886 486962 PRIVMSG #esoteric :14[[07Deadfish14]]4 10 02https://esolangs.org/w/index.php?diff=56155&oldid=56154 5* 03Asdf 5* (+54) 10/* C */ < 1530172964 929 :moei!~moei@softbank221078042071.bbtec.net QUIT :Read error: Connection reset by peer < 1530172996 89572 :moei!~moei@softbank221078042071.bbtec.net JOIN :#esoteric < 1530173952 138763 :AnotherTest!~turingcom@ptr-82l26zejyrdipiqtyq5.18120a2.ip6.access.telenet.be JOIN :#esoteric > 1530174194 459732 PRIVMSG #esoteric :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=56156&oldid=56150 5* 03Asdf 5* (+59) 10/* How can I paste my own code on this wiki? (I didn't violate others' copyright) */ < 1530175104 557407 :impomatic!~digital_w@host86-191-16-233.range86-191.btcentralplus.com JOIN :#esoteric < 1530178039 745879 :S_Gautam!uid286066@gateway/web/irccloud.com/x-zqpuehxyrrhctakz QUIT :Quit: Connection closed for inactivity < 1530178044 460739 :int-e!~noone@int-e.eu PRIVMSG #esoteric :the trouble is that to put code under CC0 it either has to be public domain (or CC0) or have the right to relicense it (basically, be the author) < 1530178125 172143 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So... how does one prove authorship pseudonymously? :P < 1530178385 395254 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :create a fake identity, pretend to be real, publish under that name < 1530178998 139214 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :ahhhhhh law < 1530179002 940575 :nfd!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net PRIVMSG #esoteric :never gets old < 1530179967 564274 :int-e!~noone@int-e.eu PRIVMSG #esoteric :huh, I'm now adding an answer to a question by asdf on ais523's talk page... that seems weird :) > 1530179982 256152 PRIVMSG #esoteric :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=56157&oldid=56156 5* 03Int-e 5* (+1027) 10/* How can I paste my own code on this wiki? (I didn't violate others' copyright) */ < 1530179990 500520 :int-e!~noone@int-e.eu PRIVMSG #esoteric :but I have no better idea. > 1530180303 880188 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03PlatinumDotEXE 5* 10New user account < 1530180777 664507 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 240 seconds > 1530180944 208311 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=56158&oldid=56052 5* 03PlatinumDotEXE 5* (+443) 10 > 1530181481 906905 PRIVMSG #esoteric :14[[07OISC14]]4 10 02https://esolangs.org/w/index.php?diff=56159&oldid=55455 5* 03PlatinumDotEXE 5* (+45) 10/* List of OISCs */ > 1530181878 297688 PRIVMSG #esoteric :14[[07User talk:Ais52314]]4 M10 02https://esolangs.org/w/index.php?diff=56160&oldid=56157 5* 03Int-e 5* (+11) 10/* How can I paste my own code on this wiki? (I didn't violate others' copyright) */ typos < 1530190237 181337 :AnotherTest!~turingcom@ptr-82l26zejyrdipiqtyq5.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 260 seconds < 1530190831 586905 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric > 1530191268 415882 PRIVMSG #esoteric :14[[07OISC14]]4 10 02https://esolangs.org/w/index.php?diff=56161&oldid=56159 5* 03Impomatic 5* (+87) 10/* List of OISCs */ < 1530192911 873596 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1530193080 833588 :arseniiv!~arseniiv@89.189.140.235.dynamic.ufanet.ru JOIN :#esoteric < 1530193270 339433 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net JOIN :#esoteric < 1530193441 992611 :xkapastel!uid17782@gateway/web/irccloud.com/x-yraxzhuxoatcirpi JOIN :#esoteric < 1530193571 329652 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net QUIT :Ping timeout: 256 seconds < 1530193812 949228 :S_Gautam!uid286066@gateway/web/irccloud.com/x-zmacfaobbiacdycl JOIN :#esoteric < 1530193865 545402 :S_Gautam!uid286066@gateway/web/irccloud.com/x-zmacfaobbiacdycl QUIT :Client Quit < 1530193883 372768 :S_Gautam!uid286066@gateway/web/irccloud.com/x-tyrwflauhgobqtit JOIN :#esoteric < 1530194924 196984 :AnotherTest!~turingcom@ptr-82l26zejyrdipiqtyq5.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1530198959 994541 :S_Gautam!uid286066@gateway/web/irccloud.com/x-tyrwflauhgobqtit QUIT : < 1530199175 77056 :XorSwap!~XorSwap@wpa-4-642.cc.umanitoba.ca JOIN :#esoteric < 1530199913 720531 :Remavas!~Remavas@unaffiliated/remavas JOIN :#esoteric < 1530199958 791600 :Remavas!~Remavas@unaffiliated/remavas QUIT :Remote host closed the connection < 1530200603 15533 :Remavas!~Remavas@unaffiliated/remavas JOIN :#esoteric < 1530200645 933790 :Remavas!~Remavas@unaffiliated/remavas QUIT :Remote host closed the connection < 1530201750 156768 :Remavas!~Remavas@unaffiliated/remavas JOIN :#esoteric < 1530201761 873558 :Remavas!~Remavas@unaffiliated/remavas QUIT :Remote host closed the connection < 1530201830 164146 :Remavas!~Remavas@unaffiliated/remavas JOIN :#esoteric < 1530201844 123007 :Remavas!~Remavas@unaffiliated/remavas QUIT :Remote host closed the connection < 1530202214 14688 :Naergon!~Naergon@unaffiliated/naergon QUIT :Ping timeout: 276 seconds < 1530202609 324219 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1530202629 613083 :erkin!~erkin@unaffiliated/erkin QUIT :Remote host closed the connection < 1530202819 748208 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1530202918 686457 :XorSwap!~XorSwap@wpa-4-642.cc.umanitoba.ca QUIT :Read error: Connection reset by peer < 1530204695 8442 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1530205210 696690 :XorSwap!~XorSwap@wpa-4-642.cc.umanitoba.ca JOIN :#esoteric < 1530205594 638680 :XorSwap!~XorSwap@wpa-4-642.cc.umanitoba.ca QUIT :Ping timeout: 268 seconds < 1530206014 418468 :S_Gautam!uid286066@gateway/web/irccloud.com/x-zcupditftsjnegys JOIN :#esoteric < 1530206341 150458 :XorSwap!~XorSwap@kite.riseup.net JOIN :#esoteric < 1530207037 149996 :XorSwap!~XorSwap@kite.riseup.net QUIT :Ping timeout: 260 seconds > 1530207219 651774 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=56162&oldid=56137 5* 03BoutonIA 5* (+11) 10/* B */ Add BSoD < 1530207294 182812 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1530209674 912551 :Remavas!~Remavas@unaffiliated/remavas JOIN :#esoteric < 1530209831 298833 :Naergon!~Naergon@unaffiliated/naergon JOIN :#esoteric < 1530210432 292893 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1530210488 190672 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 256 seconds < 1530211294 342309 :MDead!~MDude@c-73-187-225-46.hsd1.pa.comcast.net JOIN :#esoteric < 1530211330 757700 :ldm!~ldm@unaffiliated/ldm JOIN :#esoteric < 1530211485 979185 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net QUIT :Ping timeout: 264 seconds < 1530211591 321202 :MDead!~MDude@c-73-187-225-46.hsd1.pa.comcast.net QUIT :Ping timeout: 256 seconds < 1530211918 17130 :Remavas!~Remavas@unaffiliated/remavas QUIT :Ping timeout: 264 seconds < 1530211963 499273 :Remavas!~Remavas@unaffiliated/remavas JOIN :#esoteric < 1530215637 637053 :XorSwap!~XorSwap@199.254.238.207 JOIN :#esoteric < 1530215706 748671 :S_Gautam!uid286066@gateway/web/irccloud.com/x-zcupditftsjnegys QUIT :Quit: Connection closed for inactivity < 1530216036 300949 :Naergon!~Naergon@unaffiliated/naergon QUIT :Ping timeout: 265 seconds < 1530216103 420868 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net JOIN :#esoteric < 1530223820 769712 :arseniiv!~arseniiv@89.189.140.235.dynamic.ufanet.ru QUIT :Ping timeout: 255 seconds < 1530224362 144090 :AnotherTest!~turingcom@ptr-82l26zejyrdipiqtyq5.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 260 seconds > 1530229809 46426 PRIVMSG #esoteric :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=56163&oldid=56160 5* 03Ais523 5* (+326) 10/* How can I paste my own code on this wiki? (I didn't violate others' copyright) */ yes you did > 1530229939 900666 PRIVMSG #esoteric :14[[07OISC14]]4 M10 02https://esolangs.org/w/index.php?diff=56164&oldid=56161 5* 03Ais523 5* (-6) 10/* List of OISCs */ you don't use = together with += or -= in most languages; in this case, though, -- is probably clearer