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 <oerjan> i don't think the spaceship is going to like your idea, sam
02:52:11 <oerjan> he doesn't seem to come here any more
03:29:09 <zzo38> 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 <zzo38> (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 <zzo38> It seem Fossil wiki doesn't treat "¼" as a actual HTML entity code even though "£" works.
06:52:31 <zzo38> (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 <esowiki> [[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 <ais523> 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 <ais523> so you genuinely could create tiles for all of them in advance
13:29:46 <ais523> of course, that language is basically just an encoding of a counter machine, which would be easy enough to implement directly…
13:30:26 <ais523> you could implement ~ and ! easily too, the hard commands are a and *
13:30:40 <ais523> because they can generate interesting new sorts of stack elements
13:31:29 <ais523> hmm, now I'm thinking about "postfix Underload"
13:32:49 <ais523> where your primitives are a * : ^ ! (a) (*) (:) (^) (!)
13:33:17 <ais523> and (…) is converted to reverse-Polish notation, e.g. (a(!)*) would be written as (a) (!) a * (*) *
13:34:22 <ais523> 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 <ais523> the hard cases are ! and : applied to a and *
13:34:54 <ais523> but I'm not sure they're /that/ hard
13:35:38 <ais523> well, a ! is trivial, it's just !
13:36:21 <ais523> so the hard case is : applied to the result of a or *
13:43:12 <ais523> 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 <ais523> hmm, that doesn't obviously seem to help in a rewrite-based system
13:45:50 <ais523> but perhaps if we put restrictions on [Y]?
13:47:05 <ais523> * [X] [Y] _ is equivalent to [Y] ^ [X]
13:49:12 <ais523> 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 <ais523> …or maybe we need two of them, _ and ~
14:01:34 <ais523> err, typo, a [Y] ~ is [Y] ~ a
14:03:56 <ais523> but * [Y] ~ isn't easy, I think ~ is the wrong primitive too
14:06:01 <ais523> 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 <ais523> 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.