< 1528329772 515797 :LKoen!~LKoen@2a01:e35:2eed:a430:f478:f47a:cb59:821 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.” < 1528330236 315273 :imode1!~imode@unaffiliated/imode QUIT :Quit: WeeChat 2.1 < 1528330254 215493 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1528333055 585409 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer > 1528339223 160937 PRIVMSG #esoteric :14[[07TPPL14]]4 10 02https://esolangs.org/w/index.php?diff=55581&oldid=55562 5* 03Saka 5* (+140) 10/* Instructions */SPIN < 1528341176 546134 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1528342762 29457 :Naergon!~Naergon@unaffiliated/naergon QUIT :Ping timeout: 264 seconds < 1528344600 785590 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1528344973 514079 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I'm having a crisis. < 1528346640 397113 :Naergon!~Naergon@92.40.249.60.threembb.co.uk JOIN :#esoteric < 1528347095 20480 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :so I've been going through some automata theory recently, trying to soak up all I can from a bunch of resources, and looking into odd automata. < 1528347111 125081 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :2-stack PDAs, queue automata, storage modification machines, the works. < 1528347156 946463 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :something I've been frustrated at is that nobody seems to be doing anything "practical" with these machines outside of simulating a TM tape. < 1528347200 513248 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :so for something like a queue automata, I don't know what an addition algorithm for two binary numbers looks like using purely the queue, but I know what the translated-from-a-TM version looks like with a marker to mark the end of the tape. < 1528347285 387759 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :why in the world did you bother then? sure, you showed that these models are TC, but is the end goal of using these models to just simulate a TM tape, plop down the equivalent transitions and call it a day? < 1528347350 106998 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :are turing machines really the simplest universal automata that can be devised? every other model just seems to target them! < 1528347361 283846 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :apart from register machines and counter machines and such. < 1528347383 811899 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :just seems like if you go any lower you hit a point where you have to abstract upwards to a TM and its tape. < 1528347471 68954 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I guess you could argue there are varying forms of complexity (in terms of step counts and such for simple operations) but if you're abstracting upwards you're always going to be slower than a TM! > 1528347929 926905 PRIVMSG #esoteric :14[[07TPPL14]]4 M10 02https://esolangs.org/w/index.php?diff=55582&oldid=55581 5* 03Saka 5* (+12) 10bold < 1528347940 219174 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I just really wonder if there's a point of finding smaller and smaller models of computation if we're just going to do all of our work by simulating a TM. < 1528348247 323946 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1528349114 493604 :imode1!~imode@unaffiliated/imode JOIN :#esoteric < 1528349237 212941 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 245 seconds > 1528349606 342516 PRIVMSG #esoteric :14[[07Between14]]4 N10 02https://esolangs.org/w/index.php?oldid=55583 5* 03Saka 5* (+2430) 10New > 1528349633 460972 PRIVMSG #esoteric :14[[07User:Saka14]]4 10 02https://esolangs.org/w/index.php?diff=55584&oldid=55568 5* 03Saka 5* (+14) 10 < 1528353105 287685 :imode2!~imode@unaffiliated/imode JOIN :#esoteric < 1528353305 460919 :imode1!~imode@unaffiliated/imode QUIT :Ping timeout: 260 seconds < 1528353627 220942 :imode2!~imode@unaffiliated/imode QUIT :Quit: WeeChat 2.1 < 1528353646 483695 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1528354321 340831 :variable!~variable@freebsd/developer/variable QUIT :Quit: /dev/null is full < 1528354996 664002 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1528355956 497364 :joast!~rick@cpe-98-145-132-215.natnow.res.rr.com QUIT :Ping timeout: 244 seconds < 1528356325 489328 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 256 seconds < 1528357910 397935 :arseniiv!~arseniiv@77.79.183.142.dynamic.ufanet.ru JOIN :#esoteric < 1528358856 699368 :myname!~myname@ks300980.kimsufi.com QUIT :Ping timeout: 256 seconds < 1528359562 802609 :myname!~myname@ks300980.kimsufi.com JOIN :#esoteric < 1528362478 125174 :sftp!~sftp@unaffiliated/sftp QUIT :Ping timeout: 260 seconds < 1528362530 427292 :sftp!~sftp@unaffiliated/sftp JOIN :#esoteric > 1528363511 418688 PRIVMSG #esoteric :14[[07Talk:Between14]]4 N10 02https://esolangs.org/w/index.php?oldid=55585 5* 03Plokmijnuhby 5* (+246) 10Created page with "Your truth machine suggests i inputs an integer. Is this correct, and if so is there any way to change it to string? Also is there any way to take the nth character of a strin..." < 1528363556 895379 :nobody_!b2e91c60@gateway/web/freenode/ip.178.233.28.96 JOIN :#esoteric < 1528363562 787437 :nobody_!b2e91c60@gateway/web/freenode/ip.178.233.28.96 PRIVMSG #esoteric :hi < 1528363576 24091 :nobody_!b2e91c60@gateway/web/freenode/ip.178.233.28.96 QUIT :Client Quit > 1528363632 379433 PRIVMSG #esoteric :14[[07Talk:Between14]]4 10 02https://esolangs.org/w/index.php?diff=55586&oldid=55585 5* 03Plokmijnuhby 5* (+91) 10 < 1528366455 378970 :xkapastel!uid17782@gateway/web/irccloud.com/x-fwohxfhqqpoaczmk QUIT :Quit: Connection closed for inactivity > 1528371586 371093 PRIVMSG #esoteric :14[[07Between14]]4 10 02https://esolangs.org/w/index.php?diff=55587&oldid=55583 5* 03Saka 5* (+4) 10/* Truth Machine */ fix > 1528371635 943340 PRIVMSG #esoteric :14[[07Talk:Between14]]4 10 02https://esolangs.org/w/index.php?diff=55588&oldid=55586 5* 03Saka 5* (+235) 10 > 1528371875 85737 PRIVMSG #esoteric :14[[07Between14]]4 10 02https://esolangs.org/w/index.php?diff=55589&oldid=55587 5* 03Saka 5* (+120) 10/* Operations */ C < 1528372170 464306 :APic!apic@apic.name QUIT :Ping timeout: 260 seconds > 1528372182 596167 PRIVMSG #esoteric :14[[07Talk:TPPL14]]4 10 02https://esolangs.org/w/index.php?diff=55590&oldid=55521 5* 03Saka 5* (+141) 10 < 1528373214 295090 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1528374224 941266 :APic!apic@apic.name JOIN :#esoteric < 1528374935 967779 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Quit: Leaving < 1528375569 448067 :joast!~rick@cpe-98-145-132-215.natnow.res.rr.com JOIN :#esoteric < 1528376433 461521 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric > 1528376992 954467 PRIVMSG #esoteric :14[[07Talk:Between14]]4 10 02https://esolangs.org/w/index.php?diff=55591&oldid=55588 5* 03Plokmijnuhby 5* (+448) 10 > 1528377764 235094 PRIVMSG #esoteric :14[[07Talk:Between14]]4 10 02https://esolangs.org/w/index.php?diff=55592&oldid=55591 5* 03Saka 5* (+170) 10 > 1528379464 245381 PRIVMSG #esoteric :14[[07Talk:Between14]]4 M10 02https://esolangs.org/w/index.php?diff=55593&oldid=55592 5* 03Saka 5* (+69) 10forgot sig > 1528379544 31469 PRIVMSG #esoteric :14[[07TPPL14]]4 10 02https://esolangs.org/w/index.php?diff=55594&oldid=55582 5* 03Saka 5* (+127) 10/* Instructions */ COPY < 1528383512 251888 :moony!moony@unaffiliated/moonythedwarf QUIT :Ping timeout: 245 seconds < 1528383605 433205 :ATMunn!ATMunn@unaffiliated/atmunn QUIT :Ping timeout: 240 seconds < 1528383612 255808 :Bowserinator!Bowserinat@unaffiliated/bowserinator QUIT :Ping timeout: 245 seconds < 1528383632 479991 :xkapastel!uid17782@gateway/web/irccloud.com/x-vmusfsosantwjiaw JOIN :#esoteric < 1528384041 21355 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric : Vorpal: hm I even boldly suggest CADD have 5 arguments, #−1, #0, #1, #2, #3, all #−1..#1 should be nonzero to make addition <-- huh? < 1528384115 39053 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric : oh, we couldn’t switch on/off _any_ code, could you add another argument to CADD, so that it will be <-- hm, can't you switch off a variable currently? Setting it to zero? < 1528384123 698439 :ATMunn!ATMunn@unaffiliated/atmunn JOIN :#esoteric < 1528384130 357167 :Bowserinator!Bowserinat@unaffiliated/bowserinator JOIN :#esoteric < 1528384137 360794 :moony!moony@unaffiliated/moonythedwarf JOIN :#esoteric < 1528384150 416265 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :@messageds < 1528384151 954135 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :@messages < 1528384152 95351 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :You don't have any messages < 1528384166 534749 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1528384241 987089 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :@tell arseniiv okay will look at that tomorrow, busy this evening. But CHLT shouldn't be needed, You could define halting as when no instruction was executed during the last iteration. At that point it is obvious nothing more can happen < 1528384242 73298 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1528385440 912151 :idris-bot!~idris-bot@dslb-002-203-077-053.002.203.pools.vodafone-ip.de QUIT :Quit: Terminated < 1528385500 48883 :Melvar!~melvar@dslb-002-203-077-053.002.203.pools.vodafone-ip.de QUIT :Quit: thunderstorm < 1528385614 348820 :moony!moony@unaffiliated/moonythedwarf QUIT :Ping timeout: 265 seconds < 1528386518 715961 :moony!moony@unaffiliated/moonythedwarf JOIN :#esoteric < 1528386569 976639 :arseniiv!~arseniiv@77.79.183.142.dynamic.ufanet.ru PRIVMSG #esoteric :hm, can't you switch off a variable currently? Setting it to zero?> can and do in gist linked, but it’s not enough (I suppose) < 1528386790 625000 :arseniiv!~arseniiv@77.79.183.142.dynamic.ufanet.ru PRIVMSG #esoteric :t could be it’s just my faulty implementation idea, but I couldn’t think of something else < 1528386837 861613 :arseniiv!~arseniiv@77.79.183.142.dynamic.ufanet.ru PRIVMSG #esoteric :Vorpal: ^ < 1528388079 341626 :Naergon!~Naergon@92.40.249.60.threembb.co.uk QUIT :Ping timeout: 265 seconds < 1528388337 712264 :moony!moony@unaffiliated/moonythedwarf QUIT :Ping timeout: 240 seconds < 1528388675 356939 :moony!moony@unaffiliated/moonythedwarf JOIN :#esoteric < 1528390023 63550 :myname!~myname@ks300980.kimsufi.com QUIT :Remote host closed the connection < 1528390029 501079 :myname!~myname@ks300980.kimsufi.com JOIN :#esoteric < 1528390689 361154 :moony!moony@unaffiliated/moonythedwarf QUIT :Ping timeout: 265 seconds < 1528390767 702438 :ATMunn!ATMunn@unaffiliated/atmunn QUIT :Ping timeout: 240 seconds < 1528390805 360508 :Bowserinator!Bowserinat@unaffiliated/bowserinator QUIT :Ping timeout: 265 seconds < 1528391224 51262 :Melvar!~melvar@dslb-002-203-077-053.002.203.pools.vodafone-ip.de JOIN :#esoteric < 1528391432 772741 :Bowserinator!Bowserinat@unaffiliated/bowserinator JOIN :#esoteric < 1528391445 722515 :ATMunn!ATMunn@unaffiliated/atmunn JOIN :#esoteric < 1528391458 729885 :moony!moony@unaffiliated/moonythedwarf JOIN :#esoteric < 1528392085 466340 :zzo38!~zzo38@24-207-13-153.eastlink.ca QUIT :Ping timeout: 260 seconds < 1528392731 233527 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1528393784 689193 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( The next 500 markup languages. ) < 1528394277 689334 :ATMunn!ATMunn@unaffiliated/atmunn QUIT :Ping timeout: 240 seconds < 1528394607 212715 :ATMunn!ATMunn@unaffiliated/atmunn JOIN :#esoteric < 1528395180 44868 :moonythedwarf!~moony@unaffiliated/moonythedwarf JOIN :#esoteric < 1528395231 299032 :ATMunn!ATMunn@unaffiliated/atmunn QUIT :Ping timeout: 240 seconds < 1528395380 182304 :moonythedwarf!~moony@unaffiliated/moonythedwarf QUIT :Client Quit < 1528395574 237248 :ATMunn!ATMunn@unaffiliated/atmunn JOIN :#esoteric < 1528395694 215264 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1528397587 230009 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 245 seconds < 1528398032 720114 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :arseniiv: fair enough, okay < 1528398040 230405 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :will have to look in it further tomorrow < 1528398053 266964 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1528402376 808757 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1528403032 165059 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 260 seconds < 1528403146 324573 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1528404122 314260 :AnotherTest!~turingcom@ptr-82l26ze9t9ky9xp0344.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1528404186 436144 :Naergon!~Naergon@unaffiliated/naergon JOIN :#esoteric < 1528405015 311061 :AnotherTest!~turingcom@ptr-82l26ze9t9ky9xp0344.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 245 seconds < 1528405234 290165 :uplime!nchambers@learnprogramming/staff/nchambers NICK :nchambers < 1528406089 366661 :arseniiv!~arseniiv@77.79.183.142.dynamic.ufanet.ru QUIT :Ping timeout: 256 seconds < 1528406668 368958 :imode1!~imode@unaffiliated/imode JOIN :#esoteric < 1528406841 321932 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 240 seconds < 1528407353 755851 :AnotherTest!~turingcom@ptr-82l26ze9t9ky9xp0344.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1528407702 354338 :idris-bot!~idris-bot@dslb-002-203-077-053.002.203.pools.vodafone-ip.de JOIN :#esoteric < 1528407818 705053 :AnotherTest!~turingcom@ptr-82l26ze9t9ky9xp0344.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 276 seconds < 1528407819 550332 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGIRL, dying... < 1528409037 743340 :pikhq!~pikhq@c-73-181-126-9.hsd1.co.comcast.net QUIT :Ping timeout: 240 seconds < 1528409092 436659 :pikhq!~pikhq@c-73-181-126-9.hsd1.co.comcast.net JOIN :#esoteric < 1528410809 438765 :imode1!~imode@unaffiliated/imode QUIT :Quit: WeeChat 2.1 < 1528410824 687029 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1528414995 415029 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer