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 <esolangs> [[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 <esolangs> [[Brainyay]] https://esolangs.org/w/index.php?diff=143748&oldid=143578 * PhiPhiPHIpHi * (+22)
02:19:33 <esolangs> [[Brainyay]] https://esolangs.org/w/index.php?diff=143749&oldid=143748 * PhiPhiPHIpHi * (+157)
02:20:30 <esolangs> [[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 <esolangs> [[Talk:SS]] https://esolangs.org/w/index.php?diff=143751&oldid=143264 * Xff * (+148) /* Hmmm */
06:41:24 <esolangs> [[$ $]] 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 <PCWWWWW> 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 <esolangs> [[User:Yayimhere/Sandbox]] https://esolangs.org/w/index.php?diff=143753&oldid=138539 * Xff * (-1) /* Burn */
06:45:41 <esolangs> [[User:Yayimhere/Sandbox]] https://esolangs.org/w/index.php?diff=143754&oldid=143753 * Xff * (-84) /* Burn */
06:54:28 <PCWWWWW> anyone else can comment as well ig
06:54:51 -!- PCWWWWW has quit (Quit: Client closed).
06:58:44 <esolangs> [[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 <esolangs> [[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 <esolangs> [[0+]] https://esolangs.org/w/index.php?diff=143757&oldid=143756 * Xff * (+38) /* commands */
07:19:05 <esolangs> [[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 <esolangs> [[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 <esolangs> [[User:ATProtogen/Sandbox]] https://esolangs.org/w/index.php?diff=143760&oldid=143745 * ATProtogen * (+14)
10:45:40 -!- leah2 has joined.
10:45:46 <esolangs> [[Snakel]] https://esolangs.org/w/index.php?diff=143761&oldid=143153 * Ractangle * (-118)
10:46:52 <esolangs> [[Snakel (Ractangle)]] https://esolangs.org/w/index.php?diff=143762&oldid=143726 * Ractangle * (-3567) delete it now
10:47:11 <esolangs> [[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 <esolangs> [[Hum]] https://esolangs.org/w/index.php?diff=143764&oldid=143744 * Ractangle * (+141) /* Commands */
10:55:58 <esolangs> [[Hum]] https://esolangs.org/w/index.php?diff=143765&oldid=143764 * Ractangle * (+116) /* Interpreter */
11:03:42 <esolangs> [[User:Froginstarch]] https://esolangs.org/w/index.php?diff=143766&oldid=127112 * Froginstarch * (+11)
11:05:55 -!- leah2 has joined.
11:24:58 <esolangs> [[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 <esolangs> [[]] 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 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=143769&oldid=143695 * PrySigneToFry * (+1109) /* Uhhhhhhhhhhhhhhhh */ new section
11:48:56 <esolangs> [[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 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=143771&oldid=143770 * None1 * (+291) /* Uhhhhhhhhhhhhhhhh */
14:22:04 <esolangs> [[BubbleLang/Operators]] M https://esolangs.org/w/index.php?diff=143772&oldid=142699 * PrySigneToFry * (-1)
14:35:39 <esolangs> [[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 <esolangs> [[Special:Log/newusers]] create * JunebugEsolanging * New user account
17:31:45 -!- wWwwW has joined.
17:31:54 <esolangs> [[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 <esolangs> [[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 <esolangs> [[Snakel (Ractangle)]] M https://esolangs.org/w/index.php?diff=143776&oldid=143762 * PythonshellDebugwindow * (+20) Redirect
19:48:39 <esolangs> [[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 <esolangs> [[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 <esolangs> [[Snakel (DifferentDance8)]] https://esolangs.org/w/index.php?diff=143779&oldid=143759 * Ractangle * (+20) Redirected page to [[Snakel]]
20:17:50 <esolangs> [[Hum]] https://esolangs.org/w/index.php?diff=143780&oldid=143765 * Ractangle * (-2) /* Interpreter */
20:18:04 <esolangs> [[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 <supercode> I know one way one can prove that an esolang is TC is by writing a BF interpreter in it
21:14:34 <supercode> but I want to know how to prove that BF is turing complete?
21:14:40 <supercode> is there a published proof of it somewhere?
21:17:16 <int-e> by the magic of $GOOGLE: http://www.brainfuck.org/utm.b
21:17:46 <int-e> where GOOGLE=DuckDuckGo ;-)
21:19:36 <int-e> I'm sure that there are more full TC-ness proofs for Brainfuck (with either unbounded tape or unbounded cells).
21:21:21 <zzo38> 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 <korvo> 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 <korvo> So I suppose that the natural next question is: what counts as TC for you?
21:46:35 <int-e> korvo: yeah I did notice that it uses tag systems
21:47:13 <korvo> 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 <int-e> 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 <korvo> Oh, for sure, I count it as TC too.
21:56:02 <esolangs> [[Hum]] https://esolangs.org/w/index.php?diff=143782&oldid=143781 * Ractangle * (+34) /* Commands */
21:57:44 <int-e> korvo: Hmm, maybe start with BCL? That'll be annoying enough I think :P
21:59:37 <korvo> 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 <int-e> Funny, I forgot how BCL is encoded. 00=k 01=s 1=`
22:09:40 <int-e> korvo: you can do string rewriting which is probably less annoying than pointers
22:09:58 <int-e> but still no fun... so much shifting around on the tape
22:11:02 <int-e> I guess pointers are kind of okay if you have unbounded cells
22:15:44 <esolangs> [[Works in progress]] https://esolangs.org/w/index.php?diff=143783&oldid=141275 * Ractangle * (-11)
22:20:04 <esolangs> [[InterpretMe]] https://esolangs.org/w/index.php?diff=143784&oldid=88529 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+35) /* Interpreters */
22:20:19 <esolangs> [[]] 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 <esolangs> [[CLFCE]] https://esolangs.org/w/index.php?diff=143786&oldid=139813 * Ractangle * (+110) /* Deadfish implementation */
22:30:29 <esolangs> [[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 <esolangs> [[Empty]] https://esolangs.org/w/index.php?diff=143788&oldid=143243 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+22) /* Quine */
22:44:29 <esolangs> [[Empty]] https://esolangs.org/w/index.php?diff=143789&oldid=143788 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+41) /* How to cheat */
22:44:47 <esolangs> [[Empty]] https://esolangs.org/w/index.php?diff=143790&oldid=143789 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+2) /* How to cheat */
23:35:47 <int-e> 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:37:02 <int-e> hmm "for evaluating L" is supposed to be "for evaluating S"
23:37:06 <esolangs> [[0 Bits, 0 Bytes]] https://esolangs.org/w/index.php?diff=143791&oldid=141068 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+71) /* 5 */
23:37:18 <esolangs> [[0 Bits, 0 Bytes]] https://esolangs.org/w/index.php?diff=143792&oldid=143791 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+7) /* Befunge */
23:38:05 <korvo> int-e: Nice! Yeah, code is a lot easier to write the second or third time.
23:40:07 <int-e> (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 <esolangs> [[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 <esolangs> [[Overload]] https://esolangs.org/w/index.php?diff=143794&oldid=143793 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+26)
23:41:05 <esolangs> [[Overload]] https://esolangs.org/w/index.php?diff=143795&oldid=143794 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+1)
23:42:22 <esolangs> [[Overload]] https://esolangs.org/w/index.php?diff=143796&oldid=143795 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+85)
23:42:31 <esolangs> [[Overload]] https://esolangs.org/w/index.php?diff=143797&oldid=143796 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (-1) /* Conditionals */
23:42:42 <int-e> I guess I'll burden fizzie's server a bit and download IRC logs.
23:43:56 <esolangs> [[Overload]] https://esolangs.org/w/index.php?diff=143798&oldid=143797 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (-1) /* Categories = */
23:45:14 <esolangs> [[Overload]] https://esolangs.org/w/index.php?diff=143799&oldid=143798 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+129) /* Truth-machine */
23:45:42 <esolangs> [[Overload]] https://esolangs.org/w/index.php?diff=143800&oldid=143799 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+33) /* Programs */
23:48:08 <esolangs> [[Overload]] https://esolangs.org/w/index.php?diff=143801&oldid=143800 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+188)
23:49:04 <esolangs> [[Overload]] https://esolangs.org/w/index.php?diff=143802&oldid=143801 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+4) /* Cat program (halts) */
23:50:11 <int-e> (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 <int-e> AHA! https://paste.debian.net/1332702/ was the previous thing.
23:59:48 <fizzie> int-e: https://zem.fi/tmp/blip.png