< 1593389522 311492 :adu!~arobbins@h46.143.101.208.dynamic.ip.windstream.net QUIT :Quit: adu < 1593390967 454405 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net QUIT :Remote host closed the connection < 1593391476 141531 :b_jonas!~x@catv-176-63-12-138.catv.broadband.hu QUIT :Quit: leaving < 1593392341 327730 :S_Gautam!uid286066@gateway/web/irccloud.com/x-ezkmhduzydylxopy QUIT :Quit: Connection closed for inactivity < 1593392459 781713 :adu!~arobbins@h46.143.101.208.dynamic.ip.windstream.net JOIN :#esoteric < 1593393506 454079 :user24!~user24@2a02:810a:1440:7304:502f:7b80:fcc9:65e3 JOIN :#esoteric < 1593393958 578716 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1593394878 928821 :adu!~arobbins@h46.143.101.208.dynamic.ip.windstream.net QUIT :Quit: adu < 1593394925 404861 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric < 1593395117 762426 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Remote host closed the connection < 1593396055 481363 :adu!~arobbins@h46.143.101.208.dynamic.ip.windstream.net JOIN :#esoteric < 1593402788 199664 :user24!~user24@2a02:810a:1440:7304:502f:7b80:fcc9:65e3 QUIT :Remote host closed the connection < 1593408232 478965 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Will some software other than TeXnicard implement the Separations Output Format? < 1593408731 738385 :__aaa__!~aaaa@240e:335:c8:2a60:7daa:465:4f98:58f6 JOIN :#esoteric < 1593408777 99098 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com QUIT :Quit: impomatic < 1593408793 484422 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com JOIN :#esoteric < 1593408795 625029 :Melvar!~melvar@dslb-084-063-063-106.084.063.pools.vodafone-ip.de QUIT :Quit: WeeChat 2.8 < 1593408819 236078 :__aaa__!~aaaa@240e:335:c8:2a60:7daa:465:4f98:58f6 QUIT :Quit: 离开 < 1593409047 194740 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com QUIT :Client Quit < 1593409062 201940 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com JOIN :#esoteric < 1593411412 690547 :adu!~arobbins@h46.143.101.208.dynamic.ip.windstream.net QUIT :Quit: adu < 1593412741 969922 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: brb < 1593412813 942191 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1593413809 814035 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Remote host closed the connection < 1593413823 446197 :rain1!~rain1@unaffiliated/rain1 JOIN :#esoteric < 1593413841 896802 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric < 1593414394 169830 :rain1!~rain1@unaffiliated/rain1 PRIVMSG #esoteric :http://www.evan-doorbell.com/production/Overview-rough.mp3 < 1593414394 462857 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 240 seconds < 1593414783 871300 :rain1!~rain1@unaffiliated/rain1 PRIVMSG #esoteric :https://esoteric.codes/blog/esoprogramming-and-computational-idealism < 1593415306 547459 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1593416653 372630 :AidanBaidicoot!~AidanBaid@cpc85742-newc19-2-0-cust179.16-2.cable.virginm.net JOIN :#esoteric < 1593416914 547530 :AidanBaidicoot!~AidanBaid@cpc85742-newc19-2-0-cust179.16-2.cable.virginm.net QUIT :Read error: Connection reset by peer > 1593418234 500759 PRIVMSG #esoteric :14[[07Snowflake (Orisphera's edition)14]]4 10 02https://esolangs.org/w/index.php?diff=74634&oldid=74599 5* 03Orisphera 5* (+10) 10 < 1593418291 818714 :cpressey!~cpressey@88.144.93.57 JOIN :#esoteric > 1593418856 793503 PRIVMSG #esoteric :14[[07SBN14]]4 M10 02https://esolangs.org/w/index.php?diff=74635&oldid=50790 5* 03DmilkaSTD 5* (+9) 10added the stub > 1593418941 492518 PRIVMSG #esoteric :14[[07Laser14]]4 M10 02https://esolangs.org/w/index.php?diff=74636&oldid=58989 5* 03DmilkaSTD 5* (-6) 10added the link to your user < 1593419056 479446 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 258 seconds > 1593419102 421030 PRIVMSG #esoteric :14[[07BytFuck14]]4 M10 02https://esolangs.org/w/index.php?diff=74637&oldid=74238 5* 03DmilkaSTD 5* (-32) 10cant explain > 1593419364 313971 PRIVMSG #esoteric :14[[07Tandem14]]4 10 02https://esolangs.org/w/index.php?diff=74638&oldid=74485 5* 03Chris Pressey 5* (+324) 10Add section on commutors and distributors > 1593419407 723468 PRIVMSG #esoteric :14[[07Encapsulation14]]4 M10 02https://esolangs.org/w/index.php?diff=74639&oldid=66122 5* 03Hakerh400 5* (-11) 10fix title > 1593419797 645617 PRIVMSG #esoteric :14[[07Tandem14]]4 10 02https://esolangs.org/w/index.php?diff=74640&oldid=74638 5* 03Chris Pressey 5* (+235) 10Stack labels can be strings now, not just single characters. > 1593422172 767295 PRIVMSG #esoteric :14[[07Snowflake (Orisphera's edition)14]]4 10 02https://esolangs.org/w/index.php?diff=74641&oldid=74634 5* 03Orisphera 5* (+4) 10 < 1593423015 887733 :arseniiv!~arseniiv@178.214.245.186 JOIN :#esoteric > 1593423074 313764 PRIVMSG #esoteric :14[[07Talk:ZOWIE14]]4 10 02https://esolangs.org/w/index.php?diff=74642&oldid=66231 5* 03Chris Pressey 5* (+188) 10/* Turing completeness */ > 1593423383 209980 PRIVMSG #esoteric :14[[07ZOWIE14]]4 10 02https://esolangs.org/w/index.php?diff=74643&oldid=30950 5* 03Chris Pressey 5* (+173) 10I claim that this language is Turing-complete. < 1593424229 523946 :cpressey!~cpressey@88.144.93.57 PRIVMSG #esoteric :https://esolangs.org/wiki/Talk:Brainfuck#Would_BF_still_be_TC_with_do-while_loops.3F < 1593424237 223885 :cpressey!~cpressey@88.144.93.57 PRIVMSG #esoteric :https://cs.stackexchange.com/questions/47603/does-a-do-while-loop-suffice-for-turing-completeness < 1593424275 731885 :cpressey!~cpressey@88.144.93.57 PRIVMSG #esoteric :It's widely received knowledge that the language of "WHILE programs" is Turing-complete whereas the language of "REPEAT programs" isn't. < 1593424288 72044 :rain1!~rain1@unaffiliated/rain1 PRIVMSG #esoteric :I would guess yes by the principle of impossibility of avoiding turing completeness < 1593424304 438678 :rain1!~rain1@unaffiliated/rain1 PRIVMSG #esoteric :wwow you're saying it's NOT TC? that's exciting < 1593424394 875502 :cpressey!~cpressey@88.144.93.57 PRIVMSG #esoteric :"widely received knowledge" => "most people believe this, including people who write research papers" < 1593424424 610940 :cpressey!~cpressey@88.144.93.57 PRIVMSG #esoteric :We have two claims, I would love to see an actual proof. < 1593424507 636908 :rain1!~rain1@unaffiliated/rain1 PRIVMSG #esoteric :I'm surprised this problem is not already cleanly solved < 1593424546 505661 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :well, unless you have some way to make a loop iteration be a nop or revertable depending on the state of a cell, you pretty much lose the ability to branch < 1593424622 462999 :rain1!~rain1@unaffiliated/rain1 PRIVMSG #esoteric :but you can branch < 1593424628 660661 :rain1!~rain1@unaffiliated/rain1 PRIVMSG #esoteric :it's just 1 or 2 instead of 0 or 1 < 1593424656 862597 :rain1!~rain1@unaffiliated/rain1 PRIVMSG #esoteric :so this suggests trying to implement a reversible turing complete language is doBF < 1593424671 579740 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :that's not really branching < 1593425141 39750 :cpressey!~cpressey@88.144.93.57 PRIVMSG #esoteric :I can see how using reversibility could help (do it zero or one times ~ do it twice, then undo it once or twice) < 1593426121 314924 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 265 seconds < 1593426144 75329 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1593426439 21784 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric < 1593428784 545247 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net JOIN :#esoteric < 1593429151 787794 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net PRIVMSG #esoteric :cpressey: is a limited-memory Brainfuck interpreter sufficient to prove the status of bounded-storage-machine? < 1593429484 913801 :cpressey!~cpressey@88.144.93.57 PRIVMSG #esoteric :t20kdc: I think so? https://esolangs.org/wiki/Smallfuck is an example of a brainfuck derivative that explicitly has finite memory, so is a bounded storage machine. < 1593429566 383177 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net PRIVMSG #esoteric :in which case, any ByteByteJump with some minimum amount of memory (unknown, but at most 16K) is at BSM level < 1593429589 927477 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net PRIVMSG #esoteric :proof for the 3-address-bytes/16MB case is at https://esolangs.org/wiki/User:20kdc/HypotheticalBrainfuckToByteByteJump#A_Much_Less_Hypothetical_Implementation < 1593429619 798320 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net PRIVMSG #esoteric :the techniques used in it are described elsewhere on that page < 1593429772 393553 :cpressey!~cpressey@88.144.93.57 PRIVMSG #esoteric :That sounds/looks reasonable < 1593429869 499081 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net PRIVMSG #esoteric :though to avoid wasting a lot of RAM, the tape uses up most of available memory, and is shared with the program content < 1593429902 635977 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net PRIVMSG #esoteric :the theoretical description assumes a Brainfuck->ByteByteJump compiler, but this is an interpreter < 1593429994 502194 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net PRIVMSG #esoteric :on the basis that an interpreter cannot perform any trickery < 1593430370 878103 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr JOIN :#esoteric < 1593430450 201228 :cpressey!~cpressey@88.144.93.57 PRIVMSG #esoteric :There would be some overhead with an interpreter, but that doesn't really matter (it would kind of be expected.) < 1593430610 992627 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net PRIVMSG #esoteric :even for a compiler, there's an expected overhead of 768 bytes < 1593430640 820673 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net PRIVMSG #esoteric :(increment, decrement, check-zero) < 1593430776 190536 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net PRIVMSG #esoteric :and conditional branches have either page alignment requirements (which gets costly fast) or 12 instructions of additional setup code... < 1593431051 978261 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr QUIT :Read error: Connection reset by peer < 1593431124 156206 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1593431555 382306 :cpressey!~cpressey@88.144.93.57 QUIT :Quit: Lunch. > 1593432092 654818 PRIVMSG #esoteric :14[[07ThisIsNotARealLanguage14]]4 M10 02https://esolangs.org/w/index.php?diff=74644&oldid=24123 5* 03DmilkaSTD 5* (+28) 10+joke languages category > 1593432262 150538 PRIVMSG #esoteric :14[[07Fscratch14]]4 M10 02https://esolangs.org/w/index.php?diff=74645&oldid=74438 5* 03DmilkaSTD 5* (+5) 10just "wikified"? < 1593432281 144999 :LKoen!~LKoen@81.255.219.130 QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” > 1593432309 76367 PRIVMSG #esoteric :14[[07BytFuck14]]4 M10 02https://esolangs.org/w/index.php?diff=74646&oldid=74637 5* 03PythonshellDebugwindow 5* (+11) 10 > 1593432348 528722 PRIVMSG #esoteric :14[[07BytFuck14]]4 M10 02https://esolangs.org/w/index.php?diff=74647&oldid=74646 5* 03PythonshellDebugwindow 5* (-24) 10external link -> link > 1593432364 69609 PRIVMSG #esoteric :14[[07BytFuck14]]4 M10 02https://esolangs.org/w/index.php?diff=74648&oldid=74647 5* 03PythonshellDebugwindow 5* (+1) 10 > 1593432553 941431 PRIVMSG #esoteric :14[[07( )fuck14]]4 M10 02https://esolangs.org/w/index.php?diff=74649&oldid=65072 5* 03PythonshellDebugwindow 5* (+108) 10bold + cats > 1593432879 379583 PRIVMSG #esoteric :14[[07Tuplary14]]4 M10 02https://esolangs.org/w/index.php?diff=74650&oldid=71018 5* 03DmilkaSTD 5* (+145) 10links fixed > 1593433041 963903 PRIVMSG #esoteric :14[[07Timefuck14]]4 M10 02https://esolangs.org/w/index.php?diff=74651&oldid=16628 5* 03PythonshellDebugwindow 5* (+228) 10cats + misc > 1593433083 142239 PRIVMSG #esoteric :14[[07Tuplary14]]4 M10 02https://esolangs.org/w/index.php?diff=74652&oldid=74650 5* 03DmilkaSTD 5* (-39) 10links fixed, again > 1593433307 391809 PRIVMSG #esoteric :14[[07Fscratch14]]4 M10 02https://esolangs.org/w/index.php?diff=74653&oldid=74645 5* 03PythonshellDebugwindow 5* (+5) 10/* Essentials */ > 1593433381 233124 PRIVMSG #esoteric :14[[07Fscratch14]]4 M10 02https://esolangs.org/w/index.php?diff=74654&oldid=74653 5* 03PythonshellDebugwindow 5* (+6) 10 > 1593433640 995272 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=74655&oldid=74616 5* 03PythonshellDebugwindow 5* (+490) 10/* LET me PRINT the CURSOR */ < 1593433832 934700 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds > 1593433916 290154 PRIVMSG #esoteric :14[[07HQ9+14]]4 M10 02https://esolangs.org/w/index.php?diff=74656&oldid=71611 5* 03PythonshellDebugwindow 5* (+32) 10/* External resources */ comp class > 1593433976 674878 PRIVMSG #esoteric :14[[072/9 of an esolang14]]4 M10 02https://esolangs.org/w/index.php?diff=74657&oldid=71200 5* 03PythonshellDebugwindow 5* (-24) 10 > 1593434050 534749 PRIVMSG #esoteric :14[[072/9 of an esolang14]]4 M10 02https://esolangs.org/w/index.php?diff=74658&oldid=74657 5* 03PythonshellDebugwindow 5* (+2) 10/* Hello, World! */ header->fix(); > 1593434145 718872 PRIVMSG #esoteric :14[[07Les Accents Franais14]]4 M10 02https://esolangs.org/w/index.php?diff=74659&oldid=55578 5* 03PythonshellDebugwindow 5* (+44) 10emphasis on idea < 1593434186 493328 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric > 1593434318 874382 PRIVMSG #esoteric :14[[07Tuplary14]]4 M10 02https://esolangs.org/w/index.php?diff=74660&oldid=74652 5* 03DmilkaSTD 5* (+841) 10grammar bad < 1593434382 13806 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Ping timeout: 246 seconds > 1593434441 934116 PRIVMSG #esoteric :14[[07Tuplary14]]4 M10 02https://esolangs.org/w/index.php?diff=74661&oldid=74660 5* 03DmilkaSTD 5* (+17) 10grammar bad++ > 1593434516 236121 PRIVMSG #esoteric :14[[07Tuplary14]]4 M10 02https://esolangs.org/w/index.php?diff=74662&oldid=74661 5* 03DmilkaSTD 5* (-9) 10not a stub anymore > 1593434550 372181 PRIVMSG #esoteric :14[[07Z314]]4 M10 02https://esolangs.org/w/index.php?diff=74663&oldid=61294 5* 03PythonshellDebugwindow 5* (+29) 10 > 1593434645 742346 PRIVMSG #esoteric :14[[07ThisIsNotARealLanguage14]]4 M10 02https://esolangs.org/w/index.php?diff=74664&oldid=74644 5* 03PythonshellDebugwindow 5* (+51) 10 > 1593434659 610857 PRIVMSG #esoteric :14[[07Tuplary14]]4 M10 02https://esolangs.org/w/index.php?diff=74665&oldid=74662 5* 03DmilkaSTD 5* (+37) 10 > 1593434711 914752 PRIVMSG #esoteric :14[[07SBN14]]4 M10 02https://esolangs.org/w/index.php?diff=74666&oldid=74635 5* 03PythonshellDebugwindow 5* (-9) 10 > 1593434753 81726 PRIVMSG #esoteric :14[[07Tuplary14]]4 M10 02https://esolangs.org/w/index.php?diff=74667&oldid=74665 5* 03DmilkaSTD 5* (+386) 10added palindrom example > 1593434793 305596 PRIVMSG #esoteric :14[[07Tuplary14]]4 M10 02https://esolangs.org/w/index.php?diff=74668&oldid=74667 5* 03DmilkaSTD 5* (+15) 10everyone makes oopsies > 1593434884 667448 PRIVMSG #esoteric :14[[07Tuplary14]]4 M10 02https://esolangs.org/w/index.php?diff=74669&oldid=74668 5* 03DmilkaSTD 5* (-29) 10+palindrom > 1593434923 7571 PRIVMSG #esoteric :14[[07Tuplary14]]4 M10 02https://esolangs.org/w/index.php?diff=74670&oldid=74669 5* 03DmilkaSTD 5* (+15) 10palindrom sequel movie hd > 1593434952 841742 PRIVMSG #esoteric :14[[07+14]]4 M10 02https://esolangs.org/w/index.php?diff=74671&oldid=49038 5* 03PythonshellDebugwindow 5* (+798) 10 > 1593435044 285153 PRIVMSG #esoteric :14[[07Encapsulation14]]4 M10 02https://esolangs.org/w/index.php?diff=74672&oldid=74639 5* 03PythonshellDebugwindow 5* (+39) 10/* Interpreters */ > 1593435088 19157 PRIVMSG #esoteric :14[[07Intramodular Transaction14]]4 M10 02https://esolangs.org/w/index.php?diff=74673&oldid=70613 5* 03PythonshellDebugwindow 5* (+34) 10/* Interpreters */ > 1593435100 501027 PRIVMSG #esoteric :14[[07Intramodular Transaction14]]4 M10 02https://esolangs.org/w/index.php?diff=74674&oldid=74673 5* 03PythonshellDebugwindow 5* (-10) 10unpipe > 1593435187 641104 PRIVMSG #esoteric :14[[07Laser14]]4 M10 02https://esolangs.org/w/index.php?diff=74675&oldid=74636 5* 03PythonshellDebugwindow 5* (+108) 10cats,link,bold > 1593435308 586053 PRIVMSG #esoteric :14[[07XENBLN14]]4 M10 02https://esolangs.org/w/index.php?diff=74676&oldid=73269 5* 03PythonshellDebugwindow 5* (+72) 10/* Loop until the user says "stop" (case-insensitive) (9 bytes) */ > 1593435386 259416 PRIVMSG #esoteric :14[[07XENBLN/Commands14]]4 M10 02https://esolangs.org/w/index.php?diff=74677&oldid=72974 5* 03PythonshellDebugwindow 5* (+30) 10 > 1593435498 661154 PRIVMSG #esoteric :14[[07XENBLN/Commands14]]4 M10 02https://esolangs.org/w/index.php?diff=74678&oldid=74677 5* 03PythonshellDebugwindow 5* (+2) 10update commands (did anything change?) > 1593435515 594710 PRIVMSG #esoteric :14[[07XENBLN14]]4 M10 02https://esolangs.org/w/index.php?diff=74679&oldid=74676 5* 03PythonshellDebugwindow 5* (+2) 10/* Commands */ > 1593435553 859112 PRIVMSG #esoteric :14[[07Tuplary14]]4 M10 02https://esolangs.org/w/index.php?diff=74680&oldid=74670 5* 03DmilkaSTD 5* (+190) 10meh < 1593435702 124150 :rain1!~rain1@unaffiliated/rain1 QUIT :Quit: Leaving > 1593435885 827968 PRIVMSG #esoteric :14[[07XENBLN/Commands14]]4 M10 02https://esolangs.org/w/index.php?diff=74681&oldid=74678 5* 03PythonshellDebugwindow 5* (+2) 10 < 1593436081 494335 :rain1!~rain1@unaffiliated/rain1 JOIN :#esoteric > 1593436117 767249 PRIVMSG #esoteric :14[[07Tuplary14]]4 M10 02https://esolangs.org/w/index.php?diff=74682&oldid=74680 5* 03DmilkaSTD 5* (+268) 10+chars doc > 1593436184 459267 PRIVMSG #esoteric :14[[07User:DmilkaSTD14]]4 M10 02https://esolangs.org/w/index.php?diff=74683&oldid=74484 5* 03DmilkaSTD 5* (+29) 10+tuplary > 1593436226 734787 PRIVMSG #esoteric :14[[07Tuplary14]]4 M10 02https://esolangs.org/w/index.php?diff=74684&oldid=74682 5* 03DmilkaSTD 5* (+1) 10oopsy daisy > 1593436238 411210 PRIVMSG #esoteric :14[[07Tuplary14]]4 M10 02https://esolangs.org/w/index.php?diff=74685&oldid=74684 5* 03DmilkaSTD 5* (+1) 10? > 1593436338 199856 PRIVMSG #esoteric :14[[07+14]]4 M10 02https://esolangs.org/w/index.php?diff=74686&oldid=74671 5* 03PythonshellDebugwindow 5* (+84) 10/* External resources */ < 1593436373 816466 :cpressey!~cpressey@88.144.93.57 JOIN :#esoteric > 1593436444 470389 PRIVMSG #esoteric :14[[07Tuplary14]]4 M10 02https://esolangs.org/w/index.php?diff=74687&oldid=74685 5* 03DmilkaSTD 5* (+60) 10+hi > 1593436943 938589 PRIVMSG #esoteric :14[[07Tuplary14]]4 M10 02https://esolangs.org/w/index.php?diff=74688&oldid=74687 5* 03DmilkaSTD 5* (+270) 10im going to end it later < 1593437497 916692 :cpressey!~cpressey@88.144.93.57 PRIVMSG #esoteric :arseniiv: One of the things I like about Tandem is that it seems to lend itself to variations, e.g. some of the decisions you made in implementation would also be reasonable variations. If you remove the ls...->t form, then you do have the property that, the state was changed iff the rule succeeded. But then the main distinction between 0 and 1 is erased, and I don't know where that leads to algebraically. < 1593437536 472735 :arseniiv!~arseniiv@178.214.245.186 PRIVMSG #esoteric :cpressey: hi! < 1593437539 402967 :cpressey!~cpressey@88.144.93.57 PRIVMSG #esoteric :btw I made a small change to the language (labels can be strings, not just characters). Not really worth implementing (unless you want to generate Tandem code using some other program) < 1593437544 747224 :cpressey!~cpressey@88.144.93.57 PRIVMSG #esoteric :hi! < 1593438370 632252 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-jmhwavtpwlgnzlgw QUIT :Quit: killed < 1593438372 574873 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-qhcarlsqwaltjvcf QUIT :Quit: killed < 1593438385 130613 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-clrjgffdvjuyssuf QUIT :Quit: killed > 1593438745 293952 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=74689&oldid=74655 5* 03PythonshellDebugwindow 5* (+75) 10/* LET me PRINT the CURSOR */ < 1593438823 553255 :Melvar!~melvar@dslb-084-063-063-106.084.063.pools.vodafone-ip.de JOIN :#esoteric < 1593439079 135936 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com QUIT :Quit: impomatic < 1593439092 521370 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com JOIN :#esoteric < 1593439347 179865 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com QUIT :Client Quit < 1593439361 621348 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com JOIN :#esoteric < 1593439637 456758 :cpressey!~cpressey@88.144.93.57 PRIVMSG #esoteric :arseniiv: Named rules is also interesting to consider (mainly as a way to define infinite rewriting rules (like you observed in asteration being 1 | R | R&R | etc.)) I have no idea where that goes. < 1593439695 43150 :arseniiv!~arseniiv@178.214.245.186 PRIVMSG #esoteric :I’d hope named rules don’t add anything special, as there is asteration already and the language is TC already, but I think they may add something… < 1593439734 372440 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-dktmjpgroigzogmo JOIN :#esoteric < 1593439820 697309 :cpressey!~cpressey@88.144.93.57 PRIVMSG #esoteric :Well, originally, my idea was sort of a semiring awkwardly stuck halfway between a Kleene algebra and a distributive lattice. To make it work out, I pushed it towards Kleene algebra. But pushing it the other way would also be interesting -- somehow make & and | distribute over each other. Having infinite rewriting rules might fit in well there (but that's just a hunch.) < 1593439939 902936 :cpressey!~cpressey@88.144.93.57 PRIVMSG #esoteric :(Because there you wouldn't have asteration, but you'd still want to iterate the rewriting somehow, and maybe infinite rules could do that, maybe.) < 1593440023 708158 :cpressey!~cpressey@88.144.93.57 PRIVMSG #esoteric :Well, obviously they could if you could define asteration using them. < 1593440052 592844 :cpressey!~cpressey@88.144.93.57 PRIVMSG #esoteric :I don't think I'm quite up for thinking about this though, not at the moment < 1593440089 967959 :cpressey!~cpressey@88.144.93.57 PRIVMSG #esoteric :I just learned a little about Chu spaces and they are... very interesting. > 1593440483 350161 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=74690&oldid=74689 5* 03PythonshellDebugwindow 5* (+470) 10/* LET me PRINT the CURSOR */ < 1593440528 110059 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric < 1593441901 766354 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-lqllbqqtknjzvyzo JOIN :#esoteric < 1593441902 411485 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-hztufipkkhhpuymn JOIN :#esoteric < 1593442056 566998 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 258 seconds < 1593442161 980532 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1593442430 41668 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 246 seconds < 1593443110 955343 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric > 1593445228 662125 PRIVMSG #esoteric :14[[07Tandem14]]4 10 02https://esolangs.org/w/index.php?diff=74691&oldid=74640 5* 03Chris Pressey 5* (+150) 10/* Syntax */ Clarify role of whitespace. Other tweaks. > 1593445588 805031 PRIVMSG #esoteric :14[[07Tandem14]]4 10 02https://esolangs.org/w/index.php?diff=74692&oldid=74691 5* 03Chris Pressey 5* (+675) 10/* Implementing Automata in Tandem */ Show how a Minsky machine can be implemented. < 1593445873 300633 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net QUIT :Read error: Connection reset by peer < 1593446275 575837 :cpressey!~cpressey@88.144.93.57 QUIT :Quit: WeeChat 1.9.1 > 1593447175 988553 PRIVMSG #esoteric :14[[07Tuplary14]]4 M10 02https://esolangs.org/w/index.php?diff=74693&oldid=74688 5* 03PythonshellDebugwindow 5* (+24) 10cat /* External resources */ < 1593449234 500184 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com QUIT :Read error: Connection reset by peer < 1593449268 481362 :arseniiv!~arseniiv@178.214.245.186 PRIVMSG #esoteric :=> As such it is a model of Jean-Yves Girard's linear logic (Girard 1987).” < 1593449272 156821 :arseniiv!~arseniiv@178.214.245.186 PRIVMSG #esoteric :oops < 1593449305 558267 :arseniiv!~arseniiv@178.214.245.186 PRIVMSG #esoteric : I just learned a little about Chu spaces and they are... very interesting. => oh! “As such it is a model of Jean-Yves Girard's linear logic (Girard 1987).” < 1593451913 492929 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Remote host closed the connection < 1593451978 518166 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1593452711 25738 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com JOIN :#esoteric < 1593452851 220340 :b_jonas!~x@catv-176-63-12-40.catv.broadband.hu JOIN :#esoteric > 1593455109 237222 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Gogotron 5* 10New user account < 1593455125 850188 :adu!~arobbins@h46.143.101.208.dynamic.ip.windstream.net JOIN :#esoteric > 1593455567 751526 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=74694&oldid=74285 5* 03Gogotron 5* (+245) 10 > 1593455741 469421 PRIVMSG #esoteric :14[[07Piet14]]4 M10 02https://esolangs.org/w/index.php?diff=74695&oldid=73635 5* 03Gogotron 5* (-1) 10The direction pointer doesn't start at the upper-right-most codel, but the upper-left-most codel. If it started on the right, facing right, it would just hit the edge of the image. < 1593458655 817445 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: brb < 1593458711 943345 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1593459150 240469 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: brb < 1593459223 988978 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric > 1593459289 526708 PRIVMSG #esoteric :14[[07Binary to unary conversion14]]4 M10 02https://esolangs.org/w/index.php?diff=74696&oldid=53232 5* 03PythonshellDebugwindow 5* (+1) 10 > 1593459476 994606 PRIVMSG #esoteric :14[[07MinISCule14]]4 M10 02https://esolangs.org/w/index.php?diff=74697&oldid=65537 5* 03PythonshellDebugwindow 5* (+21) 10/* External resources */ cAt > 1593459479 994818 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/(Unnamed language)14]]4 M10 02https://esolangs.org/w/index.php?diff=74698&oldid=74605 5* 03PythonshellDebugwindow 5* (+1919) 10 < 1593460089 939938 :imode!~linear@unaffiliated/imode JOIN :#esoteric > 1593460229 91523 PRIVMSG #esoteric :14[[07Printf14]]4 M10 02https://esolangs.org/w/index.php?diff=74699&oldid=70964 5* 03PythonshellDebugwindow 5* (+122) 10 > 1593460259 341423 PRIVMSG #esoteric :14[[07Printf14]]4 M10 02https://esolangs.org/w/index.php?diff=74700&oldid=74699 5* 03PythonshellDebugwindow 5* (+0) 10 > 1593460265 972331 PRIVMSG #esoteric :14[[07Printf14]]4 M10 02https://esolangs.org/w/index.php?diff=74701&oldid=74700 5* 03PythonshellDebugwindow 5* (-1) 10CA > 1593460347 668546 PRIVMSG #esoteric :14[[07Pedo14]]4 M10 02https://esolangs.org/w/index.php?diff=74702&oldid=38897 5* 03PythonshellDebugwindow 5* (+65) 10 < 1593461270 434862 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric > 1593461575 269655 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/(Unnamed language)14]]4 M10 02https://esolangs.org/w/index.php?diff=74703&oldid=74698 5* 03PythonshellDebugwindow 5* (+1017) 10 > 1593461631 2340 PRIVMSG #esoteric :14[[07Totally Accurate Malbolge14]]4 M10 02https://esolangs.org/w/index.php?diff=74704&oldid=66250 5* 03PythonshellDebugwindow 5* (+48) 10/* Implementations */ > 1593461672 533536 PRIVMSG #esoteric :14[[07Total BF14]]4 M10 02https://esolangs.org/w/index.php?diff=74705&oldid=52146 5* 03PythonshellDebugwindow 5* (+35) 10 > 1593461689 225881 PRIVMSG #esoteric :14[[07Total Vacuum14]]4 M10 02https://esolangs.org/w/index.php?diff=74706&oldid=49790 5* 03PythonshellDebugwindow 5* (+31) 10 < 1593464046 328339 :adu!~arobbins@h46.143.101.208.dynamic.ip.windstream.net QUIT :Quit: adu < 1593464135 198134 :adu!~arobbins@h46.143.101.208.dynamic.ip.windstream.net JOIN :#esoteric < 1593464512 136219 :rain1!~rain1@unaffiliated/rain1 QUIT :Quit: Leaving > 1593464617 372674 PRIVMSG #esoteric :14[[07Gibberish/JavaScript/HTML interpreter14]]4 10 02https://esolangs.org/w/index.php?diff=74707&oldid=42724 5* 03PythonshellDebugwindow 5* (+3) 10 > 1593464717 943623 PRIVMSG #esoteric :14[[07Gibberish/JavaScript/Escape sequence14]]4 M10 02https://esolangs.org/w/index.php?diff=74708&oldid=42734 5* 03PythonshellDebugwindow 5* (+31) 10 > 1593464900 328120 PRIVMSG #esoteric :14[[07Esolang:Categorization14]]4 M10 02https://esolangs.org/w/index.php?diff=74709&oldid=74256 5* 03PythonshellDebugwindow 5* (+34) 10/* Languages */ Somehow I doubt this category was approved... > 1593465005 66009 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/(Unnamed language)14]]4 M10 02https://esolangs.org/w/index.php?diff=74710&oldid=74703 5* 03PythonshellDebugwindow 5* (-2936) 10Blanked the page > 1593465029 801760 PRIVMSG #esoteric :14[[07Interstack14]]4 N10 02https://esolangs.org/w/index.php?oldid=74711 5* 03PythonshellDebugwindow 5* (+2972) 10add Interstack > 1593465070 630819 PRIVMSG #esoteric :14[[07Brainstack14]]4 M10 02https://esolangs.org/w/index.php?diff=74712&oldid=70682 5* 03PythonshellDebugwindow 5* (-17) 10/* Categories */ rm needless header > 1593465107 584792 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=74713&oldid=74610 5* 03PythonshellDebugwindow 5* (+65) 10/* Languages */ > 1593465136 541180 PRIVMSG #esoteric :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=74714&oldid=74628 5* 03PythonshellDebugwindow 5* (+17) 10/* I */ + [[Interstack]] > 1593465200 647012 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=74715&oldid=74713 5* 03PythonshellDebugwindow 5* (+19) 10/* Languages */ < 1593466531 6625 :adu!~arobbins@h46.143.101.208.dynamic.ip.windstream.net QUIT :Quit: adu > 1593467219 174177 PRIVMSG #esoteric :14[[07Transposed14]]4 10 02https://esolangs.org/w/index.php?diff=74716&oldid=74633 5* 03ZippyMagician 5* (-30) 10Update factorial program < 1593468972 221733 :LKoen!~LKoen@81.255.219.130 QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1593469408 979199 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1593469434 951785 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 256 seconds < 1593469489 747757 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1593470169 677051 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Remote host closed the connection < 1593470420 873479 :arseniiv_!~arseniiv@77.79.179.64.dynamic.ufanet.ru JOIN :#esoteric < 1593470586 863907 :arseniiv!~arseniiv@178.214.245.186 QUIT :Ping timeout: 256 seconds < 1593471305 23029 :aloril!~aloril@mobile-access-b0480e-37.dhcp.inet.fi QUIT :Ping timeout: 256 seconds < 1593471433 855427 :arseniiv_!~arseniiv@77.79.179.64.dynamic.ufanet.ru QUIT :Ping timeout: 264 seconds < 1593471473 404321 :aloril!~aloril@mobile-access-b0480e-37.dhcp.inet.fi JOIN :#esoteric > 1593472476 41083 PRIVMSG #esoteric :14[[07Esolang:Categorization14]]4 10 02https://esolangs.org/w/index.php?diff=74717&oldid=74709 5* 03IFcoltransG 5* (+6) 10/* Paradigm */ Alerted people to the fact that Turning is not a typo of Turing < 1593472508 434497 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net JOIN :#esoteric > 1593472743 129786 PRIVMSG #esoteric :14[[07TECO14]]4 N10 02https://esolangs.org/w/index.php?oldid=74718 5* 03IFcoltransG 5* (+1268) 10Created page with "{{serious|URL=TECO_(text_editor)#As_a_programming_language}} '''TECO''' is a 1963 language created for use in the text editor of the same name, designed for performing arbitr..." > 1593474126 595715 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/(Unnamed language)14]]4 M10 02https://esolangs.org/w/index.php?diff=74719&oldid=74710 5* 03PythonshellDebugwindow 5* (+314) 10