< 1682985651 707022 :FreeFull!~freefull@46.205.212.119.nat.ftth.dynamic.t-mobile.pl QUIT : < 1682986371 821460 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 260 seconds < 1682986422 439408 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord > 1682993593 954455 PRIVMSG #esolangs :14[[07User:Squidmanescape14]]4 10 02https://esolangs.org/w/index.php?diff=108623&oldid=107242 5* 03Squidmanescape 5* (+100) 10 > 1682995696 374373 PRIVMSG #esolangs :14[[07Danicb14]]4 10 02https://esolangs.org/w/index.php?diff=108624&oldid=108561 5* 03Squidmanescape 5* (+949) 10 > 1682995896 319963 PRIVMSG #esolangs :14[[07Danicb14]]4 10 02https://esolangs.org/w/index.php?diff=108625&oldid=108624 5* 03Squidmanescape 5* (+29) 10/* Under-the-Hood */ < 1683001314 628080 :slavfox!~slavfox@93.158.232.111 QUIT :Quit: ZNC 1.8.2 - https://znc.in < 1683001529 197368 :slavfox!~slavfox@93.158.232.111 JOIN #esolangs slavfox :slavfox > 1683002925 506750 PRIVMSG #esolangs :14[[07Talk:Cratefuck14]]4 10 02https://esolangs.org/w/index.php?diff=108626&oldid=108028 5* 03Salpynx 5* (+6135) 10TC proof via Minsky machine simulation. A finite number of crates can represent 3 registers on an unbounded number line. < 1683003089 527866 :example99!~example99@2001:9e8:e1ce:cb00:ed71:55f7:90d5:8433 JOIN #esolangs * :[https://web.libera.chat] example99 < 1683003089 528242 :example99!~example99@2001:9e8:e1ce:cb00:ed71:55f7:90d5:8433 PRIVMSG #esolangs :hi > 1683003251 961788 PRIVMSG #esolangs :14[[07Cratefuck14]]4 10 02https://esolangs.org/w/index.php?diff=108627&oldid=108596 5* 03Salpynx 5* (-8) 10/* Implementations */ TC cat is back. I had a suspicion this was TC, but the other proof only demonstrated BSM. This is still a neat lang because it strongly suggests bounded Turning machine. Needs a sokoban interpreter. < 1683003733 487519 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :What should a subtype of battles be called in Magic: the Gathering, if the protector can change so that any player can attack it (including both players, in a two player game), instead of only one? < 1683006112 109445 :example99!~example99@2001:9e8:e1ce:cb00:ed71:55f7:90d5:8433 QUIT :Quit: Client closed < 1683008000 210011 :^[!~user@user//x-8473491 QUIT :Ping timeout: 248 seconds > 1683008122 674830 PRIVMSG #esolangs :14[[07ShortO14]]4 10 02https://esolangs.org/w/index.php?diff=108628&oldid=108611 5* 03MasterWoodie 5* (+26) 10/* FizzBuzz */ > 1683008327 501405 PRIVMSG #esolangs :14[[07Branchback14]]4 10 02https://esolangs.org/w/index.php?diff=108629&oldid=99122 5* 03Squidmanescape 5* (+24) 10 < 1683010199 146527 :river!river@tilde.team/user/river PRIVMSG #esolangs :https://www.youtube.com/watch?v=Ae9EKCyI1xU < 1683013829 73021 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer > 1683013968 661191 PRIVMSG #esolangs :14[[07Branchback14]]4 10 02https://esolangs.org/w/index.php?diff=108630&oldid=108629 5* 03Squidmanescape 5* (+485) 10/* Description */ > 1683014555 612186 PRIVMSG #esolangs :14[[07Branchback14]]4 10 02https://esolangs.org/w/index.php?diff=108631&oldid=108630 5* 03Squidmanescape 5* (+678) 10/* Description */ > 1683014579 218325 PRIVMSG #esolangs :14[[07Branchback14]]4 10 02https://esolangs.org/w/index.php?diff=108632&oldid=108631 5* 03Squidmanescape 5* (+3) 10/* Description */ > 1683014678 112102 PRIVMSG #esolangs :14[[07(top, height)14]]4 10 02https://esolangs.org/w/index.php?diff=108633&oldid=108595 5* 03Squidmanescape 5* (-25) 10 > 1683021326 965822 PRIVMSG #esolangs :14[[07Tablebase14]]4 M10 02https://esolangs.org/w/index.php?diff=108634&oldid=108616 5* 03Kaveh Yousefi 5* (+6) 10Amended the grammar in a few locations. > 1683021553 479633 PRIVMSG #esolangs :14[[07BRUH14]]4 M10 02https://esolangs.org/w/index.php?diff=108635&oldid=99890 5* 03Kaveh Yousefi 5* (+0) 10Improved the orthography by substituting Is with is. > 1683022371 666400 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Allen Allen 5* 10New user account < 1683025024 119735 :sprout_!~quassel@2a02-a448-3a80-1-80a0-5eee-5080-55d.fixed6.kpn.net JOIN #esolangs * :sprout < 1683025235 803275 :sprout!~quassel@2a02-a448-3a80-1-95d8-6f47-7e50-a25d.fixed6.kpn.net QUIT :Ping timeout: 260 seconds < 1683025531 404912 :sprout_!~quassel@2a02-a448-3a80-1-80a0-5eee-5080-55d.fixed6.kpn.net NICK :sprout > 1683026203 372426 PRIVMSG #esolangs :14[[07BRUH14]]4 10 02https://esolangs.org/w/index.php?diff=108636&oldid=108635 5* 03ChuckEsoteric08 5* (-12) 10 > 1683026486 631664 PRIVMSG #esolangs :14[[07VarStack14]]4 M10 02https://esolangs.org/w/index.php?diff=108637&oldid=108556 5* 03ChuckEsoteric08 5* (+3) 10 > 1683026711 115126 PRIVMSG #esolangs :14[[07VarStack14]]4 10 02https://esolangs.org/w/index.php?diff=108638&oldid=108637 5* 03ChuckEsoteric08 5* (+59) 10Fixed BCT interpreter < 1683026778 141866 :Vort|2!kvirc@109.87.25.148 JOIN #esolangs * :5KVIrc 4.2.0 Equilibrium http://kvirc.net/ > 1683026786 427719 PRIVMSG #esolangs :14[[07VarStack14]]4 10 02https://esolangs.org/w/index.php?diff=108639&oldid=108638 5* 03ChuckEsoteric08 5* (-59) 10Undo revision 108638 by [[Special:Contributions/ChuckEsoteric08|ChuckEsoteric08]] ([[User talk:ChuckEsoteric08|talk]]) < 1683026937 972602 :Vort!kvirc@109.87.25.148 QUIT :Ping timeout: 250 seconds > 1683026965 619944 PRIVMSG #esolangs :14[[07EsoInterpreters14]]4 10 02https://esolangs.org/w/index.php?diff=108640&oldid=108605 5* 03ChuckEsoteric08 5* (+436) 10 < 1683029983 432825 :Vort|2!kvirc@109.87.25.148 PART :#esolangs < 1683031380 471052 :raph_ael!~raphael@user/raph-ael/x-7806685 JOIN #esolangs raph_ael :raphael < 1683031382 433747 :raph_ael!~raphael@user/raph-ael/x-7806685 PRIVMSG #esolangs :hi > 1683032722 127998 PRIVMSG #esolangs :14[[07Trainfck14]]4 10 02https://esolangs.org/w/index.php?diff=108641&oldid=108578 5* 03Mujk 5* (+8) 10/* add one (new shorter version) */ < 1683035426 607271 :river!river@tilde.team/user/river PRIVMSG #esolangs :hello raph_ael < 1683037342 453917 :^[!~user@user//x-8473491 JOIN #esolangs ^[ :user < 1683041185 904915 :example99!~example99@2001:9e8:e1ce:cb00:8685:d0a3:a145:1bb1 JOIN #esolangs * :[https://web.libera.chat] example99 < 1683041206 519917 :example99!~example99@2001:9e8:e1ce:cb00:8685:d0a3:a145:1bb1 PRIVMSG #esolangs :hi < 1683041249 909679 :example99!~example99@2001:9e8:e1ce:cb00:8685:d0a3:a145:1bb1 PRIVMSG #esolangs ::] smiley < 1683043593 758104 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1683045338 904381 :example99!~example99@2001:9e8:e1ce:cb00:8685:d0a3:a145:1bb1 QUIT :Ping timeout: 245 seconds < 1683047033 352703 :river!river@tilde.team/user/river PRIVMSG #esolangs :https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=9739304f6c6f12b17d2309cc466bc6f6e981e10a < 1683047038 8540 :river!river@tilde.team/user/river PRIVMSG #esolangs :Complexity of Fractran and Productivity < 1683047052 337156 :river!river@tilde.team/user/river PRIVMSG #esolangs :We prove that the question whether a Fractran program halts < 1683047054 229868 :river!river@tilde.team/user/river PRIVMSG #esolangs :on all positive integers is Π0 < 1683047056 193284 :river!river@tilde.team/user/river PRIVMSG #esolangs :2-complete < 1683047058 184569 :river!river@tilde.team/user/river PRIVMSG #esolangs :??? < 1683047256 885854 :int-e!~noone@int-e.eu PRIVMSG #esolangs :so what's wrong with that? < 1683047267 325091 :river!river@tilde.team/user/river PRIVMSG #esolangs :i thought that was Pi_1 < 1683047277 896449 :river!river@tilde.team/user/river PRIVMSG #esolangs :they're saying it's Pi_2 < 1683047313 502124 :river!river@tilde.team/user/river PRIVMSG #esolangs :im substituting 'fractran' with 'turing machine' in my head, but maybe that matters < 1683047410 184024 :int-e!~noone@int-e.eu PRIVMSG #esolangs :You're missing something else... https://en.wikipedia.org/wiki/Halting_problem#Halting_on_all_inputs < 1683047548 599283 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Oh, hmm. < 1683047761 158004 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Nah, I was confusing myself. I don't see a natural variant of halting that's in Pi_1. > 1683052744 160867 PRIVMSG #esolangs :14[[07Call stack14]]4 10 02https://esolangs.org/w/index.php?diff=108642&oldid=74799 5* 03Rdococ 5* (-91) 10Better wording > 1683052896 975206 PRIVMSG #esolangs :14[[07Talk:Call stack14]]4 N10 02https://esolangs.org/w/index.php?oldid=108643 5* 03Rdococ 5* (+187) 10Asking for a buffering calls example > 1683052992 487442 PRIVMSG #esolangs :14[[07Talk:Call stack/Manipulation14]]4 M10 02https://esolangs.org/w/index.php?diff=108644&oldid=55566 5* 03Rdococ 5* (-83) 10 > 1683053272 418618 PRIVMSG #esolangs :14[[07Talk:Iota14]]4 M10 02https://esolangs.org/w/index.php?diff=108645&oldid=63912 5* 03BrightBlackHole 5* (+416) 10replying > 1683054622 509633 PRIVMSG #esolangs :14[[07Call stack/Manipulation14]]4 10 02https://esolangs.org/w/index.php?diff=108646&oldid=74800 5* 03Rdococ 5* (+350) 10/* Call Stack Manipulation */ Added my own idea cuz why not :) < 1683061596 151087 :m5zs7k!aquares@web10.mydevil.net QUIT :Ping timeout: 250 seconds < 1683061709 912472 :m5zs7k!aquares@web10.mydevil.net JOIN #esolangs m5zs7k :m5zs7k < 1683063111 93041 :b_jonas!~x@89.134.29.131 PRIVMSG #esolangs :`tom7list https://www.youtube.com/watch?v=Ae9EKCyI1xU < 1683063113 641368 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :tom7list? No such file or directory < 1683066190 264881 :Thelie!~Thelie@tmo-103-212.customers.d1-online.com JOIN #esolangs Thelie :Thelie < 1683066818 41287 :Thelie!~Thelie@tmo-103-212.customers.d1-online.com QUIT :Remote host closed the connection < 1683069784 547438 :int-e!~noone@int-e.eu PRIVMSG #esolangs :fungot: would you compare floating point numbers for equality? < 1683069785 606156 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :int-e: i would like to make some of these facilities are located close to residential areas. this applies particularly to the short history of the disease would shortly peak have not been fulfilled and, as we might have expected. we are still currently slightly behind the usa and basically in japan as well. < 1683070716 774549 :b_jonas!~x@89.134.29.131 PRIVMSG #esolangs :that's at least a comparison > 1683071464 411076 PRIVMSG #esolangs :14[[07Treefuck14]]4 N10 02https://esolangs.org/w/index.php?oldid=108647 5* 03Squidmanescape 5* (+22) 10Redirected page to [[Minitree]] > 1683071765 897357 PRIVMSG #esolangs :14[[07Minitree14]]4 N10 02https://esolangs.org/w/index.php?oldid=108648 5* 03Squidmanescape 5* (+8069) 10Created page with "'''Minitree''', alternatively '''treefuck''', is a [[brainfuck]] [[:Category:Brainfuck derivatives|derivative]] which applies brainfuck-like syntax to a binary tree rather than a tape, as well as being executed using a pre-order depth-first-search traversal of i