00:21:35 <esolangs> [[User:Ashli Katt]] M https://esolangs.org/w/index.php?diff=150672&oldid=133092 * Ashli Katt * (-80)
00:41:54 <esolangs> [[WhatLang]] https://esolangs.org/w/index.php?diff=150673&oldid=150671 * Jan jelo * (+173) /* Practices and idioms */
00:42:53 <esolangs> [[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 <esolangs> [[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 <esolangs> [[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 <esolangs> [[Iterate]] M https://esolangs.org/w/index.php?diff=150677&oldid=150676 * Aadenboy * (+38) edge case
02:54:23 <esolangs> [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=150678&oldid=150615 * PrySigneToFry * (+871)
02:57:22 <esolangs> [[User talk:Tommyaweosme/Emojic collab with yayimhere and ractangle]] https://esolangs.org/w/index.php?diff=150679&oldid=149554 * PrySigneToFry * (+78)
02:57:58 <esolangs> [[]] M https://esolangs.org/w/index.php?diff=150680&oldid=150600 * PrySigneToFry * (-1)
03:13:40 -!- yewscion has joined.
03:13:56 <esolangs> [[Iterate]] https://esolangs.org/w/index.php?diff=150681&oldid=150677 * Aadenboy * (-226) /* A-B */ better subtraction algorithm
03:18:30 <esolangs> [[Iterate]] https://esolangs.org/w/index.php?diff=150682&oldid=150681 * Aadenboy * (+103) implemented
03:23:41 <esolangs> [[WhatLang]] https://esolangs.org/w/index.php?diff=150683&oldid=150674 * Jan jelo * (+359) /* Example programs */
03:24:05 <esolangs> [[WhatLang]] M https://esolangs.org/w/index.php?diff=150684&oldid=150683 * Jan jelo * (-4) /* Example programs */
03:24:32 <esolangs> [[WhatLang]] M https://esolangs.org/w/index.php?diff=150685&oldid=150684 * Jan jelo * (-11) /* Example programs */
03:29:11 <esolangs> [[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 <esolangs> [[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 <esolangs> [[Iterate]] M https://esolangs.org/w/index.php?diff=150688&oldid=150682 * Aadenboy * (+6) /* A-B */
05:35:57 <esolangs> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=150689&oldid=150533 * Ellos * (+151) /* Introductions */
06:18:50 <esolangs> [[X-script/Examples]] https://esolangs.org/w/index.php?diff=150690&oldid=150592 * PrySigneToFry * (+67)
06:23:29 <esolangs> [[User talk:MihaiEso]] https://esolangs.org/w/index.php?diff=150691&oldid=150687 * PrySigneToFry * (+987)
06:30:52 <esolangs> [[List of quines]] https://esolangs.org/w/index.php?diff=150692&oldid=150613 * Jan jelo * (+295) /* QWOP */
06:32:05 <esolangs> [[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 <esolangs> [[List of quines]] https://esolangs.org/w/index.php?diff=150694&oldid=150693 * Jan jelo * (+295) /* Smalltalk */
06:34:26 <esolangs> [[Anti-Plushie language/PSTF]] https://esolangs.org/w/index.php?diff=150695&oldid=150036 * PrySigneToFry * (-237)
06:36:50 <esolangs> [[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 <esolangs> [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=150697&oldid=150678 * Ractangle * (-5) we fix spelling
07:32:21 <esolangs> [[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 <esolangs> [[]] 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 <esolangs> [[List of quines]] https://esolangs.org/w/index.php?diff=150700&oldid=150694 * Jan jelo * (+108) /* DUP */
08:19:07 <esolangs> [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=150701&oldid=150697 * I am islptng * (+13) /* LifeWiki is down! */
08:20:13 <esolangs> [[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 <esolangs> [[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 <esolangs> [[X-script]] https://esolangs.org/w/index.php?diff=150704&oldid=150595 * PrySigneToFry * (+49)
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 <esolangs> [[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 <esolangs> [[Talk:List of quines]] https://esolangs.org/w/index.php?diff=150706&oldid=150705 * Blashyrkh * (+91) /* Subleq */
13:19:46 <esolangs> [[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 <esolangs> [[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 <esolangs> [[User talk:Jan jelo]] https://esolangs.org/w/index.php?diff=150709&oldid=150176 * Blashyrkh * (+184)
13:58:22 <esolangs> [[User talk:Jan jelo]] https://esolangs.org/w/index.php?diff=150710&oldid=150709 * Jan jelo * (+26) /* Brainfuck quine */
14:06:24 <esolangs> [[User talk:Jan jelo]] https://esolangs.org/w/index.php?diff=150711&oldid=150710 * Blashyrkh * (+112) /* Brainfuck quine */
14:06:57 <esolangs> [[User talk:Jan jelo]] M https://esolangs.org/w/index.php?diff=150712&oldid=150711 * Jan jelo * (+7) /* Brainfuck quine */
14:13:07 <esolangs> [[List of quines]] M https://esolangs.org/w/index.php?diff=150713&oldid=150708 * Jan jelo * (+33) /* Brainfuck */
14:13:42 <esolangs> [[List of quines]] M https://esolangs.org/w/index.php?diff=150714&oldid=150713 * Jan jelo * (-1) /* Brainfuck */
14:16:33 <esolangs> [[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 <esolangs> [[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 <esolangs> [[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 <esolangs> [[Iterate]] https://esolangs.org/w/index.php?diff=150718&oldid=150688 * Aadenboy * (+1215) /* Basic arithmetic */ implement modulus
17:01:29 <esolangs> [[Iterate]] https://esolangs.org/w/index.php?diff=150719&oldid=150718 * Aadenboy * (+656) /* Basic arithmetic */ implement floored division
17:01:54 <esolangs> [[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 <korvo> 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 <esolangs> [[Marb]] https://esolangs.org/w/index.php?diff=150721&oldid=149937 * 47 * (+153) /* Syntax */
18:01:11 <esolangs> [[Marb]] https://esolangs.org/w/index.php?diff=150722&oldid=150721 * 47 * (-2) /* Truth-machine */
18:02:09 <esolangs> [[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 <b_jonas> 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 <korvo> 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 <b_jonas> you could also borrow a Piet parser for this
18:06:26 <b_jonas> since that identifies connected components as well
18:11:09 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
18:11:53 <korvo> I'm set. Next step is to figure out non-interactive execution, starting with cases without I/O.
18:26:04 <esolangs> [[Anti-Plushie language]] M https://esolangs.org/w/index.php?diff=150724&oldid=142465 * Aadenboy * (+97)
18:26:19 <esolangs> [[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 <korvo> 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 <korvo> 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 <korvo> 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:57 <korvo> 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 <korvo> 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 <korvo> 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 <int-e> "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 <b_jonas> int-e: sure, but I'm saying specifically for But is it art
19:52:03 <int-e> b_jonas: Yeah I have no point. Except maybe that there's more than one cost metric.
19:52:39 <int-e> It's more of a tangent while I'm reminding myself what the semantics of BIIA are.
19:58:10 <korvo> 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 <korvo> ...Or I could just put stdin into non-blocking mode. What's the worst that could happen~
20:04:30 <int-e> (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 <int-e> 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 <korvo> ...Wait, are tiles allowed to be non-convex? I wasn't sure.
20:18:42 <int-e> I /assume/ that they can also have holes
20:18:52 <int-e> all the spec says is that they're connected
20:19:04 <int-e> (and since holes are finite you can assume that there aren't any w.l.o.g.
20:19:58 <int-e> (you can pre-fill them; that may result in exponentially more tiles)
20:20:42 <korvo> Couldn't that require pre-computing all possible inputs? "Exponentially" sounds like a real issue.
20:21:22 <int-e> No, this is pure preprocessing.
20:21:27 <int-e> No input is involved yet.
20:22:29 <esolangs> [[Egel]] https://esolangs.org/w/index.php?diff=150726&oldid=94234 * B jonas * (+1034) Example programs
20:22:53 <int-e> 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 <int-e> For implementations that try to be practical as much as possible this is probably a terrible idea of course.
20:25:13 <korvo> 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 <korvo> 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:27 <korvo> 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 <korvo> (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 <int-e> Oh nice. It's not all that hard to prove that that compositeness test works.
20:44:11 <int-e> (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 <int-e> (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 <int-e> err, or to the left
21:21:12 <esolangs> [[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 <esolangs> [[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 <int-e> 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 <esolangs> [[MoreMathRPN]] M https://esolangs.org/w/index.php?diff=150729&oldid=150550 * Calculus is fun * (-2) /* 99 bottles of beer */
22:26:43 <esolangs> [[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 <esolangs> [[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).
23:23:49 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
23:32:50 <esolangs> [[TimeWaste]] M https://esolangs.org/w/index.php?diff=150732&oldid=106654 * TheCanon2 * (+29) Turing completeness ignores delays