00:02:55 -!- Sgeo_ has quit (Ping timeout: 268 seconds). 00:14:33 -!- oerjan has joined. 00:59:17 -!- b_jonas has quit (Quit: leaving). 01:26:51 -!- Sgeo__ has quit (Read error: Connection reset by peer). 01:27:17 -!- Sgeo__ has joined. 01:32:49 -!- arseniiv has quit (Ping timeout: 246 seconds). 01:37:53 -!- Sgeo_ has joined. 01:41:18 -!- Sgeo__ has quit (Ping timeout: 245 seconds). 02:46:38 i don't think the spaceship is going to like your idea, sam 02:52:01 * oerjan spots boily on reddit 02:52:11 he doesn't seem to come here any more 03:29:09 In some computer games you can shoot only once and can't shoot again until your previous bullet/arrow is gone, but now I found a game with a variant of that, where you can shoot as often as you want but the previous arrow disappears if you shoot again 03:29:22 (Also it says "delayed" instead of "paused") 03:30:25 -!- FreeFull has quit (Quit: Goodnight LambdaComplex). 03:46:46 -!- Lord_of_Life has quit (Ping timeout: 268 seconds). 03:47:02 -!- Lord_of_Life has joined. 04:04:44 -!- Sgeo__ has joined. 04:07:51 -!- Sgeo_ has quit (Ping timeout: 244 seconds). 04:35:27 -!- Essadon has quit (Quit: Qutting). 06:19:45 -!- ineiros has joined. 06:35:15 -!- oerjan has quit (Quit: Nite). 06:47:46 It seem Fossil wiki doesn't treat "¼" as a actual HTML entity code even though "£" works. 06:52:31 (However, "¼" can be used instead of "¼" and that works OK.) 08:52:00 -!- AnotherTest has joined. 08:56:16 -!- imode has quit (Ping timeout: 246 seconds). 09:19:22 -!- Sgeo_ has joined. 09:23:06 -!- Sgeo__ has quit (Ping timeout: 272 seconds). 10:06:21 -!- Sgeo__ has joined. 10:09:07 -!- Sgeo_ has quit (Ping timeout: 240 seconds). 10:36:27 -!- uplime has quit (Ping timeout: 240 seconds). 10:42:51 [[Pepe]] https://esolangs.org/w/index.php?diff=58917&oldid=58038 * RealUndefined * (+22) 10:48:46 -!- Sgeo_ has joined. 10:51:59 -!- Sgeo__ has quit (Ping timeout: 246 seconds). 11:14:09 -!- uplime has joined. 11:46:14 -!- uplime has quit (Ping timeout: 272 seconds). 13:03:54 -!- uplime has joined. 13:17:33 -!- uplime has quit (Ping timeout: 245 seconds). 13:27:04 -!- ais523 has joined. 13:28:05 re: the whole Wang tiles / combinatory logic thing, it strikes me that ():^ Underload could be implemented in a very similar system; it's associative, and there are only finitely many possible distinct stack elements 13:28:17 so you genuinely could create tiles for all of them in advance 13:29:46 of course, that language is basically just an encoding of a counter machine, which would be easy enough to implement directly… 13:30:26 you could implement ~ and ! easily too, the hard commands are a and * 13:30:40 because they can generate interesting new sorts of stack elements 13:31:29 hmm, now I'm thinking about "postfix Underload" 13:32:49 where your primitives are a * : ^ ! (a) (*) (:) (^) (!) 13:33:17 and (…) is converted to reverse-Polish notation, e.g. (a(!)*) would be written as (a) (!) a * (*) * 13:34:22 most of this could be implemented very easily using "local" rewrite rules (i.e. ones that don't try to pattern match against (…) or the like) 13:34:49 the hard cases are ! and : applied to a and * 13:34:54 but I'm not sure they're /that/ hard 13:35:38 well, a ! is trivial, it's just ! 13:36:09 and * ! is ! ! 13:36:21 so the hard case is : applied to the result of a or * 13:43:12 let's add an additional primitive pair _ and (_), with the rule that for any stack elements [X] and [Y], [X] [Y] _ is equivalent to (Y) ^ (X); this is an updated version of a primtiive I've been using a lot in Underload-based languages 13:44:37 hmm, that doesn't obviously seem to help in a rewrite-based system 13:45:50 but perhaps if we put restrictions on [Y]? 13:47:05 * [X] [Y] _ is equivalent to [Y] ^ [X] 13:49:12 actually, I think the primitive we want has sligtly different functionality 13:50:22 -!- Sgeo__ has joined. 13:50:27 -!- arseniiv has joined. 13:51:41 -!- uplime has joined. 13:53:14 -!- Sgeo_ has quit (Ping timeout: 244 seconds). 14:00:38 …or maybe we need two of them, _ and ~ 14:01:18 a [Y] ~ is [Y] 14:01:34 err, typo, a [Y] ~ is [Y] ~ a 14:03:56 but * [Y] ~ isn't easy, I think ~ is the wrong primitive too 14:06:01 I guess what I want is something that pushes a command under one stack element (like _ does), but can be repeated to push the command under two stack elements, etc. 14:06:03 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 14:06:45 -!- AnotherTest has joined. 14:21:24 -!- Essadon has joined. 14:23:31 -!- uplime has quit (Ping timeout: 250 seconds). 14:26:54 the problem is that that wouldn't be concatenative 14:32:03 -!- uplime has joined. 14:33:56 -!- aloril has quit (Remote host closed the connection). 14:34:27 -!- aloril has joined. 14:35:45 -!- sleepnap has joined. 14:57:45 -!- Sgeo_ has joined. 15:01:36 -!- Sgeo__ has quit (Ping timeout: 250 seconds). 15:10:29 -!- ais523 has quit (Quit: quit). 15:33:44 -!- uplime has quit (Ping timeout: 246 seconds). 15:45:43 -!- Lord_of_Life_ has joined. 15:47:07 -!- Lord_of_Life has quit (Ping timeout: 240 seconds). 15:48:06 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 16:17:04 -!- derpy_ has joined. 16:19:12 -!- derpy has quit (Ping timeout: 272 seconds). 16:27:49 -!- Sgeo__ has joined. 16:31:08 -!- Sgeo_ has quit (Ping timeout: 246 seconds). 16:32:21 -!- Sgeo_ has joined. 16:33:41 -!- uplime has joined. 16:35:28 -!- Sgeo__ has quit (Ping timeout: 245 seconds). 16:38:27 -!- uplime has quit (Ping timeout: 240 seconds). 16:40:53 -!- uplime has joined. 18:32:23 -!- Sgeo__ has joined. 18:34:06 -!- FreeFull has joined. 18:35:20 -!- Sgeo_ has quit (Ping timeout: 244 seconds). 18:37:57 -!- imode has joined. 18:42:25 -!- Sgeo_ has joined. 18:45:40 -!- Sgeo__ has quit (Ping timeout: 244 seconds). 18:56:12 -!- Phantom_Hoover has joined. 18:56:12 -!- Phantom_Hoover has quit (Changing host). 18:56:12 -!- Phantom_Hoover has joined. 20:09:45 -!- imode has quit (Quit: WeeChat 2.3). 20:52:08 -!- arseniiv has quit (Ping timeout: 245 seconds). 21:04:17 -!- ais523 has joined. 21:12:23 -!- ais523 has quit (Remote host closed the connection). 21:13:38 -!- ais523 has joined. 22:00:07 -!- MDude has quit (Ping timeout: 268 seconds). 22:10:40 -!- MDude has joined. 22:38:50 -!- sleepnap has left. 22:40:02 -!- AnotherTest has quit (Ping timeout: 246 seconds). 23:02:15 -!- ais523 has quit (Remote host closed the connection). 23:03:30 -!- ais523 has joined. 23:17:27 -!- Sgeo__ has joined. 23:20:25 -!- Sgeo_ has quit (Ping timeout: 250 seconds). 23:35:26 -!- Sgeo_ has joined. 23:38:37 -!- Sgeo__ has quit (Ping timeout: 246 seconds). 23:48:18 -!- Phantom_Hoover has quit (Remote host closed the connection). 23:56:28 -!- ineiros has quit (Ping timeout: 246 seconds). 23:59:05 -!- oerjan has joined.