< 1729211824 102391 :earend1!uid657395@user/utoneq QUIT :Quit: Connection closed for inactivity < 1729211956 314321 :ajal!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement < 1729216589 944127 :b_jonas!~x@88.87.242.184 QUIT :Ping timeout: 260 seconds > 1729217592 981328 PRIVMSG #esolangs :14[[07Talk:Brainyay14]]4 N10 02https://esolangs.org/w/index.php?oldid=143747 5* 03PhiPhiPHIpHi 5* (+84) 10Created page with "THIS ESOLANG IS LIKE... SUPER SKIBIDI AND SIGMA(SORRY) - Phoenix Irwin(PhiPhiPHipHi)" > 1729217868 982852 PRIVMSG #esolangs :14[[07Brainyay14]]4 10 02https://esolangs.org/w/index.php?diff=143748&oldid=143578 5* 03PhiPhiPHIpHi 5* (+22) 10 > 1729217973 283082 PRIVMSG #esolangs :14[[07Brainyay14]]4 10 02https://esolangs.org/w/index.php?diff=143749&oldid=143748 5* 03PhiPhiPHIpHi 5* (+157) 10 > 1729218030 217113 PRIVMSG #esolangs :14[[07Brainyay14]]4 10 02https://esolangs.org/w/index.php?diff=143750&oldid=143749 5* 03PhiPhiPHIpHi 5* (+42) 10 < 1729218048 934183 :earend11!~earend1@176.6.54.163 QUIT :Ping timeout: 245 seconds < 1729218513 388617 :Melvar!~melvar@dslb-002-200-068-005.002.200.pools.vodafone-ip.de QUIT :Quit: WeeChat 4.3.5 < 1729218556 231173 :^[!~user@user//x-8473491 JOIN #esolangs ^[ :user < 1729219736 178754 :trumae!~Thunderbi@170.231.88.164 QUIT :Quit: trumae < 1729220046 423257 :Melvar!~melvar@dslb-002-200-068-005.002.200.pools.vodafone-ip.de JOIN #esolangs Melvar :melvar < 1729220230 444512 :earend1!~earend1@dynamic-176-006-048-157.176.6.pool.telefonica.de JOIN #esolangs * :ZNC - https://znc.in < 1729220253 863612 :earend1!~earend1@dynamic-176-006-048-157.176.6.pool.telefonica.de NICK :Guest3066 < 1729224107 321917 :wWwwW!~wWwwW@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] wWwwW < 1729224174 426492 :Guest3066!~earend1@dynamic-176-006-048-157.176.6.pool.telefonica.de QUIT :Ping timeout: 260 seconds < 1729224494 590020 :earend1!~earend1@dynamic-176-006-057-074.176.6.pool.telefonica.de JOIN #esolangs * :ZNC - https://znc.in < 1729224518 680723 :earend1!~earend1@dynamic-176-006-057-074.176.6.pool.telefonica.de NICK :Guest7858 < 1729227397 415812 :Guest7858!~earend1@dynamic-176-006-057-074.176.6.pool.telefonica.de NICK :earend1 < 1729227426 685253 :earend1!~earend1@dynamic-176-006-057-074.176.6.pool.telefonica.de NICK :Guest2161 < 1729227452 162263 :Guest2161!~earend1@dynamic-176-006-057-074.176.6.pool.telefonica.de NICK :zut < 1729227454 543085 :zut!~earend1@dynamic-176-006-057-074.176.6.pool.telefonica.de CHGHOST ~earend1 :user/utoneq < 1729228273 194556 :zut!~earend1@user/utoneq QUIT :Quit: ZNC 1.9.1+deb2 - https://znc.in < 1729231043 597214 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer > 1729232948 956931 PRIVMSG #esolangs :14[[07Talk:SS14]]4 10 02https://esolangs.org/w/index.php?diff=143751&oldid=143264 5* 03Xff 5* (+148) 10/* Hmmm */ > 1729233684 676004 PRIVMSG #esolangs :14[[07$ $14]]4 10 02https://esolangs.org/w/index.php?diff=143752&oldid=136340 5* 03Xff 5* (+328) 10/* Commands */ < 1729233709 153874 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1729233743 320694 :PCWWWWW!~PCWWWWW@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] PCWWWWW < 1729233771 419458 :PCWWWWW!~PCWWWWW@94.147.203.75 PRIVMSG #esolangs :if you see this ais523 plz what do you think of my theory of burn(WIP): https://esolangs.org/wiki/User:Yayimhere/Sandbox > 1729233845 808771 PRIVMSG #esolangs :14[[07User:Yayimhere/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=143753&oldid=138539 5* 03Xff 5* (-1) 10/* Burn */ > 1729233941 31486 PRIVMSG #esolangs :14[[07User:Yayimhere/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=143754&oldid=143753 5* 03Xff 5* (-84) 10/* Burn */ < 1729234468 874236 :PCWWWWW!~PCWWWWW@94.147.203.75 PRIVMSG #esolangs :anyone else can comment as well ig < 1729234491 324971 :PCWWWWW!~PCWWWWW@94.147.203.75 QUIT :Quit: Client closed > 1729234724 809499 PRIVMSG #esolangs :14[[07LogicF---14]]4 10 02https://esolangs.org/w/index.php?diff=143755&oldid=96933 5* 03Xff 5* (+24) 10/* Quine (ignoring the [ and ] and assuming the user inputs 0) */ its not rly a quine > 1729235556 487326 PRIVMSG #esolangs :14[[070+14]]4 N10 02https://esolangs.org/w/index.php?oldid=143756 5* 03Xff 5* (+436) 10Created page with "'''0+'''(pronounced 0 plus) is an esolang made up of only plusses and zero's. it was created by [[User:Yayimhere]]. theres a array named acc and a function named f == commands == 0 = 0 ''x''+ = x+1 0''x'' = do x before everything else ''x''+''y'' = x-y ''x''++''y'' = while x > 1729235624 546013 PRIVMSG #esolangs :14[[070+14]]4 10 02https://esolangs.org/w/index.php?diff=143757&oldid=143756 5* 03Xff 5* (+38) 10/* commands */ > 1729235945 458381 PRIVMSG #esolangs :14[[070+14]]4 10 02https://esolangs.org/w/index.php?diff=143758&oldid=143757 5* 03Xff 5* (+153) 10 < 1729236663 140878 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1729236969 173458 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 252 seconds < 1729237028 898968 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord > 1729237128 367826 PRIVMSG #esolangs :14[[07Snakel (DifferentDance8)14]]4 10 02https://esolangs.org/w/index.php?diff=143759&oldid=143157 5* 03DifferentDance8 5* (-912) 10now redundant as the actual snakel has instructions < 1729237391 295123 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1729239384 495893 :craigo!~craigo@user/craigo JOIN #esolangs craigo :realname < 1729241013 882943 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown < 1729243823 636539 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1729243872 519708 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1729246216 320615 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas < 1729246341 166869 :leah2!~leah@vuxu.org QUIT :Ping timeout: 252 seconds < 1729247574 219819 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs amby :realname > 1729248039 362599 PRIVMSG #esolangs :14[[07User:ATProtogen/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=143760&oldid=143745 5* 03ATProtogen 5* (+14) 10 < 1729248340 399845 :leah2!~leah@vuxu.org JOIN #esolangs leah2 :Leah Neukirchen > 1729248346 637450 PRIVMSG #esolangs :14[[07Snakel14]]4 10 02https://esolangs.org/w/index.php?diff=143761&oldid=143153 5* 03Ractangle 5* (-118) 10 > 1729248412 851119 PRIVMSG #esolangs :14[[07Snakel (Ractangle)14]]4 10 02https://esolangs.org/w/index.php?diff=143762&oldid=143726 5* 03Ractangle 5* (-3567) 10delete it now > 1729248431 909816 PRIVMSG #esolangs :14[[07Snakel14]]4 10 02https://esolangs.org/w/index.php?diff=143763&oldid=143761 5* 03Ractangle 5* (+3419) 10 < 1729248639 473440 :leah2!~leah@vuxu.org QUIT :Ping timeout: 260 seconds > 1729248924 319840 PRIVMSG #esolangs :14[[07Hum14]]4 10 02https://esolangs.org/w/index.php?diff=143764&oldid=143744 5* 03Ractangle 5* (+141) 10/* Commands */ > 1729248958 944134 PRIVMSG #esolangs :14[[07Hum14]]4 10 02https://esolangs.org/w/index.php?diff=143765&oldid=143764 5* 03Ractangle 5* (+116) 10/* Interpreter */ > 1729249422 593724 PRIVMSG #esolangs :14[[07User:Froginstarch14]]4 10 02https://esolangs.org/w/index.php?diff=143766&oldid=127112 5* 03Froginstarch 5* (+11) 10 < 1729249555 653900 :leah2!~leah@vuxu.org JOIN #esolangs leah2 :Leah Neukirchen > 1729250698 681151 PRIVMSG #esolangs :14[[07User talk:MihaiEso14]]4 10 02https://esolangs.org/w/index.php?diff=143767&oldid=143459 5* 03PrySigneToFry 5* (+827) 10/* Make Translated ORK/PSTF Again16 it scarier ! */ new section > 1729250751 967672 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=143768&oldid=143591 5* 03PrySigneToFry 5* (+37) 10 < 1729251501 396395 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1729251729 990590 PRIVMSG #esolangs :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=143769&oldid=143695 5* 03PrySigneToFry 5* (+1109) 10/* Uhhhhhhhhhhhhhhhh */ new section > 1729252136 757923 PRIVMSG #esolangs :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=143770&oldid=143769 5* 03Ractangle 5* (+208) 10/* Uhhhhhhhhhhhhhhhh */ < 1729252777 329787 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Ping timeout: 256 seconds < 1729256426 270346 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1729256789 320374 :wWwwW!~wWwwW@94.147.203.75 QUIT :Ping timeout: 256 seconds < 1729260473 365142 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname > 1729261002 620125 PRIVMSG #esolangs :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=143771&oldid=143770 5* 03None1 5* (+291) 10/* Uhhhhhhhhhhhhhhhh */ > 1729261324 302239 PRIVMSG #esolangs :14[[07BubbleLang/Operators14]]4 M10 02https://esolangs.org/w/index.php?diff=143772&oldid=142699 5* 03PrySigneToFry 5* (-1) 10 > 1729262139 594593 PRIVMSG #esolangs :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=143773&oldid=143771 5* 03None1 5* (+358) 10/* */ < 1729263387 3404 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1729266817 308607 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1729268633 852196 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1729269472 653915 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1729271482 614957 :b_jonas!~x@88.87.242.184 JOIN #esolangs b_jonas :b_jonas > 1729272456 424978 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03JunebugEsolanging 5* 10New user account < 1729272705 321600 :wWwwW!~wWwwW@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] wWwwW > 1729272714 445015 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=143774&oldid=143687 5* 03JunebugEsolanging 5* (+195) 10/* Introductions */ < 1729278309 207718 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1729278609 437430 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User > 1729279770 519252 PRIVMSG #esolangs :14[[07User:ATProtogen/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=143775&oldid=143760 5* 03ATProtogen 5* (+5) 10 < 1729280580 892607 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Ping timeout: 252 seconds < 1729280720 321545 :And1!~And1@2800:cd0:1805:a200:b0a8:10bc:5a64:5d JOIN #esolangs * :[https://web.libera.chat] And1 < 1729280733 502589 :And1!~And1@2800:cd0:1805:a200:b0a8:10bc:5a64:5d QUIT :Client Quit < 1729280750 322046 :Galvandi!~Galvandi@2800:cd0:1805:a200:b0a8:10bc:5a64:5d JOIN #esolangs * :[https://web.libera.chat] Galvandi > 1729280803 592459 PRIVMSG #esolangs :14[[07Snakel (Ractangle)14]]4 M10 02https://esolangs.org/w/index.php?diff=143776&oldid=143762 5* 03PythonshellDebugwindow 5* (+20) 10Redirect > 1729280919 209282 PRIVMSG #esolangs :14[[070+14]]4 M10 02https://esolangs.org/w/index.php?diff=143777&oldid=143758 5* 03PythonshellDebugwindow 5* (+83) 10Categories < 1729280978 44027 :Galvandi!~Galvandi@2800:cd0:1805:a200:b0a8:10bc:5a64:5d QUIT :Client Quit < 1729281125 549235 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron > 1729281191 785741 PRIVMSG #esolangs :14[[07User:ATProtogen/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=143778&oldid=143775 5* 03ATProtogen 5* (-17) 10 < 1729281500 867922 :craigo!~craigo@user/craigo QUIT :Remote host closed the connection < 1729281540 837445 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1729281725 580511 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1729281745 321754 :wWwwW!~wWwwW@94.147.203.75 QUIT :Ping timeout: 256 seconds > 1729281974 54461 PRIVMSG #esolangs :14[[07Snakel (DifferentDance8)14]]4 10 02https://esolangs.org/w/index.php?diff=143779&oldid=143759 5* 03Ractangle 5* (+20) 10Redirected page to [[Snakel]] > 1729282670 704744 PRIVMSG #esolangs :14[[07Hum14]]4 10 02https://esolangs.org/w/index.php?diff=143780&oldid=143765 5* 03Ractangle 5* (-2) 10/* Interpreter */ > 1729282684 908702 PRIVMSG #esolangs :14[[07Hum14]]4 10 02https://esolangs.org/w/index.php?diff=143781&oldid=143780 5* 03Ractangle 5* (+4) 10/* The IT teachers response */ < 1729286025 905297 :supercode!~supercode@user/supercode JOIN #esolangs supercode :[https://web.libera.chat] supercode < 1729286065 925576 :supercode!~supercode@user/supercode PRIVMSG #esolangs :I know one way one can prove that an esolang is TC is by writing a BF interpreter in it < 1729286074 195722 :supercode!~supercode@user/supercode PRIVMSG #esolangs :but I want to know how to prove that BF is turing complete? < 1729286080 747630 :supercode!~supercode@user/supercode PRIVMSG #esolangs :is there a published proof of it somewhere? < 1729286236 474928 :int-e!~noone@int-e.eu PRIVMSG #esolangs :by the magic of $GOOGLE: http://www.brainfuck.org/utm.b < 1729286266 394943 :int-e!~noone@int-e.eu PRIVMSG #esolangs :where GOOGLE=DuckDuckGo ;-) < 1729286376 856217 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I'm sure that there are more full TC-ness proofs for Brainfuck (with either unbounded tape or unbounded cells). < 1729286481 119429 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :Corrado Bohm had invented P'' in 1964 and had proven P'' to be Turing-complete. P'' is like a subset of brainfuck. < 1729287308 404721 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1729287349 114987 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot QUIT :Ping timeout: 248 seconds < 1729287368 105584 :simcop2387!~simcop238@perlbot/patrician/simcop2387 QUIT :Ping timeout: 255 seconds < 1729287392 448016 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot JOIN #esolangs perlbot :ZNC - https://znc.in < 1729287618 460814 :simcop2387!~simcop238@perlbot/patrician/simcop2387 JOIN #esolangs simcop2387 :ZNC - https://znc.in < 1729287664 480151 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :supercode: Interestingly, int-e's link only shows that there's an interpreter for a certain class of tag systems. I've recently done a literature review (https://bbgauge.info/brainfuck.html) and I didn't find an interpreter of Turing's machines. < 1729287693 220245 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :So I suppose that the natural next question is: what counts as TC for you? < 1729287995 621650 :int-e!~noone@int-e.eu PRIVMSG #esolangs :korvo: yeah I did notice that it uses tag systems < 1729288033 636374 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :int-e: It got me thinking about a BLC interpreter. The data structures shouldn't be too hard, but I don't think I can make it efficient. < 1729288037 661157 :int-e!~noone@int-e.eu PRIVMSG #esolangs :not a huge deal to me... but I'm used to this kind of thing (it's reductions all the way down) < 1729288106 726178 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Oh, for sure, I count it as TC too. > 1729288562 620696 PRIVMSG #esolangs :14[[07Hum14]]4 10 02https://esolangs.org/w/index.php?diff=143782&oldid=143781 5* 03Ractangle 5* (+34) 10/* Commands */ < 1729288664 599685 :int-e!~noone@int-e.eu PRIVMSG #esolangs :korvo: Hmm, maybe start with BCL? That'll be annoying enough I think :P < 1729288777 215654 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :int-e: Oh, same thing to me; I'm a compiler engineer, so all combinators look like graph reduction~ The annoying part will be encoding trees as a dynamically-growing flattened structure; I hate pointer arithmetic. < 1729288833 253770 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Funny, I forgot how BCL is encoded. 00=k 01=s 1=` < 1729289380 242853 :int-e!~noone@int-e.eu PRIVMSG #esolangs :korvo: you can do string rewriting which is probably less annoying than pointers < 1729289398 100105 :int-e!~noone@int-e.eu PRIVMSG #esolangs :but still no fun... so much shifting around on the tape < 1729289462 957750 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I guess pointers are kind of okay if you have unbounded cells > 1729289744 499210 PRIVMSG #esolangs :14[[07Works in progress14]]4 10 02https://esolangs.org/w/index.php?diff=143783&oldid=141275 5* 03Ractangle 5* (-11) 10 > 1729290004 969767 PRIVMSG #esolangs :14[[07InterpretMe14]]4 10 02https://esolangs.org/w/index.php?diff=143784&oldid=88529 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+35) 10/* Interpreters */ > 1729290019 81411 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=143785&oldid=139404 5* 03Ractangle 5* (-414) 10/* 99 bottles of beer */ < 1729290117 544158 :__monty__!~toonn@user/toonn QUIT :Quit: leaving > 1729290506 806262 PRIVMSG #esolangs :14[[07CLFCE14]]4 10 02https://esolangs.org/w/index.php?diff=143786&oldid=139813 5* 03Ractangle 5* (+110) 10/* Deadfish implementation */ > 1729290629 511165 PRIVMSG #esolangs :14[[07Esolang Quality Rating System14]]4 10 02https://esolangs.org/w/index.php?diff=143787&oldid=142337 5* 03Ractangle 5* (+18) 10/* Base Score */ < 1729290760 219477 :supercode!~supercode@user/supercode QUIT :Quit: Client closed > 1729291308 747067 PRIVMSG #esolangs :14[[07Empty14]]4 10 02https://esolangs.org/w/index.php?diff=143788&oldid=143243 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+22) 10/* Quine */ > 1729291469 901526 PRIVMSG #esolangs :14[[07Empty14]]4 10 02https://esolangs.org/w/index.php?diff=143789&oldid=143788 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+41) 10/* How to cheat */ > 1729291487 519354 PRIVMSG #esolangs :14[[07Empty14]]4 10 02https://esolangs.org/w/index.php?diff=143790&oldid=143789 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+2) 10/* How to cheat */ < 1729294547 72736 :int-e!~noone@int-e.eu PRIVMSG #esolangs :korvo: I swear I've done almost exactly this before, but one can implement reducing a BCL string to normal form with a string rewriting system (semi-Thue system) like this: https://paste.debian.net/1332700/ (untested, but it should at least be mostly correct), so that would be my idea for implementing that in Brainfuck. It'll *still* be tedious but at least now all the required shifts have a... < 1729294553 82529 :int-e!~noone@int-e.eu PRIVMSG #esolangs :...known offset. < 1729294622 75364 :int-e!~noone@int-e.eu PRIVMSG #esolangs :hmm "for evaluating L" is supposed to be "for evaluating S" > 1729294626 477496 PRIVMSG #esolangs :14[[070 Bits, 0 Bytes14]]4 10 02https://esolangs.org/w/index.php?diff=143791&oldid=141068 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+71) 10/* 5 */ > 1729294638 694977 PRIVMSG #esolangs :14[[070 Bits, 0 Bytes14]]4 10 02https://esolangs.org/w/index.php?diff=143792&oldid=143791 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+7) 10/* Befunge */ < 1729294685 781545 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :int-e: Nice! Yeah, code is a lot easier to write the second or third time. < 1729294807 700228 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(I believe the last time this was directly for unlambda-like [`sk]* and maybe with left-hand sides restricted to 1 or 2 characters in length? And oerjan helped optimize it a bit... But I couldn't find it.) > 1729294821 41389 PRIVMSG #esolangs :14[[07Overload14]]4 N10 02https://esolangs.org/w/index.php?oldid=143793 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+1279) 10Created page with "'''Overload''' is an [[esolang]] made by [[User:Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff]] that is inspired by [[Underload]] and [[Emmental]]. In Overload, you can redefine the instr > 1729294849 439534 PRIVMSG #esolangs :14[[07Overload14]]4 10 02https://esolangs.org/w/index.php?diff=143794&oldid=143793 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+26) 10 > 1729294865 182041 PRIVMSG #esolangs :14[[07Overload14]]4 10 02https://esolangs.org/w/index.php?diff=143795&oldid=143794 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+1) 10 > 1729294942 403340 PRIVMSG #esolangs :14[[07Overload14]]4 10 02https://esolangs.org/w/index.php?diff=143796&oldid=143795 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+85) 10 > 1729294951 477566 PRIVMSG #esolangs :14[[07Overload14]]4 10 02https://esolangs.org/w/index.php?diff=143797&oldid=143796 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (-1) 10/* Conditionals */ < 1729294962 290398 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I guess I'll burden fizzie's server a bit and download IRC logs. > 1729295036 27639 PRIVMSG #esolangs :14[[07Overload14]]4 10 02https://esolangs.org/w/index.php?diff=143798&oldid=143797 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (-1) 10/* Categories = */ > 1729295114 936570 PRIVMSG #esolangs :14[[07Overload14]]4 10 02https://esolangs.org/w/index.php?diff=143799&oldid=143798 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+129) 10/* Truth-machine */ > 1729295142 229516 PRIVMSG #esolangs :14[[07Overload14]]4 10 02https://esolangs.org/w/index.php?diff=143800&oldid=143799 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+33) 10/* Programs */ > 1729295288 23202 PRIVMSG #esolangs :14[[07Overload14]]4 10 02https://esolangs.org/w/index.php?diff=143801&oldid=143800 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+188) 10 > 1729295344 243428 PRIVMSG #esolangs :14[[07Overload14]]4 10 02https://esolangs.org/w/index.php?diff=143802&oldid=143801 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+4) 10/* Cat program (halts) */ < 1729295411 488859 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(I probably didn't make a blip amongst all the AI crawlers :P) < 1729295607 259163 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement < 1729295955 492495 :int-e!~noone@int-e.eu PRIVMSG #esolangs :AHA! https://paste.debian.net/1332702/ was the previous thing. < 1729295988 568187 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :int-e: https://zem.fi/tmp/blip.png