00:37:04 -!- earend1 has quit (Quit: Connection closed for inactivity). 00:39:16 -!- ajal has 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). 01:56:29 -!- b_jonas has quit (Ping timeout: 260 seconds). 02:13:12 [[Talk:Brainyay]] N https://esolangs.org/w/index.php?oldid=143747 * PhiPhiPHIpHi * (+84) Created page with "THIS ESOLANG IS LIKE... SUPER SKIBIDI AND SIGMA(SORRY) - Phoenix Irwin(PhiPhiPHipHi)" 02:17:48 [[Brainyay]] https://esolangs.org/w/index.php?diff=143748&oldid=143578 * PhiPhiPHIpHi * (+22) 02:19:33 [[Brainyay]] https://esolangs.org/w/index.php?diff=143749&oldid=143748 * PhiPhiPHIpHi * (+157) 02:20:30 [[Brainyay]] https://esolangs.org/w/index.php?diff=143750&oldid=143749 * PhiPhiPHIpHi * (+42) 02:20:48 -!- earend11 has quit (Ping timeout: 245 seconds). 02:28:33 -!- Melvar has quit (Quit: WeeChat 4.3.5). 02:29:16 -!- ^[ has joined. 02:48:56 -!- trumae has quit (Quit: trumae). 02:54:06 -!- Melvar has joined. 02:57:10 -!- earend1 has joined. 02:57:33 -!- earend1 has changed nick to Guest3066. 04:01:47 -!- wWwwW has joined. 04:02:54 -!- Guest3066 has quit (Ping timeout: 260 seconds). 04:08:14 -!- earend1 has joined. 04:08:38 -!- earend1 has changed nick to Guest7858. 04:56:37 -!- Guest7858 has changed nick to earend1. 04:57:06 -!- earend1 has changed nick to Guest2161. 04:57:32 -!- Guest2161 has changed nick to zut. 04:57:34 -!- zut has changed hostmask to ~earend1@user/utoneq. 05:11:13 -!- zut has quit (Quit: ZNC 1.9.1+deb2 - https://znc.in). 05:57:23 -!- Sgeo has quit (Read error: Connection reset by peer). 06:29:08 [[Talk:SS]] https://esolangs.org/w/index.php?diff=143751&oldid=143264 * Xff * (+148) /* Hmmm */ 06:41:24 [[$ $]] https://esolangs.org/w/index.php?diff=143752&oldid=136340 * Xff * (+328) /* Commands */ 06:41:49 -!- tromp has joined. 06:42:23 -!- PCWWWWW has joined. 06:42:51 if you see this ais523 plz what do you think of my theory of burn(WIP): https://esolangs.org/wiki/User:Yayimhere/Sandbox 06:44:05 [[User:Yayimhere/Sandbox]] https://esolangs.org/w/index.php?diff=143753&oldid=138539 * Xff * (-1) /* Burn */ 06:45:41 [[User:Yayimhere/Sandbox]] https://esolangs.org/w/index.php?diff=143754&oldid=143753 * Xff * (-84) /* Burn */ 06:54:28 anyone else can comment as well ig 06:54:51 -!- PCWWWWW has quit (Quit: Client closed). 06:58:44 [[LogicF---]] https://esolangs.org/w/index.php?diff=143755&oldid=96933 * Xff * (+24) /* Quine (ignoring the [ and ] and assuming the user inputs 0) */ its not rly a quine 07:12:36 [[0+]] N https://esolangs.org/w/index.php?oldid=143756 * Xff * (+436) Created 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 07:13:44 [[0+]] https://esolangs.org/w/index.php?diff=143757&oldid=143756 * Xff * (+38) /* commands */ 07:19:05 [[0+]] https://esolangs.org/w/index.php?diff=143758&oldid=143757 * Xff * (+153) 07:31:03 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 07:36:09 -!- Lord_of_Life has quit (Ping timeout: 252 seconds). 07:37:08 -!- Lord_of_Life has joined. 07:38:48 [[Snakel (DifferentDance8)]] https://esolangs.org/w/index.php?diff=143759&oldid=143157 * DifferentDance8 * (-912) now redundant as the actual snakel has instructions 07:43:11 -!- tromp has joined. 08:16:24 -!- craigo has joined. 08:43:33 -!- __monty__ has joined. 09:30:23 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 09:31:12 -!- tromp has joined. 10:10:16 -!- wib_jonas has joined. 10:12:21 -!- leah2 has quit (Ping timeout: 252 seconds). 10:32:54 -!- amby has joined. 10:40:39 [[User:ATProtogen/Sandbox]] https://esolangs.org/w/index.php?diff=143760&oldid=143745 * ATProtogen * (+14) 10:45:40 -!- leah2 has joined. 10:45:46 [[Snakel]] https://esolangs.org/w/index.php?diff=143761&oldid=143153 * Ractangle * (-118) 10:46:52 [[Snakel (Ractangle)]] https://esolangs.org/w/index.php?diff=143762&oldid=143726 * Ractangle * (-3567) delete it now 10:47:11 [[Snakel]] https://esolangs.org/w/index.php?diff=143763&oldid=143761 * Ractangle * (+3419) 10:50:39 -!- leah2 has quit (Ping timeout: 260 seconds). 10:55:24 [[Hum]] https://esolangs.org/w/index.php?diff=143764&oldid=143744 * Ractangle * (+141) /* Commands */ 10:55:58 [[Hum]] https://esolangs.org/w/index.php?diff=143765&oldid=143764 * Ractangle * (+116) /* Interpreter */ 11:03:42 [[User:Froginstarch]] https://esolangs.org/w/index.php?diff=143766&oldid=127112 * Froginstarch * (+11) 11:05:55 -!- leah2 has joined. 11:24:58 [[User talk:MihaiEso]] https://esolangs.org/w/index.php?diff=143767&oldid=143459 * PrySigneToFry * (+827) /* Make Translated ORK/PSTF Again16 it scarier ! */ new section 11:25:51 [[]] https://esolangs.org/w/index.php?diff=143768&oldid=143591 * PrySigneToFry * (+37) 11:38:21 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 11:42:09 [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=143769&oldid=143695 * PrySigneToFry * (+1109) /* Uhhhhhhhhhhhhhhhh */ new section 11:48:56 [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=143770&oldid=143769 * Ractangle * (+208) /* Uhhhhhhhhhhhhhhhh */ 11:59:37 -!- wib_jonas has quit (Ping timeout: 256 seconds). 13:00:26 -!- tromp has joined. 13:06:29 -!- wWwwW has quit (Ping timeout: 256 seconds). 14:07:53 -!- Sgeo has joined. 14:16:42 [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=143771&oldid=143770 * None1 * (+291) /* Uhhhhhhhhhhhhhhhh */ 14:22:04 [[BubbleLang/Operators]] M https://esolangs.org/w/index.php?diff=143772&oldid=142699 * PrySigneToFry * (-1) 14:35:39 [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=143773&oldid=143771 * None1 * (+358) /* */ 14:56:27 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 15:53:37 -!- tromp has joined. 16:23:53 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 16:37:52 -!- tromp has joined. 17:11:22 -!- b_jonas has joined. 17:27:36 [[Special:Log/newusers]] create * JunebugEsolanging * New user account 17:31:45 -!- wWwwW has joined. 17:31:54 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=143774&oldid=143687 * JunebugEsolanging * (+195) /* Introductions */ 19:05:09 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 19:10:09 -!- tromp has joined. 19:29:30 [[User:ATProtogen/Sandbox]] https://esolangs.org/w/index.php?diff=143775&oldid=143760 * ATProtogen * (+5) 19:43:00 -!- Noisytoot has quit (Ping timeout: 252 seconds). 19:45:20 -!- And1 has joined. 19:45:33 -!- And1 has quit (Client Quit). 19:45:50 -!- Galvandi has joined. 19:46:43 [[Snakel (Ractangle)]] M https://esolangs.org/w/index.php?diff=143776&oldid=143762 * PythonshellDebugwindow * (+20) Redirect 19:48:39 [[0+]] M https://esolangs.org/w/index.php?diff=143777&oldid=143758 * PythonshellDebugwindow * (+83) Categories 19:49:38 -!- Galvandi has quit (Client Quit). 19:52:05 -!- Noisytoot has joined. 19:53:11 [[User:ATProtogen/Sandbox]] https://esolangs.org/w/index.php?diff=143778&oldid=143775 * ATProtogen * (-17) 19:58:20 -!- craigo has quit (Remote host closed the connection). 19:59:00 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 20:02:05 -!- tromp has joined. 20:02:25 -!- wWwwW has quit (Ping timeout: 256 seconds). 20:06:14 [[Snakel (DifferentDance8)]] https://esolangs.org/w/index.php?diff=143779&oldid=143759 * Ractangle * (+20) Redirected page to [[Snakel]] 20:17:50 [[Hum]] https://esolangs.org/w/index.php?diff=143780&oldid=143765 * Ractangle * (-2) /* Interpreter */ 20:18:04 [[Hum]] https://esolangs.org/w/index.php?diff=143781&oldid=143780 * Ractangle * (+4) /* The IT teachers response */ 21:13:45 -!- supercode has joined. 21:14:25 I know one way one can prove that an esolang is TC is by writing a BF interpreter in it 21:14:34 but I want to know how to prove that BF is turing complete? 21:14:40 is there a published proof of it somewhere? 21:17:16 by the magic of $GOOGLE: http://www.brainfuck.org/utm.b 21:17:46 where GOOGLE=DuckDuckGo ;-) 21:19:36 I'm sure that there are more full TC-ness proofs for Brainfuck (with either unbounded tape or unbounded cells). 21:21:21 Corrado Bohm had invented P'' in 1964 and had proven P'' to be Turing-complete. P'' is like a subset of brainfuck. 21:35:08 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 21:35:49 -!- perlbot has quit (Ping timeout: 248 seconds). 21:36:08 -!- simcop2387 has quit (Ping timeout: 255 seconds). 21:36:32 -!- perlbot has joined. 21:40:18 -!- simcop2387 has joined. 21:41:04 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. 21:41:33 So I suppose that the natural next question is: what counts as TC for you? 21:46:35 korvo: yeah I did notice that it uses tag systems 21:47:13 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. 21:47:17 not a huge deal to me... but I'm used to this kind of thing (it's reductions all the way down) 21:48:26 Oh, for sure, I count it as TC too. 21:56:02 [[Hum]] https://esolangs.org/w/index.php?diff=143782&oldid=143781 * Ractangle * (+34) /* Commands */ 21:57:44 korvo: Hmm, maybe start with BCL? That'll be annoying enough I think :P 21:59:37 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. 22:00:33 Funny, I forgot how BCL is encoded. 00=k 01=s 1=` 22:09:40 korvo: you can do string rewriting which is probably less annoying than pointers 22:09:58 but still no fun... so much shifting around on the tape 22:11:02 I guess pointers are kind of okay if you have unbounded cells 22:15:44 [[Works in progress]] https://esolangs.org/w/index.php?diff=143783&oldid=141275 * Ractangle * (-11) 22:20:04 [[InterpretMe]] https://esolangs.org/w/index.php?diff=143784&oldid=88529 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+35) /* Interpreters */ 22:20:19 [[]] https://esolangs.org/w/index.php?diff=143785&oldid=139404 * Ractangle * (-414) /* 99 bottles of beer */ 22:21:57 -!- __monty__ has quit (Quit: leaving). 22:28:26 [[CLFCE]] https://esolangs.org/w/index.php?diff=143786&oldid=139813 * Ractangle * (+110) /* Deadfish implementation */ 22:30:29 [[Esolang Quality Rating System]] https://esolangs.org/w/index.php?diff=143787&oldid=142337 * Ractangle * (+18) /* Base Score */ 22:32:40 -!- supercode has quit (Quit: Client closed). 22:41:48 [[Empty]] https://esolangs.org/w/index.php?diff=143788&oldid=143243 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+22) /* Quine */ 22:44:29 [[Empty]] https://esolangs.org/w/index.php?diff=143789&oldid=143788 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+41) /* How to cheat */ 22:44:47 [[Empty]] https://esolangs.org/w/index.php?diff=143790&oldid=143789 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+2) /* How to cheat */ 23:35:47 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... 23:35:53 ...known offset. 23:37:02 hmm "for evaluating L" is supposed to be "for evaluating S" 23:37:06 [[0 Bits, 0 Bytes]] https://esolangs.org/w/index.php?diff=143791&oldid=141068 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+71) /* 5 */ 23:37:18 [[0 Bits, 0 Bytes]] https://esolangs.org/w/index.php?diff=143792&oldid=143791 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+7) /* Befunge */ 23:38:05 int-e: Nice! Yeah, code is a lot easier to write the second or third time. 23:40:07 (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.) 23:40:21 [[Overload]] N https://esolangs.org/w/index.php?oldid=143793 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+1279) Created page with "'''Overload''' is an [[esolang]] made by [[User:Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff]] that is inspired by [[Underload]] and [[Emmental]]. In Overload, you can redefine the instr 23:40:49 [[Overload]] https://esolangs.org/w/index.php?diff=143794&oldid=143793 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+26) 23:41:05 [[Overload]] https://esolangs.org/w/index.php?diff=143795&oldid=143794 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+1) 23:42:22 [[Overload]] https://esolangs.org/w/index.php?diff=143796&oldid=143795 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+85) 23:42:31 [[Overload]] https://esolangs.org/w/index.php?diff=143797&oldid=143796 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (-1) /* Conditionals */ 23:42:42 I guess I'll burden fizzie's server a bit and download IRC logs. 23:43:56 [[Overload]] https://esolangs.org/w/index.php?diff=143798&oldid=143797 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (-1) /* Categories = */ 23:45:14 [[Overload]] https://esolangs.org/w/index.php?diff=143799&oldid=143798 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+129) /* Truth-machine */ 23:45:42 [[Overload]] https://esolangs.org/w/index.php?diff=143800&oldid=143799 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+33) /* Programs */ 23:48:08 [[Overload]] https://esolangs.org/w/index.php?diff=143801&oldid=143800 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+188) 23:49:04 [[Overload]] https://esolangs.org/w/index.php?diff=143802&oldid=143801 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+4) /* Cat program (halts) */ 23:50:11 (I probably didn't make a blip amongst all the AI crawlers :P) 23:53:27 -!- amby has 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). 23:59:15 AHA! https://paste.debian.net/1332702/ was the previous thing. 23:59:48 int-e: https://zem.fi/tmp/blip.png