Newest at the top
| 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 |
| 2025-03-20 23:14:39 +0100 | vapor | (~vapor@2607:ac80:406:4:c2dc:89c1:e440:686c) (Client Quit) |
| 2025-03-20 23:13:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-03-20 23:11:09 +0100 | vapor | (~vapor@2607:ac80:406:4:c2dc:89c1:e440:686c) |
| 2025-03-20 23:08:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-20 23:08:36 +0100 | Square | (~Square4@user/square) (Ping timeout: 276 seconds) |
| 2025-03-20 23:07:27 +0100 | vapor | (~vapor@2607:ac80:406:4:c2dc:89c1:e440:686c) (Client Quit) |
| 2025-03-20 23:06:13 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 248 seconds) |
| 2025-03-20 23:05:57 +0100 | vapor | (~vapor@2607:ac80:406:4:c2dc:89c1:e440:686c) |
| 2025-03-20 23:03:00 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2025-03-20 22:59:31 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-03-20 22:59:30 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-03-20 22:58:00 +0100 | Googulator88 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
| 2025-03-20 22:57:38 +0100 | Googulator88 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-03-20 22:54:58 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-20 22:52:11 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-03-20 22:49:03 +0100 | jespada | (~jespada@2800:a4:2319:d400:94ef:4121:211e:25f4) (Ping timeout: 265 seconds) |
| 2025-03-20 22:48:20 +0100 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2025-03-20 22:43:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-20 22:42:25 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:99ef:5e1b:cda4:8b3) |
| 2025-03-20 22:42:02 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:99ef:5e1b:cda4:8b3) (Remote host closed the connection) |