Newest at the top
2025-08-20 13:52:24 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-08-20 13:36:50 +0200 | Yumemi | (~Yumemi@chamoin.net) Yumemi |
2025-08-20 13:36:02 +0200 | Yumemi | (~Yumemi@chamoin.net) (Server closed connection) |
2025-08-20 13:33:16 +0200 | ludat15 | (~ludat@2800:810:443:51c:8cec:16b4:c3f:b85e) (Quit: Client closed) |
2025-08-20 13:32:24 +0200 | krei-se | (~krei-se@p3ee0fd0d.dip0.t-ipconnect.de) krei-se |
2025-08-20 13:31:06 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-08-20 13:29:45 +0200 | tromp | (~textual@2001:1c00:3487:1b00:9c04:acc7:66ee:fca9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-20 13:29:07 +0200 | krei-se- | (~krei-se@p3ee0fd0d.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
2025-08-20 13:26:20 +0200 | Lord_of_Life_ | Lord_of_Life |
2025-08-20 13:25:36 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
2025-08-20 13:25:00 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-08-20 13:21:19 +0200 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) aniketd |
2025-08-20 13:21:11 +0200 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (Server closed connection) |
2025-08-20 13:16:56 +0200 | tromp | (~textual@2001:1c00:3487:1b00:9c04:acc7:66ee:fca9) |
2025-08-20 13:15:08 +0200 | tromp | (~textual@2001:1c00:3487:1b00:9c04:acc7:66ee:fca9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-20 13:06:31 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-08-20 13:04:41 +0200 | trickard_ | (~trickard@cpe-59-98-47-163.wireline.com.au) |
2025-08-20 13:04:27 +0200 | trickard__ | (~trickard@cpe-59-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-20 13:03:21 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5de7:9d06:9fef:17be) |
2025-08-20 13:00:01 +0200 | Square | (~Square4@user/square) (Quit: Leaving) |
2025-08-20 12:56:15 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-08-20 12:56:15 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
2025-08-20 12:56:15 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
2025-08-20 12:54:55 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-08-20 12:54:23 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.9.1 - https://znc.in) |
2025-08-20 12:54:13 +0200 | andreas303 | (andreas303@is.drunk.and.ready-to.party) andreas303 |
2025-08-20 12:50:07 +0200 | xacktm | (xacktm@user/xacktm) xacktm |
2025-08-20 12:49:28 +0200 | andreas303 | (andreas303@is.drunk.and.ready-to.party) (Remote host closed the connection) |
2025-08-20 12:49:22 +0200 | xacktm | (xacktm@user/xacktm) (Quit: fBNC - https://bnc4free.com) |
2025-08-20 12:47:49 +0200 | tromp | (~textual@2001:1c00:3487:1b00:9c04:acc7:66ee:fca9) |
2025-08-20 12:47:36 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
2025-08-20 12:40:39 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-08-20 12:27:26 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
2025-08-20 12:25:13 +0200 | ubert1 | (~Thunderbi@91.141.70.208.wireless.dyn.drei.com) (Ping timeout: 244 seconds) |
2025-08-20 12:05:00 +0200 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) athan |
2025-08-20 12:03:38 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
2025-08-20 11:59:12 +0200 | trickard | (~trickard@cpe-48-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
2025-08-20 11:58:11 +0200 | trickard__ | (~trickard@cpe-59-98-47-163.wireline.com.au) |
2025-08-20 11:57:03 +0200 | <yin> | should be `y f = g g where g x = f $ x x` |
2025-08-20 11:56:24 +0200 | <yin> | (i just notices i messed up the second non-typechecking step) |
2025-08-20 11:55:04 +0200 | trickard_ | trickard |
2025-08-20 11:53:28 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-08-20 11:50:56 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-08-20 11:50:48 +0200 | Jon^ | (jon@dow.land) (Quit: ZNC - http://znc.in) |
2025-08-20 11:50:33 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.9.1 - https://znc.in) |
2025-08-20 11:50:29 +0200 | Jon | Jon^ |
2025-08-20 11:43:17 +0200 | chele | (~chele@user/chele) chele |
2025-08-20 11:42:13 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
2025-08-20 11:38:04 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
2025-08-20 11:32:51 +0200 | mauke | (~mauke@user/mauke) mauke |