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 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 They're bringing back snow-covered lands? 00:41:54 [[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:43:50 Yes. 00:44:28 [[129]] https://esolangs.org/w/index.php?diff=80281&oldid=80280 * TonyBrown148 * (+0) /* Cat program */ Update. 00:50:52 [[129]] https://esolangs.org/w/index.php?diff=80282&oldid=80281 * TonyBrown148 * (+60) update the explanation 01:18:21 [[Vague]] https://esolangs.org/w/index.php?diff=80283&oldid=79296 * Quintopia * (+300) links to implementations (coming soon) 01:21:44 [[Vague/AnimaLibera]] N https://esolangs.org/w/index.php?oldid=80284 * Quintopia * (+3326) created page 01:21:56 -!- ArthurStrong has joined. 01:23:13 [[Vague/IFcoltransG]] N https://esolangs.org/w/index.php?oldid=80285 * Quintopia * (+4638) created page 01:23:53 [[Vague/IFcoltransG]] M https://esolangs.org/w/index.php?diff=80286&oldid=80285 * Quintopia * (+39) formatting 01:24:58 [[Vague/Quintopia]] N https://esolangs.org/w/index.php?oldid=80287 * Quintopia * (+6017) created page 01:25:27 [[Vague/Quintopia]] M https://esolangs.org/w/index.php?diff=80288&oldid=80287 * Quintopia * (+20) formatting 01:29:45 [[Vague]] M https://esolangs.org/w/index.php?diff=80289&oldid=80283 * Quintopia * (+143) /* Implementations */ 01:30:01 [[Vague]] M https://esolangs.org/w/index.php?diff=80290&oldid=80289 * Quintopia * (+2) /* Implementations */ 01:33:18 [[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 [[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 [[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 [[Parse this sic]] https://esolangs.org/w/index.php?diff=80294&oldid=80292 * Digital Hunter * (+699) /* Factorial */ 02:39:32 [[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 fungot: how do you manage without hands? 10:32:55 int-e: btw fnord, there are some calls for which we can be here for another 2 hours or so. 10:33:26 fungot: dang, I don't have that long 10:34:13 oh, is nobody else engaging fungot, again? sad times, what have we come to... 10:34:23 hi fungot. hungot. 10:34:23 shachaf: great stuff gregorr... 10:45:01 `thanks 10:45:08 Thanks, eff. Theff. 10:46:37 -!- TheLie has joined. 10:46:42 I didn't know it does a random random word if you don't provide any arguments. 10:47:58 Fancy. 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 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 Hmm I forgot how ``ci`ci works. 11:41:07 What's c? call/cc? 11:42:54 yes 11:44:58 ``ci`ci -> ``i(`[]`ci)`ci -> `(`[]`ci)`ci -> ``ci`ci, inventing some notation for the captured continuation 11:44:59 ​`ci`ci? No such file or directory 11:45:15 HackEso: sorry 11:45:46 (the [] is a hole) 11:46:56 Let's see, is CPS call/cc "callcc f k = f k k"? 11:47:32 And CPS id x k = k x? 11:47:49 That would make callcc id = (\k -> k k), I think. 11:50:10 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 shachaf: no, it captures the context. A[`cF] -> `F(A[]), where (A[]) behaves as `(A[])G -> A[G] 11:58:50 the ``ci`ci example doesn't do it justice :P 11:59:13 uh 11:59:27 sorry, you said CPS 11:59:59 then yeah, it's like that. 12:00:13 k being the context 12:01:08 what's really messy is that Unlambda has side effects 12:01:36 oh and the `d "delay" thing which is like TeX's \expandafter 12:03:09 I switched to non-CPS in the last line. 12:04:05 uh but that's operating on the level of continuiations 12:04:12 so it's still cps 12:04:21 Undelimited continuations are pretty wacky, huh. 12:05:11 so you're trying to implemenr a transformation from unlmabda to CPS unlambda without c? 12:05:30 `ci is definitely not the same as ``sii 12:05:30 ci? No such file or directory 12:05:31 This thing only works like because of the implicit delimiter around the whole program. 12:05:34 b_jonas: no 12:05:53 b_jonas: just trying to make sense of things, I think 12:06:31 shachaf: yeah, it's a thing of sheer beauty, like all things Unlambda 12:06:33 unlambda makes that quite hard 12:07:13 `ci isn't the same as ``sii, because it acts on the continuation, not on values. 12:07:29 It calls its continuation with itself. 12:07:38 I should make it clear when I'm talking about CPS vs. non-CPS. 12:07:41 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 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 thougharguably it's also the boring way 12:09:48 Uh oh, there's a d? 12:10:51 -!- ArthurStrong has quit (Quit: leaving). 12:14:57 I just remember ((call/cc call/cc) (call/cc call/cc)) being the conventional Scheme call/cc puzzle. 12:16:22 d does something with evaluation order 12:18:22 -!- Hooloovo0 has quit (Remote host closed the connection). 12:19:23 shachaf: you can maybe implement lazy evaluation if you wrap all values in `d. 12:19:23 fizzie: yeah I suppose ``cc`cc is the same 12:19:34 -!- ineiros has quit (Ping timeout: 260 seconds). 12:19:40 and it's ugly because the context will grow 12:21:04 -!- ineiros has joined. 12:22:01 https://paste.debian.net/1182690/ eww 12:22:40 -!- Hooloovo0 has joined. 12:23:02 If callcc f k = f k k, then callcc callcc k = k k k? 12:26:03 > iterate (\x -> 3*x-3) 2 12:26:05 [2,3,6,15,42,123,366,1095,3282,9843,29526,88575,265722,797163,2391486,717445... 12:26:21 oh there's a 42 in there, nice 12:27:15 [ _3 3 p.^:(<24) 2x 12:27:16 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 > text $ replicate 41 '`' ++ concat (replicate 42 "`cc") 12:28:03 ``````````````````````````````````````````cc`cc`cc`cc`cc`cc`cc`cc`cc`cc`cc`c... 12:31:56 -!- arseniiv has joined. 12:31:58 > [(3^i+3)`div`2|i<-[0..]] 12:32:01 [2,3,6,15,42,123,366,1095,3282,9843,29526,88575,265722,797163,2391486,717445... 12:34:02 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 @let getcc = callCC (\k -> return (fix k)) 12:34:49 Defined. 12:35:52 @oeis A115098 12:35:52 https://oeis.org/A115098 a(0)=2, a(n)=3*a(n-1)-3. 12:35:53 [2,3,6,15,42,123,366,1095,3282,9843,29526,88575,265722,797163,2391486,717445... 12:35:53 If (call/cc call/cc) isn't bad enough, you can always (call/cc Y) 12:49:59 Taneb: I see no mention of call/cc :P 12:51:00 int-e: yet! 12:52:00 I see int-e 13:44:55 -!- chibi_ has joined. 13:45:30 Halloah. 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 Trying to understand Full Stack, I'm not sure I grok the quine and truth machine examples 15:27:02 ...does full stack work right to left or am I missing something? 15:27:32 I'm definitely missing something. 15:30:37 [[Conglument]] https://esolangs.org/w/index.php?diff=80296&oldid=78091 * Hakerh400 * (-1) /* Composition */ Fix mistake 15:48:12 [[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 [[Talk:Parse this sic]] https://esolangs.org/w/index.php?diff=80298&oldid=80291 * Digital Hunter * (+160) /* Writing style and formality */ 16:58:50 [[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 [[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 [[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 [[Timeline of esoteric programming languages]] https://esolangs.org/w/index.php?diff=80302&oldid=80301 * Quintopia * (+132) /* 2000 */ 20:43:08 [[Timeline of esoteric programming languages]] https://esolangs.org/w/index.php?diff=80303&oldid=80302 * Quintopia * (+133) /* 2007 */ 20:46:33 [[Timeline of esoteric programming languages]] https://esolangs.org/w/index.php?diff=80304&oldid=80303 * Quintopia * (+171) /* 2002 */ 20:50:17 [[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 [[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 [[User:The-Ennemy/asm2bf-tutorial]] https://esolangs.org/w/index.php?diff=80307&oldid=80306 * The-Ennemy * (+3422) /* Conditionals */ 22:49:21 [[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 [[Talk:0587]] N https://esolangs.org/w/index.php?oldid=80309 * Chibiningen * (+82) /* Implementation? */ new section 22:57:41 [[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 [[User:The-Ennemy/asm2bf-tutorial]] https://esolangs.org/w/index.php?diff=80311&oldid=80308 * The-Ennemy * (+1141) /* Conditionals */ 23:12:20 [[User:The-Ennemy/asm2bf-tutorial]] https://esolangs.org/w/index.php?diff=80312&oldid=80311 * The-Ennemy * (+46) /* Conditionals */ 23:12:29 [[User:The-Ennemy/asm2bf-tutorial]] https://esolangs.org/w/index.php?diff=80313&oldid=80312 * The-Ennemy * (+2) /* Conditionals */ 23:13:00 [[User:The-Ennemy/asm2bf-tutorial]] https://esolangs.org/w/index.php?diff=80314&oldid=80313 * The-Ennemy * (-3) 23:14:25 [[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 [[User:The-Ennemy/asm2bf-tutorial]] https://esolangs.org/w/index.php?diff=80316&oldid=80314 * The-Ennemy * (+53) /* Conditionals */ 23:23:21 [[User:The-Ennemy/asm2bf-tutorial]] https://esolangs.org/w/index.php?diff=80317&oldid=80316 * The-Ennemy * (+74) /* Conditionals */ 23:46:24 [[User:The-Ennemy/asm2bf-tutorial]] https://esolangs.org/w/index.php?diff=80318&oldid=80317 * The-Ennemy * (+10) /* Conditionals */ 23:57:58 [[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