00:03:29 -!- Warrigal_ has quit (Ping timeout: 248 seconds).
00:14:02 -!- jaboja has joined.
00:25:05 -!- imode has joined.
00:28:00 -!- augur has joined.
00:33:45 -!- augur has quit (Remote host closed the connection).
00:36:29 -!- tromp has joined.
00:38:24 -!- augur has joined.
00:39:56 -!- tromp has quit (Remote host closed the connection).
00:40:27 -!- jaboja has quit (Ping timeout: 240 seconds).
00:43:21 -!- Warrigal_ has joined.
00:55:11 -!- Warrigal_ has quit (Ping timeout: 248 seconds).
01:09:27 -!- imode has quit (Ping timeout: 240 seconds).
01:20:21 -!- ^v has quit (Ping timeout: 246 seconds).
01:21:51 -!- ^v has joined.
01:27:05 -!- ^v has quit (Ping timeout: 246 seconds).
01:28:09 -!- Warrigal_ has joined.
01:29:23 -!- augur has quit (Remote host closed the connection).
01:30:57 -!- doesthiswork has joined.
01:36:48 -!- augur has joined.
01:40:33 -!- Warrigal_ has quit (Ping timeout: 248 seconds).
01:40:48 -!- tromp has joined.
01:42:20 -!- ^v has joined.
01:45:05 -!- tromp has quit (Ping timeout: 240 seconds).
01:46:16 -!- imode has joined.
01:49:08 -!- augur has quit (Remote host closed the connection).
01:51:04 <boily> fungot: are you vegetarian?
01:51:05 <fungot> boily: mr president, the european union and, on the basis of article 100c of the treaty, insurance system reforms and policy are national responsibilities. emu leads to economic chaos, whilst proceeding with emu is precisely to go further than the commission's original proposal with regard to the convention.
01:59:06 <quintopia> your t's are like e's and your g's are like z's
01:59:43 <quintopia> it took me some research to determine that "sizhes" was "sights"
02:01:34 -!- augur has joined.
02:01:40 <boily> at least it got to destination!
02:03:14 <boily> `le/rn sizhes//You may need to adjust your sights to understand sizhes.
02:03:21 <HackEgo> Learned 'sizhes': You may need to adjust your sights to understand sizhes.
02:05:15 <quintopia> `le/rn beer/beer never ships from quebec
02:05:15 <HackEgo> Usage: `le/[/]rn <key>//<wisdom>
02:05:30 <quintopia> `le/rn beer//beer never ships from quebec
02:05:33 <HackEgo> Learned 'beer': beer never ships from quebec
02:10:52 <boily> `le/rn beer/Beer never ships from Québec.
02:10:53 <HackEgo> Usage: `le/[/]rn <key>//<wisdom>
02:11:03 <boily> `le/rn beer//Beer never ships from Québec.
02:11:06 <HackEgo> Relearned 'beer': Beer never ships from Québec.
02:11:23 -!- boily has quit (Quit: FABULOUS CHICKEN).
02:12:00 -!- augur has quit (Remote host closed the connection).
02:12:19 -!- augur has joined.
02:41:34 -!- tromp has joined.
02:45:58 -!- tromp has quit (Ping timeout: 255 seconds).
02:58:29 -!- imode has quit (Ping timeout: 258 seconds).
03:01:30 -!- imode has joined.
03:02:58 -!- ATMunn has quit (Quit: I almost quit without making a custom quit message, rip).
03:21:35 -!- ocharles has quit (Ping timeout: 240 seconds).
03:22:21 -!- ocharles has joined.
03:42:22 -!- tromp has joined.
03:43:20 -!- trn has quit (Ping timeout: 258 seconds).
03:47:05 -!- tromp has quit (Ping timeout: 240 seconds).
04:02:47 -!- trn has joined.
04:28:02 -!- xkapastel has quit (Quit: Connection closed for inactivity).
04:47:35 -!- augur has quit (Remote host closed the connection).
05:09:35 -!- tromp has joined.
05:10:56 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
05:13:41 -!- tromp has quit (Ping timeout: 240 seconds).
05:59:52 -!- xkapastel has joined.
06:10:20 -!- tromp has joined.
06:14:41 -!- tromp has quit (Ping timeout: 248 seconds).
06:18:10 -!- doesthiswork has quit (Quit: Leaving.).
06:20:58 -!- augur has joined.
06:28:33 -!- sleffy has quit (Ping timeout: 248 seconds).
06:29:59 -!- augur has quit (Remote host closed the connection).
06:31:59 -!- augur has joined.
06:59:11 -!- augur has quit (Quit: Leaving...).
07:00:21 -!- FreeFull has quit.
07:06:07 -!- Cale has quit (Ping timeout: 258 seconds).
07:11:54 -!- erkin has joined.
07:19:05 -!- Cale has joined.
07:33:24 -!- MrBismuth has joined.
07:36:08 -!- MrBusiness has quit (Ping timeout: 255 seconds).
07:44:47 -!- tromp has joined.
07:49:53 -!- atslash has joined.
08:08:32 -!- imode has quit (Ping timeout: 246 seconds).
08:22:58 <HackEgo> Taneb is not elliott, no matter whom you ask. He also isn't a rabbi although has pretended in the past. He has at least two backup keyboards with dodgy SHIFT KEys, cube root of nine genders, one of which is a Czech woman, and above average, not too voluminous, but calm eyebrows. He sometimes invents without noticing it (see: tanebventions).
08:23:07 <HackEgo> Tanebventions include necessity, Go, submarine jousting, Fueue, the universe, special relativity, metar, sand, dragons, persistence, the BBC, _46bit, progress, sanity, the grace period, the Oxford comma, and this sentence. See also tanebventions: maths or tanebventions: foods. He never invents anything involving sex.
08:23:36 <shachaf> `slwd tanebvention//s/sanity, /&Italian, /
08:23:39 <HackEgo> tanebvention//Tanebventions include necessity, Go, submarine jousting, Fueue, the universe, special relativity, metar, sand, dragons, persistence, the BBC, _46bit, progress, sanity, Italian, the grace period, the Oxford comma, and this sentence. See also tanebventions: maths or tanebventions: foods. He never invents anything involving sex.
08:24:04 -!- atslash has quit (Quit: This computer has gone to sleep).
08:26:01 -!- tromp has quit (Remote host closed the connection).
08:31:21 -!- AnotherTest has joined.
08:31:52 -!- tromp has joined.
08:39:53 -!- atslash has joined.
08:44:32 -!- atslash has quit (Ping timeout: 255 seconds).
08:44:54 -!- atslash has joined.
08:47:03 -!- tromp has quit (Remote host closed the connection).
09:09:07 -!- xkapastel has quit (Quit: Connection closed for inactivity).
09:11:23 -!- jaboja has joined.
09:24:34 -!- tromp has joined.
09:55:28 -!- sebbu2 has changed nick to sebbu.
10:08:52 -!- jaboja has quit (Ping timeout: 260 seconds).
10:11:04 -!- tromp has quit (Remote host closed the connection).
10:17:54 -!- augur has joined.
10:29:27 -!- jaboja has joined.
10:38:12 -!- tromp has joined.
10:49:46 -!- tromp has quit (Remote host closed the connection).
10:53:18 -!- jaboja has quit (Ping timeout: 246 seconds).
10:59:44 -!- tromp has joined.
11:17:19 -!- jaboja has joined.
11:29:47 -!- rodgort has quit (Quit: Leaving).
11:33:31 -!- rodgort has joined.
11:34:06 -!- boily has joined.
11:35:32 -!- augur has quit (Remote host closed the connection).
11:40:01 -!- jaboja has quit (Ping timeout: 248 seconds).
11:41:27 -!- Neo1 has joined.
11:42:23 <Neo1> come on everybody )
11:42:32 <Neo1> what are you doing here?
12:13:14 <Slereah> Profiting of my first day of holidays
12:13:23 <Slereah> (I'm sorting the science papers on my computer)
12:18:22 -!- fungot has quit (Ping timeout: 255 seconds).
12:25:14 -!- boily has quit (Quit: BESIDES CHICKEN).
12:36:08 -!- fungot has joined.
12:44:37 -!- tromp has quit (Remote host closed the connection).
12:52:29 -!- erkin has quit (Read error: Connection reset by peer).
12:54:12 -!- jaboja has joined.
12:59:28 -!- AnotherTest has quit (Ping timeout: 240 seconds).
13:02:50 -!- jaboja has quit (Ping timeout: 255 seconds).
13:23:41 -!- erkin has joined.
13:45:31 -!- tromp has joined.
13:46:51 -!- doesthiswork has joined.
13:49:47 -!- tromp has quit (Ping timeout: 246 seconds).
14:02:18 -!- tromp has joined.
14:16:55 -!- ATMunn has joined.
14:50:31 -!- LKoen has joined.
14:52:16 -!- Neo1 has quit (Ping timeout: 255 seconds).
15:07:37 -!- tromp has quit (Remote host closed the connection).
15:07:48 -!- doesthiswork has quit (Quit: Leaving.).
15:13:18 -!- AnotherTest has joined.
15:43:22 -!- imode has joined.
16:01:30 -!- xkapastel has joined.
16:08:30 -!- tromp has joined.
16:12:35 -!- tromp has quit (Ping timeout: 240 seconds).
16:21:42 -!- sleffy has joined.
16:26:39 -!- sebbu has quit (Read error: Connection reset by peer).
16:27:08 -!- sebbu has joined.
16:33:36 -!- LKoen has quit (Remote host closed the connection).
16:37:16 -!- ATMunn has quit (Remote host closed the connection).
16:37:51 -!- ATMunn has joined.
16:49:47 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
16:50:14 -!- tromp has joined.
17:14:46 -!- FreeFull has joined.
17:49:44 -!- imode has quit (Ping timeout: 258 seconds).
18:21:48 -!- AnotherTest has quit (Ping timeout: 240 seconds).
18:32:47 -!- tromp has quit (Remote host closed the connection).
18:37:48 -!- Phantom_Hoover has joined.
18:40:50 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)).
18:47:18 -!- `^_^v has joined.
19:06:22 -!- atslash has quit (Ping timeout: 264 seconds).
19:12:01 -!- tromp has joined.
19:44:26 -!- tromp has quit (Remote host closed the connection).
20:00:19 -!- tromp has joined.
20:34:26 -!- LKoen has joined.
20:38:32 -!- augur has joined.
20:38:48 -!- LKoen has quit (Ping timeout: 240 seconds).
20:41:14 -!- Remavas has joined.
20:58:51 -!- sebbu2 has joined.
21:02:18 -!- sebbu has quit (Ping timeout: 246 seconds).
21:04:03 -!- sebbu2 has changed nick to sebbu.
21:21:45 -!- augur has quit (Remote host closed the connection).
21:27:22 -!- fungot has quit (Ping timeout: 255 seconds).
21:32:39 -!- AnotherTest has joined.
21:45:22 -!- fungot has joined.
21:49:40 -!- Remavas has quit (Quit: Leaving).
21:51:27 -!- augur has joined.
22:05:15 -!- `^_^v has quit (Quit: This computer has gone to sleep).
22:05:34 -!- `^_^v has joined.
22:16:06 -!- tromp has quit (Remote host closed the connection).
22:28:49 -!- augur has quit (Remote host closed the connection).
22:31:58 -!- imode has joined.
22:32:10 -!- AnotherTest has quit (Ping timeout: 255 seconds).
22:44:54 -!- ais523 has joined.
22:47:06 -!- ais523 has quit (Remote host closed the connection).
22:47:15 -!- ais523 has joined.
23:05:14 -!- tromp has joined.
23:05:21 -!- `^_^v has quit (Quit: This computer has gone to sleep).
23:11:41 -!- Phantom_Hoover has quit (Remote host closed the connection).
23:14:53 -!- boily has joined.
23:20:42 <imode> is multiset rewriting turing complete?
23:22:42 <ais523> what definition of "rewriting" are you using? something like http://esolangs.org/wiki/Fractran is Turing-complete
23:22:59 <ais523> and was accidentally rediscovered by oerjan as a rewriting-like system before he discovered it already existed
23:27:02 <imode> replacement rules, but not over strings.
23:28:45 <ais523> Fractran's is literally just specifying a multiset to remove and a multiset to add in its place (with a command doing nothing if you can't do that)
23:28:53 <ais523> that seems like the multiset equivalent of a string rewriting rule
23:29:18 <imode> mm, kind of. as in, you have a set of elements you're searching for on the right hand side, and a list of elements to replace them with on the left hand side.
23:29:39 <imode> "abc" -> "def" is equivalent to "acb" -> "fed", etc.
23:30:01 <alercah> imode: this sounds like fractran, yeah
23:30:07 <imode> only the quantity of each element matters in the replacement, not the order.
23:30:15 <ais523> this sounds even more like fractran
23:30:33 <imode> https://en.wikipedia.org/wiki/P_system
23:30:48 <imode> a more interesting example, but I'm not dealing with membranes.
23:41:20 -!- jaboja has joined.
23:51:19 <imode> it makes me wonder if the ordering of strings is even required.
23:51:33 <imode> to be turing complete, that is.
23:56:30 -!- sebbu has quit (Read error: Connection reset by peer).
23:56:52 -!- sebbu has joined.