00:00:56 -!- lifthrasiir has joined.
00:01:18 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
00:04:46 -!- zzo38 has quit (Ping timeout: 268 seconds).
00:07:00 -!- danieljabailey has quit (*.net *.split).
00:07:00 -!- int-e has quit (*.net *.split).
00:07:02 -!- GeekDude has quit (*.net *.split).
00:07:02 -!- quintopia has quit (*.net *.split).
00:07:03 -!- alercah has quit (*.net *.split).
00:07:03 -!- FireFly has quit (*.net *.split).
00:10:31 -!- ProofTechnique[m has quit (Ping timeout: 260 seconds).
00:10:40 -!- copumpkin has quit (Ping timeout: 245 seconds).
00:13:28 -!- XorSwap has joined.
00:14:07 -!- zzo38 has joined.
00:15:42 -!- danieljabailey has joined.
00:15:42 -!- int-e has joined.
00:15:42 -!- GeekDude has joined.
00:15:42 -!- quintopia has joined.
00:15:42 -!- alercah has joined.
00:15:42 -!- FireFly has joined.
00:19:32 -!- imode has quit (Ping timeout: 276 seconds).
00:36:09 -!- spieglau has quit (Quit: leaving).
00:37:01 -!- spiegelau has joined.
00:51:01 -!- ProofTechnique[m has joined.
00:57:15 -!- spiegelau has quit (Quit: leaving).
00:58:35 -!- yurichev has joined.
01:06:12 -!- copumpkin[m] has joined.
01:38:59 -!- mniip has quit (Ping timeout: 615 seconds).
02:33:52 -!- Cale has joined.
02:41:13 -!- imode has joined.
03:10:05 <esowiki> [[Talk:Smurf]] https://esolangs.org/w/index.php?diff=56869&oldid=50544 * A * (+105) /* Smurf instruction minimalisation */
03:11:04 <esowiki> [[Talk:Smurf]] https://esolangs.org/w/index.php?diff=56870&oldid=56869 * A * (+36) /* Smurf instruction minimalisation */
03:13:31 -!- Cale has quit (Remote host closed the connection).
03:14:42 -!- Cale has joined.
03:30:36 <esowiki> [[Simple Smurf]] https://esolangs.org/w/index.php?diff=56871&oldid=56839 * A * (-430)
03:33:31 <esowiki> [[Simple Smurf]] https://esolangs.org/w/index.php?diff=56872&oldid=56871 * A * (+107)
03:36:37 -!- Cale has quit (Remote host closed the connection).
03:36:39 <esowiki> [[Simple Smurf]] https://esolangs.org/w/index.php?diff=56873&oldid=56872 * A * (+232)
03:39:32 -!- Cale has joined.
03:43:32 <esowiki> [[Simple Smurf]] https://esolangs.org/w/index.php?diff=56874&oldid=56873 * A * (-60)
04:22:34 -!- aloril has quit (Remote host closed the connection).
04:24:34 -!- aloril has joined.
04:25:22 -!- aloril has quit (Remote host closed the connection).
04:25:39 -!- aloril has joined.
05:01:07 -!- tromp has quit (Remote host closed the connection).
05:07:33 -!- mniip has joined.
05:36:22 -!- tromp has joined.
05:40:35 -!- tromp has quit (Ping timeout: 240 seconds).
06:07:45 -!- Cale has quit (Remote host closed the connection).
06:08:47 -!- Cale has joined.
06:10:29 -!- XorSwap has quit (Ping timeout: 255 seconds).
06:29:33 -!- tromp has joined.
06:34:12 -!- tromp has quit (Ping timeout: 256 seconds).
07:13:07 -!- tromp has joined.
07:30:04 -!- AnotherTest has joined.
07:32:26 -!- Cale has quit (Ping timeout: 276 seconds).
07:35:02 -!- AnotherTest has quit (Ping timeout: 276 seconds).
07:45:00 <esowiki> [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=56875&oldid=56861 * Rdebath * (+270) /* Big width loops */
07:46:21 -!- Cale has joined.
07:56:15 -!- SopaXorzTaker has joined.
08:01:01 -!- SopaXorzTaker has quit (Client Quit).
08:08:53 <zzo38> A variant of the BackFlip arrows: instead of pointing where you came from, it now points to the direction you were initially moving in when you hit it. Also add a symbol that always rebounds (but there are no flipping or fixed mirrors). This is the variant I implemented in ZZT. (The variant arrows are stat waters, and the symbol that always rebounds is a ricochet.)
08:25:11 -!- imode has quit (Ping timeout: 276 seconds).
08:27:44 -!- AnotherTest has joined.
09:20:05 -!- atslash has quit (Ping timeout: 244 seconds).
09:24:39 -!- atslash has joined.
09:42:51 -!- copumpkin[m] has quit (Read error: Connection reset by peer).
09:43:10 -!- ProofTechnique[m has quit (Remote host closed the connection).
09:49:55 -!- ProofTechnique[m has joined.
09:56:33 <mniip> 1532039782 [01:36:22] <ais523> something I learned while doing literature review for my PhD thesis is that it's been proven that type inference for system F is impossible in general
09:56:48 <mniip> but is constraint solving in presence of QuantifiedConstraints possible?
09:58:27 <mniip> I have serious doubts about that
09:58:39 <mniip> it looks waaay too close to intuitionistic FOL
10:07:04 -!- copumpkin[m] has joined.
10:21:04 -!- tromp has quit (Remote host closed the connection).
10:21:57 -!- SopaXorzTaker has joined.
10:36:44 -!- tromp has joined.
10:57:44 -!- atslash has quit (Ping timeout: 244 seconds).
11:19:39 -!- SopaXorzTaker has quit (Remote host closed the connection).
11:20:06 -!- SopaXorzTaker has joined.
11:50:49 -!- atslash has joined.
12:19:55 -!- user24 has joined.
12:19:57 -!- rodgort has quit (Quit: Leaving).
12:20:30 -!- user24 has quit (Remote host closed the connection).
12:24:15 -!- rodgort has joined.
12:25:30 -!- imode has joined.
12:26:16 -!- S_Gautam has joined.
13:30:27 -!- atslash has quit (Ping timeout: 240 seconds).
13:31:33 -!- atslash has joined.
13:34:03 -!- oerjan has joined.
13:45:43 -!- Guest55067 has changed nick to lynn.
13:45:51 -!- lynn has quit (Changing host).
13:45:51 -!- lynn has joined.
13:45:51 -!- lynn has quit (Changing host).
13:45:51 -!- lynn has joined.
13:57:56 -!- oerjan has set topic: Welcome to the international tarpit for esoteric programming language discussion, design, development and deployment! | https://esolangs.org | logs: https://esolangs.org/logs/ http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://www.dropbox.com/s/fyhqyvy3i8oh25m/wisdom.pdf.
13:59:05 <oerjan> <Lean1> Why lemons? <-- they're limes actually hth
14:03:28 <int-e> `learn The password of the month will be short-lived.
14:03:30 <HackEso> Relearned 'password': The password of the month will be short-lived.
14:04:01 -!- SopaXT has joined.
14:06:20 -!- imode has quit (Ping timeout: 276 seconds).
14:06:31 -!- SopaXorzTaker has quit (Ping timeout: 268 seconds).
14:32:28 <HackEso> 11584:2018-07-20 <int-̈e> learn The password of the month will be short-lived. \ 11570:2018-06-03 <oerjän> learn The password of the month is illegal in six US states and Saudi Arabia \ 11544:2018-05-05 <int-̈e> learn The password of the month is <redacted>. \ 11509:2018-04-14 <oerjän> slwd password//s,.$,, \ 11508:2018-04-14 <oerjän> learn The password of the month is way too late to fool anyone. \ 11444:2018-03-07 <oerjän> learn The password of
14:37:54 <esowiki> [[Log]] N https://esolangs.org/w/index.php?oldid=56876 * A * (+365) Created page with "'''Logic''' by [[User:A]] is an extremely simple esolang based on [https://en.wikipedia.org/wiki/NOR_logic NOR logic]. ==Syntax== The only available commands are: ! That is N..."
14:38:14 <esowiki> [[Log]] https://esolangs.org/w/index.php?diff=56877&oldid=56876 * A * (+12)
14:38:40 <esowiki> [[Log]] https://esolangs.org/w/index.php?diff=56878&oldid=56877 * A * (+4)
14:39:35 <esowiki> [[Log]] https://esolangs.org/w/index.php?diff=56879&oldid=56878 * A * (+28)
14:53:15 <oerjan> zzo38: that backflip variant wouldn't be reversible
15:24:29 <int-e> https://irclog.perlgeek.de/ :/
15:28:21 <oerjan> next predicted shutdown: wayback hth
15:34:05 -!- atslash has quit (Ping timeout: 276 seconds).
15:35:55 -!- atslash has joined.
15:40:34 -!- SopaXT has quit (Remote host closed the connection).
15:41:08 -!- SopaXT has joined.
15:45:35 -!- SopaXT has quit (Remote host closed the connection).
15:46:03 -!- SopaXT has joined.
15:46:59 -!- oerjan has quit (Quit: Later).
16:00:11 -!- atslash has quit (Ping timeout: 276 seconds).
16:00:25 -!- atslash has joined.
16:05:30 -!- joast has quit (Read error: Connection reset by peer).
16:24:34 -!- SopaXT has changed nick to SopaXorzTaker.
16:31:29 -!- joast has joined.
16:34:14 -!- tromp has quit (Remote host closed the connection).
16:39:31 -!- tromp has joined.
17:01:25 <zzo38> oerjan: Yes, I thought it might be not reversible, but the specific pattern I tried eventually returns to its initial state.
17:01:56 <zzo38> (Anyways I wasn't concerned if it is reversible or not, when doing it; it is just something I did with ZZT)
17:03:26 -!- tromp has quit (Remote host closed the connection).
17:14:00 -!- rdococ has quit (Ping timeout: 245 seconds).
17:14:24 -!- tromp has joined.
17:14:28 -!- rdococ has joined.
18:12:33 -!- Phantom_Hoover has joined.
18:15:36 -!- LKoen has joined.
18:28:06 -!- imode has joined.
18:28:41 -!- SopaXT has joined.
18:31:32 -!- SopaXorzTaker has quit (Ping timeout: 276 seconds).
18:38:04 -!- atslash has quit (Ping timeout: 260 seconds).
18:52:35 -!- etisdew has joined.
19:17:56 -!- atslash has joined.
19:20:39 -!- SopaXT has quit (Remote host closed the connection).
19:29:03 <shachaf> oerjan: i guess this was the last olist
19:29:29 -!- wob_jonas has joined.
19:29:40 <wob_jonas> shachaf: no, there's still one and a half book's worth left
19:30:40 <shachaf> the adventures of durkon as he destroys the world
19:31:23 <shachaf> I guess that lich is still around. What happened with that?
19:31:33 <shachaf> Were those folks still looking through the doors?
19:35:25 <wob_jonas> yes, they're getting some experience points and treasure
19:36:47 <wob_jonas> and some people on the forum think that because of http://www.giantitp.com/comics/oots0276.html , the Gate is actually in Kragor's statue, not anywhere in the holes
19:37:28 <wob_jonas> because Kragor died at the rift, and why else would they make a statue for a man whose story they want everyone to forget
19:39:50 <wob_jonas> http://www.giantitp.com/comics/oots1039.html shows where Kragor's statue is located in relation to Serini's dungeon, in case you forgot
20:17:10 -!- imode has quit (Quit: WeeChat 2.2).
20:44:58 -!- yurichev has quit (Quit: leaving).
21:09:43 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
21:15:03 <\oren\_> https://imgur.com/a/HkBv3Gk
21:16:52 -!- copumpkin[m] has quit (Ping timeout: 240 seconds).
21:17:12 -!- ProofTechnique[m has quit (Ping timeout: 260 seconds).
21:58:02 -!- AnotherTest has quit (Ping timeout: 260 seconds).
22:06:10 -!- copumpkin[m] has joined.
22:16:35 -!- gurmble has joined.
22:20:33 -!- tromp has quit (Remote host closed the connection).
22:23:25 -!- ProofTechnique[m has joined.
22:24:23 -!- grumble has quit (Ping timeout: 610 seconds).
22:25:11 -!- XorSwap has joined.
22:25:22 -!- gurmble has changed nick to grumble.
22:47:42 -!- LKoen has quit (Remote host closed the connection).
22:50:27 -!- XorSwap has quit (Ping timeout: 256 seconds).
23:04:13 -!- XorSwap has joined.
23:31:30 -!- atslash has quit (Quit: This computer has gone to sleep).
23:42:52 -!- gurmble has joined.
23:44:45 -!- grumble has quit (Disconnected by services).
23:44:47 -!- gurmble has changed nick to grumble.
23:45:50 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).