< 1528848219 170649 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1528849211 358517 :MDude!~MDude@pa-67-234-118-37.dhcp.embarqhsd.net QUIT :Ping timeout: 256 seconds < 1528849524 336375 :MDude!~MDude@pa-67-234-118-37.dhcp.embarqhsd.net JOIN :#esoteric < 1528850385 973965 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cale: Did I already ask you about monoidal categories with nontrivial scalars? < 1528850411 723850 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Other than modules. < 1528851628 145347 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: MASKED CHICKEN < 1528851761 91529 :variable!~variable@freebsd/developer/variable QUIT :Quit: /dev/null is full < 1528855725 356405 :imode!~imode@unaffiliated/imode JOIN :#esoteric > 1528860555 614975 PRIVMSG #esoteric :14[[07Annoying Alice 2D14]]4 10 02https://esolangs.org/w/index.php?diff=55650&oldid=55646 5* 03Reddy Alice 5* (+614) 10 > 1528860587 626856 PRIVMSG #esoteric :14[[07Annoying Alice 2D14]]4 10 02https://esolangs.org/w/index.php?diff=55651&oldid=55650 5* 03Reddy Alice 5* (+35) 10 < 1528861791 655959 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :is there a proof that all thue rules can be reduced to rules with only 3 symbols on either side of the separator? < 1528861817 490563 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :or even, just two symbols? < 1528863000 835364 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1528863156 881160 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Quit: ZNC - http://znc.sourceforge.net < 1528863214 581930 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I think you could do with just two symbols and use a tape head approach. i.e left and right moves would be formulated as OT -> TN and TO -> NT respectively. < 1528863243 129714 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :where 'O' is the old symbol under the tape head, and 'N' is the newly written symbol. < 1528863352 168267 :Slereah_!~Slereah@ALille-651-1-59-86.w2-5.abo.wanadoo.fr QUIT :Ping timeout: 260 seconds < 1528865154 870042 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1528865190 277957 :variable!~variable@freebsd/developer/variable QUIT :Client Quit < 1528866086 535365 :xkapastel!uid17782@gateway/web/irccloud.com/x-bdpxinwkqsjdykkx QUIT :Quit: Connection closed for inactivity < 1528866763 14195 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1528867891 644474 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Is it a potential military threat that our prime minister has the power to make America's president go completely pineapples at will by saying something as innocuous as "we will not be pushed around"? < 1528873191 348874 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 265 seconds < 1528874461 803707 :woo!9d21f193@gateway/web/cgi-irc/kiwiirc.com/ip.157.33.241.147 JOIN :#esoteric < 1528874504 632815 :woo!9d21f193@gateway/web/cgi-irc/kiwiirc.com/ip.157.33.241.147 PART :#esoteric < 1528874967 903876 :xkapastel!uid17782@gateway/web/irccloud.com/x-zkadfbybivlnnfwb JOIN :#esoteric < 1528876167 711846 :Naergon!~Naergon@unaffiliated/naergon QUIT :Remote host closed the connection < 1528877241 483538 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric > 1528877979 137622 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Iamcalledbob 5* 10New user account > 1528878145 559302 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=55652&oldid=55634 5* 03Iamcalledbob 5* (+19) 10 > 1528878160 393867 PRIVMSG #esoteric :14[[07=14]]4 N10 02https://esolangs.org/w/index.php?oldid=55653 5* 03Iamcalledbob 5* (+418) 10Created page with "= commands: = if the thing being assigned is a place: assign place with value(dec)/place value. if the thing being assigned is a value: if the place value assigned r..." < 1528878367 754770 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1528878428 606412 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I destroyed my mobile phone. But I only have myself to blame for it. Now I have to survive with this bad spare phone I bought as a backup in december, plus look around for what phone I should buy, and I guess a protective foil for the display of this one. < 1528878498 546687 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Darn, what's the name of this one, I need it to look up protective foil. < 1528878612 952171 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Ok, so first I have to copy my contact list to this phone. < 1528878823 661680 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: rebooting < 1528878998 690963 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric > 1528879185 562083 PRIVMSG #esoteric :14[[07PUBERTY14]]4 M10 02https://esolangs.org/w/index.php?diff=55654&oldid=55633 5* 03Izumariu 5* (+6) 10 > 1528881365 152005 PRIVMSG #esoteric :14[[07Losescript14]]4 N10 02https://esolangs.org/w/index.php?oldid=55655 5* 03Iamcalledbob 5* (+7665) 10Created page with "==Losescript== Losescript is a programming language that certainly makes you win in some golf contests(while if the questions change even if a bit, you will certainly lose). =..." < 1528881449 290396 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there is a lot of copy-and-paste on that page < 1528881471 554708 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I think it's all from Esolang itself, thus not a copyvio < 1528881482 205278 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that said, it's been copied from the rendered version < 1528882157 392266 :zzo38!~zzo38@24-207-13-153.eastlink.ca QUIT :Ping timeout: 256 seconds < 1528882350 799880 :shikhin!shikhin@lambdaos.org QUIT :Changing host < 1528882350 884445 :shikhin!shikhin@unaffiliated/shikhin JOIN :#esoteric > 1528882638 303730 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Derteckel 5* 10New user account > 1528882902 15370 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=55656&oldid=55652 5* 03Derteckel 5* (+159) 10/* Introductions */ < 1528883792 367531 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1528888055 675888 :arseniiv!~arseniiv@77.79.183.142.dynamic.ufanet.ru JOIN :#esoteric > 1528890384 299319 PRIVMSG #esoteric :14[[07`14]]4 N10 02https://esolangs.org/w/index.php?oldid=55657 5* 03Iamcalledbob 5* (+1138) 10All about ` < 1528892839 721997 :variable!~variable@freebsd/developer/variable QUIT :Quit: Found 1 in /dev/zero < 1528892959 553863 :variable!~variable@freebsd/developer/variable JOIN :#esoteric > 1528893081 166552 PRIVMSG #esoteric :14[[07Special:Log/move14]]4 move10 02 5* 03Iamcalledbob 5* 10moved [[02Language list10]] to [[Category:`]]: I want people to see that there is another 1-instruction turing-taprit language. > 1528893081 196779 PRIVMSG #esoteric :14[[07Special:Log/move14]]4 move10 02 5* 03Iamcalledbob 5* 10moved [[02Talk:Language list10]] to [[Category talk:`]]: I want people to see that there is another 1-instruction turing-taprit language. > 1528893201 644261 PRIVMSG #esoteric :14[[07Special:Log/move14]]4 move10 02 5* 03Iamcalledbob 5* 10moved [[02Main Page10]] to [[%]] > 1528893201 658806 PRIVMSG #esoteric :14[[07Special:Log/move14]]4 move10 02 5* 03Iamcalledbob 5* 10moved [[02Talk:Main Page10]] to [[Talk:%]] < 1528893367 646237 :AnotherTest!~turingcom@ptr-82l26zezm7he96qp8n6.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1528893558 487502 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1528893731 240150 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1528893778 688219 :AnotherTest!~turingcom@ptr-82l26zezm7he96qp8n6.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 256 seconds > 1528893961 838210 PRIVMSG #esoteric :14[[07Special:Log/move14]]4 move10 02 5* 03Iamcalledbob 5* 10moved [[02%10]] to [[Bob's blog]] > 1528893961 865777 PRIVMSG #esoteric :14[[07Special:Log/move14]]4 move10 02 5* 03Iamcalledbob 5* 10moved [[02Talk:%10]] to [[Talk:Bob's blog]] < 1528894193 648610 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1528894449 84068 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric > 1528894616 370000 PRIVMSG #esoteric :14[[07Special:Log/move14]]4 move10 02 5* 03Ais523 5* 10moved [[02Bob's blog10]] to [[Main Page]] > 1528894616 378328 PRIVMSG #esoteric :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5* 10deleted "[[02Main Page10]]": Deleted to make way for move from "[[Bob's blog]]" > 1528894649 458872 PRIVMSG #esoteric :14[[07Special:Log/protect14]]4 protect10 02 5* 03Ais523 5* 10protected "[[Main Page [move=sysop] (indefinite)]]": high-risk pages need move-protection as regular users can't undo moves > 1528894667 354479 PRIVMSG #esoteric :14[[07Special:Log/move14]]4 move10 02 5* 03Ais523 5* 10moved [[02Talk:Bob's blog10]] to [[Talk:Main Page]] > 1528894667 364054 PRIVMSG #esoteric :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5* 10deleted "[[02Talk:Main Page10]]": Deleted to make way for move from "[[Talk:Bob's blog]]" > 1528894691 446731 PRIVMSG #esoteric :14[[07Special:Log/protect14]]4 protect10 02 5* 03Ais523 5* 10protected "[[Talk:Main Page [move=sysop] (indefinite)]]": high-risk pages need move-protection as regular users can't undo moves > 1528894728 546833 PRIVMSG #esoteric :14[[07Special:Log/move14]]4 move_redir10 02 5* 03Ais523 5* 10moved [[02Category:`10]] to [[Language list]] over redirect > 1528894728 573592 PRIVMSG #esoteric :14[[07Special:Log/move14]]4 move_redir10 02 5* 03Ais523 5* 10moved [[02Category talk:`10]] to [[Talk:Language list]] over redirect > 1528894728 585916 PRIVMSG #esoteric :14[[07Special:Log/delete14]]4 delete_redir10 02 5* 03Ais523 5* 10Ais523 deleted redirect [[02Language list10]] by overwriting: Deleted to make way for move from "[[Category:`]]" > 1528894728 595590 PRIVMSG #esoteric :14[[07Special:Log/delete14]]4 delete_redir10 02 5* 03Ais523 5* 10Ais523 deleted redirect [[02Talk:Language list10]] by overwriting: Deleted to make way for move from "[[Category talk:`]]" < 1528894740 801533 :esowiki!~esowiki@techne.zem.fi JOIN :#esoteric > 1528894751 249958 PRIVMSG #esoteric :14[[07Special:Log/protect14]]4 protect10 02 5* 03Ais523 5* 10protected "[[Language list [move=sysop] (indefinite)]]": high-risk pages need move-protection as regular users can't undo moves > 1528894778 86076 PRIVMSG #esoteric :14[[07Special:Log/protect14]]4 protect10 02 5* 03Ais523 5* 10protected "[[Talk:Language list [move=sysop] (indefinite)]]": high-risk pages need move-protection as regular users can't undo moves < 1528894832 307633 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric > 1528894875 677604 PRIVMSG #esoteric :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5* 10deleted "[[02%10]]": Vandalism > 1528894884 925816 PRIVMSG #esoteric :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5* 10deleted "[[02Talk:%10]]": Vandalism < 1528895092 196040 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :any Esolang admins out there? I'm in the middle of an upgrade and someone starts doing pagemove vandalism :-( < 1528895117 234288 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm trying to send iamcalledbob a warning but because I'm in the middle of a release upgrade, programs are randomly stopping working, and that apparently includes my browser < 1528895120 154209 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so I haven't been able to send one yet > 1528895231 503995 PRIVMSG #esoteric :14[[07User talk:Iamcalledbob14]]4 N10 02https://esolangs.org/w/index.php?oldid=55678 5* 03Ais523 5* (+547) 10warning: pagemove vandalism < 1528895239 226325 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there we go < 1528895263 811126 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this is worth /one/ warning, but attempting that sort of vandalism in the future deserves a block, as it requires an admin to undo < 1528895328 730543 :Cale_!~cale@2607:fea8:995f:fb71:9c9:b437:1d74:ecfe JOIN :#esoteric < 1528895344 335027 :xkapastel!uid17782@gateway/web/irccloud.com/x-zkadfbybivlnnfwb QUIT :Quit: Connection closed for inactivity > 1528895576 290501 PRIVMSG #esoteric :14[[07User talk:Iamcalledbob14]]4 10 02https://esolangs.org/w/index.php?diff=55679&oldid=55678 5* 03Iamcalledbob 5* (+144) 10/* Please be careful with high-visibility pages */ > 1528895671 90131 PRIVMSG #esoteric :14[[07User talk:Iamcalledbob14]]4 10 02https://esolangs.org/w/index.php?diff=55680&oldid=55679 5* 03Iamcalledbob 5* (+17) 10/* Please be careful with high-visibility pages */ > 1528895728 85919 PRIVMSG #esoteric :14[[07User talk:Iamcalledbob14]]4 10 02https://esolangs.org/w/index.php?diff=55681&oldid=55680 5* 03Ais523 5* (+484) 10how to edit pages < 1528895771 988659 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1528895893 175690 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1528896039 674650 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hi wob_jonas > 1528896434 397101 PRIVMSG #esoteric :14[[07`14]]4 10 02https://esolangs.org/w/index.php?diff=55682&oldid=55657 5* 03B jonas 5* (+23) 10 < 1528896469 286117 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :hi ais523 < 1528896481 865917 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :yeah... those wiki edits were strange < 1528896489 111964 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wob_jonas: I decided to work on that M:tG thing again < 1528896496 568724 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :oh! nice < 1528896498 439721 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm planning to write a whole site about it and have written two of the pages already < 1528896511 614969 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :nice < 1528896520 220816 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :in that case I'll have to read and comment on it < 1528896521 225418 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :specifically, a) an explanation of the deck used from the tournament point of view, b) the series of actions needed to get into the right gamestate < 1528896524 344624 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although I'm going to change b) a bit < 1528896529 103501 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :you could put it on the esolang wiki though < 1528896535 480051 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I think that wiki is suitable for this sort of thing < 1528896539 307170 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this is probably best as an independent mini-site < 1528896988 824944 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wob_jonas: nethack4.org/pastebin/b31dfab1-de3c-4c61-8402-07738b794487-maindeck.html.txt nethack4.org/pastebin/b31dfab1-de3c-4c61-8402-07738b794487-setup.html.txt (these are temporary links that won't stay up that long, and these are not the final versions of the files) < 1528897063 490026 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric > 1528897079 158797 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=55683&oldid=55676 5* 03Iamcalledbob 5* (+8) 10 > 1528897130 814774 PRIVMSG #esoteric :14[[07User talk:Iamcalledbob14]]4 10 02https://esolangs.org/w/index.php?diff=55684&oldid=55681 5* 03Iamcalledbob 5* (+24) 10 > 1528897203 124293 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=55685&oldid=55683 5* 03Iamcalledbob 5* (+17) 10 < 1528897306 674526 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ACTION vaguely wonders how an attempt to add a language to the language list could end up with accidentally renaming the Main Page < 1528897315 873327 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess if it doesn't happen again, though, we're OK < 1528897329 944581 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(and I put move-protection on the pages in question because there's basically no good reason to rename them) > 1528897393 560114 PRIVMSG #esoteric :14[[07Joke language list14]]4 10 02https://esolangs.org/w/index.php?diff=55686&oldid=55632 5* 03Iamcalledbob 5* (+77) 10 < 1528897822 816741 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :. o O ( and we all know elliott would have banned em already ) < 1528897848 235584 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well, those old enough to remember when elliott was here < 1528897860 525434 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes, I prefer to give at least one warning first < 1528897880 309601 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :still, not many people know that moving a page twice requires admin cleanup if the first move was in error < 1528897890 711916 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and most of the people who do are trolls or otherwise trying to cause trouble < 1528897897 714149 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so doing that on the Main Page, of all places, is a very suspicious thing to do < 1528897931 397877 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess we'll see how the user turns out > 1528898537 740681 PRIVMSG #esoteric :14[[07BF instruction minimalization14]]4 10 02https://esolangs.org/w/index.php?diff=55687&oldid=51404 5* 03Iamcalledbob 5* (+459) 10/* Iamcalledbob's attempt */ < 1528898629 556390 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that is one of the bigger AEaaAP failures I've seen < 1528898665 354027 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :e.g. merging [ and ] makes BF sub-TC as you can't do any control flow inside a loop < 1528898721 345377 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and memory-mapping which of the various instructions you have is pretty much unusable as you can't use those instructions to get back to the memory-map location < 1528898727 429966 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that latter thing is an interesting idea for an esolang, though < 1528898735 48228 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :AEaaAP is not an acronym I can expand > 1528898746 607031 PRIVMSG #esoteric :14[[07BF instruction minimalization14]]4 10 02https://esolangs.org/w/index.php?diff=55688&oldid=55687 5* 03Iamcalledbob 5* (-40) 10/* Iamcalledbob's attempt */ < 1528898770 89342 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: arbitrary effect at an arbitrary point < 1528898778 820184 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Ah, makes sense < 1528898787 904338 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? AEaaAP < 1528898789 59458 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :AEaaAP? ¯\(°​_o)/¯ > 1528898909 334885 PRIVMSG #esoteric :14[[07Hello world program in esoteric languages14]]4 10 02https://esolangs.org/w/index.php?diff=55689&oldid=55631 5* 03Iamcalledbob 5* (+132) 10 < 1528898911 930544 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`learn AEaaAP stands for "arbitrary effect at an arbitrary point". It's one of the traditional requirements for Turing-completeness < 1528898914 188296 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Learned 'aeaaap': AEaaAP stands for "arbitrary effect at an arbitrary point". It's one of the traditional requirements for Turing-completeness > 1528898943 743600 PRIVMSG #esoteric :14[[07Hello world program in esoteric languages14]]4 10 02https://esolangs.org/w/index.php?diff=55690&oldid=55689 5* 03Iamcalledbob 5* (+23) 10/* ` */ < 1528899014 736490 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: it's rather confusing that Recent Changes displays the Delete above the Move when doing it like that. > 1528899023 385820 PRIVMSG #esoteric :14[[07Hello world program in esoteric languages14]]4 10 02https://esolangs.org/w/index.php?diff=55691&oldid=55690 5* 03Iamcalledbob 5* (+22) 10/* LOLCODE */ > 1528899035 500326 PRIVMSG #esoteric :14[[07Hello world program in esoteric languages14]]4 10 02https://esolangs.org/w/index.php?diff=55692&oldid=55691 5* 03Iamcalledbob 5* (+1) 10/* Losescript */ < 1528899066 687113 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: yes, the newest delete was newer than the newest move < 1528899073 394881 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it can be less confusing to turn enhanced recent changes off < 1528899080 271190 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`slwd aeaaap//s,$,., < 1528899082 116061 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :aeaaap//AEaaAP stands for "arbitrary effect at an arbitrary point". It's one of the traditional requirements for Turing-completeness. < 1528899131 114176 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: um, i don't have enhanced recent changes. < 1528899142 10461 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: I think it's the default nowadays? < 1528899148 703335 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :let me try without to compare < 1528899156 763954 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i'm saying it looks like you moved the page before deleting it. < 1528899163 930367 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(the target) < 1528899190 873641 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's called "Group changes by page in recent changes and watchlist" nowadays; if I turn that off, the delete correctly shows as happening before the move < 1528899276 836383 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :not for me, huh. < 1528899290 227634 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wait, no < 1528899291 985609 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not for me either < 1528899295 751136 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I was confusing the delete and the protect < 1528899322 855157 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :It's been ages since I've made any esolangs < 1528899694 914879 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, I wonder if I can argue that the I/D machine is a BF instruction minimalization? < 1528899699 308331 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I is just +, after all < 1528899710 204922 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and D doesn't look too out of place in a BF derivative < 1528899720 970113 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there's probably one that has it already :-P < 1528899782 334838 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :. o O ( maybe all programming languages are actually BF derivatives ) < 1528899806 561250 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :BF is not a BF derivative :-P < 1528899835 708610 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :P'' probably isn't either, but that may not be a programming language < 1528899852 611024 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i hear Gödel investigated closed time loops so don't be too sure. < 1528899899 736943 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :historically the I/D machine was a RAM0 derivative < 1528899912 760703 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm glad I was going around reading Wikipedia pages about obscure computational models :-) < 1528899934 254534 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(and RAM0 is 3 years older than BF) < 1528899947 61706 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :P'' dates from 1964, though < 1528899962 317593 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :I/D looks pretty neat < 1528899973 723532 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :I'm going to have to check out the TC proof of it tonight < 1528899984 350006 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's like three star programmer but a little easier < 1528899987 402070 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :both to write in and to implement < 1528900007 931487 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the previous girl genius update is pretty ominous. i suspect the dupree shit is about to hit the fan. < 1528900015 548920 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although three star programmer is a little more powerful, in that it gives you more flexibility with how your programs work once you've figured out how to write them < 1528900031 136305 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(not today's) > 1528900075 754618 PRIVMSG #esoteric :14[[07Classical CT14]]4 N10 02https://esolangs.org/w/index.php?oldid=55693 5* 03Iamcalledbob 5* (+552) 10Created page with "==Commands== This is an extension of [[CT]]. {class_name[function_name ...] [function_name ...] lots of other functions...} It defines a class with a lot of functions, which..." < 1528900229 21141 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :today's update is also ominous, mind you. < 1528900257 242352 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(but not for a main character.) < 1528900316 958673 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: do real british academics have nicknames like that twh > 1528900333 330654 PRIVMSG #esoteric :14[[07Esoteric programming language14]]4 10 02https://esolangs.org/w/index.php?diff=55694&oldid=55183 5* 03Iamcalledbob 5* (+32) 10/* Brevity */ < 1528900343 604651 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: like what? < 1528900361 590968 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :tobber and sleestak < 1528900366 474721 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :http://www.girlgeniusonline.com/comic.php > 1528900374 511243 PRIVMSG #esoteric :14[[07Esoteric programming language14]]4 10 02https://esolangs.org/w/index.php?diff=55695&oldid=55694 5* 03Iamcalledbob 5* (-32) 10/* Brevity */ < 1528900402 211469 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: sorry for my connection < 1528900414 530420 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1528900430 653220 :Cale_!~cale@2607:fea8:995f:fb71:9c9:b437:1d74:ecfe QUIT :Quit: Leaving < 1528900433 430576 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: I rarely hear nicknames used here; thus I don't konw what they are < 1528900448 314464 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*know < 1528900453 549660 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :okay > 1528900810 751542 PRIVMSG #esoteric :14[[07Esoteric programming language14]]4 10 02https://esolangs.org/w/index.php?diff=55696&oldid=55695 5* 03Iamcalledbob 5* (+185) 10/* Purpose */ > 1528900930 817936 PRIVMSG #esoteric :14[[07Esoteric programming language14]]4 10 02https://esolangs.org/w/index.php?diff=55697&oldid=55696 5* 03Ais523 5* (-3) 10/* Purpose */ cleanup; note that most low-level esolangs are /not/ intentionally hard to read, they just ended up that way because the concepts are so alien < 1528900963 336732 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :The only academic I know with a nickname is Dr Chris "Crispy Bacon" Crispin-Bailey < 1528901008 280154 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :does ais523 count as a nickname? < 1528901032 519538 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :I guess in IRC nomenclature it is < 1528901034 470759 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: you misspelled obfuscation hth < 1528901050 182458 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Although do people often refer to you as Alex "ais523" Smith? > 1528901073 170734 PRIVMSG #esoteric :14[[07Esoteric programming language14]]4 M10 02https://esolangs.org/w/index.php?diff=55698&oldid=55697 5* 03Ais523 5* (+0) 10/* Obfuscation */ fix typo in header < 1528901077 233057 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: not often < 1528901088 55846 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Speed Demos Archive probably would, although they'd leave the "Dr" off < 1528901183 367469 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ACTION notes that the I/D machine compiles almost directly into Unreadable < 1528901253 823673 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm right, internet nicknames would be it nowadays... < 1528901261 19482 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, esolang idea I just had: a cross between BF and Subtractpocalypse; it's basically just + < - > with bignum cells, and attempting to decrement a cell below 0 restarts the program < 1528901276 14904 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you cannot obviously compile Subtractpocalypse into this but it's pretty close < 1528901357 907470 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and you can almost certainly remove < from it by having a finite-length tape that wraps (in fact, that probably makes it easier to program in rather than harder) < 1528901403 942742 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :…and by merging commands to give +> and - you have a two-command language which is probably TC > 1528901438 667646 PRIVMSG #esoteric :14[[07Esoteric programming language14]]4 10 02https://esolangs.org/w/index.php?diff=55699&oldid=55698 5* 03Iamcalledbob 5* (+10) 10/* Purpose */ < 1528901472 614118 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :does the current Subtractpocalypse TCness proof ever reduce two counters in the same command? if not then this /is/ TC < 1528901524 676381 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :unfortunately it does, I don't think it /has/ to, though < 1528901563 10099 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :oerjan: I do get called "Taneb" in person sometimes < 1528901570 487455 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Mostly people I know from CS at uni < 1528901586 163561 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: your nick's currently being shown in a color that's hard to read so I have to look at your comments to see who said them < 1528901603 783205 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :ais523: I'm terribly sorry < 1528901605 644397 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :when I saw that comment, I was hoping it had been said by someone other than Taneb :-) < 1528901616 905412 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric ::D that'd be something < 1528901633 820815 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(sorry for not typing those two comments at the same time, the first doesn't really make sense on its own, but I'm in the middle of a distro upgrade and it chose that moment to stop my keyboard working) < 1528901659 247436 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :(it's OK) < 1528901677 593735 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this is an often-overlooked danger in using newline as a punctuation mark < 1528901981 383977 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i want to revert iamcalledbob's last edit but my intuition refuses. < 1528902005 792822 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or is it anxiety, whatever. < 1528902044 246618 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh hm forgetting my email... < 1528902051 907035 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't agree with removing minimalism altogether > 1528902129 270037 PRIVMSG #esoteric :14[[07Esoteric programming language14]]4 10 02https://esolangs.org/w/index.php?diff=55700&oldid=55699 5* 03Ais523 5* (-10) 10Undo revision 55699 by Iamcalledbob; I disagree with many of these changes, e.g. minimalism and obfuscation are quite different in nature (languages are often reduced to few commands for reasons other than making them hard to read) < 1528902142 917889 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :nor with merging it with obfuscation < 1528902216 784609 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyway, the distro update has finished so I'm going to reboot, hopefully the computer still works :-D < 1528902224 451903 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :whee < 1528902232 331573 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Good luck < 1528902236 855809 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: upgrade to a new Linux distribution finished, let's see if I can reboot into it < 1528902532 92587 :MDude!~MDude@pa-67-234-118-37.dhcp.embarqhsd.net QUIT :Read error: No route to host < 1528902645 979737 :MDude!~MDude@pa-67-234-118-37.dhcp.embarqhsd.net JOIN :#esoteric < 1528902748 912204 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :...we've accidentally started using the worst chat client here < 1528902757 762808 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Bash comments in a shared tmux session < 1528902993 256885 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hmm, that's worse than "talk" :) < 1528903235 671982 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Instead of having nicks or whatever we just start with different amounts of whitespace < 1528903291 244891 :int-e!~noone@int-e.eu PRIVMSG #esoteric :# it scales really well. < 1528903611 637898 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1528903673 539971 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, that didn't go so well < 1528903690 241925 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :at least I managed to get a GUI desktop up, after about four tries < 1528903726 866440 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although I'm running MATE because my normal desktop environment is crashing on login < 1528903743 47776 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :luckily this was already installed (I'm not sure how to connect to wifi from the terminal) < 1528903848 815871 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the other problem is that the mouse doesn't work on the login screen for some reason and my choice of login screen implementation apparently breaks when you try to change desktop environment with the keyboard < 1528903876 425008 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so I had to start a different one with the terminal… < 1528903933 111684 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ACTION does an update, then will try again < 1528904784 223259 :laerling!~laerling@unaffiliated/laerling JOIN :#esoteric < 1528905180 774739 :AnotherTest!~turingcom@ptr-82l26zezm7he96qp8n6.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1528905687 866306 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Later < 1528905711 173256 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :OK, time to try again < 1528905718 758468 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: rebooting, hopefully it goes better this time… < 1528906112 819481 :AnotherTest!~turingcom@ptr-82l26zezm7he96qp8n6.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 255 seconds < 1528906299 17626 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1528906502 650022 :ais523!~ais523@unaffiliated/ais523 QUIT :Client Quit < 1528907130 377707 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1528907929 356264 :doesthiswork!~Adium@207.55.82.87 QUIT :Ping timeout: 256 seconds < 1528909294 53569 :MDude!~MDude@pa-67-234-118-37.dhcp.embarqhsd.net QUIT :Ping timeout: 264 seconds < 1528909491 321892 :MDude!~MDude@pa-67-234-118-37.dhcp.embarqhsd.net JOIN :#esoteric < 1528911157 124542 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`olist 1124 < 1528911157 830370 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :olist 1124: shachaf oerjan Sgeo FireFly boily nortti b_jonas < 1528911333 342121 :xkapastel!uid17782@gateway/web/irccloud.com/x-mruioccrkpfkjloh JOIN :#esoteric < 1528913921 511989 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1528916258 643305 :Vorpal!~Vorpal@c83-253-73-101.bredband.comhem.se JOIN :#esoteric < 1528916258 717785 :Vorpal!~Vorpal@c83-253-73-101.bredband.comhem.se QUIT :Changing host < 1528916258 717832 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1528916693 41074 :moony!moony@unaffiliated/moonythedwarf NICK :x86-64 < 1528916697 465693 :x86-64!moony@unaffiliated/moonythedwarf NICK :moonheart08 < 1528916699 558554 :moonheart08!moony@unaffiliated/moonythedwarf NICK :moony < 1528916813 212838 :Naergon!~Naergon@unaffiliated/naergon JOIN :#esoteric < 1528918681 273990 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1528918813 670714 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1528919313 770980 :AnotherTest!~turingcom@ptr-82l26zeb2rj73gye3ft.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1528920256 678671 :wob_jonas!b03f1945@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.69 JOIN :#esoteric > 1528920451 714693 PRIVMSG #esoteric :14[[07Losescript14]]4 10 02https://esolangs.org/w/index.php?diff=55701&oldid=55655 5* 03B jonas 5* (+24) 10 < 1528920532 869269 :wob_jonas!b03f1945@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.69 PRIVMSG #esoteric :ais523: I'd just like to note that iamcalledbob also didn't follow the instructions specifically for avoiding spambot registrations: Introduce yourself says "write a short description (one or two sentences is enough) about what brings you to this wiki". < 1528920582 860095 :wob_jonas!b03f1945@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.69 PRIVMSG #esoteric :Nor the part about "At the end of that description, sign your name by writing in "~~~~" (without quotes)," < 1528920606 799193 :wob_jonas!b03f1945@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.69 PRIVMSG #esoteric :should have banned him immediately for clearly being a spambot < 1528920800 849505 :AnotherTest!~turingcom@ptr-82l26zeb2rj73gye3ft.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 255 seconds > 1528920875 708261 PRIVMSG #esoteric :14[[07Losescript14]]4 10 02https://esolangs.org/w/index.php?diff=55702&oldid=55701 5* 03B jonas 5* (+5) 10 < 1528921953 571197 :wob_jonas!b03f1945@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.69 PRIVMSG #esoteric :" hmm, I wonder if I can argue that the I/D machine is a BF instruction minimalization? / and D doesn't look too out of place in a BF derivative / there's probably one that has it already :-P" : true. I think the \x7F command in Symbolic Brainfuck does that < 1528922088 811119 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wob_jonas: hmm, didn't feel like a bot. < 1528922110 907629 :wob_jonas!b03f1945@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.69 PRIVMSG #esoteric :int-e: yes. bots are smarter. < 1528922150 935378 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wob_jonas: why would a bot use an edit message that says "I want people to see that there is another 1-instruction turing-taprit language." < 1528922200 569998 :int-e!~noone@int-e.eu PRIVMSG #esoteric :anyway, weird person... especially, since that move failed to do what they apparently wanted, why did they start moving other things around afterwards? > 1528922328 860608 PRIVMSG #esoteric :14[[07I/D machine14]]4 10 02https://esolangs.org/w/index.php?diff=55703&oldid=54537 5* 03B jonas 5* (+322) 10can be seen as a brainfuck derivative (thanks for noticing, ais523) < 1528922400 101765 :wob_jonas!b03f1945@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.69 PRIVMSG #esoteric :the move didn't fail what they wanted. because of them spamming, several of us esolang wiki users are checking his edits for possible vandalism, so we noticed that yet another stupid language < 1528922448 460245 :wob_jonas!b03f1945@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.69 PRIVMSG #esoteric :it would be unnoticed in the noise of stupid languages on the wiki otherwise, which new users come and create < 1528922460 675785 :wob_jonas!b03f1945@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.69 PRIVMSG #esoteric :which is sad especially because it gets hard to find the actually interesting languages among them < 1528922829 435037 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Meh misguided and clueless is my assessment... don't get me wrong, this may be even *more* annoying than actual spam. < 1528922875 960283 :wob_jonas!b03f1945@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.69 PRIVMSG #esoteric :exactly. we delete spam, but we leave all the bad esolangs up there, and the wiki gets full of that < 1528922877 246879 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(And it can easily drift off into vandalism, hard to draw a clear line.) < 1528922891 630973 :wob_jonas!b03f1945@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.69 PRIVMSG #esoteric :I genuinely can't just browse the wiki to find random interesting esolangs > 1528923619 965954 PRIVMSG #esoteric :14[[07Small14]]4 10 02https://esolangs.org/w/index.php?diff=55704&oldid=55010 5* 03Voltage2007 5* (+482) 10Added compiler < 1528924615 697863 :AnotherTest!~turingcom@ptr-82l26zeb2rj73gye3ft.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1528925221 246991 :wob_jonas!b03f1945@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.69 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1528925851 50304 :laerling!~laerling@unaffiliated/laerling QUIT :Quit: Leaving < 1528925855 680010 :AnotherTest!~turingcom@ptr-82l26zeb2rj73gye3ft.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 276 seconds < 1528926266 467128 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I've seen people auto-generating things like rules for string rewriting systems. is there any literature on this? converting traditional imperative algorithms to rewrite relations? < 1528926488 367634 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I know many people have created things like BASIC to brainfuck compilers. < 1528927875 317576 :iconmaster!~iconmaste@2604:6000:b188:9800:2166:119e:cda2:cb63 JOIN :#esoteric < 1528927879 533469 :iconmaster!~iconmaste@2604:6000:b188:9800:2166:119e:cda2:cb63 QUIT :Client Quit > 1528930612 235340 PRIVMSG #esoteric :14[[07Brainpocalypse14]]4 N10 02https://esolangs.org/w/index.php?oldid=55705 5* 03Ais523 5* (+10304) 10new language! > 1528930637 160192 PRIVMSG #esoteric :14[[07Brainpocalypse14]]4 M10 02https://esolangs.org/w/index.php?diff=55706&oldid=55705 5* 03Ais523 5* (+18) 10/* Standard version */ class=wikitable > 1528930679 698194 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=55707&oldid=55685 5* 03Ais523 5* (+21) 10/* B */ +[[Brainpocalypse]] > 1528930705 939952 PRIVMSG #esoteric :14[[07User:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=55708&oldid=55337 5* 03Ais523 5* (+20) 10+[[Brainpocalypse]] < 1528931599 308512 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGIRL, dying... < 1528931795 581270 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :https://ptpb.pw/CHN2/text modeling a stack with a 3-symbol data alphabet. < 1528931826 118325 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :this can probably be made shorter if I allowed just two symbols. it's pretty mechanical. I wonder if I can do head-juggling. < 1528931880 166309 :int-e!~noone@int-e.eu PRIVMSG #esoteric :that ::= just feeld wrong to me. < 1528931886 940239 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :same. < 1528931896 572287 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :should be -> or something. < 1528931937 872538 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :the benefit is you can have multiple stacks in tandem, doing work independently. exchanging things between instruction streams could probably happen. < 1528931974 270686 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(especially since I've actually worked with string rewriting systems (aka semi-Thue systems)) < 1528932021 151690 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :in what context? < 1528932031 995222 :int-e!~noone@int-e.eu PRIVMSG #esoteric :rewriting :P < 1528932055 21423 :int-e!~noone@int-e.eu PRIVMSG #esoteric :it's an actual area of theoretical computer science. < 1528932072 984387 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I'm aware, just wondered what you've dealt with. < 1528932095 978521 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :they're deceptively simple. < 1528932110 340008 :int-e!~noone@int-e.eu PRIVMSG #esoteric :mostly confluence analysis (and mostly term rewriting systems, of which string rewriting is a special case) < 1528932181 29446 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I'd think the other way around, tbh. in the end you're performing substitution rules on trees represented as strings, which in many cases is nested parens or path-based representations. < 1528932202 188336 :int-e!~noone@int-e.eu PRIVMSG #esoteric :nah, we're not :) < 1528932213 685624 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(our terms are trees, not strings) < 1528932226 636737 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :change my view, because you are. :P < 1528932242 256253 :int-e!~noone@int-e.eu PRIVMSG #esoteric :"we" did not encompass you, necessarily :) < 1528932292 972174 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :in what world are strings a special case of terms? it's the other way around lmao. < 1528932337 845852 :int-e!~noone@int-e.eu PRIVMSG #esoteric :in "our" world, strings are terms built exclusively from unary function symbols (and one constant for the empty string). < 1528932376 246470 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I admit that this is a bit strange. < 1528932406 710317 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :you can take both views, I guess, depending on your vantage point, as terms admit a canonical representation that's stringy. < 1528932413 284752 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But it's much more strange to treat terms as strings, because that makes all operations on terms awkward. < 1528932423 885752 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(to my mind, ymmv, etc) < 1528932529 838827 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :dyck languages are a good fit for representing terms imho, because they admit easy pattern matching based on depth. < 1528932533 27025 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i,i your mind may vary < 1528932574 929395 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm wondering whether colorForth and ALGOL had a reasonable idea making color/bold part of the syntax. < 1528932581 530564 :int-e!~noone@int-e.eu PRIVMSG #esoteric :it does... it even shuts itself off for hours at a time! < 1528932635 984472 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(which, I think, is something I should have let it do about an hour ago, so good night) < 1528932658 782310 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :night. < 1528932682 878241 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(but I was too busy with extracting bits from unfair dice... big waste of time :P) < 1528932898 858165 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :int-e: if you've dealt with things like string rewriting, would you say that semi-thue systems are a special case of another class of string rewrite systems? < 1528932986 143703 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :my reasoning is that any system higher than thue-like introduces variables, which are an abstraction and not required. < 1528933093 381951 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1528934151 78734 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :