00:09:05 -!- heroux has quit (Read error: Connection reset by peer).
00:14:12 -!- heroux has joined.
00:55:05 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
01:10:24 -!- skizzy has joined.
01:27:15 -!- xkapastel has quit (Quit: Connection closed for inactivity).
02:19:42 -!- Lord_of_Life_ has joined.
02:21:16 -!- Lord_of_Life has quit (Ping timeout: 246 seconds).
02:21:16 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
02:21:16 -!- Lord_of_Life has quit (Changing host).
02:21:16 -!- Lord_of_Life has joined.
02:55:33 -!- oerjan has joined.
03:00:20 -!- skizzy has quit (Remote host closed the connection).
03:02:17 -!- skizzy has joined.
03:05:03 <oerjan> b_jonas: apparently M-/ does completion only as filename
03:20:16 -!- skizzy has quit (Remote host closed the connection).
03:25:04 -!- skizzy has joined.
03:44:54 -!- xkapastel has joined.
03:47:07 <zzo38> oerjan: Yes, that works (on my computer at least)
06:04:32 <b_jonas> oerjan: well great. I still don't really get the point of programmable completion in bash. it sounds useful in abstract in readline, but that doesn't mean I want to use it in bash for anything.
06:05:24 <b_jonas> especially not after the horrible decision by gnu getopt_long to accept any unambiguous prefix of a long option
06:06:00 <b_jonas> I don't know why they even did that, that just means that scripts using long options will randomly break in the future when new long options are added, which makes the whole point of long options as opposed to short options kind of useless
06:06:41 <b_jonas> I mean, manually adding synonyms to long options, that I understand, but accepting any random prefix without a warning?
06:07:31 <b_jonas> they should explicitly add synonyms like --no-perm and --no-same-perm and --no-permission and --no-permissions and --no-same-permission to the option --no-same-permissions in tar, and things like that
06:07:47 -!- Sgeo has joined.
06:08:41 <imode> anybody have any resources for evaluating the S and K combinator basis using queues?
06:09:01 <imode> I guess my question is really "how can I evaluate unlambda using only a queue holding the initial input string."
06:09:50 <b_jonas> imode: look at how underload works. it uses two stacks. wait, queues?
06:09:56 -!- Sgeo_ has quit (Ping timeout: 250 seconds).
06:10:06 <b_jonas> still, even for queues, you just use a suitable rewriting system.
06:10:26 <imode> https://ptpb.pw/WVs8
06:10:37 <imode> this is the problem statement I'm working with.
06:11:20 <b_jonas> wait, hasn't someone already asked something about queues and how you can use them?
06:11:23 <imode> the idea is to formulate combinator application as a series of operations on multiple queues.
06:11:47 <imode> I don't want to use parens, so I admit an application operator/combinator.
06:12:45 <imode> I'm already doing friggin' term rewriting using a queue, I can't imagine CL could be that far off.
06:15:27 <zzo38> Sometimes all of the letters for short options are used, that might be why they need the long options. Other than that I think short options are usually good enough
06:16:06 <b_jonas> can you cheat by using integers, either in the queue, or in some registers?
06:16:49 <imode> no. the queue must consist entirely of a sequence of those combinators I've defined: `, S and K.
06:16:55 <b_jonas> zzo38: well sure, grep and tar have a lot of options, including for compatibility merging multiple different grep variants which is why grep -r and grep -R means the same
06:17:17 <imode> fyi, b_jonas: https://git.imode.tech/?p=python/modal;a=blob;f=modal.py;h=fc26ebe7ae44f3220f5ad9b1267421ae38d61e2d;hb=refs/heads/master
06:17:29 <imode> telnet imode.tech 1337
06:17:48 <imode> (factorial (5)) + (factorial (6))
06:18:34 <imode> I'm already doing term rewriting using queues and some additional data structures. what I want to show is a reduction from general term rewriting to a set of rewriting combinators.
06:18:44 <imode> and then from there, to a queue automata.
06:20:43 <imode> the top layer (the interpreter you see there) is called Modal. the middle layer is Mode.
06:24:45 <zzo38> The syntax for numbers is a bit confusing. The response and rules says "num 1" but that is what you have if you write "1".
06:25:30 <imode> yup, because all numbers get prefixed with their type.
06:25:44 <imode> all arithmetic rules then take something like `add (num ?left) (num ?right)`
06:25:54 <imode> to extract the numeric value of a number.
06:26:08 <imode> this is why you need to do `add (10) (20)`, or `(10) + (20)`.
06:26:46 <imode> if you didn't parenthesize your numbers, it'd look like `add num 10 num 20`. which isn't good.
06:26:53 <zzo38> If you write "num 1" then you get "num num 1".
06:27:07 <imode> yup. because `1` was transformed into `num 1`.
06:27:18 <zzo38> What you say is sense, I am only saying the syntax is a bit confusing due to that
06:27:36 -!- b_jonas has quit (Quit: leaving).
06:30:44 <zzo38> Also, what exactly is the tilde doing? Sometimes it adds spaces sometimes seems to do nothing, if it is a prefix to something
06:31:32 <imode> oh wow. that's a bug.
06:33:01 <imode> alright, reconnect. that should not happen now.
06:41:27 -!- arseniiv has quit (Ping timeout: 264 seconds).
06:56:49 -!- nfd9001 has joined.
06:59:45 -!- nfd has quit (Ping timeout: 252 seconds).
07:00:21 -!- skizzy has quit (Ping timeout: 244 seconds).
07:27:15 -!- xkapastel has quit (Quit: Connection closed for inactivity).
07:35:51 <oerjan> girl genius: ok, i did not expect _that_.
07:36:11 -!- skizzy has joined.
07:37:48 -!- AnotherTest has joined.
07:38:09 -!- skizzy2 has joined.
07:40:39 -!- Sgeo has quit (Ping timeout: 244 seconds).
07:41:18 -!- skizzy has quit (Ping timeout: 264 seconds).
07:42:00 -!- Sgeo has joined.
07:45:08 <oerjan> also, that bear's earrings seem a bit on and off
07:46:34 -!- skizzy2 has quit (Ping timeout: 250 seconds).
07:55:24 -!- skizzy has joined.
08:09:45 -!- skizzy has quit (Remote host closed the connection).
08:10:10 -!- skizzy has joined.
08:11:27 -!- skizzy has quit (Client Quit).
08:43:22 -!- ATMunn has quit (Quit: lol rip).
08:43:36 -!- ATMunn has joined.
09:05:03 -!- imode has quit (Ping timeout: 245 seconds).
09:34:12 -!- AnotherTest has quit (Ping timeout: 268 seconds).
09:53:15 <int-e> oerjan: the discoloring effect on the eyes is kind of impressive :P
09:53:33 <int-e> (andthe teeth as well)
09:58:14 <oerjan> of course there's a trope for it https://tvtropes.org/pmwiki/pmwiki.php/Main/LatexPerfection
09:58:36 <oerjan> (warning: tvtropes will ruin your life hth)
10:29:01 -!- AnotherTest has joined.
10:54:44 -!- moei has joined.
10:59:56 -!- oerjan has quit (Quit: leaving).
11:06:30 -!- ATMunn has quit (Read error: Connection reset by peer).
11:06:51 -!- ATMunn has joined.
11:30:27 -!- ATMunn has quit (Quit: lol rip).
11:30:45 -!- ATMunn has joined.
11:44:36 <int-e> @tell oerjan https://xkcd.com/609/ hth
11:44:56 -!- olsner has quit (Ping timeout: 268 seconds).
12:01:46 -!- olsner has joined.
12:10:19 -!- olsner has quit (Ping timeout: 246 seconds).
12:14:33 -!- olsner has joined.
12:41:52 -!- xkapastel has joined.
12:58:50 -!- AnotherTest has quit (Ping timeout: 276 seconds).
13:31:15 -!- Essadon has joined.
13:31:43 -!- Essadon has quit (Max SendQ exceeded).
13:32:10 -!- Essadon has joined.
13:40:33 -!- arseniiv has joined.
14:22:12 -!- Lord_of_Life has quit (Ping timeout: 252 seconds).
14:23:27 -!- Lord_of_Life has joined.
14:23:27 -!- Lord_of_Life has quit (Changing host).
14:23:27 -!- Lord_of_Life has joined.
14:41:00 -!- arseniiv has quit (Ping timeout: 252 seconds).
14:46:54 -!- arseniiv has joined.
15:12:27 -!- AnotherTest has joined.
15:30:13 -!- atslash has quit (Quit: This computer has gone to sleep).
17:00:11 -!- AnotherTest has quit (Ping timeout: 252 seconds).
17:05:27 -!- hakatashi has quit (Remote host closed the connection).
17:05:27 -!- hakatashi has joined.
17:18:33 -!- sleepnap has joined.
17:35:10 -!- newbie has joined.
17:38:33 -!- Essadon has quit (Ping timeout: 252 seconds).
18:06:05 -!- AnotherTest has joined.
18:10:14 -!- Sgeo_ has joined.
18:12:18 -!- Sgeo has quit (Ping timeout: 250 seconds).
18:21:14 <oren> Lol Briton longbow spam is apparently, in 2017, still as impossible to counter as it was when I was like 12
18:21:18 <oren> https://www.reddit.com/r/aoe2/comments/7541iv/noob_question_countering_late_game_mass_longbows/do395ge
18:45:59 -!- atslash has joined.
18:50:30 -!- Phantom_Hoover has joined.
19:00:35 -!- sleepnap has quit (Quit: Leaving.).
19:39:46 -!- newbie has quit (Ping timeout: 268 seconds).
19:40:51 -!- newbie has joined.
19:44:56 -!- newbie has quit (Client Quit).
20:00:50 -!- imode has joined.
20:43:56 -!- b_jonas has joined.
20:52:04 -!- Bowserinator has quit (Changing host).
20:52:04 -!- Bowserinator has joined.
20:55:08 -!- moony has quit (Changing host).
20:55:08 -!- moony has joined.
21:21:58 <b_jonas> `ehlist http://eheroes.smackjeeves.com/comics/2699873/nothing-out-of-the-ordinary/
21:21:59 <HackEso> /srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: ehlist: not found
22:26:06 <esowiki> [[An Odd Rewriting System]] https://esolangs.org/w/index.php?diff=58479&oldid=58401 * Ais523 * (+709) implemented; example
22:32:48 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds).
22:50:03 -!- Phantom_Hoover has joined.
23:46:11 -!- b_jonas has quit (Quit: leaving).
23:47:18 -!- AnotherTest has quit (Ping timeout: 264 seconds).