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 <oerjan> this may be due to my visceral revulsion against drawn-out embarassment-based comedy.
01:13:27 <int-e> Oh, phew, not an early update.
01:14:49 <int-e> 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 <shachaf> `learn The password of the month is always set on the 12th of the month.
01:18:55 <HackEso> Relearned 'password': The password of the month is always set on the 12th of the month.
01:20:32 <HackEso> patching file wisdom/password
01:21:16 -!- shachaf has left ("everything is terrible").
01:21:55 <int-e> Hmm. That went well.
01:31:17 -!- arseniiv has quit (Ping timeout: 272 seconds).
01:31:56 -!- ais523 has joined.
01:32:54 <HackEso> The password of the month is leapfrogging rats.
01:33:29 <int-e> Well, for 15 hours.
01:33:56 <oerjan> int-e: those little hovering fishes can still be listening to everything, right?
01:36:49 <int-e> Hmm, hovering fish?
01:37:25 <oerjan> either they're hovering, or akhnokanth's chamber in some kind of superposition between air and water.
01:38:08 <int-e> I don't know what you're talking about.
01:41:23 <oerjan> oh. it seems i misremembered them getting inside the submarine
01:44:46 <oerjan> last panels here, although then they were still careful what they were saying http://www.girlgeniusonline.com/comic.php?date=20200129
01:46:23 <oerjan> 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 <oerjan> (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 <oerjan> a sequel, now that i compare them
02:07:26 -!- imode has joined.
02:14:41 <oerjan> <int-e> 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 <oerjan> after we discussed how that can do anything in second order logic
02:15:47 -!- tromp has quit (Read error: Connection timed out).
02:59:13 <int-e> 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 <int-e> 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 <esowiki> [[StupidStackLanguage]] https://esolangs.org/w/index.php?diff=69833&oldid=69593 * Lebster * (+9) /* Operations */
17:23:18 <esowiki> [[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 <esowiki> [[Golden sunrise]] https://esolangs.org/w/index.php?diff=69835&oldid=69766 * Hakerh400 * (+165) /* Interpreters */ Added random source code generator link
18:18:15 <esowiki> [[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 <esowiki> [[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 <esowiki> [[PlusOrMinus]] M https://esolangs.org/w/index.php?diff=69838&oldid=69271 * PythonshellDebugwindow * (-3) /* Commands */
21:04:50 <esowiki> [[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 <esowiki> [[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).