| 2025-06-04 00:01:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 00:01:56 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 00:02:20 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 00:03:54 +0000 | jespada | (~jespada@r179-25-2-231.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-06-04 00:04:02 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-06-04 00:04:05 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
| 2025-06-04 00:06:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-04 00:08:07 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 00:08:34 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 00:13:25 +0000 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) (Ping timeout: 276 seconds) |
| 2025-06-04 00:13:52 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:11ea:7f98:2456:e34f) nschoe |
| 2025-06-04 00:14:08 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 00:14:35 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 00:17:32 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) justsomeguy |
| 2025-06-04 00:17:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 00:20:09 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 00:20:35 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 00:24:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-04 00:25:42 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 00:26:07 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 00:29:27 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-04 00:30:30 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-04 00:30:44 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-04 00:32:05 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 00:32:09 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 2025-06-04 00:32:31 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 00:35:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 00:37:30 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 272 seconds) |
| 2025-06-04 00:38:45 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 00:39:12 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 00:40:30 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:11ea:7f98:2456:e34f) (Ping timeout: 265 seconds) |
| 2025-06-04 00:40:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-04 00:41:22 +0000 | xff0x | (~xff0x@2405:6580:b080:900:5804:5ca6:1e75:4ee1) (Ping timeout: 276 seconds) |
| 2025-06-04 00:44:23 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 00:44:52 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 00:48:33 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-06-04 00:48:36 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2025-06-04 00:50:15 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 00:50:39 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 00:51:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 00:51:46 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-06-04 00:51:47 +0000 | ljdarj1 | ljdarj |
| 2025-06-04 00:55:39 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 00:56:00 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 00:56:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-06-04 01:00:16 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 01:00:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 01:00:40 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 01:01:34 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:11ea:7f98:2456:e34f) nschoe |
| 2025-06-04 01:06:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-04 01:06:17 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 01:06:42 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 01:12:19 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 01:12:42 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 01:16:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 01:16:22 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 01:16:43 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 01:21:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-06-04 01:22:23 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 01:22:46 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 01:28:27 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 01:28:51 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 01:31:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 01:34:13 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 01:34:35 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 01:36:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 01:41:35 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 01:41:55 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-06-04 01:41:57 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 01:47:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 01:48:00 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 01:48:12 +0000 | wickedjargon | (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) wickedjargon |
| 2025-06-04 01:48:22 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 01:51:38 +0000 | visilii | (~visilii@213.24.132.221) (Read error: Connection reset by peer) |
| 2025-06-04 01:52:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 01:52:40 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 01:53:07 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 01:54:24 +0000 | visilii | (~visilii@213.24.132.221) |
| 2025-06-04 01:58:36 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 01:59:06 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 02:00:24 +0000 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2025-06-04 02:02:06 +0000 | jrm | (~jrm@user/jrm) jrm |
| 2025-06-04 02:02:52 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 02:03:20 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 02:03:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 02:03:44 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-06-04 02:08:24 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 02:08:44 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 02:10:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-06-04 02:15:02 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 02:15:11 +0000 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2025-06-04 02:15:27 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 02:16:32 +0000 | jrm | (~jrm@user/jrm) jrm |
| 2025-06-04 02:17:08 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-06-04 02:21:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 02:22:31 +0000 | tavare | (~tavare@150.129.88.189) |
| 2025-06-04 02:22:31 +0000 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-06-04 02:22:31 +0000 | tavare | (~tavare@user/tavare) tavare |
| 2025-06-04 02:23:03 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 02:23:26 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 02:26:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-04 02:26:49 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 02:27:13 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 02:32:53 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 02:33:14 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 02:37:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 02:38:23 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 02:38:43 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 02:41:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 02:43:22 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 02:43:43 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 02:49:59 +0000 | wickedjargon | (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) (Ping timeout: 252 seconds) |
| 2025-06-04 02:50:12 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 02:50:32 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 02:53:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 02:55:03 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 02:55:25 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 02:55:52 +0000 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-06-04 02:56:34 +0000 | td_ | (~td@i53870931.versanet.de) (Ping timeout: 276 seconds) |
| 2025-06-04 02:57:53 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-06-04 02:58:03 +0000 | td_ | (~td@i53870913.versanet.de) td_ |
| 2025-06-04 02:58:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-06-04 02:59:24 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 02:59:47 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 03:04:34 +0000 | shapr | (~user@2600:4040:5c49:5600:3574:8b25:1fec:466e) (Ping timeout: 245 seconds) |
| 2025-06-04 03:04:44 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 03:05:12 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 03:08:19 +0000 | arahael | (~arahael@user/arahael) (Ping timeout: 245 seconds) |
| 2025-06-04 03:08:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 03:09:37 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 03:10:00 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 03:13:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 03:15:07 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 03:15:33 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 03:17:48 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-04 03:18:02 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-04 03:18:28 +0000 | wickedjargon | (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) wickedjargon |
| 2025-06-04 03:19:44 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 03:20:06 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 03:21:53 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-04 03:24:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 03:25:21 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 03:25:48 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 03:27:16 +0000 | hsw | (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2025-06-04 03:27:55 +0000 | hsw | (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) hsw |
| 2025-06-04 03:28:45 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-04 03:29:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 03:33:34 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 03:33:57 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 03:40:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 03:41:49 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 03:42:12 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 03:47:02 +0000 | troydm | (~troydm@user/troydm) troydm |
| 2025-06-04 03:47:04 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 03:47:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 03:47:28 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 03:49:25 +0000 | wickedjargon | (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) (Ping timeout: 272 seconds) |
| 2025-06-04 03:50:53 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-06-04 03:53:16 +0000 | hsw | (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2025-06-04 03:53:24 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 03:53:39 +0000 | michalz | (~michalz@185.246.207.215) |
| 2025-06-04 03:53:49 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 03:55:04 +0000 | hsw | (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) hsw |
| 2025-06-04 03:58:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 03:59:17 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 03:59:46 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 04:03:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-04 04:06:48 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 04:07:12 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 04:12:45 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 04:13:07 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 04:13:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 04:16:15 +0000 | yangby | (~secret@183.159.106.182) yangby |
| 2025-06-04 04:18:31 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 04:18:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 04:18:58 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 04:21:36 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 04:22:00 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 04:27:36 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 04:28:01 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 04:29:19 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 04:29:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 04:29:47 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 04:30:10 +0000 | wickedjargon | (~user@node-1w7jr9unn02np47211p5af1tx.ipv6.telus.net) wickedjargon |
| 2025-06-04 04:33:39 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 04:34:02 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 04:34:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 04:39:10 +0000 | m5zs7k_ | (aquares@web10.mydevil.net) m5zs7k |
| 2025-06-04 04:39:28 +0000 | m5zs7k | (aquares@web10.mydevil.net) (Read error: Connection reset by peer) |
| 2025-06-04 04:39:39 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 04:40:00 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 04:41:13 +0000 | bramh0 | (~bramh@user/bramh) bramh |
| 2025-06-04 04:41:39 +0000 | pikajude | (~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-06-04 04:41:55 +0000 | wickedja` | (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) |
| 2025-06-04 04:41:58 +0000 | pikajude | (~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) pikajude |
| 2025-06-04 04:42:00 +0000 | jbalint | (~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122) (Remote host closed the connection) |
| 2025-06-04 04:42:12 +0000 | jbalint | (~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122) |
| 2025-06-04 04:42:31 +0000 | wickedjargon | (~user@node-1w7jr9unn02np47211p5af1tx.ipv6.telus.net) (Read error: Connection reset by peer) |
| 2025-06-04 04:42:55 +0000 | jle` | (~jle`@2603:8001:3b00:11:3b41:97f4:1903:c327) (Ping timeout: 252 seconds) |
| 2025-06-04 04:42:56 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 268 seconds) |
| 2025-06-04 04:43:16 +0000 | jle` | (~jle`@2603:8001:3b00:11:ed10:7791:af4e:7281) jle` |
| 2025-06-04 04:43:33 +0000 | bramh | (~bramh@user/bramh) (Ping timeout: 248 seconds) |
| 2025-06-04 04:43:33 +0000 | bramh0 | bramh |
| 2025-06-04 04:44:29 +0000 | tomku | (~tomku@user/tomku) tomku |
| 2025-06-04 04:45:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 04:45:40 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 04:46:04 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 04:47:33 +0000 | m5zs7k_ | m5zs7k |
| 2025-06-04 04:49:52 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 04:50:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-04 04:50:16 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 04:54:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 04:55:39 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 04:56:02 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 04:58:29 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-06-04 04:59:05 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2025-06-04 04:59:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 04:59:55 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-06-04 05:01:45 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 05:02:09 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 05:08:37 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 05:09:01 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 05:10:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 05:13:50 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 05:14:25 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 05:15:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-04 05:16:56 +0000 | arahael | (~arahael@user/arahael) arahael |
| 2025-06-04 05:20:45 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 05:21:07 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 05:25:35 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 05:26:04 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 05:32:05 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 05:32:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 05:32:29 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 05:37:35 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 05:37:56 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 05:39:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-04 05:41:11 +0000 | <dminuoso> | tomsmeding: Oh okay, I think I misread that. |
| 2025-06-04 05:44:50 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 05:45:15 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 05:48:25 +0000 | <ski> | "The thing you get out of an existential has an arbitrary type that is distinct from every other type." -- it would be nice if it was printed in a distinct way from an ordinary (not explicitly quantified) (meta-variable / "logic variable") one, say maybe like `?A0' or even `A0', rather than `a' (making sure that distinct unwrappings gets their own distinct name) |
| 2025-06-04 05:49:33 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-06-04 05:50:14 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 05:50:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 05:50:30 +0000 | <ski> | in SML/NJ, such "bare skolems" (generated by "value restriction") are printed as `?.X1',&c. (suggesting being a(n abstract) type belonging to an unknown module) |
| 2025-06-04 05:50:38 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 05:50:56 +0000 | img | (~img@user/img) img |
| 2025-06-04 05:53:57 +0000 | <ski> | (in OCaml, "value restriction" instead generates non-generalized ("bare") meta-variables, printed as '_weak1 -- and will be instantiated by the first later declaration that puts a(n equality) constraint on them) |
| 2025-06-04 05:55:06 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 05:55:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 05:55:30 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 06:01:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 06:01:11 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 06:01:33 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 06:02:07 +0000 | <ski> | (seems Poly/ML prints the skolem as _a (no unique numbering). and Moscow ML seems follow OCaml, making it an instantiable bare meta-variable (printed the same way as generalized / quantified) (like GHCi), and print a warning) |
| 2025-06-04 06:04:19 +0000 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 272 seconds) |
| 2025-06-04 06:05:08 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-06-04 06:06:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-06-04 06:06:12 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 06:06:37 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 06:07:43 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-06-04 06:09:26 +0000 | Square2 | (~Square4@user/square) Square |
| 2025-06-04 06:12:28 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 06:12:35 +0000 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-06-04 06:12:50 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-06-04 06:12:53 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 06:15:30 +0000 | catties | (~catties@user/meow/catties) (Remote host closed the connection) |
| 2025-06-04 06:16:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 06:16:58 +0000 | catties | (~catties@user/meow/catties) catties |
| 2025-06-04 06:18:22 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 06:18:46 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 06:21:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 06:24:54 +0000 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2025-06-04 06:25:41 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 06:26:06 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 06:31:47 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 06:32:11 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 06:32:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 06:37:07 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 06:37:29 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 06:37:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 06:37:43 +0000 | mistivia | (~mistivia@user/mistivia) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-06-04 06:38:42 +0000 | mistivia | (~mistivia@45.62.118.101.16clouds.com) |
| 2025-06-04 06:39:59 +0000 | mistivia | (~mistivia@45.62.118.101.16clouds.com) (Client Quit) |
| 2025-06-04 06:41:12 +0000 | hsw | (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2025-06-04 06:41:35 +0000 | hsw | (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) hsw |
| 2025-06-04 06:43:28 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 06:43:52 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 06:48:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 06:48:33 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 06:48:57 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 06:50:59 +0000 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) |
| 2025-06-04 06:52:31 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 06:52:53 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 06:53:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-04 06:55:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 06:59:53 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 07:00:00 +0000 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-06-04 07:00:16 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 07:00:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-04 07:00:43 +0000 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-06-04 07:06:00 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 07:06:21 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 07:09:08 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-06-04 07:09:43 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2025-06-04 07:09:59 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 245 seconds) |
| 2025-06-04 07:10:55 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) meinside |
| 2025-06-04 07:11:06 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-06-04 07:11:17 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-06-04 07:11:29 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-06-04 07:11:55 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-04 07:12:15 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 07:12:38 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 07:14:59 +0000 | geekosaur | (sid609282@xmonad/geekosaur) (Ping timeout: 245 seconds) |
| 2025-06-04 07:15:10 +0000 | geekosaur | (sid609282@xmonad/geekosaur) geekosaur |
| 2025-06-04 07:15:49 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-06-04 07:19:54 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-06-04 07:20:18 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 07:20:26 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-04 07:20:39 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-04 07:20:40 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 07:20:49 +0000 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-06-04 07:21:40 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 265 seconds) |
| 2025-06-04 07:25:41 +0000 | rvalue- | rvalue |
| 2025-06-04 07:26:51 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 07:27:15 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 07:28:51 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-04 07:29:33 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-06-04 07:29:37 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 07:30:00 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 07:31:27 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-04 07:33:13 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-06-04 07:34:47 +0000 | deriamis | (nobody@2600:3c0a::f03c:95ff:fee8:f335) (Quit: ZNC - https://znc.in) |
| 2025-06-04 07:34:49 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 07:35:01 +0000 | deriamis | (nobody@2600:3c0a::f03c:95ff:fee8:f335) deriamis |
| 2025-06-04 07:35:10 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 07:41:18 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 07:41:40 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 07:42:47 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-04 07:44:15 +0000 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 260 seconds) |
| 2025-06-04 07:47:22 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-06-04 07:48:45 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 07:49:13 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 07:52:36 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 272 seconds) |
| 2025-06-04 07:53:30 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-04 07:55:48 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 07:56:12 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 07:58:26 +0000 | sajenim | (~sajenim@user/sajenim) (Quit: WeeChat 3.8) |
| 2025-06-04 08:02:26 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 08:02:47 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 08:03:23 +0000 | pointlessslippe1 | (~pointless@62.106.85.17) (Ping timeout: 276 seconds) |
| 2025-06-04 08:05:57 +0000 | myme | (~myme@2a01:799:d5e:5f00:be1e:23a0:878a:b7c9) (Ping timeout: 244 seconds) |
| 2025-06-04 08:06:52 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-06-04 08:07:11 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-06-04 08:09:06 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 08:09:31 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 08:12:03 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-06-04 08:12:25 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-06-04 08:13:03 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 08:13:24 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-06-04 08:13:26 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 08:15:17 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-04 08:16:13 +0000 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-06-04 08:17:05 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 08:17:29 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 08:18:14 +0000 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-06-04 08:19:59 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-06-04 08:21:00 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 08:21:22 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 08:23:03 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-04 08:25:32 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 08:25:37 +0000 | Everything | (~Everythin@77.120.244.38) Everything |
| 2025-06-04 08:25:43 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-06-04 08:25:53 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 08:26:06 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-06-04 08:32:20 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 08:32:42 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 08:35:20 +0000 | <Square2> | Is there a way to produce Haddock doc locally with the same style sheet / layout as the one on hackage? |
| 2025-06-04 08:37:38 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 08:38:00 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 08:38:29 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 2025-06-04 08:41:29 +0000 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-06-04 08:42:39 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-06-04 08:43:15 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 08:43:37 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 08:45:25 +0000 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2025-06-04 08:46:02 +0000 | <haskellbridge> | <Morj> Square2 cabal haddock / stack haddock is not it? It generates the same style as hackage for me |
| 2025-06-04 08:46:37 +0000 | <haskellbridge> | <Morj> Except that the style has changed some years ago, and some packages haven't been updated, so you're going to get the newer version for them |
| 2025-06-04 08:46:47 +0000 | <haskellbridge> | <Morj> Newer version of the style |
| 2025-06-04 08:49:31 +0000 | <Square2> | Morj: Sure, they're almost the same. Just thought the hackage one had larger font. |
| 2025-06-04 08:49:45 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 08:50:08 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 08:50:22 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-04 08:51:56 +0000 | AlexZenon | (~alzenon@178.34.162.18) (Quit: ;-) |
| 2025-06-04 08:54:10 +0000 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-04 08:55:56 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2025-06-04 08:56:53 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 08:57:19 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 08:58:10 +0000 | AlexNoo | (~AlexNoo@178.34.162.18) (Quit: Leaving) |
| 2025-06-04 08:58:31 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-04 08:58:44 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-04 08:59:43 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-04 09:01:33 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-04 09:03:23 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 09:03:38 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-04 09:03:50 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 09:05:47 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-06-04 09:06:52 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-06-04 09:08:39 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-06-04 09:09:55 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 09:10:18 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 09:15:02 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 09:15:25 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 09:16:27 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-06-04 09:16:43 +0000 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) |
| 2025-06-04 09:17:23 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-06-04 09:18:08 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 09:18:33 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 09:19:01 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-06-04 09:19:51 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-06-04 09:21:02 +0000 | AlexNoo | (~AlexNoo@178.34.162.18) |
| 2025-06-04 09:25:44 +0000 | AlexZenon | (~alzenon@178.34.162.18) |
| 2025-06-04 09:26:14 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 09:26:59 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 09:27:54 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2025-06-04 09:28:46 +0000 | hsw | (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2025-06-04 09:29:05 +0000 | hsw | (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) hsw |
| 2025-06-04 09:31:16 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-06-04 09:33:34 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 09:33:58 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 09:41:23 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-06-04 09:41:49 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 09:42:10 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 09:45:19 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-06-04 09:49:33 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-06-04 09:49:42 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 09:49:58 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-06-04 09:50:05 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 09:53:49 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 09:54:14 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 09:55:36 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-06-04 09:55:45 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-06-04 09:57:46 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-06-04 09:59:11 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 09:59:33 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 10:00:02 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (*.net *.split) |
| 2025-06-04 10:00:02 +0000 | califax | (~califax@user/califx) (*.net *.split) |
| 2025-06-04 10:00:02 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (*.net *.split) |
| 2025-06-04 10:00:03 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (*.net *.split) |
| 2025-06-04 10:00:03 +0000 | gmg | (~user@user/gehmehgeh) (*.net *.split) |
| 2025-06-04 10:00:03 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (*.net *.split) |
| 2025-06-04 10:03:47 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 10:04:10 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 10:08:36 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-04 10:09:53 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 10:10:17 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 10:15:29 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 10:15:50 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 10:16:54 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-06-04 10:19:48 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 10:20:10 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 10:23:53 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 10:24:16 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 10:24:25 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-06-04 10:26:07 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 252 seconds) |
| 2025-06-04 10:28:53 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 10:29:14 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 10:32:04 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-04 10:32:14 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-06-04 10:35:46 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 10:35:56 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-04 10:36:12 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 10:41:59 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 10:42:24 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 10:48:34 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 10:49:02 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 10:51:53 +0000 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-04 10:54:03 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 10:54:22 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-06-04 10:54:28 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 10:54:57 +0000 | entangledprime | (~entangled@176.223.172.171) |
| 2025-06-04 10:56:21 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-06-04 10:56:51 +0000 | <Square2> | Another question, I tried to google and chatgpt. Can I express a type constraint on a data type such that it only has one constructor? |
| 2025-06-04 10:57:49 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-04 10:59:39 +0000 | <ski> | what type constraint ? |
| 2025-06-04 11:01:51 +0000 | jespada | (~jespada@r179-25-2-231.dialup.adsl.anteldata.net.uy) jespada |
| 2025-06-04 11:02:05 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 11:02:16 +0000 | <ski> | do you mean (a) a constraint expressing that the constrained type (is a data type and) has only one data constructor; or (b) ensuring that some parameter of a data type will have some particular constraint; or (c) perhaps something else ? |
| 2025-06-04 11:02:29 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 11:03:15 +0000 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) |
| 2025-06-04 11:04:13 +0000 | <Square2> | ski, that would be (a) then. Really I to accept only data types on the form "data Foo = FooConst" (name of type and constructor not important) |
| 2025-06-04 11:04:38 +0000 | <Square2> | Really I only want to accept* |
| 2025-06-04 11:04:55 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-06-04 11:05:16 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-04 11:05:24 +0000 | <Leary> | Square2: If you impose `Generic a`, you can write a type family taking `Rep a` mapping sums to `Unsatisfiable` and all else to the empty constraint `()`. |
| 2025-06-04 11:05:38 +0000 | GoldsteinQ | (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-06-04 11:06:03 +0000 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2025-06-04 11:06:35 +0000 | <Square2> | Leary, sweet |
| 2025-06-04 11:08:07 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 11:08:31 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 11:09:29 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-06-04 11:12:19 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-06-04 11:13:51 +0000 | GoldsteinQ | (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-06-04 11:14:17 +0000 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2025-06-04 11:15:18 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 11:15:41 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 11:17:34 +0000 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-04 11:20:43 +0000 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) |
| 2025-06-04 11:21:28 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 11:21:53 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 11:27:42 +0000 | bionade24 | (~quassel@2a03:4000:33:45b::1) (Quit: Apocalypse Incoming!) |
| 2025-06-04 11:29:04 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 11:29:16 +0000 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Quit: Lost terminal) |
| 2025-06-04 11:29:29 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 11:29:38 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-06-04 11:31:27 +0000 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-04 11:33:38 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-06-04 11:38:20 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 11:38:47 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 11:39:27 +0000 | laurapigeon | (~laurapige@user/laurapigeon) laurapigeon |
| 2025-06-04 11:46:26 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 11:46:51 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 11:47:10 +0000 | entangledprime | (~entangled@176.223.172.171) (Ping timeout: 252 seconds) |
| 2025-06-04 11:49:58 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-06-04 11:50:13 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 248 seconds) |
| 2025-06-04 11:51:32 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 11:51:55 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 11:52:37 +0000 | fp | (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) fp |
| 2025-06-04 11:53:43 +0000 | Taneb | (~Taneb@runciman.hacksoc.org) Taneb |
| 2025-06-04 11:56:29 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 11:56:51 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 11:58:20 +0000 | Taneb | (~Taneb@runciman.hacksoc.org) (Client Quit) |
| 2025-06-04 11:58:44 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-04 11:58:58 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-04 12:02:14 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 12:02:35 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 12:03:14 +0000 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection) |
| 2025-06-04 12:03:20 +0000 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-06-04 12:04:04 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-04 12:09:18 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-04 12:09:20 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 12:09:41 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 12:09:59 +0000 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2025-06-04 12:15:07 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-06-04 12:16:05 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 12:16:28 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 12:16:46 +0000 | sajenim | (~sajenim@user/sajenim) (Quit: WeeChat 4.6.3) |
| 2025-06-04 12:21:10 +0000 | bionade24 | (~quassel@2a03:4000:35:f24::1) bionade24 |
| 2025-06-04 12:21:11 +0000 | bionade24 | (~quassel@2a03:4000:35:f24::1) (Client Quit) |
| 2025-06-04 12:21:30 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 12:21:51 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 12:25:22 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-04 12:25:55 +0000 | califax | (~califax@user/califx) califx |
| 2025-06-04 12:26:13 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-06-04 12:28:42 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 12:29:05 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 12:32:29 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-06-04 12:32:42 +0000 | <Clint> | whaletime/win go #linguistics |
| 2025-06-04 12:32:51 +0000 | <Clint> | ffs |
| 2025-06-04 12:33:24 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-06-04 12:33:31 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-06-04 12:33:46 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-06-04 12:35:01 +0000 | xff0x | (~xff0x@2405:6580:b080:900:e951:361b:ad7d:3b51) |
| 2025-06-04 12:35:21 +0000 | bionade24 | (~quassel@2a03:4000:35:f24::1) bionade24 |
| 2025-06-04 12:35:44 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 12:36:06 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 12:38:39 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Ping timeout: 260 seconds) |
| 2025-06-04 12:39:43 +0000 | Shsl-Junko-POSER | (~Shsl-Junk@50.235.208.178) |
| 2025-06-04 12:40:27 +0000 | Shsl-Junko-POSER | (~Shsl-Junk@50.235.208.178) (Client Quit) |
| 2025-06-04 12:40:51 +0000 | fp1 | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-06-04 12:40:53 +0000 | AlexNoo_ | (~AlexNoo@178.34.163.76) |
| 2025-06-04 12:41:03 +0000 | fp | (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 252 seconds) |
| 2025-06-04 12:41:03 +0000 | fp1 | fp |
| 2025-06-04 12:41:50 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-04 12:42:42 +0000 | AlexZenon | (~alzenon@178.34.162.18) (Ping timeout: 268 seconds) |
| 2025-06-04 12:42:45 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 12:43:09 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 12:43:16 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-04 12:43:30 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-04 12:43:58 +0000 | AlexZenon | (~alzenon@178.34.163.76) |
| 2025-06-04 12:44:05 +0000 | AlexNoo | (~AlexNoo@178.34.162.18) (Ping timeout: 248 seconds) |
| 2025-06-04 12:44:12 +0000 | AlexNoo_ | AlexNoo |
| 2025-06-04 12:46:02 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-06-04 12:49:22 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 12:49:42 +0000 | ttybitni` | (~ttybitnik@user/wolper) ttybitnik |
| 2025-06-04 12:49:47 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 12:51:29 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-06-04 12:53:42 +0000 | ttybitni` | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-06-04 12:53:43 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Ping timeout: 265 seconds) |
| 2025-06-04 12:54:02 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-04 12:54:49 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 12:55:00 +0000 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) |
| 2025-06-04 12:55:11 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 12:55:47 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f45a83e2b5d0ad17840.dip0.t-ipconnect.de) acidjnk |
| 2025-06-04 13:00:53 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 13:01:17 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 13:03:05 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-06-04 13:03:52 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 265 seconds) |
| 2025-06-04 13:05:19 +0000 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2025-06-04 13:06:49 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 13:07:12 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 13:08:52 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-06-04 13:13:15 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Ping timeout: 260 seconds) |
| 2025-06-04 13:14:01 +0000 | jespada | (~jespada@r179-25-2-231.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-06-04 13:14:21 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 13:14:44 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 13:15:03 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 13:15:27 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 13:16:37 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-04 13:18:43 +0000 | jespada | (~jespada@r179-25-2-231.dialup.adsl.anteldata.net.uy) jespada |
| 2025-06-04 13:20:52 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 13:21:15 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 13:22:35 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2025-06-04 13:24:59 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 13:25:23 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 13:28:18 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-04 13:29:58 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 13:30:23 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 13:37:08 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 13:37:32 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 13:40:05 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-06-04 13:42:52 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 13:43:15 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 13:47:09 +0000 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-04 13:47:17 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 272 seconds) |
| 2025-06-04 13:49:11 +0000 | laurapigeon | (~laurapige@user/laurapigeon) (Quit: WeeChat 4.6.3) |
| 2025-06-04 13:50:25 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 13:50:47 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 13:55:00 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 13:55:25 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 13:58:02 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-06-04 13:58:51 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-04 14:00:54 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 14:01:16 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 14:06:09 +0000 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) |
| 2025-06-04 14:07:29 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 14:07:52 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 14:15:18 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 14:15:44 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 14:20:11 +0000 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-06-04 14:20:50 +0000 | euandreh | (~Thunderbi@189.31.61.8) (Ping timeout: 272 seconds) |
| 2025-06-04 14:22:08 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 14:22:29 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 14:26:26 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-06-04 14:29:03 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 14:29:27 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 14:30:24 +0000 | yangby | (~secret@183.159.106.182) (Ping timeout: 240 seconds) |
| 2025-06-04 14:33:24 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 14:33:42 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-06-04 14:33:47 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 14:39:48 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 14:40:12 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 14:40:53 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-06-04 14:45:03 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 14:45:25 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 14:47:40 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-04 14:48:23 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-06-04 14:49:30 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 14:49:51 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 14:52:49 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 2025-06-04 14:54:36 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 14:55:02 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 14:55:22 +0000 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-06-04 15:01:46 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-04 15:01:50 +0000 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-04 15:02:05 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 15:02:28 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 15:09:01 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 15:09:24 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 15:12:17 +0000 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2025-06-04 15:13:39 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 15:14:03 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 15:20:33 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 15:20:58 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 15:25:35 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 15:25:58 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 15:26:51 +0000 | Digit | (~user@user/digit) Digit |
| 2025-06-04 15:26:55 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 252 seconds) |
| 2025-06-04 15:31:23 +0000 | Digit | Digitteknohippie |
| 2025-06-04 15:31:24 +0000 | Digitteknohippie | (~user@user/digit) (Remote host closed the connection) |
| 2025-06-04 15:31:46 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 15:32:09 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 15:35:46 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-04 15:37:25 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-06-04 15:38:48 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 15:39:10 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 15:42:16 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 276 seconds) |
| 2025-06-04 15:43:03 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-04 15:43:53 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 15:43:57 +0000 | Square | (~Square@user/square) Square |
| 2025-06-04 15:44:15 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 15:47:50 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2025-06-04 15:49:54 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 15:50:17 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 15:55:56 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 15:56:21 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 16:02:03 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 16:02:27 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 16:02:50 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2025-06-04 16:07:16 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-06-04 16:09:51 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 16:10:07 +0000 | Digit | (~user@user/digit) Digit |
| 2025-06-04 16:10:12 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 16:12:39 +0000 | yangby | (~secret@183.159.106.182) yangby |
| 2025-06-04 16:13:09 +0000 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) |
| 2025-06-04 16:16:08 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 16:16:31 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 16:19:24 +0000 | gaze__ | (sid387101@id-387101.helmsley.irccloud.com) () |
| 2025-06-04 16:19:45 +0000 | gaze__ | (sid387101@id-387101.helmsley.irccloud.com) gaze__ |
| 2025-06-04 16:21:01 +0000 | turlando | (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 2025-06-04 16:22:17 +0000 | turlando | (~turlando@user/turlando) turlando |
| 2025-06-04 16:22:37 +0000 | <yin> | :t liftA2 |
| 2025-06-04 16:22:38 +0000 | <lambdabot> | Applicative f => (a -> b -> c) -> f a -> f b -> f c |
| 2025-06-04 16:22:51 +0000 | <yin> | :t liftA2 @((->) _) |
| 2025-06-04 16:22:52 +0000 | <lambdabot> | error: parse error on input ‘->’ |
| 2025-06-04 16:24:07 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 16:24:32 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 16:24:41 +0000 | <EvanR> | I know right |
| 2025-06-04 16:24:45 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-04 16:25:36 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-06-04 16:26:08 +0000 | shapr | (~user@4.30.215.226) shapr |
| 2025-06-04 16:27:25 +0000 | <yin> | % :t liftA2 @((->) _) |
| 2025-06-04 16:27:25 +0000 | <yahb2> | liftA2 @((->) _) ; :: Applicative ((->) w) => ; (a -> b -> c) -> (w -> a) -> (w -> b) -> w -> c |
| 2025-06-04 16:28:21 +0000 | califax | (~califax@user/califx) califx |
| 2025-06-04 16:28:30 +0000 | <yin> | ok, i'm on 9.6.7 and ghci is ommiting the Applicative constraint |
| 2025-06-04 16:30:22 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 16:30:32 +0000 | <EvanR> | oh shit it works |
| 2025-06-04 16:30:41 +0000 | <yin> | 9.12.2 gives me the constraint, as expected |
| 2025-06-04 16:30:47 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 16:31:04 +0000 | <yin> | is there a reason for this? |
| 2025-06-04 16:32:07 +0000 | <yin> | EvanR: are you amazed by TypeApplications? |
| 2025-06-04 16:32:27 +0000 | <EvanR> | no I just have not see @((->) X) work |
| 2025-06-04 16:32:39 +0000 | <EvanR> | I got parse error on input |
| 2025-06-04 16:35:40 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-06-04 16:35:52 +0000 | <yin> | i think lambdabot is not what it used to be |
| 2025-06-04 16:37:13 +0000 | <EvanR> | an interesting way to frame "my expectations of lambdabot have moved on and lambdabot didn't" xD |
| 2025-06-04 16:38:02 +0000 | <yin> | i used to have it installed on my system. now i can't seem to install it not even from source |
| 2025-06-04 16:38:18 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 16:38:42 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 16:39:09 +0000 | <yin> | i see it's still being mainteined though |
| 2025-06-04 16:39:09 +0000 | <EvanR> | "my computer moved on but lambdabot didn't" |
| 2025-06-04 16:39:15 +0000 | <yin> | EvanR: :D |
| 2025-06-04 16:39:55 +0000 | <yin> | so my complained should really be "lambdabot IS what it used to be" |
| 2025-06-04 16:39:59 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-06-04 16:40:13 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 16:40:34 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 16:41:22 +0000 | <EvanR> | ^ |
| 2025-06-04 16:41:37 +0000 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-04 16:42:29 +0000 | <lambdabot> | I'm older than Firefox |
| 2025-06-04 16:44:08 +0000 | <yin> | :) |
| 2025-06-04 16:44:56 +0000 | <int-e> | that's quite a close call isn't it |
| 2025-06-04 16:44:58 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-06-04 16:45:55 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-06-04 16:46:19 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 16:46:24 +0000 | <shapr> | lambdabot went online somewhere between 2002 and 2003, originally written by Pseudonym (aka Andrew Bromage) |
| 2025-06-04 16:46:39 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 16:46:42 +0000 | <shapr> | So, a year or two older than firefox? |
| 2025-06-04 16:47:36 +0000 | <shapr> | I vaguely recall converting lambdabot's darcs repo to git in 2004 |
| 2025-06-04 16:47:54 +0000 | <shapr> | could that be right? |
| 2025-06-04 16:47:59 +0000 | <shapr> | did we convert it to something else? |
| 2025-06-04 16:48:03 +0000 | califax | (~califax@user/califx) califx |
| 2025-06-04 16:49:10 +0000 | <shapr> | Funny thing is, Pseudonym wrote lambdabot and the first plugin, but there wasn't a plugin system. So I wrote the simplest thing that could possibly work, and it's not that different now. |
| 2025-06-04 16:50:07 +0000 | <shapr> | I also chose the @ sign for commands, and that got used for supybot, which influenced all the other IRC bots, and there's a good chance that's why @ is used for user notifications in slack, etc |
| 2025-06-04 16:50:53 +0000 | <yin> | so you're the culprit |
| 2025-06-04 16:50:58 +0000 | <shapr> | yes, sadly |
| 2025-06-04 16:51:17 +0000 | <yin> | @shapr that's ok, don't beat yourself for it |
| 2025-06-04 16:51:17 +0000 | lambdabot | places her fist firmly on that's ok, don't beat yourself for it's jaw |
| 2025-06-04 16:51:21 +0000 | <shapr> | :-) |
| 2025-06-04 16:51:44 +0000 | <yin> | wait what |
| 2025-06-04 16:51:45 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-04 16:51:49 +0000 | <int-e> | nobody was using @ for anything at the time |
| 2025-06-04 16:52:08 +0000 | <int-e> | (Firefox predates Twitter) |
| 2025-06-04 16:52:12 +0000 | <yin> | is that also why my attempot at TypeApplications failed? |
| 2025-06-04 16:52:17 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 16:52:25 +0000 | <shapr> | yin: I hadn't thought of that |
| 2025-06-04 16:52:39 +0000 | <shapr> | When I wrote the plugin system, the @ had to be the first character |
| 2025-06-04 16:52:40 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 16:52:41 +0000 | <shapr> | @quote |
| 2025-06-04 16:52:49 +0000 | <shapr> | Looks like that's still true |
| 2025-06-04 16:53:10 +0000 | <int-e> | The (very modern compared to lambdabot) TypeApplications extension isn't enabled, that's basically the whole story. |
| 2025-06-04 16:53:13 +0000 | <yin> | yeah and the parse error is on '->' |
| 2025-06-04 16:53:15 +0000 | <shapr> | yup |
| 2025-06-04 16:53:48 +0000 | <int-e> | @ is a valid infix operator |
| 2025-06-04 16:53:59 +0000 | <int-e> | so it's trying to parse (->) as an expression, and that fails |
| 2025-06-04 16:54:27 +0000 | <yin> | @: is the function composition operator in J |
| 2025-06-04 16:54:42 +0000 | <int-e> | :t (->) |
| 2025-06-04 16:54:43 +0000 | <lambdabot> | error: parse error on input ‘->’ |
| 2025-06-04 16:54:47 +0000 | <int-e> | (same error, minimized) |
| 2025-06-04 16:54:57 +0000 | <int-e> | :t -> |
| 2025-06-04 16:54:58 +0000 | <lambdabot> | error: parse error on input ‘->’ |
| 2025-06-04 16:55:05 +0000 | <int-e> | or maybe this, not sure which is conceptually better |
| 2025-06-04 16:56:21 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 16:56:46 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 16:56:51 +0000 | <yin> | anyways, any clue on why does the Applicative constraint gets ommited on 9.6.7 ? |
| 2025-06-04 16:57:42 +0000 | <int-e> | Applicative (->) simplifies to nothing because the instance exists |
| 2025-06-04 16:58:11 +0000 | <int-e> | ((->) a) I mean |
| 2025-06-04 16:58:41 +0000 | <int-e> | :t 1 |
| 2025-06-04 16:58:42 +0000 | <lambdabot> | Num p => p |
| 2025-06-04 16:58:45 +0000 | <int-e> | :t 1 :: Int |
| 2025-06-04 16:58:46 +0000 | <lambdabot> | Int |
| 2025-06-04 16:58:50 +0000 | <int-e> | same thing! |
| 2025-06-04 16:58:54 +0000 | <yin> | i see |
| 2025-06-04 16:59:33 +0000 | <yin> | right |
| 2025-06-04 16:59:34 +0000 | alp | (~alp@2001:861:8ca0:4940:b4b3:ed5f:a70f:6ad5) |
| 2025-06-04 17:00:04 +0000 | <yin> | wait why is it *not* ommited then on 9.12.2 ? |
| 2025-06-04 17:00:09 +0000 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) |
| 2025-06-04 17:00:12 +0000 | <int-e> | % :t 1 @ Int |
| 2025-06-04 17:00:12 +0000 | <yahb2> | <interactive>:1:3: error: [GHC-88464] ; Variable not in scope: (@) :: t0 -> t1 -> t2 ; ; <interactive>:1:5: error: [GHC-01928] ; • Illegal term-level use of the type constructor ‘Int’ ; ... |
| 2025-06-04 17:00:20 +0000 | <int-e> | % :t 1 @Int |
| 2025-06-04 17:00:20 +0000 | <yahb2> | <interactive>:1:1: error: [GHC-95781] ; • Cannot apply expression of type ‘a0’ ; to a visible type argument ‘Int’ ; • In the expression: 1 @Int |
| 2025-06-04 17:00:29 +0000 | <int-e> | hmm I should test locally :) |
| 2025-06-04 17:00:46 +0000 | <yin> | % :t id @Int |
| 2025-06-04 17:00:46 +0000 | <yahb2> | id @Int :: Int -> Int |
| 2025-06-04 17:00:49 +0000 | <yin> | no |
| 2025-06-04 17:00:53 +0000 | <yin> | % :t id @Int 1 |
| 2025-06-04 17:00:53 +0000 | <yahb2> | id @Int 1 :: Int |
| 2025-06-04 17:00:58 +0000 | yin | shrugs |
| 2025-06-04 17:01:44 +0000 | <int-e> | % :t let x :: forall a. Num a => a; x = 1 in x @Int |
| 2025-06-04 17:01:44 +0000 | <yahb2> | let x :: forall a. Num a => a; x = 1 in x @Int :: Int |
| 2025-06-04 17:02:52 +0000 | <int-e> | I guess it's not actually weird because without the explicit forall(s), the order of the type arguments would depend on the phase of the moon |
| 2025-06-04 17:03:16 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 17:03:38 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 17:05:02 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-06-04 17:05:51 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-04 17:06:04 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-04 17:09:53 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-04 17:10:09 +0000 | shaeto | (~Shaeto@94.25.234.79) |
| 2025-06-04 17:10:19 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 17:10:41 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 17:12:17 +0000 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-04 17:13:56 +0000 | alp | (~alp@2001:861:8ca0:4940:b4b3:ed5f:a70f:6ad5) (Remote host closed the connection) |
| 2025-06-04 17:14:13 +0000 | alp | (~alp@2001:861:8ca0:4940:5e69:cd24:f8f:385a) |
| 2025-06-04 17:15:27 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-06-04 17:16:33 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-04 17:16:47 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-04 17:17:46 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 17:18:07 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 17:20:42 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-06-04 17:20:59 +0000 | shapr | (~user@4.30.215.226) (Ping timeout: 260 seconds) |
| 2025-06-04 17:23:22 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 17:23:44 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 17:30:31 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 17:30:55 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 17:36:23 +0000 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) |
| 2025-06-04 17:36:30 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 17:36:52 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 17:37:10 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-06-04 17:37:49 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-06-04 17:38:07 +0000 | notzmv | (~daniel@user/notzmv) (Read error: Connection reset by peer) |
| 2025-06-04 17:38:15 +0000 | <monochrom> | yin: The explanation is that @shapr is auto-corrected to @slap. |
| 2025-06-04 17:38:18 +0000 | <monochrom> | @slap monochrom |
| 2025-06-04 17:38:18 +0000 | <lambdabot> | stop telling me what to do |
| 2025-06-04 17:38:26 +0000 | <monochrom> | OK one more. |
| 2025-06-04 17:38:27 +0000 | <monochrom> | @slap monochrom |
| 2025-06-04 17:38:27 +0000 | lambdabot | hits monochrom with an assortment of kitchen utensils |
| 2025-06-04 17:38:33 +0000 | <monochrom> | Like that. :) |
| 2025-06-04 17:41:52 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 17:42:17 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 17:45:27 +0000 | shapr | (~user@2600:4040:5c49:5600:ccb9:1644:ee29:9ab3) shapr |
| 2025-06-04 17:47:37 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 17:47:58 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 17:48:48 +0000 | <yin> | that was unexpected |
| 2025-06-04 17:51:14 +0000 | Digit | digitteknohippie |
| 2025-06-04 17:51:22 +0000 | digitteknohippie | Digit |
| 2025-06-04 17:51:42 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 276 seconds) |
| 2025-06-04 17:54:05 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 17:54:26 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 17:59:11 +0000 | <tomsmeding> | shapr: that's quite a brag-worthy story right there |
| 2025-06-04 18:01:40 +0000 | myme | (~myme@2a01:799:d5e:5f00:1048:3294:2392:ce2) myme |
| 2025-06-04 18:01:46 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 18:02:08 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 18:04:52 +0000 | <ski> | @get-shapr |
| 2025-06-04 18:04:52 +0000 | <lambdabot> | shapr!! |
| 2025-06-04 18:05:31 +0000 | ski | kinda misses `@define' undefining .. |
| 2025-06-04 18:06:52 +0000 | shapr | awakens |
| 2025-06-04 18:06:54 +0000 | <shapr> | HELLO |
| 2025-06-04 18:06:59 +0000 | <shapr> | ski: you screamt? |
| 2025-06-04 18:07:09 +0000 | <EvanR> | @get-ski |
| 2025-06-04 18:07:09 +0000 | <lambdabot> | Unknown command, try @list |
| 2025-06-04 18:07:45 +0000 | <shapr> | tomsmeding: do lots of things, and you will likely have an influence on the future? |
| 2025-06-04 18:07:53 +0000 | <tomsmeding> | yes :) |
| 2025-06-04 18:08:12 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 18:08:34 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 18:09:01 +0000 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) ft |
| 2025-06-04 18:10:25 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-06-04 18:11:42 +0000 | <int-e> | ski: well it's memorialized in a comment: 'aliases = ["define"] -- because @define always gets "corrected" to @undefine' |
| 2025-06-04 18:11:53 +0000 | califax | (~califax@user/califx) califx |
| 2025-06-04 18:13:30 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-06-04 18:14:18 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-04 18:15:00 +0000 | califax | (~califax@user/califx) califx |
| 2025-06-04 18:17:06 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-06-04 18:17:52 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 18:18:13 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 18:19:37 +0000 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-06-04 18:22:45 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
| 2025-06-04 18:22:56 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-04 18:23:28 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-06-04 18:24:22 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 18:24:46 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 18:25:36 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-04 18:26:13 +0000 | prdak1 | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-06-04 18:27:33 +0000 | <ski> | @define |
| 2025-06-04 18:27:33 +0000 | <lambdabot> | Define what? |
| 2025-06-04 18:27:42 +0000 | <ski> | unfortunately, no longer ^ |
| 2025-06-04 18:28:18 +0000 | <ski> | shapr : boinged today ? |
| 2025-06-04 18:30:51 +0000 | <int-e> | ski: "no longer" -- yeah that's how memorials usually work |
| 2025-06-04 18:31:40 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 18:32:03 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 18:37:35 +0000 | shaeto | (~Shaeto@94.25.234.79) (Ping timeout: 260 seconds) |
| 2025-06-04 18:37:40 +0000 | shapr | boings |
| 2025-06-04 18:39:34 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 18:39:35 +0000 | shaeto | (~Shaeto@94.25.234.216) |
| 2025-06-04 18:39:55 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 18:45:28 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-06-04 18:47:21 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 18:47:46 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 18:49:51 +0000 | Guest59 | (~Guest59@75.102.136.100) |
| 2025-06-04 18:55:09 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 18:55:33 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 18:57:07 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-04 19:00:02 +0000 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-06-04 19:00:42 +0000 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-06-04 19:03:10 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 19:03:20 +0000 | Axma84968 | (~Axman6@user/axman6) Axman6 |
| 2025-06-04 19:03:31 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 19:04:43 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 248 seconds) |
| 2025-06-04 19:05:42 +0000 | shaeto | (~Shaeto@94.25.234.216) (Ping timeout: 252 seconds) |
| 2025-06-04 19:07:53 +0000 | shaeto | (~Shaeto@94.25.234.255) |
| 2025-06-04 19:09:03 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2025-06-04 19:10:01 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 19:10:24 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 19:14:04 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-06-04 19:14:06 +0000 | notzmv | (~daniel@user/notzmv) notzmv |
| 2025-06-04 19:16:39 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-06-04 19:16:56 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 19:17:11 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-04 19:23:11 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 19:23:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 19:25:32 +0000 | <monochrom> | @define mu f = let x = f x = x |
| 2025-06-04 19:25:32 +0000 | <lambdabot> | Parse failed: Parse error: = |
| 2025-06-04 19:25:38 +0000 | <monochrom> | @define |
| 2025-06-04 19:25:38 +0000 | <lambdabot> | Define what? |
| 2025-06-04 19:25:49 +0000 | <monochrom> | @define mu |
| 2025-06-04 19:25:49 +0000 | <lambdabot> | Parse failed: TemplateHaskell language extension is not enabled. Please add ... |
| 2025-06-04 19:26:05 +0000 | <tomsmeding> | @undefine mu |
| 2025-06-04 19:26:05 +0000 | <lambdabot> | There's currently no way to undefine just one thing. Say @undefine (with no extra words) to undefine everything. |
| 2025-06-04 19:26:08 +0000 | <monochrom> | Oh, maybe this |
| 2025-06-04 19:26:14 +0000 | <monochrom> | @define let mu f = let x = f x = x |
| 2025-06-04 19:26:14 +0000 | <lambdabot> | Parse failed: Parse error: = |
| 2025-06-04 19:26:25 +0000 | <monochrom> | OK not that, now I don't know what it is. |
| 2025-06-04 19:26:27 +0000 | <tomsmeding> | @define mu f = let x = f x in x |
| 2025-06-04 19:26:28 +0000 | <lambdabot> | Defined. |
| 2025-06-04 19:26:37 +0000 | <monochrom> | Oh I had a typo. My bad. |
| 2025-06-04 19:26:47 +0000 | <tomsmeding> | > mu (1:) |
| 2025-06-04 19:26:48 +0000 | <lambdabot> | [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1... |
| 2025-06-04 19:29:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-04 19:29:29 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-06-04 19:30:38 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 19:31:00 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 19:37:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 19:37:23 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 19:37:45 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 19:38:19 +0000 | Unhammer | (~Unhammer@user/unhammer) (Ping timeout: 252 seconds) |
| 2025-06-04 19:41:49 +0000 | <sprout> | > take 5 (mu (1:)) |
| 2025-06-04 19:41:51 +0000 | <lambdabot> | [1,1,1,1,1] |
| 2025-06-04 19:43:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 19:43:52 +0000 | shaeto | (~Shaeto@94.25.234.255) (Ping timeout: 268 seconds) |
| 2025-06-04 19:44:34 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 19:44:57 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 19:47:17 +0000 | <Guest59> | Hello, I have a question. I was wondering how one might implement the equivalent of 'beside' from the 'lens' library in the 'optics-core' library. For reference, I managed to implement a basic version as 'beside lo ro = Optic $ wander $ \afb -> bitraverse (traverseOf lo) (traverseOf ro)' which has type (Bitraversable r, Is k A_Traversal, Is k' |
| 2025-06-04 19:47:18 +0000 | <Guest59> | A_Traversal) => Optic k is s t a b -> Optic k' is s' t' a b -> Optic A_Traversal NoIx (r s s') (r t t') a b. This basic version unfortunately doesn't preserve the index unlike the lens version. It also doesn't work when both its arguments are Folds (in which case the resulting optic should be a fold) but not Traversals. |
| 2025-06-04 19:49:23 +0000 | Unhammer | (~Unhammer@user/unhammer) Unhammer |
| 2025-06-04 19:49:27 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-06-04 19:51:31 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 19:51:54 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 19:52:21 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-06-04 19:53:25 +0000 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2025-06-04 19:55:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 19:57:01 +0000 | Digitteknohippie | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-06-04 19:59:25 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 19:59:47 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 19:59:54 +0000 | yangby | (~secret@183.159.106.182) (Ping timeout: 240 seconds) |
| 2025-06-04 20:00:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-06-04 20:01:54 +0000 | yangby | (~secret@115.192.233.46) yangby |
| 2025-06-04 20:04:05 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-06-04 20:05:41 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 20:06:09 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 20:08:35 +0000 | sprotte24 | (~sprotte24@p200300d16f059500dc4f04ac2c9a13e6.dip0.t-ipconnect.de) |
| 2025-06-04 20:09:19 +0000 | <haskellbridge> | <yin> test |
| 2025-06-04 20:09:39 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-06-04 20:09:50 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-06-04 20:10:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 20:10:58 +0000 | Digit | (~user@user/digit) Digit |
| 2025-06-04 20:11:42 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 20:12:06 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 20:12:49 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-04 20:13:02 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-04 20:15:30 +0000 | Digit | digitteknohippie |
| 2025-06-04 20:15:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 20:15:47 +0000 | digitteknohippie | Digit |
| 2025-06-04 20:17:48 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 20:18:08 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 20:19:54 +0000 | yangby | (~secret@115.192.233.46) (Ping timeout: 240 seconds) |
| 2025-06-04 20:23:44 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-06-04 20:23:46 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 20:24:08 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 20:25:31 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-06-04 20:25:58 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-06-04 20:26:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 20:26:55 +0000 | <EvanR> | failed |
| 2025-06-04 20:27:50 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-04 20:27:57 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 20:28:04 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-04 20:28:20 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 20:31:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-06-04 20:33:50 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Ping timeout: 268 seconds) |
| 2025-06-04 20:35:03 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 20:35:26 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 20:35:32 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-06-04 20:38:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 20:39:51 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 20:40:14 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 20:42:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 20:43:32 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-06-04 20:43:42 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Ping timeout: 268 seconds) |
| 2025-06-04 20:43:59 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 20:44:22 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 20:45:12 +0000 | <yin> | i hate the matrix bridge |
| 2025-06-04 20:45:26 +0000 | <EvanR> | :( |
| 2025-06-04 20:46:34 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-06-04 20:48:43 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-06-04 20:49:55 +0000 | ttybitni` | (~ttybitnik@user/wolper) ttybitnik |
| 2025-06-04 20:49:56 +0000 | ttybitni` | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-06-04 20:50:49 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 20:51:11 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 20:52:05 +0000 | <sm> | because... |
| 2025-06-04 20:53:37 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Ping timeout: 252 seconds) |
| 2025-06-04 20:54:55 +0000 | <EvanR> | I hate passwords and authentication |
| 2025-06-04 20:55:06 +0000 | <EvanR> | sm, go ahead you're next |
| 2025-06-04 20:56:03 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 20:56:25 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 20:56:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 20:57:05 +0000 | <sm> | I try not to hate, hated things grow bigger :) |
| 2025-06-04 20:57:50 +0000 | Everything | (~Everythin@77.120.244.38) (Quit: leaving) |
| 2025-06-04 20:57:53 +0000 | <EvanR> | too late for passwords and authentication then |
| 2025-06-04 20:57:58 +0000 | <sm> | ok. I strongly prefer well-documented things. |
| 2025-06-04 21:01:59 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 21:02:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-04 21:02:24 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 21:04:40 +0000 | haritz | (~hrtz@152.37.64.162) |
| 2025-06-04 21:04:40 +0000 | haritz | (~hrtz@152.37.64.162) (Changing host) |
| 2025-06-04 21:04:40 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-06-04 21:04:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 21:08:07 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 21:08:32 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 21:08:44 +0000 | trickard_ | trickard |
| 2025-06-04 21:13:46 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-06-04 21:15:04 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 21:15:26 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 21:22:01 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-06-04 21:22:07 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 21:22:33 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 21:24:36 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-04 21:27:19 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 21:27:39 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 21:29:47 +0000 | michalz | (~michalz@185.246.207.215) (Remote host closed the connection) |
| 2025-06-04 21:32:11 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 21:32:38 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 21:33:05 +0000 | jespada | (~jespada@r179-25-2-231.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds) |
| 2025-06-04 21:36:42 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-06-04 21:36:59 +0000 | jespada | (~jespada@r179-25-40-226.dialup.adsl.anteldata.net.uy) jespada |
| 2025-06-04 21:39:30 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 21:39:45 +0000 | foul_owl | (~kerry@94.156.149.99) (Ping timeout: 272 seconds) |
| 2025-06-04 21:39:52 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 21:40:39 +0000 | <monochrom> | I hate microorganisms. |
| 2025-06-04 21:41:20 +0000 | <monochrom> | (Bwhahaha now I have started the countdown to the apocalypse of microorganisms becoming big monsters.) |
| 2025-06-04 21:41:40 +0000 | <monochrom> | I hate Lean. |
| 2025-06-04 21:41:57 +0000 | <monochrom> | (Bwhahaha 5 years from now Lean will be the monopolizing mainstream language!) |
| 2025-06-04 21:42:18 +0000 | <monochrom> | (Inspired by today's smbc.) |
| 2025-06-04 21:42:41 +0000 | <monochrom> | (Err, yesterday's smbc!) |
| 2025-06-04 21:43:03 +0000 | monochrom | hates himself (bwahahaha) |
| 2025-06-04 21:44:04 +0000 | Square2 | (~Square4@user/square) Square |
| 2025-06-04 21:44:58 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-06-04 21:46:18 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 21:46:41 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 21:47:01 +0000 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-06-04 21:47:03 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-06-04 21:52:20 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 21:52:46 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 21:53:25 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Ping timeout: 248 seconds) |
| 2025-06-04 21:53:38 +0000 | foul_owl | (~kerry@94.156.149.99) foul_owl |
| 2025-06-04 21:58:21 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 21:58:47 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 22:01:45 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-06-04 22:02:58 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-06-04 22:03:32 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 22:03:54 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 22:03:56 +0000 | sprotte24 | (~sprotte24@p200300d16f059500dc4f04ac2c9a13e6.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-06-04 22:08:24 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 22:08:50 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 22:12:00 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-04 22:16:23 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 22:16:49 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 22:19:05 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-06-04 22:19:24 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-06-04 22:22:07 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 22:22:30 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 22:23:25 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-06-04 22:25:03 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-06-04 22:28:21 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 22:28:42 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 22:32:54 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-06-04 22:34:10 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-04 22:34:41 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-06-04 22:36:31 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 22:36:58 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 22:43:04 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 272 seconds) |
| 2025-06-04 22:44:14 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 22:44:41 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 22:46:33 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-06-04 22:50:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 22:50:30 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 22:50:52 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 22:52:08 +0000 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-04 22:55:58 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-04 22:56:15 +0000 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-06-04 22:56:41 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 22:57:06 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 23:00:40 +0000 | prdak1 | (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
| 2025-06-04 23:00:40 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
| 2025-06-04 23:01:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 23:02:44 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 23:03:06 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-06-04 23:03:08 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 23:04:28 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-06-04 23:04:55 +0000 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 268 seconds) |
| 2025-06-04 23:08:05 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-06-04 23:08:45 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 23:09:10 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 23:09:52 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-04 23:13:49 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-04 23:14:32 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 23:14:47 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-06-04 23:14:53 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 23:18:36 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-04 23:21:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-04 23:21:33 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 23:21:43 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-06-04 23:21:56 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 23:22:43 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-06-04 23:22:57 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-06-04 23:25:39 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f45a83e2b5d0ad17840.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-06-04 23:26:15 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-04 23:27:11 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 23:27:27 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-06-04 23:27:35 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 23:28:16 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-06-04 23:28:43 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-04 23:28:45 +0000 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) m1dnight |
| 2025-06-04 23:31:50 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 272 seconds) |
| 2025-06-04 23:32:53 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 23:33:18 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 23:33:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 23:36:34 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Client Quit) |
| 2025-06-04 23:36:55 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 23:39:41 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 23:40:02 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 23:44:24 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2025-06-04 23:44:56 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-04 23:45:00 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 23:45:27 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 23:46:33 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-04 23:49:07 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 23:49:31 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 23:50:55 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-06-04 23:53:54 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-06-04 23:55:03 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 23:55:26 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 23:55:37 +0000 | shapr | (~user@2600:4040:5c49:5600:ccb9:1644:ee29:9ab3) (Ping timeout: 276 seconds) |
| 2025-06-04 23:57:02 +0000 | simon1 | (~simon@204.48.76.205) |