00:28:25 -!- oerjan has joined. 00:33:27 -!- xkapastel has joined. 01:02:31 * oerjan somewhat hopes that Agatha will reject this hare-brained scheme, after which it is revealed the great Akhnokanth knew it all and was testing them. also, those little hovering fishes were listening to everything they said. 01:04:31 this may be due to my visceral revulsion against drawn-out embarassment-based comedy. 01:06:42 * +r 01:13:27 Oh, phew, not an early update. 01:14:49 She's up against the Foglios though. I don't think she has much of a chance, unless there's an even more embarrassing scheme to avoid the current one. 01:18:52 `learn The password of the month is always set on the 12th of the month. 01:18:55 Relearned 'password': The password of the month is always set on the 12th of the month. 01:19:46 Seriously?! 01:19:54 `revert 01:19:55 Done. 01:20:28 `undo 12307 01:20:32 patching file wisdom/password 01:20:53 That's enough for me. 01:21:16 -!- shachaf has left ("everything is terrible"). 01:21:55 Hmm. That went well. 01:30:51 int-e: aww 01:31:17 -!- arseniiv has quit (Ping timeout: 272 seconds). 01:31:56 -!- ais523 has joined. 01:32:31 shachaf was here? 01:32:52 `? password 01:32:54 The password of the month is leapfrogging rats. 01:33:29 Well, for 15 hours. 01:33:56 int-e: those little hovering fishes can still be listening to everything, right? 01:36:49 Hmm, hovering fish? 01:37:25 either they're hovering, or akhnokanth's chamber in some kind of superposition between air and water. 01:37:31 *is in 01:38:08 I don't know what you're talking about. 01:41:23 oh. it seems i misremembered them getting inside the submarine 01:44:46 last panels here, although then they were still careful what they were saying http://www.girlgeniusonline.com/comic.php?date=20200129 01:46:23 also i just refound http://www.giantitp.com/comics/oots0301.html while archive trawling. thor's mention of that one world seems to have been a callback. 01:57:06 (here http://www.giantitp.com/comics/oots1140.html) 01:57:29 -!- tromp_ has quit (Ping timeout: 246 seconds). 01:58:39 -!- tromp has joined. 01:58:47 a sequel, now that i compare them 02:07:26 -!- imode has joined. 02:14:41 Oh I guess the comment in goodstein.hs is a good starting point. <-- is that the one that was made to show goodstein can be calculated in System F? 02:15:32 after we discussed how that can do anything in second order logic 02:15:38 iirc 02:15:47 -!- tromp has quit (Read error: Connection timed out). 02:59:13 oerjan: Quite possibly. 03:31:38 -!- Lord_of_Life has quit (Ping timeout: 240 seconds). 03:31:51 -!- xkapastel has quit (Quit: Connection closed for inactivity). 03:32:10 -!- Lord_of_Life has joined. 03:53:11 -!- ais523 has quit (Remote host closed the connection). 03:54:25 -!- ais523 has joined. 04:03:55 -!- zzo38 has quit (Ping timeout: 272 seconds). 04:15:09 oerjan: the file is here, btw: https://github.com/tromp/AIT/blob/master/goodstein.hs (and I just added another comment which may be useful) 04:31:40 -!- FreeFull has quit. 04:37:12 -!- zzo38 has joined. 04:42:25 -!- tromp has joined. 04:59:04 -!- tromp has quit (Read error: Connection timed out). 05:06:05 -!- tromp has joined. 05:18:39 -!- tromp has quit (Read error: Connection reset by peer). 05:20:05 -!- tromp has joined. 05:35:02 -!- tromp has quit (Read error: Connection reset by peer). 05:37:21 -!- tromp has joined. 05:54:07 -!- tromp has quit (Ping timeout: 240 seconds). 05:58:33 -!- imode has quit (Ping timeout: 272 seconds). 06:10:24 -!- xkapastel has joined. 06:16:29 -!- tromp has joined. 06:20:45 -!- ais523 has quit (Ping timeout: 265 seconds). 06:26:33 -!- erdic has quit (Ping timeout: 265 seconds). 06:27:32 -!- erdic has joined. 06:57:24 -!- diverger has quit (Ping timeout: 268 seconds). 06:57:36 -!- diverger has joined. 07:10:36 -!- oerjan has quit (Quit: Nite). 08:14:46 -!- tramplefoot has joined. 08:15:34 -!- tromp_ has joined. 08:17:11 -!- tromp has quit (Read error: Connection reset by peer). 08:24:32 -!- tramplefoot has quit (Quit: Leaving.). 09:23:41 -!- b_jonas has quit (Quit: leaving). 09:28:17 -!- APic has quit (Ping timeout: 265 seconds). 09:42:19 -!- APic has joined. 10:14:24 -!- Lord_of_Life has quit (Read error: Connection reset by peer). 10:17:17 -!- Lord_of_Life has joined. 10:32:21 -!- kritixilithos has joined. 10:32:37 -!- sprocklem has quit (Ping timeout: 268 seconds). 10:33:52 -!- sprocklem has joined. 10:52:02 -!- sprocklem has quit (Ping timeout: 240 seconds). 10:53:02 -!- sprocklem has joined. 10:59:03 -!- wib_jonas has joined. 11:18:00 -!- joast has quit (Ping timeout: 265 seconds). 11:20:39 -!- egelbot has quit (Remote host closed the connection). 11:24:14 -!- xkapastel has quit (Quit: Connection closed for inactivity). 11:24:56 -!- egelbot has joined. 11:24:58 -!- egelbot has quit (Remote host closed the connection). 11:25:51 -!- egelbot has joined. 12:16:12 -!- arseniiv has joined. 13:15:25 -!- aloril has quit (Ping timeout: 268 seconds). 13:29:03 -!- aloril has joined. 13:57:38 -!- sprocklem has quit (Ping timeout: 240 seconds). 14:39:19 -!- imode has joined. 15:01:35 -!- sprocklem has joined. 15:12:35 -!- imode has quit (Ping timeout: 260 seconds). 15:34:15 -!- Lord_of_Life has quit (Ping timeout: 272 seconds). 15:34:51 -!- Lord_of_Life has joined. 15:37:22 -!- joast has joined. 15:45:09 -!- ais523 has joined. 15:48:58 -!- sprocklem has quit (Ping timeout: 268 seconds). 15:50:13 -!- rain1 has joined. 16:11:16 -!- ais523 has quit (Remote host closed the connection). 16:12:28 -!- ais523 has joined. 16:13:03 -!- kritixilithos has quit (Ping timeout: 240 seconds). 16:13:43 -!- zzo38 has quit (Ping timeout: 260 seconds). 16:14:55 -!- kritixilithos has joined. 16:43:22 -!- rain1 has quit (Quit: Lost terminal). 16:44:33 -!- wib_jonas has quit (Remote host closed the connection). 17:22:55 [[StupidStackLanguage]] https://esolangs.org/w/index.php?diff=69833&oldid=69593 * Lebster * (+9) /* Operations */ 17:23:18 [[StupidStackLanguage]] M https://esolangs.org/w/index.php?diff=69834&oldid=69833 * Lebster * (-1) /* Print the Fibonacci Sequence */ 17:51:25 -!- kspalaiologos has joined. 18:17:33 [[Golden sunrise]] https://esolangs.org/w/index.php?diff=69835&oldid=69766 * Hakerh400 * (+165) /* Interpreters */ Added random source code generator link 18:18:15 [[Golden sunrise]] M https://esolangs.org/w/index.php?diff=69836&oldid=69835 * Hakerh400 * (+5) /* Interpreters */ 18:46:20 -!- kritixilithos has quit (Quit: quit). 18:51:47 -!- LKoen has joined. 19:19:51 -!- sprocklem has joined. 19:44:28 [[Marz]] https://esolangs.org/w/index.php?diff=69837&oldid=68596 * SoundOfScripting * (+5171) Fleshed out Numbers and added Booleans. Minor other edits 19:45:18 -!- ais523 has quit (Quit: sorry for my connection). 19:54:10 -!- 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.”). 20:38:49 -!- b_jonas has joined. 20:52:16 -!- zzo38 has joined. 21:02:48 -!- kspalaiologos has quit (Quit: Leaving). 21:03:45 [[PlusOrMinus]] M https://esolangs.org/w/index.php?diff=69838&oldid=69271 * PythonshellDebugwindow * (-3) /* Commands */ 21:04:50 [[Exp]] M https://esolangs.org/w/index.php?diff=69839&oldid=67456 * PythonshellDebugwindow * (-10) /* "Hello World" (all caps) */ 21:11:27 -!- atslash has quit (Ping timeout: 260 seconds). 21:11:43 [[Exp]] M https://esolangs.org/w/index.php?diff=69840&oldid=69839 * PythonshellDebugwindow * (+185) /* Expressions */ 22:09:52 -!- FreeFull has joined. 23:43:20 -!- zzo38 has quit (Disconnected by services). 23:43:26 -!- zzo38 has joined. 23:44:01 -!- shikhin has quit (Ping timeout: 252 seconds).