00:06:40 <boily> thue can TC because you can force away the nondeterminism.
00:12:44 <imode> boily: like enforcing a linear order to the rewrite rules?
00:12:55 <imode> because I swear to god there's some way to do that with NDF.
00:13:51 <boily> imhellode. something like that.
00:15:14 <imode> got any examples of that? I don't see many examples for Thue.
00:17:26 <boily> on the esolang page, the example right after the hello world. this shows a way to work around nondeterminism, by marking strings with delimiters.
00:18:10 <boily> by "cheating" with an alphabet of tags, you can guarantee that some steps always happen in order.
00:19:14 <imode> I figured as much. last night I was trying to do the equivalent problem but with multisets. naively I thought that I could enforce a linear ordering by just prepending every rule with a check for a state register.
00:50:42 -!- augur has joined.
01:01:47 <fungot> boily: mr president, ladies and gentlemen, that preparing the budget of the union's foreign policy is directed at solving all disputes with neighbouring countries. this has always fallen through, however, this motion does contain elements which are vital if economic and monetary union, the european union
01:06:07 -!- Cale_ has joined.
01:06:10 -!- Cale has quit (Quit: Leaving).
01:12:17 -!- Cale_ has quit (Quit: Leaving).
01:12:27 -!- Cale has joined.
01:19:03 <fizzie> fungot: What do you think would be the right solution for the post-Brexit Northern Ireland border?
01:19:03 <fungot> fizzie: the three reports we are debating a report by my colleague, who is an expert from the directorate-general on competition is removed from the original text of the commission's audacity when we see that the single currency because that is not a disaster. this is hardly dignified. it is also our duty to take back funds which could be managed without any major advantages for the regions in the european union
01:22:19 -!- Cale has quit (Remote host closed the connection).
01:23:07 -!- doesthiswork has joined.
01:29:13 -!- Phantom_Hoover has quit (Remote host closed the connection).
01:49:52 -!- Cale has joined.
01:51:22 -!- sleffy has joined.
01:54:40 -!- boily has quit (Quit: TARGET CHICKEN).
02:07:13 -!- augur has quit (Ping timeout: 248 seconds).
02:16:43 -!- jaboja has quit (Ping timeout: 252 seconds).
02:51:27 -!- sleffy has quit (Ping timeout: 240 seconds).
03:12:53 -!- augur has joined.
03:18:40 <zzo38> NRRD does not have a "page" kind
03:54:05 -!- trn has quit (Remote host closed the connection).
04:02:26 -!- sleffy has joined.
04:14:18 -!- trn has joined.
04:39:41 -!- Cale has quit (Quit: Leaving).
04:40:23 -!- Cale has joined.
05:55:42 -!- sleffy has quit (Ping timeout: 258 seconds).
06:05:32 -!- doesthiswork has quit (Quit: Leaving.).
06:19:57 <imode> anybody got any literature on nondeterministic register machines? shot in the dark.
06:20:11 <imode> actually make that nondeterministic counter machines.
06:33:24 -!- Bowserinator has quit (Quit: ZNC Sucks >_>).
06:41:27 -!- sleffy has joined.
07:17:02 <shachaf> Nondeterministic has multiple meanings, I guess.
07:17:49 <zzo38> Yes, that is one of the thing that I thought too, and, therefore, should need the example?
07:18:38 <shachaf> How's everything been? What's been going on in zzo38land?
07:18:52 <shachaf> I bet it's something interesting and oddly specific.
07:21:18 <lambdabot> KSFO 200556Z 20017G23KT 10SM FEW008 BKN016 BKN027 17/14 A2986 RMK AO2 SLP113 60000 T01720139 10172 20161 58009
07:22:08 <zzo38> I have received the latest 2600 issue. I have also played GURPS game on the past weekend. Now, maybe we should need to make hole so that the room can be surveillance from the outside. Also, I worked more on XYZABCDE.ZZT game.
07:22:54 <shachaf> Is the hole in your GURPS game or outside of it?
07:23:37 <zzo38> In the wall, in the story, in the event of the GURPS game.
07:34:59 <zzo38> Although, maybe that isn't necessary and there is a better way to do something.
07:35:47 <shachaf> zzo38: Do you like category theory?
07:38:43 -!- AnotherTest has joined.
07:43:13 -!- AnotherTest has quit (Ping timeout: 248 seconds).
08:12:01 -!- sleffy has quit (Ping timeout: 240 seconds).
08:14:10 -!- augur has quit (Remote host closed the connection).
08:17:18 <\oren\> OMG this song is just kyary pamyu pamyu slow and distorted
08:17:21 <\oren\> https://youtu.be/25YqRRvl9gk?t=4m20s
09:10:05 -!- augur has joined.
09:13:34 -!- imode has quit (Ping timeout: 264 seconds).
09:43:24 -!- AnotherTest has joined.
09:47:35 -!- iovoid has quit (Ping timeout: 240 seconds).
09:52:42 -!- iovoid has joined.
09:52:42 -!- iovoid has quit (Changing host).
09:52:42 -!- iovoid has joined.
10:10:29 -!- augur has quit (Remote host closed the connection).
10:14:37 -!- LKoen has joined.
11:29:19 -!- AnotherTest has quit (Ping timeout: 255 seconds).
11:34:56 -!- boily has joined.
12:21:28 -!- boily has quit (Quit: GLOWING CHICKEN).
12:28:57 -!- AnotherTest has joined.
13:58:36 -!- doesthiswork has joined.
14:30:08 -!- iovoid has quit (Ping timeout: 255 seconds).
14:31:14 -!- iovoid has joined.
14:31:14 -!- iovoid has quit (Changing host).
14:31:14 -!- iovoid has joined.
14:50:00 -!- moony has quit (Remote host closed the connection).
14:50:53 -!- `^_^v has joined.
14:56:05 -!- iovoid has quit (Ping timeout: 240 seconds).
15:04:41 -!- doesthiswork has quit (Quit: Leaving.).
15:11:56 -!- ATMunn has quit (Quit: lol rip).
15:12:10 -!- ATMunn has joined.
15:57:31 <b_jonas> http://www.explainxkcd.com/wiki/index.php/1000:_1000_Comics/1000_characters HAHAHAHAHAHA
16:16:08 -!- sleffy has joined.
16:47:44 -!- jaboja has joined.
16:50:57 -!- jaboja has quit (Remote host closed the connection).
16:56:17 <fungot> b_jonas: mr president, commissioner, ladies and gentlemen, we are in the third pillar and in the fundamental question is, in spite of everything and without denying the differences there may be effective.
16:57:55 <int-e> fungot: wait if you're in the third pillar then who's holding up the other two?
16:57:56 <fungot> int-e: mr president, mr purvis. i congratulate mrs jeggle on her report which contains figures mostly relating to the fact that the spanish presidency for appearing here so quickly, and also, i believe that, from the point with the rapporteur is correct to propose simplifying the rules of procedure, which we did not do so then we can also quote fnord of but which is not entirely coincidental. i wonder, will the commission prese
17:24:01 <b_jonas> Hehe, libcurl has an option CURLOPT_PROTOCOLS to limit what protocol of urls it accepts. This has the set of protocols described as a bitmask in a C long. I wonder what they'll do when they have more than 31 protocols supported. Currently 28 bits are used.
17:35:36 -!- imode has joined.
17:46:07 -!- Cale has quit (Remote host closed the connection).
17:46:40 -!- Cale has joined.
18:00:36 <imode> turns out that if you extend NDF to checking for zeros, it is turing complete.
18:00:51 <imode> meaning if I can check if a register is empty, it becomes equivalent to a petri net with an inhibitor arc.
18:00:56 <imode> and that is turing complete.
18:01:19 <imode> but without that (or without some equivalent without extending it), it is too weak.
18:15:33 -!- Phantom_Hoover has joined.
18:15:33 -!- Phantom_Hoover has quit (Changing host).
18:15:33 -!- Phantom_Hoover has joined.
18:39:34 -!- sleffy has quit (Ping timeout: 252 seconds).
18:57:23 -!- LKoen has quit (Remote host closed the connection).
19:11:55 -!- augur has joined.
19:16:25 -!- augur has quit (Ping timeout: 252 seconds).
19:23:19 -!- lambdabot has quit (Remote host closed the connection).
19:24:44 <imode> actually now that I think about it, what's the difference between checking for something >= 0 and having all your registers assume a default value of zero... and checking for >= 1 while having your registers be set to 1.
19:28:11 -!- lambdabot has joined.
19:29:17 <zzo38> b_jonas: I thought perhaps they should change to "unsigned long long", might be better, then. (But, then, won't be suitable if the compiler doesn't implement that.)
19:33:58 <int-e> (Apparently, screen -X is not 100% reliable.)
19:40:13 -!- int-e has quit (Remote host closed the connection).
19:41:24 -!- int-e has joined.
19:48:51 <\oren\> https://i.imgflip.com/1xyq25.jpg
20:04:30 -!- jaboja has joined.
20:08:53 -!- LKoen has joined.
20:09:54 -!- Bowserinator has joined.
20:10:18 -!- Bowserinator has changed nick to Guest30421.
20:10:53 -!- Guest30421 has changed nick to Bowserinator.
20:11:06 -!- Bowserinator has quit (Changing host).
20:11:06 -!- Bowserinator has joined.
20:17:46 -!- sleffy has joined.
20:18:22 -!- imode has quit (Ping timeout: 264 seconds).
21:17:45 -!- augur has joined.
21:18:58 <zzo38> Now I added a "ff-uniq" program, to remove duplicate tiles from a vertical strip.
21:19:10 <zzo38> (Use ff-strip at first if it isn't already a vertical strip.)
21:20:15 -!- nycs has joined.
21:23:07 -!- `^_^v has quit (Ping timeout: 260 seconds).
21:35:41 -!- augur has quit (Remote host closed the connection).
21:51:22 -!- augur has joined.
22:02:58 -!- 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.”).
22:43:35 -!- sleffy has quit (Ping timeout: 240 seconds).
23:03:45 -!- nycs has quit (Ping timeout: 248 seconds).
23:09:22 -!- AnotherTest has quit (Ping timeout: 264 seconds).
23:12:27 <\oren\> @tell boily https://i.redd.it/pj7ssi2nwzsz.jpg
23:23:55 -!- augur has quit (Ping timeout: 252 seconds).
23:46:46 -!- augur has joined.
23:48:35 -!- brandonson has quit (Ping timeout: 240 seconds).
23:56:33 -!- sleffy has joined.