00:16:48 <quintopia> boily: im about half done with the 2018 ones i wanted to see
00:30:01 -!- sleffy has joined.
00:32:36 -!- sprocklem has joined.
00:38:54 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
00:41:28 <fizzie> Aw. I was wondering how irssi's /upgrade (the thing that allows it to exec a new version of the binary without disconnecting) works for TLS connections, but apparently the answer is "it doesn't".
00:51:28 -!- hppavilion[1] has joined.
00:58:38 -!- boily has quit (Quit: EXCITING CHICKEN).
01:27:33 -!- rodgort has quit (Quit: Leaving).
01:29:35 -!- heroux has joined.
01:31:22 -!- variable has joined.
01:36:35 -!- rodgort has joined.
03:21:04 -!- erkin has joined.
03:45:34 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
04:04:29 -!- PinealGlandOptic has joined.
04:33:57 -!- contrapumpkin has quit (Ping timeout: 240 seconds).
04:34:25 -!- propumpkin has joined.
04:42:39 -!- sprocklem has quit (Ping timeout: 248 seconds).
05:05:03 -!- Sgeo_ has quit (Ping timeout: 256 seconds).
05:08:42 -!- Sgeo has joined.
05:23:04 -!- sprocklem has joined.
05:26:05 -!- sdfgsdf has joined.
05:26:05 -!- sdfgsdfg has quit (Ping timeout: 240 seconds).
06:00:35 -!- sprocklem has quit (Ping timeout: 256 seconds).
06:50:09 -!- aeyxa_ has joined.
06:52:47 -!- sleffy has quit (Ping timeout: 248 seconds).
07:11:14 -!- augur_ has quit (Remote host closed the connection).
07:35:15 -!- sprocklem has joined.
07:49:41 -!- hppavilion[1] has quit (Ping timeout: 268 seconds).
07:58:44 -!- variable has quit (Quit: /dev/null is full).
08:07:36 -!- LKoen has joined.
08:13:52 -!- sdfdssdf has joined.
08:15:10 -!- PinealGlandOptic has quit (Ping timeout: 260 seconds).
08:17:35 -!- sdfgsdf has quit (Ping timeout: 248 seconds).
08:20:16 -!- mrzl has joined.
08:24:54 -!- mrzl has quit (Max SendQ exceeded).
08:25:53 -!- mrzl has joined.
08:28:24 -!- aeyxa_ has quit (Ping timeout: 260 seconds).
08:33:12 -!- xkapastel has quit (Quit: Connection closed for inactivity).
08:34:35 -!- sprocklem has quit (Ping timeout: 240 seconds).
08:36:41 -!- sprocklem has joined.
08:41:57 -!- Sgeo has quit (Ping timeout: 240 seconds).
08:43:24 -!- Sgeo has joined.
08:48:18 -!- PinealGlandOptic has joined.
08:59:05 -!- PinealGlandOptic has quit (Ping timeout: 255 seconds).
09:00:32 -!- PinealGlandOptic has joined.
09:16:01 -!- AnotherTest has joined.
09:23:57 -!- PinealGlandOptic has quit (Ping timeout: 240 seconds).
09:25:05 -!- AnotherTest has quit (Ping timeout: 240 seconds).
09:31:00 -!- PinealGlandOptic has joined.
09:39:20 <esowiki> [[Special:Log/newusers]] create  * Noner Kao *  New user account
09:46:39 -!- PinealGlandOptic has quit (Ping timeout: 248 seconds).
09:50:00 <esowiki> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=53891&oldid=53874 * Noner Kao * (+387) /* Introductions */
10:03:15 -!- PinealGlandOptic has joined.
10:07:39 -!- PinealGlandOptic has quit (Ping timeout: 246 seconds).
10:27:15 -!- mrzl has quit (Ping timeout: 246 seconds).
10:55:08 -!- PinealGlandOptic has joined.
11:28:50 -!- aloril has quit (Ping timeout: 260 seconds).
11:32:25 -!- aloril has joined.
11:36:25 -!- boily has joined.
11:38:14 -!- mrzl has joined.
11:49:56 -!- Naergon has quit (Remote host closed the connection).
11:50:16 -!- Naergon has joined.
11:52:30 -!- mrzl has quit (Quit: Leaving).
12:24:05 -!- aloril has quit (Ping timeout: 240 seconds).
12:30:46 -!- boily has quit (Quit: COUNTERSPELL CHICKEN).
12:36:47 -!- imode has quit (Ping timeout: 276 seconds).
12:37:00 -!- aloril has joined.
12:58:39 -!- Naergon has quit (Ping timeout: 248 seconds).
13:36:15 -!- aloril has quit (Ping timeout: 268 seconds).
13:43:52 -!- aloril has joined.
14:24:07 -!- AnotherTest has joined.
14:29:08 -!- AnotherTest has quit (Ping timeout: 276 seconds).
14:41:59 -!- `^_^v has joined.
14:59:38 -!- propumpkin has changed nick to contrapumpkin.
15:06:10 -!- moei has joined.
15:15:58 -!- xkapastel has joined.
15:21:47 -!- zseri has joined.
15:23:44 -!- vertrex has quit (Ping timeout: 256 seconds).
15:24:49 -!- vertrex has joined.
15:24:49 -!- vertrex has quit (Changing host).
15:24:49 -!- vertrex has joined.
15:31:52 <b_jonas> `recipe
15:31:53 <HackEgo> r cooking spray. \   \  : Cook and beat until stiff peaks form. Heat oven to 350F. Pour over chicken and cut into cheese. \  Combine sugar, olive oil, salt. Bring to boil. Add remaining \  egg water, cocoa and egg whites. Spread lightly to coat chicken. \  Blend butter and set aside. \   \  4. Sift together flour, baking soda and potatoes. Bring to
15:33:38 <b_jonas> Cooking spray? Is that like a screw loosening spray? You no longer need need an expensive set of screwdrivers and wrenches, just take this bottle of WD-40 to loosen the bolt and this bottle of glue to get it stuck.
15:34:10 <b_jonas> Cooking spray is probably the same, just spray it on the raw meat and you get a ready-made cooked meal.
15:34:18 <b_jonas> `random-card
15:34:19 <HackEgo> Gnarlwood Dryad \ G \ Creature -- Dryad Horror \ 1/1 \ Deathtouch \ Delirium -- Gnarlwood Dryad gets +2/+2 as long as there are four or more card types among cards in your graveyard. \ EMN-U
15:34:21 <b_jonas> `starwars 4
15:34:22 <HackEgo> Grievous \ Captain Phasma \ Lor San Tekka \ Luke Skywalker
15:50:36 -!- MDude has quit (Read error: Connection reset by peer).
15:50:54 -!- MDude has joined.
15:55:46 -!- AnotherTest has joined.
15:59:57 -!- AnotherTest has quit (Ping timeout: 240 seconds).
16:25:47 -!- garit has joined.
16:25:47 -!- garit has quit (Changing host).
16:25:47 -!- garit has joined.
16:28:03 -!- augur has joined.
16:32:38 -!- sleffy has joined.
17:09:51 -!- sleffy has quit (Ping timeout: 248 seconds).
17:17:17 -!- ineiros has quit (Ping timeout: 265 seconds).
17:19:42 -!- ineiros has joined.
17:25:32 -!- GautamS has joined.
17:37:07 -!- hppavilion[1] has joined.
17:46:14 -!- GautamS has quit (Remote host closed the connection).
17:47:57 -!- imode has joined.
17:53:08 -!- augur has quit (Remote host closed the connection).
17:54:37 <esowiki> [[Talk:Black Turing-completeness proof]]  https://esolangs.org/w/index.php?diff=53892&oldid=53852 * Keymaker * (+1555) Reply.
17:55:51 <esowiki> [[The Amnesiac From Minsk]]  https://esolangs.org/w/index.php?diff=53893&oldid=45748 * Keymaker * (+0) Typo fix.
18:11:05 -!- jaboja has joined.
18:14:07 -!- augur has joined.
18:18:57 -!- augur has quit (Ping timeout: 256 seconds).
18:44:45 -!- Phantom_Hoover has joined.
18:48:10 -!- zseri has quit (Quit: Leaving).
19:20:57 -!- sprocklem has quit (Ping timeout: 240 seconds).
19:39:51 -!- sprocklem has joined.
19:52:32 -!- `^_^v has quit (Quit: This computer has gone to sleep).
19:56:44 -!- augur has joined.
20:01:21 -!- `^_^v has joined.
20:04:22 -!- `^_^v has quit (Client Quit).
20:10:21 -!- `^_^v has joined.
20:17:01 -!- xkapastel has quit (Quit: Connection closed for inactivity).
20:23:08 -!- PinealGlandOptic has quit (Quit: leaving).
20:27:17 -!- AnotherTest has joined.
20:31:42 -!- AnotherTest has quit (Ping timeout: 252 seconds).
20:50:07 -!- jaboja has quit (Ping timeout: 248 seconds).
20:52:20 -!- sprocklem has quit (Ping timeout: 260 seconds).
20:55:09 -!- jaboja has joined.
21:07:41 -!- `^_^v has quit (Quit: This computer has gone to sleep).
21:10:10 -!- augur has quit (Quit: Leaving...).
21:22:29 -!- AnotherTest has joined.
21:33:09 -!- sleffy has joined.
21:33:18 -!- AnotherTest has quit (Ping timeout: 252 seconds).
21:35:33 -!- Naergon has joined.
21:36:01 -!- sprocklem has joined.
21:37:53 -!- xkapastel has joined.
21:40:27 -!- sleffy has quit (Ping timeout: 240 seconds).
21:40:50 -!- LKoen has quit (Remote host closed the connection).
21:45:14 -!- `^_^v has joined.
22:07:32 -!- sprocklem has quit (Ping timeout: 260 seconds).
22:37:04 -!- jaboja has quit (Ping timeout: 268 seconds).
22:43:56 -!- `^_^v has quit (Quit: This computer has gone to sleep).
22:44:33 -!- jaboja has joined.
22:45:43 -!- jaboja has quit (Remote host closed the connection).
23:00:37 -!- boily has joined.
23:00:58 -!- chal_ has joined.
23:02:14 <boily> fungot: nostril.
23:02:14 <fungot> boily: it needs more work.
23:02:19 <boily> fungot: more nostril.
23:02:19 <fungot> boily: i have epiphany installed here too, i think
23:05:05 -!- moei has quit (Quit: Leaving...).
23:06:10 -!- sprocklem has joined.
23:08:04 <chal_> I asked this question on PPCG and the result was inconclusive: Consider a BF dialect with 2 different while loop types (let's call them <> and []) that function exactly the same but can be interleaved (you can have [{]}) but cannot be nested inside another loop of the same type (you cannot have [[]], [<[]>], <[>[<]>], etc). Is this TC?
23:08:30 <chal_> ^ sorry I typed [{]} but meant [<]>.
23:10:12 <boily> chal_: chello_. are those the only instructions, or do you have the other regular BF instructions?
23:11:20 <chal_> You have other instructions, of course.
23:11:36 -!- sprocklem has quit (Ping timeout: 268 seconds).
23:12:01 <chal_> If not, what is the minimum number of different loop types necessary? There must be a finite upper bound of whatever the BF self-interpreters have
23:13:33 -!- sprocklem has joined.
23:14:27 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
23:14:46 -!- sprocklem has quit (Client Quit).
23:19:50 -!- sprocklem has joined.
23:20:34 <alercah> my intuition is that you'd need arbitrarily many
23:20:42 <alercah> but I'm quite possibly wrong :)
23:21:02 <alercah> hmm actually no
23:21:16 <boily> isn't BF by itself already TC?
23:21:16 <chal_> No, you don't need arbitrarily many because there are BF self-interpreters that only need a finite amount
23:21:21 <boily> hellorcah.
23:21:36 <chal_> Yes, but this is more restrictions: [[]] is banned
23:21:46 <chal_> You can do [<>], but not [<[]>]
23:21:59 <chal_> So at most you can only nest once
23:22:08 <alercah> I suspect you could do it with no nested loops
23:22:27 <alercah> hm no wait
23:24:27 <chal_> Maybe you could translate BCT programs into BF with triply-nested loops
23:24:42 <chal_> Or rather doubly-nested.
23:24:49 <chal_> I still don't know about singly-nested
23:25:19 -!- sprocklem has quit (Ping timeout: 248 seconds).
23:25:30 <alercah> I don't think singly nested works; I think you need one loop to keep the thing going and one for conditionals
23:25:34 <alercah> at the very least
23:27:09 -!- wob_jonas has joined.
23:27:13 -!- sprocklem has joined.
23:28:00 <wob_jonas> chal_: I think we don't know how many levels of properly nested loops brainfuck needs to be Turing-complete. Your question is different though, because it allows improper nesting.
23:28:32 -!- sprocklem has quit (Client Quit).
23:28:50 -!- sprocklem has joined.
23:29:48 <wob_jonas> The properly nested one is a question that I think comes up sometimes in the channel.
23:34:19 -!- chal_ has quit (Ping timeout: 260 seconds).
23:34:23 -!- sprocklem has quit (Ping timeout: 248 seconds).
23:36:14 -!- sprocklem has joined.
23:49:05 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
23:56:04 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).