00:00:51 -!- FreeFull has quit. 00:12:51 -!- Lord_of_Life has quit (Ping timeout: 260 seconds). 00:13:42 -!- Lord_of_Life has joined. 02:13:13 [[User:Squidmanescape]] https://esolangs.org/w/index.php?diff=108623&oldid=107242 * Squidmanescape * (+100) 02:48:16 [[Danicb]] https://esolangs.org/w/index.php?diff=108624&oldid=108561 * Squidmanescape * (+949) 02:51:36 [[Danicb]] https://esolangs.org/w/index.php?diff=108625&oldid=108624 * Squidmanescape * (+29) /* Under-the-Hood */ 04:21:54 -!- slavfox has quit (Quit: ZNC 1.8.2 - https://znc.in). 04:25:29 -!- slavfox has joined. 04:48:45 [[Talk:Cratefuck]] https://esolangs.org/w/index.php?diff=108626&oldid=108028 * Salpynx * (+6135) TC proof via Minsky machine simulation. A finite number of crates can represent 3 registers on an unbounded number line. 04:51:29 -!- example99 has joined. 04:51:29 hi 04:54:11 [[Cratefuck]] https://esolangs.org/w/index.php?diff=108627&oldid=108596 * Salpynx * (-8) /* 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. 05:02:13 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? 05:41:52 -!- example99 has quit (Quit: Client closed). 06:13:20 -!- ^[ has quit (Ping timeout: 248 seconds). 06:15:22 [[ShortO]] https://esolangs.org/w/index.php?diff=108628&oldid=108611 * MasterWoodie * (+26) /* FizzBuzz */ 06:18:47 [[Branchback]] https://esolangs.org/w/index.php?diff=108629&oldid=99122 * Squidmanescape * (+24) 06:49:59 https://www.youtube.com/watch?v=Ae9EKCyI1xU 07:50:29 -!- Sgeo has quit (Read error: Connection reset by peer). 07:52:48 [[Branchback]] https://esolangs.org/w/index.php?diff=108630&oldid=108629 * Squidmanescape * (+485) /* Description */ 08:02:35 [[Branchback]] https://esolangs.org/w/index.php?diff=108631&oldid=108630 * Squidmanescape * (+678) /* Description */ 08:02:59 [[Branchback]] https://esolangs.org/w/index.php?diff=108632&oldid=108631 * Squidmanescape * (+3) /* Description */ 08:04:38 [[(top, height)]] https://esolangs.org/w/index.php?diff=108633&oldid=108595 * Squidmanescape * (-25) 09:55:26 [[Tablebase]] M https://esolangs.org/w/index.php?diff=108634&oldid=108616 * Kaveh Yousefi * (+6) Amended the grammar in a few locations. 09:59:13 [[BRUH]] M https://esolangs.org/w/index.php?diff=108635&oldid=99890 * Kaveh Yousefi * (+0) Improved the orthography by substituting Is with is. 10:12:51 [[Special:Log/newusers]] create * Allen Allen * New user account 10:57:04 -!- sprout_ has joined. 11:00:35 -!- sprout has quit (Ping timeout: 260 seconds). 11:05:31 -!- sprout_ has changed nick to sprout. 11:16:43 [[BRUH]] https://esolangs.org/w/index.php?diff=108636&oldid=108635 * ChuckEsoteric08 * (-12) 11:21:26 [[VarStack]] M https://esolangs.org/w/index.php?diff=108637&oldid=108556 * ChuckEsoteric08 * (+3) 11:25:11 [[VarStack]] https://esolangs.org/w/index.php?diff=108638&oldid=108637 * ChuckEsoteric08 * (+59) Fixed BCT interpreter 11:26:18 -!- Vort|2 has joined. 11:26:26 [[VarStack]] https://esolangs.org/w/index.php?diff=108639&oldid=108638 * ChuckEsoteric08 * (-59) Undo revision 108638 by [[Special:Contributions/ChuckEsoteric08|ChuckEsoteric08]] ([[User talk:ChuckEsoteric08|talk]]) 11:28:57 -!- Vort has quit (Ping timeout: 250 seconds). 11:29:25 [[EsoInterpreters]] https://esolangs.org/w/index.php?diff=108640&oldid=108605 * ChuckEsoteric08 * (+436) 12:19:43 -!- Vort|2 has left. 12:43:00 -!- raph_ael has joined. 12:43:02 hi 13:05:22 [[Trainfck]] https://esolangs.org/w/index.php?diff=108641&oldid=108578 * Mujk * (+8) /* add one (new shorter version) */ 13:50:26 hello raph_ael 14:22:22 -!- ^[ has joined. 15:26:25 -!- example99 has joined. 15:26:46 hi 15:27:29 :] smiley 16:06:33 -!- Sgeo has joined. 16:35:38 -!- example99 has quit (Ping timeout: 245 seconds). 17:03:53 https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=9739304f6c6f12b17d2309cc466bc6f6e981e10a 17:03:58 Complexity of Fractran and Productivity 17:04:12 We prove that the question whether a Fractran program halts 17:04:14 on all positive integers is Π0 17:04:16 2-complete 17:04:18 ??? 17:07:36 so what's wrong with that? 17:07:47 i thought that was Pi_1 17:07:57 they're saying it's Pi_2 17:08:33 im substituting 'fractran' with 'turing machine' in my head, but maybe that matters 17:10:10 You're missing something else... https://en.wikipedia.org/wiki/Halting_problem#Halting_on_all_inputs 17:12:28 Oh, hmm. 17:16:01 Nah, I was confusing myself. I don't see a natural variant of halting that's in Pi_1. 18:39:04 [[Call stack]] https://esolangs.org/w/index.php?diff=108642&oldid=74799 * Rdococ * (-91) Better wording 18:41:36 [[Talk:Call stack]] N https://esolangs.org/w/index.php?oldid=108643 * Rdococ * (+187) Asking for a buffering calls example 18:43:12 [[Talk:Call stack/Manipulation]] M https://esolangs.org/w/index.php?diff=108644&oldid=55566 * Rdococ * (-83) 18:47:52 [[Talk:Iota]] M https://esolangs.org/w/index.php?diff=108645&oldid=63912 * BrightBlackHole * (+416) replying 19:10:22 [[Call stack/Manipulation]] https://esolangs.org/w/index.php?diff=108646&oldid=74800 * Rdococ * (+350) /* Call Stack Manipulation */ Added my own idea cuz why not :) 21:06:36 -!- m5zs7k has quit (Ping timeout: 250 seconds). 21:08:29 -!- m5zs7k has joined. 21:31:51 `tom7list https://www.youtube.com/watch?v=Ae9EKCyI1xU 21:31:53 tom7list? No such file or directory 22:23:10 -!- Thelie has joined. 22:33:38 -!- Thelie has quit (Remote host closed the connection). 23:23:04 fungot: would you compare floating point numbers for equality? 23:23:05 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. 23:38:36 that's at least a comparison 23:51:04 [[Treefuck]] N https://esolangs.org/w/index.php?oldid=108647 * Squidmanescape * (+22) Redirected page to [[Minitree]] 23:56:05 [[Minitree]] N https://esolangs.org/w/index.php?oldid=108648 * Squidmanescape * (+8069) Created 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