00:21:35 [[User:Ashli Katt]] M https://esolangs.org/w/index.php?diff=150672&oldid=133092 * Ashli Katt * (-80) 00:41:54 [[WhatLang]] https://esolangs.org/w/index.php?diff=150673&oldid=150671 * Jan jelo * (+173) /* Practices and idioms */ 00:42:53 [[WhatLang]] M https://esolangs.org/w/index.php?diff=150674&oldid=150673 * Jan jelo * (+11) /* Practices and idioms */ 00:58:26 -!- xelxebar_ has joined. 01:04:28 -!- xelxebar has quit (Quit: ZNC 1.7.2+deb3 - https://znc.in). 01:04:29 -!- FreeFull has quit (Remote host closed the connection). 01:04:36 -!- FreeFull has joined. 01:17:19 [[Talk:Iterate]] https://esolangs.org/w/index.php?diff=150675&oldid=150551 * PkmnQ * (+312) 01:49: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). 02:00:04 -!- bgh has joined. 02:11:12 -!- moony has quit (Read error: Connection reset by peer). 02:11:41 -!- moony7 has joined. 02:16:24 [[Iterate]] M https://esolangs.org/w/index.php?diff=150676&oldid=150649 * Aadenboy * (+306) edge cases 02:17:16 -!- Guest6479 has quit (Ping timeout: 252 seconds). 02:17:25 -!- Ae` has joined. 02:34:19 [[Iterate]] M https://esolangs.org/w/index.php?diff=150677&oldid=150676 * Aadenboy * (+38) edge case 02:54:23 [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=150678&oldid=150615 * PrySigneToFry * (+871) 02:57:22 [[User talk:Tommyaweosme/Emojic collab with yayimhere and ractangle]] https://esolangs.org/w/index.php?diff=150679&oldid=149554 * PrySigneToFry * (+78) 02:57:58 [[]] M https://esolangs.org/w/index.php?diff=150680&oldid=150600 * PrySigneToFry * (-1) 03:13:40 -!- yewscion has joined. 03:13:56 [[Iterate]] https://esolangs.org/w/index.php?diff=150681&oldid=150677 * Aadenboy * (-226) /* A-B */ better subtraction algorithm 03:18:30 [[Iterate]] https://esolangs.org/w/index.php?diff=150682&oldid=150681 * Aadenboy * (+103) implemented 03:23:41 [[WhatLang]] https://esolangs.org/w/index.php?diff=150683&oldid=150674 * Jan jelo * (+359) /* Example programs */ 03:24:05 [[WhatLang]] M https://esolangs.org/w/index.php?diff=150684&oldid=150683 * Jan jelo * (-4) /* Example programs */ 03:24:32 [[WhatLang]] M https://esolangs.org/w/index.php?diff=150685&oldid=150684 * Jan jelo * (-11) /* Example programs */ 03:29:11 [[WhatLang]] M https://esolangs.org/w/index.php?diff=150686&oldid=150685 * Jan jelo * (-5) /* Example programs */ oh,I can use arr@ 03:40:31 -!- Sgeo_ has quit (Read error: Connection reset by peer). 03:42:35 -!- Sgeo has joined. 03:53:35 -!- bgh has quit (Quit: Client closed). 04:01:15 -!- craigo has quit (Quit: Leaving). 04:40:38 [[User talk:MihaiEso]] https://esolangs.org/w/index.php?diff=150687&oldid=150534 * MihaiEso * (+500) /* X-script 3.1? */ 04:43:33 -!- yewscion_ has joined. 04:46:04 -!- yewscion has quit (Ping timeout: 260 seconds). 05:23:31 [[Iterate]] M https://esolangs.org/w/index.php?diff=150688&oldid=150682 * Aadenboy * (+6) /* A-B */ 05:35:57 [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=150689&oldid=150533 * Ellos * (+151) /* Introductions */ 06:18:50 [[X-script/Examples]] https://esolangs.org/w/index.php?diff=150690&oldid=150592 * PrySigneToFry * (+67) 06:23:29 [[User talk:MihaiEso]] https://esolangs.org/w/index.php?diff=150691&oldid=150687 * PrySigneToFry * (+987) 06:30:52 [[List of quines]] https://esolangs.org/w/index.php?diff=150692&oldid=150613 * Jan jelo * (+295) /* QWOP */ 06:32:05 [[List of quines]] https://esolangs.org/w/index.php?diff=150693&oldid=150692 * Jan jelo * (-296) /* Smalltalk */ wait,I read it wrong 06:32:54 [[List of quines]] https://esolangs.org/w/index.php?diff=150694&oldid=150693 * Jan jelo * (+295) /* Smalltalk */ 06:34:26 [[Anti-Plushie language/PSTF]] https://esolangs.org/w/index.php?diff=150695&oldid=150036 * PrySigneToFry * (-237) 06:36:50 [[PrySigneToFry-complete]] https://esolangs.org/w/index.php?diff=150696&oldid=150236 * PrySigneToFry * (+70) 07:11:29 -!- yewscion_ has quit (Read error: Connection reset by peer). 07:30:40 [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=150697&oldid=150678 * Ractangle * (-5) we fix spelling 07:32:21 [[User talk:Tommyaweosme/Emojic collab with yayimhere and ractangle]] https://esolangs.org/w/index.php?diff=150698&oldid=150679 * Ractangle * (+225) /* To get code-golfing, I recommend to use the Base-100. */ 07:33:37 [[]] https://esolangs.org/w/index.php?diff=150699&oldid=150680 * Ractangle * (+5) 07:54:39 -!- tromp has joined. 08:10:07 -!- Sgeo has quit (Read error: Connection reset by peer). 08:13:26 [[List of quines]] https://esolangs.org/w/index.php?diff=150700&oldid=150694 * Jan jelo * (+108) /* DUP */ 08:19:07 [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=150701&oldid=150697 * I am islptng * (+13) /* LifeWiki is down! */ 08:20:13 [[List of quines]] https://esolangs.org/w/index.php?diff=150702&oldid=150700 * Jan jelo * (+168) /* Lisp */ 09:40:04 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 10:44:24 -!- tromp has joined. 10:46:03 [[List of quines]] https://esolangs.org/w/index.php?diff=150703&oldid=150702 * Jan jelo * (-4745) /* Brainfuck */ replace into a shorter one 11:39:36 [[X-script]] https://esolangs.org/w/index.php?diff=150704&oldid=150595 * PrySigneToFry * (+49) 11:41:22 Hi 12:04:26 -!- mtm has quit (Ping timeout: 272 seconds). 12:04:51 -!- V has joined. 12:06:12 -!- mtm has joined. 12:56:34 [[Talk:List of quines]] https://esolangs.org/w/index.php?diff=150705&oldid=117628 * Blashyrkh * (+268) Some doubts about Subleq quine 12:59:48 -!- visilii has quit (Read error: Connection reset by peer). 13:01:07 -!- visilii has joined. 13:06:08 [[Talk:List of quines]] https://esolangs.org/w/index.php?diff=150706&oldid=150705 * Blashyrkh * (+91) /* Subleq */ 13:19:46 [[List of quines]] https://esolangs.org/w/index.php?diff=150707&oldid=150703 * Blashyrkh * (+2846) /* Real Quines */ Lazy K quine, implemented a couple of years ago 13:38:30 -!- Everything has joined. 13:40:25 -!- chomwitt has joined. 13:41:55 [[List of quines]] https://esolangs.org/w/index.php?diff=150708&oldid=150707 * Jan jelo * (-1707) /* Brainfuck */ replace it into a shorter one 13:48:59 [[User talk:Jan jelo]] https://esolangs.org/w/index.php?diff=150709&oldid=150176 * Blashyrkh * (+184) 13:58:22 [[User talk:Jan jelo]] https://esolangs.org/w/index.php?diff=150710&oldid=150709 * Jan jelo * (+26) /* Brainfuck quine */ 14:06:24 [[User talk:Jan jelo]] https://esolangs.org/w/index.php?diff=150711&oldid=150710 * Blashyrkh * (+112) /* Brainfuck quine */ 14:06:57 [[User talk:Jan jelo]] M https://esolangs.org/w/index.php?diff=150712&oldid=150711 * Jan jelo * (+7) /* Brainfuck quine */ 14:13:07 [[List of quines]] M https://esolangs.org/w/index.php?diff=150713&oldid=150708 * Jan jelo * (+33) /* Brainfuck */ 14:13:42 [[List of quines]] M https://esolangs.org/w/index.php?diff=150714&oldid=150713 * Jan jelo * (-1) /* Brainfuck */ 14:16:33 [[List of quines]] M https://esolangs.org/w/index.php?diff=150715&oldid=150714 * Jan jelo * (-4) /* Brainfuck */ 14:22:26 -!- amby has joined. 15:11:50 [[User:B jonas]] https://esolangs.org/w/index.php?diff=150716&oldid=147561 * B jonas * (+6) /* Games that the esolangs community plays */ 15:35:02 -!- Sgeo has joined. 15:46:37 [[List of quines]] M https://esolangs.org/w/index.php?diff=150717&oldid=150715 * Jan jelo * (+95) /* Bash */ 16:19:40 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 16:21:19 -!- tromp has joined. 16:21:49 -!- chomwitt has quit (Remote host closed the connection). 16:52:18 [[Iterate]] https://esolangs.org/w/index.php?diff=150718&oldid=150688 * Aadenboy * (+1215) /* Basic arithmetic */ implement modulus 17:01:29 [[Iterate]] https://esolangs.org/w/index.php?diff=150719&oldid=150718 * Aadenboy * (+656) /* Basic arithmetic */ implement floored division 17:01:54 [[Iterate]] M https://esolangs.org/w/index.php?diff=150720&oldid=150719 * Aadenboy * (+11) /* A/B */ 17:22:33 -!- Everything has quit (Ping timeout: 252 seconds). 17:42:15 Oh, okay, I see how to parse BIIA? in one pass. With lots of reallocation or slicing/indexing arithmetic. Not worth it. 17:52:39 -!- craigo has joined. 18:00:53 [[Marb]] https://esolangs.org/w/index.php?diff=150721&oldid=149937 * 47 * (+153) /* Syntax */ 18:01:11 [[Marb]] https://esolangs.org/w/index.php?diff=150722&oldid=150721 * 47 * (-2) /* Truth-machine */ 18:02:09 [[List of ideas]] https://esolangs.org/w/index.php?diff=150723&oldid=148876 * B jonas * (+465) /* Ideas for Names */ ambiguous classical mythology names 18:04:12 korvo: you can use one of the union tree structures in CLRS to find the connected components in one pass, but it's indeed not worth because parsing is just a small part of running a BIIA program so the rest of the execution will overshadow it in resource costs anyway. 18:05:04 b_jonas: Sure. What I'm finding is that the allocation of each tile's storage needs to be bounded, and so I need a pass to compute the bounds before I can start copying into the tile. The graph traversal is indeed a very slick way to get that first pass done. 18:06:18 you could also borrow a Piet parser for this 18:06:26 since that identifies connected components as well 18:11:09 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 18:11:53 I'm set. Next step is to figure out non-interactive execution, starting with cases without I/O. 18:26:04 [[Anti-Plushie language]] M https://esolangs.org/w/index.php?diff=150724&oldid=142465 * Aadenboy * (+97) 18:26:19 [[Anti-Plushie language]] M https://esolangs.org/w/index.php?diff=150725&oldid=150724 * Aadenboy * (+3) 18:38:10 -!- tromp has joined. 18:45:25 -!- Lord_of_Life has quit (Ping timeout: 244 seconds). 18:50:06 -!- Lord_of_Life has joined. 19:29:13 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 19:31:47 -!- tromp has joined. 19:41:56 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 19:44:00 -!- tromp has joined. 19:45:15 Oh, non-interactive execution is just graph search. So interactive BIIA? should be mere interleaving of search with I/O, with output only -- uh, I guess I need terms. 19:46:25 A *corner* will be a partial witness rectangle, filled in at (0,0), with no empty spaces in its interior. A *corner tile* has (0,0) filled in. 19:47:23 So, search can be decomposed into discrete sets of corners, starting with the set of corner tiles. Then I/O should be possible whenever the current set of corners all agree on the output. 19:47:29 "just graph search"? 19:47:36 what do you mean? 19:47:57 To make that interactive, merely constrain the search relative to current input, and make the output relative to some initial segment of already-emitted output. 19:48:42 Like, we can imagine a graph whose vertices are corners and whose edges are labeled by tiles; an edge labeled with tile T indicates that T can be fitted to the source corner to form the target corner. 19:49:11 And then execution is merely graph search, looking for at least one corner which is a witness. The given semantics don't really allow for anything simpler. 19:49:56 "not worth it" - funnily enough I implement disjoint set forests relatively often because I think they're simple. (I'll do it in Haskell and pay the log(n) overhead from using persistent data structures instead of arrays) 19:50:58 int-e: sure, but I'm saying specifically for But is it art 19:52:03 b_jonas: Yeah I have no point. Except maybe that there's more than one cost metric. 19:52:39 It's more of a tangent while I'm reminding myself what the semantics of BIIA are. 19:58:10 Ugh, I'm going to have to write an event loop if I want to do this from RPython. Debating whether to reuse the libuv bindings I wrote a while ago or hack up something that only handles stdio. 19:58:57 ...Or I could just put stdin into non-blocking mode. What's the worst that could happen~ 20:04:30 (Ugh those semantics are awful :P I mean, from the perspective of actually trying to implement them.) 20:07:16 -!- yewscion has joined. 20:14:09 b_jonas: And the reason why I don't think that it's overkill is because when scanning input linearly, you can have some pretty complicated intermediate connectivity relations that eventually collapse into a single component. https://paste.debian.net/1346663/ But indeed... this is just for parsing and that's not the difficult part. 20:17:52 ...Wait, are tiles allowed to be non-convex? I wasn't sure. 20:18:19 yes 20:18:42 I /assume/ that they can also have holes 20:18:52 all the spec says is that they're connected 20:19:04 (and since holes are finite you can assume that there aren't any w.l.o.g. 20:19:06 ) 20:19:58 (you can pre-fill them; that may result in exponentially more tiles) 20:20:42 Couldn't that require pre-computing all possible inputs? "Exponentially" sounds like a real issue. 20:21:22 No, this is pure preprocessing. 20:21:27 No input is involved yet. 20:21:32 (Or output) 20:22:29 [[Egel]] https://esolangs.org/w/index.php?diff=150726&oldid=94234 * B jonas * (+1034) Example programs 20:22:53 You parse all tiles. Then, for each tile with a hole, you fill the hole in all possible ways and use the resulting unholey tiles instead. 20:23:48 For implementations that try to be practical as much as possible this is probably a terrible idea of course. 20:25:13 Yeah. Still, I see what you're saying about the theory. I suppose I could assume for now that there aren't any holes, and then add that preprocessing later on. 20:25:50 But it would multiply everything by a number of tiles, when instead the holes could be like mini-constraints with their own mini-clauses to satisfy. 20:26:04 yep 20:26:27 It's analogous to pre-computing tables for grammars, knowing that often it's possible to pre-compute one more layer by multiplying everything by some uncomfortably large constant. 20:26:58 (Where "uncomfortably large" is around 1.01 or so? And in practice computer science requires it to be at least 2, which is terrifying.) 20:37:18 Oh nice. It's not all that hard to prove that that compositeness test works. 20:44:11 (Idea: Relabel the tiles as follows, https://paste.debian.net/1346669/ and then reason from the bottom that any rectangle you fill will be a 3n x 2m rectangle. Then look at the top right to see that n,m > 1.) 20:46:34 (Each eb/+++ belongs to a separate tile; the ambiguity is limited to whether the - characters connect to the top or to the right and bottom.) 20:47:27 err, or to the left 21:21:12 [[List of ideas]] https://esolangs.org/w/index.php?diff=150727&oldid=150723 * Ractangle * (+133) /* Ideas for Names */ 21:27:22 -!- bgh has joined. 21:30:32 -!- bgh has left. 21:39:25 [[Counterlang]] https://esolangs.org/w/index.php?diff=150728&oldid=150572 * Kaveh Yousefi * (+37) Rectified the Extended Backus-Naur Form (EBNF) description in order to admit counter names as subtrahends. 21:50:11 Oh and I guess this also shows that we can drop the middle column from all tiles and it still works (one needs to shift the 'eb' part too). 21:58:13 [[MoreMathRPN]] M https://esolangs.org/w/index.php?diff=150729&oldid=150550 * Calculus is fun * (-2) /* 99 bottles of beer */ 22:26:43 [[D.U.C.K.]] M https://esolangs.org/w/index.php?diff=150730&oldid=108082 * Calculus is fun * (+0) black whole -> black hole 22:34:35 -!- DOS_User_webchat has joined. 22:36:57 [[A+B Problem]] M https://esolangs.org/w/index.php?diff=150731&oldid=150610 * Aadenboy * (+40) /* Iterate */ update 22:44:58 -!- DOS_User_webchat has quit (Remote host closed the connection). 22:54:54 cuy 22:54:55 -y 23:23:49 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 23:32:50 [[TimeWaste]] M https://esolangs.org/w/index.php?diff=150732&oldid=106654 * TheCanon2 * (+29) Turing completeness ignores delays