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 [[Talk:Smurf]] https://esolangs.org/w/index.php?diff=56869&oldid=50544 * A * (+105) /* Smurf instruction minimalisation */ 03:11:04 [[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 [[Simple Smurf]] https://esolangs.org/w/index.php?diff=56871&oldid=56839 * A * (-430) 03:33:31 [[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 [[Simple Smurf]] https://esolangs.org/w/index.php?diff=56873&oldid=56872 * A * (+232) 03:39:32 -!- Cale has joined. 03:43:32 [[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 [[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 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:10:23 Do you know that? 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 1532039782 [01:36:22] 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 but is constraint solving in presence of QuantifiedConstraints possible? 09:58:27 I have serious doubts about that 09:58:39 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 Why lemons? <-- they're limes actually hth 14:03:28 `learn The password of the month will be short-lived. 14:03:30 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:16 wat 14:32:26 `dowg password 14:32:28 11584:2018-07-20 learn The password of the month will be short-lived. \ 11570:2018-06-03 learn The password of the month is illegal in six US states and Saudi Arabia \ 11544:2018-05-05 learn The password of the month is . \ 11509:2018-04-14 slwd password//s,.$,, \ 11508:2018-04-14 learn The password of the month is way too late to fool anyone. \ 11444:2018-03-07 learn The password of 14:32:32 curses 14:37:54 [[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 [[Log]] https://esolangs.org/w/index.php?diff=56877&oldid=56876 * A * (+12) 14:38:40 [[Log]] https://esolangs.org/w/index.php?diff=56878&oldid=56877 * A * (+4) 14:39:35 [[Log]] https://esolangs.org/w/index.php?diff=56879&oldid=56878 * A * (+28) 14:53:15 zzo38: that backflip variant wouldn't be reversible 15:24:29 https://irclog.perlgeek.de/ :/ 15:28:21 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 oerjan: Yes, I thought it might be not reversible, but the specific pattern I tried eventually returns to its initial state. 17:01:56 (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 oerjan: i guess this was the last olist 19:29:29 -!- wob_jonas has joined. 19:29:40 shachaf: no, there's still one and a half book's worth left 19:30:40 the adventures of durkon as he destroys the world 19:31:23 I guess that lich is still around. What happened with that? 19:31:33 Were those folks still looking through the doors? 19:35:25 yes, they're getting some experience points and treasure 19:36:47 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 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:38:56 seems like a stretch 19:39:50 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).