00:17:07 -!- glowcoil has quit (Ping timeout: 272 seconds).
00:17:22 -!- pikhq has quit (Ping timeout: 260 seconds).
00:18:04 -!- glowcoil has joined.
00:18:32 -!- ProofTechnique has quit (Ping timeout: 260 seconds).
00:18:45 -!- pikhq has joined.
00:18:54 -!- ProofTechnique has joined.
00:40:58 <zzo38> It look like Wizards of the Coast had now made the change that I had made earlier for my own cards, which is that {S} comes from any snow source, not only a snow permanent (if this is what the release notes are meaning). Previously, they had done so a rule for copies of non-card spells entering the battlefield, too.
00:41:46 <shachaf> They're bringing back snow-covered lands?
00:41:54 <esowiki> [[129]] https://esolangs.org/w/index.php?diff=80280&oldid=80265 * TonyBrown148 * (+6) Version 0.2.0. Notice that the I/O commands are changed.
00:44:28 <esowiki> [[129]] https://esolangs.org/w/index.php?diff=80281&oldid=80280 * TonyBrown148 * (+0) /* Cat program */ Update.
00:50:52 <esowiki> [[129]] https://esolangs.org/w/index.php?diff=80282&oldid=80281 * TonyBrown148 * (+60) update the explanation
01:18:21 <esowiki> [[Vague]] https://esolangs.org/w/index.php?diff=80283&oldid=79296 * Quintopia * (+300) links to implementations (coming soon)
01:21:44 <esowiki> [[Vague/AnimaLibera]] N https://esolangs.org/w/index.php?oldid=80284 * Quintopia * (+3326) created page
01:21:56 -!- ArthurStrong has joined.
01:23:13 <esowiki> [[Vague/IFcoltransG]] N https://esolangs.org/w/index.php?oldid=80285 * Quintopia * (+4638) created page
01:23:53 <esowiki> [[Vague/IFcoltransG]] M https://esolangs.org/w/index.php?diff=80286&oldid=80285 * Quintopia * (+39) formatting
01:24:58 <esowiki> [[Vague/Quintopia]] N https://esolangs.org/w/index.php?oldid=80287 * Quintopia * (+6017) created page
01:25:27 <esowiki> [[Vague/Quintopia]] M https://esolangs.org/w/index.php?diff=80288&oldid=80287 * Quintopia * (+20) formatting
01:29:45 <esowiki> [[Vague]] M https://esolangs.org/w/index.php?diff=80289&oldid=80283 * Quintopia * (+143) /* Implementations */
01:30:01 <esowiki> [[Vague]] M https://esolangs.org/w/index.php?diff=80290&oldid=80289 * Quintopia * (+2) /* Implementations */
01:33:18 <esowiki> [[Talk:Parse this sic]] https://esolangs.org/w/index.php?diff=80291&oldid=80271 * Digital Hunter * (+269) /* your base conversion is flawed */ new section
01:52:45 <esowiki> [[Parse this sic]] https://esolangs.org/w/index.php?diff=80292&oldid=80279 * Digital Hunter * (+0) I was wrong about my having-been-wrong about base conversion! I had it down the first time!
01:55:38 <esowiki> [[Deadfish]] M https://esolangs.org/w/index.php?diff=80293&oldid=80274 * Digital Hunter * (+4) /* Parse this sic */ Really sorry. I'm done now.
01:56:16 -!- ubq323 has quit (Quit: WeeChat 2.3).
02:16:28 -!- mmmattyx has quit (Quit: Connection closed for inactivity).
02:18:43 -!- arseniiv has quit (Ping timeout: 260 seconds).
02:30:33 -!- delta23 has quit (Quit: Leaving).
02:33:09 <esowiki> [[Parse this sic]] https://esolangs.org/w/index.php?diff=80294&oldid=80292 * Digital Hunter * (+699) /* Factorial */
02:39:32 <esowiki> [[Parse this sic]] M https://esolangs.org/w/index.php?diff=80295&oldid=80294 * Digital Hunter * (+547) /* Factorial */
03:42:04 -!- Bowserinator has quit (Remote host closed the connection).
03:43:50 -!- Bowserinator has joined.
04:09:05 -!- SpaceDecEva has joined.
04:25:25 -!- SpaceDecEva has quit (Quit: Connection closed).
04:53:19 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)).
05:16:51 -!- delta23 has joined.
07:01:04 -!- Sgeo has quit (Read error: Connection reset by peer).
07:47:36 -!- sprock has quit (Ping timeout: 240 seconds).
08:16:44 -!- Remavas has joined.
08:17:04 -!- Remavas has quit (Remote host closed the connection).
08:26:20 -!- LKoen has joined.
08:45:40 -!- TheLie has joined.
08:58:35 -!- delta23 has quit (Quit: Leaving).
08:59:07 -!- delta23 has joined.
08:59:24 -!- delta23 has quit (Remote host closed the connection).
09:52:23 -!- TheLie has quit (Remote host closed the connection).
10:18:07 -!- Lord_of_Life_ has joined.
10:19:58 -!- Lord_of_Life has quit (Ping timeout: 260 seconds).
10:19:59 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
10:32:55 <int-e> fungot: how do you manage without hands?
10:32:55 <fungot> int-e: btw fnord, there are some calls for which we can be here for another 2 hours or so.
10:33:26 <int-e> fungot: dang, I don't have that long
10:34:13 <int-e> oh, is nobody else engaging fungot, again? sad times, what have we come to...
10:34:23 <fungot> shachaf: great stuff gregorr...
10:46:37 -!- TheLie has joined.
10:46:42 <fizzie> I didn't know it does a random random word if you don't provide any arguments.
11:26:26 -!- sftp has quit (Ping timeout: 265 seconds).
11:26:56 -!- mniip has joined.
11:28:38 -!- sftp has joined.
11:29:40 <b_jonas> https://twitter.com/gro_tsen/status/1350887473426161669 “Wait: I have used the wonderful ASCII character U+0060 GRAVE ACCENT only SIX times in 24 891 tweets, less than any other printable ASCII‽ What an unworthy inventor of Unlambda I am! This character deserves `acclamation`!”
11:40:09 <int-e> Hmm I forgot how ``ci`ci works.
11:44:58 <int-e> ``ci`ci -> ``i(`[]`ci)`ci -> `(`[]`ci)`ci -> ``ci`ci, inventing some notation for the captured continuation
11:44:59 <HackEso> `ci`ci? No such file or directory
11:45:46 <int-e> (the [] is a hole)
11:46:56 <shachaf> Let's see, is CPS call/cc "callcc f k = f k k"?
11:47:49 <shachaf> That would make callcc id = (\k -> k k), I think.
11:50:10 <shachaf> Which would make sense, I guess. callcc id calls id with the current continuation, so its value is the value of the current continuation. (callCC id) x = -- well, I think it works out to the thing you said.
11:58:23 <int-e> shachaf: no, it captures the context. A[`cF] -> `F(A[]), where (A[]) behaves as `(A[])G -> A[G]
11:58:50 <int-e> the ``ci`ci example doesn't do it justice :P
11:59:27 <int-e> sorry, you said CPS
11:59:59 <int-e> then yeah, it's like that.
12:00:13 <int-e> k being the context
12:01:08 <int-e> what's really messy is that Unlambda has side effects
12:01:36 <int-e> oh and the `d "delay" thing which is like TeX's \expandafter
12:03:09 <shachaf> I switched to non-CPS in the last line.
12:04:05 <int-e> uh but that's operating on the level of continuiations
12:04:21 <shachaf> Undelimited continuations are pretty wacky, huh.
12:05:11 <b_jonas> so you're trying to implemenr a transformation from unlmabda to CPS unlambda without c?
12:05:30 <int-e> `ci is definitely not the same as ``sii
12:05:30 <HackEso> ci? No such file or directory
12:05:31 <shachaf> This thing only works like because of the implicit delimiter around the whole program.
12:05:53 <int-e> b_jonas: just trying to make sense of things, I think
12:06:31 <int-e> shachaf: yeah, it's a thing of sheer beauty, like all things Unlambda
12:06:33 <b_jonas> unlambda makes that quite hard
12:07:13 <shachaf> `ci isn't the same as ``sii, because it acts on the continuation, not on values.
12:07:29 <shachaf> It calls its continuation with itself.
12:07:38 <shachaf> I should make it clear when I'm talking about CPS vs. non-CPS.
12:07:41 <b_jonas> the underlying SKI calculus is nice and simple, but David manages to add just the right extensions to make it complex but still hard to program
12:08:47 <int-e> the sane way to program Unlambda is to do your own CPS to control side effects and stay away from c and d :P
12:09:14 <int-e> thougharguably it's also the boring way
12:10:51 -!- ArthurStrong has quit (Quit: leaving).
12:14:57 <fizzie> I just remember ((call/cc call/cc) (call/cc call/cc)) being the conventional Scheme call/cc puzzle.
12:16:22 <Taneb> d does something with evaluation order
12:18:22 -!- Hooloovo0 has quit (Remote host closed the connection).
12:19:23 <int-e> shachaf: you can maybe implement lazy evaluation if you wrap all values in `d.
12:19:23 <int-e> fizzie: yeah I suppose ``cc`cc is the same
12:19:34 -!- ineiros has quit (Ping timeout: 260 seconds).
12:19:40 <int-e> and it's ugly because the context will grow
12:21:04 -!- ineiros has joined.
12:22:01 <int-e> https://paste.debian.net/1182690/ eww
12:22:40 -!- Hooloovo0 has joined.
12:23:02 <shachaf> If callcc f k = f k k, then callcc callcc k = k k k?
12:26:03 <int-e> > iterate (\x -> 3*x-3) 2
12:26:05 <lambdabot> [2,3,6,15,42,123,366,1095,3282,9843,29526,88575,265722,797163,2391486,717445...
12:26:21 <int-e> oh there's a 42 in there, nice
12:27:16 <j-bot> b_jonas: 2 3 6 15 42 123 366 1095 3282 9843 29526 88575 265722 797163 2391486 7174455 21523362 64570083 193710246 581130735 1743392202 5230176603 15690529806 47071589415
12:28:01 <int-e> > text $ replicate 41 '`' ++ concat (replicate 42 "`cc")
12:28:03 <lambdabot> ``````````````````````````````````````````cc`cc`cc`cc`cc`cc`cc`cc`cc`cc`cc`c...
12:31:56 -!- arseniiv has joined.
12:31:58 <int-e> > [(3^i+3)`div`2|i<-[0..]]
12:32:01 <lambdabot> [2,3,6,15,42,123,366,1095,3282,9843,29526,88575,265722,797163,2391486,717445...
12:34:02 <int-e> b_jonas: if you look at terms 1,5 and 9 in https://paste.debian.net/1182690/ and count the `cc-s, that'll give 2, 3, 6... so that's where this sequence came up
12:34:47 <shachaf> @let getcc = callCC (\k -> return (fix k))
12:35:52 <lambdabot> https://oeis.org/A115098 a(0)=2, a(n)=3*a(n-1)-3.
12:35:53 <lambdabot> [2,3,6,15,42,123,366,1095,3282,9843,29526,88575,265722,797163,2391486,717445...
12:35:53 <shachaf> If (call/cc call/cc) isn't bad enough, you can always (call/cc Y)
12:49:59 <int-e> Taneb: I see no mention of call/cc :P
13:44:55 -!- chibi_ has joined.
13:51:42 -!- jix has quit (Ping timeout: 265 seconds).
13:52:28 -!- jix has joined.
14:18:37 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
14:37:53 -!- Arcorann has quit (Ping timeout: 264 seconds).
14:52:50 -!- kritixilithos has joined.
15:02:46 -!- Sgeo has joined.
15:05:58 -!- TheLie has quit (Remote host closed the connection).
15:16:56 -!- arseniiv has quit (Ping timeout: 240 seconds).
15:17:26 -!- rain1 has joined.
15:24:45 <chibi_> Trying to understand Full Stack, I'm not sure I grok the quine and truth machine examples
15:27:02 <chibi_> ...does full stack work right to left or am I missing something?
15:27:32 <chibi_> I'm definitely missing something.
15:30:37 <esowiki> [[Conglument]] https://esolangs.org/w/index.php?diff=80296&oldid=78091 * Hakerh400 * (-1) /* Composition */ Fix mistake
15:48:12 <esowiki> [[Language list]] M https://esolangs.org/w/index.php?diff=80297&oldid=80264 * Bo Tie * (+10)
15:49:06 -!- arseniiv has joined.
15:53:25 -!- LKoen has joined.
16:30:05 -!- kritixilithos has quit (Quit: quit).
16:58:12 <esowiki> [[Talk:Parse this sic]] https://esolangs.org/w/index.php?diff=80298&oldid=80291 * Digital Hunter * (+160) /* Writing style and formality */
16:58:50 <esowiki> [[Talk:Parse this sic]] https://esolangs.org/w/index.php?diff=80299&oldid=80298 * Digital Hunter * (+254) /* your base conversion is flawed */
17:34:08 -!- sprock has joined.
17:56:58 -!- tromp_ has joined.
17:59:11 -!- tromp has quit (Ping timeout: 246 seconds).
18:01:03 <esowiki> [[Befunge]] M https://esolangs.org/w/index.php?diff=80300&oldid=78099 * Quintopia * (-1) sp
18:23:35 -!- TheLie has joined.
18:44:56 -!- arseniiv_ has joined.
18:47:16 -!- arseniiv has quit (Ping timeout: 240 seconds).
18:49:01 -!- MDude has joined.
18:51:56 -!- xelxebar has quit (*.net *.split).
19:07:20 -!- TheLie has quit (Remote host closed the connection).
19:53:21 -!- copumpkin has quit (Remote host closed the connection).
19:54:02 -!- copumpkin has joined.
20:04:44 -!- xelxebar has joined.
20:38:17 <esowiki> [[Timeline of esoteric programming languages]] https://esolangs.org/w/index.php?diff=80301&oldid=75280 * Quintopia * (-447) removing some events for lack of widespread notability within the esolang community
20:41:02 <esowiki> [[Timeline of esoteric programming languages]] https://esolangs.org/w/index.php?diff=80302&oldid=80301 * Quintopia * (+132) /* 2000 */
20:43:08 <esowiki> [[Timeline of esoteric programming languages]] https://esolangs.org/w/index.php?diff=80303&oldid=80302 * Quintopia * (+133) /* 2007 */
20:46:33 <esowiki> [[Timeline of esoteric programming languages]] https://esolangs.org/w/index.php?diff=80304&oldid=80303 * Quintopia * (+171) /* 2002 */
20:50:17 <esowiki> [[Timeline of esoteric programming languages]] https://esolangs.org/w/index.php?diff=80305&oldid=80304 * Quintopia * (+66) /* 2007 */
21:03:38 -!- umowa has joined.
21:04:48 -!- umowa has left.
21:08:19 -!- ShinzenATT has joined.
21:10:40 -!- ShinzenATT has left.
21:36:47 -!- ocharles has quit (Read error: Connection reset by peer).
21:37:35 -!- ocharles has joined.
21:51:10 <esowiki> [[User:The-Ennemy/asm2bf-tutorial]] https://esolangs.org/w/index.php?diff=80306&oldid=80268 * The-Ennemy * (+140) /* Basic concepts */
22:37:52 -!- TheLie has joined.
22:42:08 <esowiki> [[User:The-Ennemy/asm2bf-tutorial]] https://esolangs.org/w/index.php?diff=80307&oldid=80306 * The-Ennemy * (+3422) /* Conditionals */
22:49:21 <esowiki> [[User:The-Ennemy/asm2bf-tutorial]] https://esolangs.org/w/index.php?diff=80308&oldid=80307 * The-Ennemy * (+375) /* Conditionals */
22:55:25 -!- Deewiant has quit (Ping timeout: 256 seconds).
22:55:57 -!- Deewiant has joined.
22:56:59 <esowiki> [[Talk:0587]] N https://esolangs.org/w/index.php?oldid=80309 * Chibiningen * (+82) /* Implementation? */ new section
22:57:41 <esowiki> [[Talk:0587]] M https://esolangs.org/w/index.php?diff=80310&oldid=80309 * Chibiningen * (+98) Forgot to add sig.
23:04:53 -!- arseniiv_ has quit (Ping timeout: 264 seconds).
23:09:52 <esowiki> [[User:The-Ennemy/asm2bf-tutorial]] https://esolangs.org/w/index.php?diff=80311&oldid=80308 * The-Ennemy * (+1141) /* Conditionals */
23:12:20 <esowiki> [[User:The-Ennemy/asm2bf-tutorial]] https://esolangs.org/w/index.php?diff=80312&oldid=80311 * The-Ennemy * (+46) /* Conditionals */
23:12:29 <esowiki> [[User:The-Ennemy/asm2bf-tutorial]] https://esolangs.org/w/index.php?diff=80313&oldid=80312 * The-Ennemy * (+2) /* Conditionals */
23:13:00 <esowiki> [[User:The-Ennemy/asm2bf-tutorial]] https://esolangs.org/w/index.php?diff=80314&oldid=80313 * The-Ennemy * (-3)
23:14:25 <esowiki> [[Parse this sic]] https://esolangs.org/w/index.php?diff=80315&oldid=80295 * Digital Hunter * (+1112) /* Numbers */ my base conversion was bugged! Not surprisingly a PTS mistake, as expected 0's wouldn't print and expected 1's could be 0's.
23:22:24 <esowiki> [[User:The-Ennemy/asm2bf-tutorial]] https://esolangs.org/w/index.php?diff=80316&oldid=80314 * The-Ennemy * (+53) /* Conditionals */
23:23:21 <esowiki> [[User:The-Ennemy/asm2bf-tutorial]] https://esolangs.org/w/index.php?diff=80317&oldid=80316 * The-Ennemy * (+74) /* Conditionals */
23:46:24 <esowiki> [[User:The-Ennemy/asm2bf-tutorial]] https://esolangs.org/w/index.php?diff=80318&oldid=80317 * The-Ennemy * (+10) /* Conditionals */
23:57:58 <esowiki> [[Parse this sic]] https://esolangs.org/w/index.php?diff=80319&oldid=80315 * Digital Hunter * (+215) /* 99 bottles of beer */ updated to my realisation of the OTHER base conversion macro bug