Newest at the top
| 2025-03-21 00:28:45 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-03-21 00:26:05 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-21 00:26:02 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds) |
| 2025-03-21 00:25:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-21 00:20:49 +0100 | abiss27 | (~abiss27@user/abiss) abiss |
| 2025-03-21 00:14:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-03-21 00:12:28 +0100 | abiss27 | (~abiss27@190.213.236.106) (Client Quit) |
| 2025-03-21 00:12:11 +0100 | xff0x | (~xff0x@2405:6580:b080:900:810c:5794:3404:58c8) (Ping timeout: 265 seconds) |
| 2025-03-21 00:11:32 +0100 | abiss27 | (~abiss27@190.213.236.106) |
| 2025-03-21 00:10:58 +0100 | abiss27 | (~abiss27@user/abiss) () |
| 2025-03-21 00:09:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-21 00:06:33 +0100 | yin | (~z@user/zero) zero |
| 2025-03-21 00:05:44 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-03-21 00:04:43 +0100 | Buliarou1 | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 2025-03-21 00:04:02 +0100 | <lambdabot> | monochrom says: I am 17-ary, going on 18-ary, I can take curry of you |
| 2025-03-21 00:04:02 +0100 | <monochrom> | @quote monochrom 17-ary |
| 2025-03-21 00:03:56 +0100 | <monochrom> | "infer the type of id id id id id id id id id id id id" |
| 2025-03-21 00:03:29 +0100 | <monochrom> | hehe |
| 2025-03-21 00:03:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-21 00:02:02 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-03-21 00:01:17 +0100 | abiss27 | (~abiss27@user/abiss) abiss |
| 2025-03-21 00:01:17 +0100 | abiss27 | (~abiss27@190.213.236.106) (Changing host) |
| 2025-03-21 00:00:11 +0100 | abiss27 | (~abiss27@190.213.236.106) |
| 2025-03-20 23:58:32 +0100 | euleritian | (~euleritia@95.90.214.149) |
| 2025-03-20 23:58:13 +0100 | euleritian | (~euleritia@dynamic-176-000-194-134.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-03-20 23:56:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-20 23:54:23 +0100 | abiss27 | (~abiss27@user/abiss) (Client Quit) |
| 2025-03-20 23:53:06 +0100 | abiss27 | (~abiss27@user/abiss) abiss |
| 2025-03-20 23:53:01 +0100 | euleritian | (~euleritia@dynamic-176-000-194-134.176.0.pool.telefonica.de) |
| 2025-03-20 23:52:33 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-03-20 23:52:25 +0100 | abiss27 | (~abiss27@190.213.236.106) (Client Quit) |
| 2025-03-20 23:50:15 +0100 | abiss27 | (~abiss27@190.213.236.106) |
| 2025-03-20 23:48:50 +0100 | abiss | (~abiss27@190.213.236.106) () |
| 2025-03-20 23:46:03 +0100 | [exa] | hides |
| 2025-03-20 23:45:58 +0100 | <[exa]> | monochrom: take it constructively, you can give harder assignments now |
| 2025-03-20 23:45:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-20 23:45:00 +0100 | abiss | (~abiss27@190.213.236.106) |
| 2025-03-20 23:44:52 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-20 23:42:46 +0100 | <monochrom> | onoes now I must not let my students find it. |
| 2025-03-20 23:40:42 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-20 23:40:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-20 23:39:02 +0100 | <[exa]> | I finally pushed myself to make an ultrasimple educatory version of the hindley-milner inference, so that I can use it to show stuff to people without drowning in papers full of tyvars. If that's useful to anyone else, please enjoy here: https://github.com/exaexa/minihm |
| 2025-03-20 23:29:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-20 23:28:30 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-20 23:28:11 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-03-20 23:26:26 +0100 | laurapigeon | (~laura@205.124.7.51.dyn.plus.net) (Quit: Konversation terminated!) |
| 2025-03-20 23:25:07 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-03-20 23:25:04 +0100 | euleritian | (~euleritia@95.90.214.149) (Ping timeout: 252 seconds) |
| 2025-03-20 23:24:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-20 23:23:55 +0100 | user363627 | weary-traveler |