| 2025-05-30 00:03:05 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-30 00:03:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 00:06:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 00:06:24 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 272 seconds) |
| 2025-05-30 00:06:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 00:08:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-30 00:12:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 00:12:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 00:13:30 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-05-30 00:17:11 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5da2:ba0:a157:afb4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-30 00:17:51 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-30 00:17:56 +0200 | AlexNoo_ | (~AlexNoo@178.34.162.18) |
| 2025-05-30 00:19:30 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-05-30 00:19:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 00:20:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 00:20:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 00:20:38 +0200 | AlexZenon | (~alzenon@178.34.162.255) (Ping timeout: 252 seconds) |
| 2025-05-30 00:21:34 +0200 | AlexNoo | (~AlexNoo@178.34.162.255) (Ping timeout: 265 seconds) |
| 2025-05-30 00:24:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-30 00:27:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 00:27:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 00:28:01 +0200 | AlexZenon | (~alzenon@178.34.162.18) |
| 2025-05-30 00:28:09 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-30 00:34:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 00:34:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 00:35:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 00:39:35 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-30 00:41:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 00:41:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 00:41:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-30 00:42:49 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-05-30 00:42:49 +0200 | ljdarj1 | ljdarj |
| 2025-05-30 00:43:50 +0200 | Hecate_ | (~mariposa@user/hecate) Hecate |
| 2025-05-30 00:44:58 +0200 | Hecate | (~mariposa@user/hecate) (Read error: Connection reset by peer) |
| 2025-05-30 00:47:54 +0200 | cawfee | (root@2001:19f0:4400:79a1::babe) (Ping timeout: 245 seconds) |
| 2025-05-30 00:50:20 +0200 | connrs | (~connrs@user/connrs) (Ping timeout: 252 seconds) |
| 2025-05-30 00:50:40 +0200 | cawfee | (root@2001:19f0:4400:79a1::babe) |
| 2025-05-30 00:50:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 00:51:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 00:52:25 +0200 | connrs | (~connrs@user/connrs) connrs |
| 2025-05-30 00:53:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 00:58:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-30 00:58:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 00:58:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 01:06:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-30 01:06:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 01:09:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 01:11:14 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-05-30 01:12:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 01:13:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 01:14:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-30 01:15:35 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-05-30 01:19:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 01:19:50 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-05-30 01:20:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 01:25:11 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f1279df3cd0774167a3.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-05-30 01:26:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 01:27:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 01:27:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 01:28:13 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6ec2:21aa:d7af:6f75) (Ping timeout: 268 seconds) |
| 2025-05-30 01:32:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-30 01:33:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 01:34:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 01:40:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 01:40:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 01:43:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 01:48:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-30 01:53:48 +0200 | lucasb | (uid333435@id-333435.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-30 01:53:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 01:54:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 01:59:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 02:01:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 02:02:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 02:02:57 +0200 | jespada | (~jespada@r179-25-67-175.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds) |
| 2025-05-30 02:04:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-30 02:06:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 02:14:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-30 02:14:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 02:15:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 02:15:24 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 245 seconds) |
| 2025-05-30 02:17:40 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-30 02:19:59 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-05-30 02:19:59 +0200 | ljdarj1 | ljdarj |
| 2025-05-30 02:22:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 02:22:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 02:25:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 02:28:24 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-30 02:30:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 02:30:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-30 02:30:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 02:33:14 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-05-30 02:34:41 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-30 02:35:09 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-05-30 02:36:19 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-30 02:37:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 02:37:34 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-30 02:37:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 02:40:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 02:44:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 02:44:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 02:46:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-30 02:50:49 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-30 02:52:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 02:52:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 02:56:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 02:56:53 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-05-30 02:59:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 02:59:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 03:01:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-30 03:02:34 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-30 03:02:50 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-30 03:05:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 03:05:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 03:11:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 03:11:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 03:12:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 03:14:16 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-30 03:17:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-30 03:20:04 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-05-30 03:20:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 03:21:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 03:26:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 03:26:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 03:28:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 03:28:20 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-05-30 03:29:48 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-30 03:34:38 +0200 | Guest8 | (~Guest8@141.11.146.67) |
| 2025-05-30 03:34:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-30 03:35:44 +0200 | Guest8 | (~Guest8@141.11.146.67) (Client Quit) |
| 2025-05-30 03:37:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 03:37:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 03:43:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 03:43:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 03:46:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 03:47:52 +0200 | td_ | (~td@i5387093C.versanet.de) (Quit: waking up from the american dream ...) |
| 2025-05-30 03:48:21 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-30 03:50:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-30 03:53:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 03:53:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 03:54:10 +0200 | td_ | (~td@i5387093C.versanet.de) |
| 2025-05-30 03:58:54 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-05-30 03:59:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 03:59:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 04:05:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 04:05:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 04:07:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 04:11:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 04:11:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 04:12:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-30 04:18:25 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2025-05-30 04:19:21 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-05-30 04:19:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 04:19:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 04:20:51 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Client Quit) |
| 2025-05-30 04:23:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 04:25:14 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-05-30 04:26:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 04:26:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 04:28:01 +0200 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 248 seconds) |
| 2025-05-30 04:28:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-30 04:29:32 +0200 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2025-05-30 04:31:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-30 04:32:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 04:33:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 04:39:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 04:40:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 04:40:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 04:44:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-30 04:47:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 04:47:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 04:48:14 +0200 | tavare | (~tavare@user/tavare) tavare |
| 2025-05-30 04:48:16 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-05-30 04:53:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 04:53:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 04:55:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 04:59:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-30 05:00:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 05:00:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 05:01:37 +0200 | td_ | (~td@i5387093C.versanet.de) (Ping timeout: 248 seconds) |
| 2025-05-30 05:02:27 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-05-30 05:03:26 +0200 | td_ | (~td@i5387090F.versanet.de) td_ |
| 2025-05-30 05:03:30 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-05-30 05:03:30 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-30 05:03:47 +0200 | img | (~img@user/img) img |
| 2025-05-30 05:03:47 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-30 05:04:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-05-30 05:04:13 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-30 05:06:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 05:07:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 05:10:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 05:14:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 05:14:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 05:17:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-30 05:18:41 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-30 05:18:57 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-30 05:20:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 05:21:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 05:23:55 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-30 05:27:06 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-30 05:27:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 05:28:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 05:28:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 05:29:01 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-30 05:32:12 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-30 05:32:45 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-30 05:32:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 05:33:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 05:33:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-30 05:36:33 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-30 05:38:53 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-05-30 05:39:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 05:39:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 05:44:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 05:45:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 05:46:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 05:46:33 +0200 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
| 2025-05-30 05:47:45 +0200 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2025-05-30 05:49:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-30 05:57:09 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-05-30 05:57:55 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-30 05:57:56 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-30 05:58:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 05:58:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 06:00:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 06:04:24 +0200 | haskellbridge | (~hackager@syn-096-028-224-255.res.spectrum.com) (Remote host closed the connection) |
| 2025-05-30 06:05:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 06:05:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-30 06:06:02 +0200 | haskellbridge | (~hackager@syn-096-028-224-255.res.spectrum.com) hackager |
| 2025-05-30 06:06:03 +0200 | ChanServ | +v haskellbridge |
| 2025-05-30 06:06:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 06:12:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 06:12:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 06:16:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 06:18:30 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-05-30 06:20:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 06:20:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 06:21:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-30 06:27:42 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-30 06:27:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 06:28:03 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-30 06:28:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 06:31:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 06:33:13 +0200 | michalz | (~michalz@185.246.207.201) |
| 2025-05-30 06:34:20 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-05-30 06:34:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 06:35:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 06:36:33 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 248 seconds) |
| 2025-05-30 06:36:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-30 06:40:30 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-30 06:44:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 06:44:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 06:45:55 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-30 06:47:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 06:50:50 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-30 06:54:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-30 06:54:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 06:54:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 06:58:23 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-30 06:58:42 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2025-05-30 06:59:49 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-05-30 07:04:19 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-05-30 07:04:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 07:04:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 07:05:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 07:10:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-30 07:10:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 07:10:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 07:18:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 07:18:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 07:20:24 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-30 07:21:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 07:25:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 07:25:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 07:26:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-30 07:32:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 07:32:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 07:36:44 +0200 | <c_wraith> | hellwolf: it's so you can test code halfway through a rewrite to make sure that the parts you've updated work without worrying that the parts you haven't updated are currently broken |
| 2025-05-30 07:36:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 07:37:54 +0200 | <c_wraith> | I don't remember if there's a complementary way to defer name errors so that changing the names of things won't break stuff either. |
| 2025-05-30 07:38:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 07:39:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 07:42:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-30 07:42:24 +0200 | mange | (~mange@user/mange) mange |
| 2025-05-30 07:45:03 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-30 07:45:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 07:46:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 07:52:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 07:52:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 07:52:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 07:57:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-30 07:58:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 07:59:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 07:59:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 08:03:20 +0200 | pyooque | (~puke@user/puke) puke |
| 2025-05-30 08:03:20 +0200 | puke | Guest5606 |
| 2025-05-30 08:03:20 +0200 | Guest5606 | (~puke@user/puke) (Killed (lead.libera.chat (Nickname regained by services))) |
| 2025-05-30 08:03:20 +0200 | pyooque | puke |
| 2025-05-30 08:03:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-30 08:05:28 +0200 | <haskellbridge> | <hellwolf> okay, I guess some people do WIP code like that |
| 2025-05-30 08:09:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 08:09:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 08:10:09 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5da2:ba0:a157:afb4) |
| 2025-05-30 08:14:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 08:16:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 08:17:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 08:18:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-30 08:20:46 +0200 | <Leary> | IIRC HLS also relies on it. |
| 2025-05-30 08:23:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 08:23:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 08:24:56 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-05-30 08:28:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 08:29:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 08:29:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 08:33:25 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-05-30 08:35:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 08:35:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 08:36:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-30 08:38:45 +0200 | tRICKARD | (~tRICKARD@cpe-61-98-47-163.wireline.com.au) |
| 2025-05-30 08:40:56 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-30 08:41:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 08:42:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 08:43:00 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-05-30 08:47:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 08:48:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 08:49:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 08:51:23 +0200 | jrm | (~jrm@user/jrm) (Ping timeout: 252 seconds) |
| 2025-05-30 08:52:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-30 08:56:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 08:56:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 08:59:48 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-30 09:00:00 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-30 09:00:41 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-30 09:03:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 09:04:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 09:05:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 09:08:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-30 09:09:20 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-05-30 09:09:22 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-05-30 09:09:37 +0200 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2025-05-30 09:10:32 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-05-30 09:13:42 +0200 | tRICKARD | (~tRICKARD@cpe-61-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-05-30 09:14:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 09:14:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 09:19:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 09:19:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 09:19:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 09:20:50 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-05-30 09:21:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 09:21:23 +0200 | Digitteknohippie | Digit |
| 2025-05-30 09:21:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 09:22:49 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-05-30 09:23:02 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-05-30 09:25:04 +0200 | Teacup | (~teacup@user/teacup) (Ping timeout: 252 seconds) |
| 2025-05-30 09:28:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 09:28:57 +0200 | shaeto | (~Shaeto@94.25.234.181) |
| 2025-05-30 09:29:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 09:32:55 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5da2:ba0:a157:afb4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-30 09:33:07 +0200 | fp | (~Thunderbi@2001:708:150:10::3664) fp |
| 2025-05-30 09:36:46 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-05-30 09:37:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 09:37:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 09:39:17 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-05-30 09:39:35 +0200 | dhil | (~dhil@5.151.29.139) dhil |
| 2025-05-30 09:39:54 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-30 09:44:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 09:44:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 09:48:02 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-05-30 09:48:34 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-05-30 09:53:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 09:53:15 +0200 | euandreh | (~Thunderbi@2804:d59:892b:6600:cfc9:47d1:96e8:b32d) euandreh |
| 2025-05-30 09:53:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 09:54:36 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-05-30 09:54:54 +0200 | tRICKARD | (~tRICKARD@cpe-61-98-47-163.wireline.com.au) |
| 2025-05-30 09:55:39 +0200 | tRICKARD | (~tRICKARD@cpe-61-98-47-163.wireline.com.au) (Client Quit) |
| 2025-05-30 09:57:34 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-05-30 09:57:53 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-30 09:58:46 +0200 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 276 seconds) |
| 2025-05-30 09:59:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 09:59:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 10:02:31 +0200 | tRICKARD | (~tRICKARD@cpe-61-98-47-163.wireline.com.au) |
| 2025-05-30 10:06:18 +0200 | tRICKARD | (~tRICKARD@cpe-61-98-47-163.wireline.com.au) (Client Quit) |
| 2025-05-30 10:08:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 10:08:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 10:12:39 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-05-30 10:13:41 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2025-05-30 10:15:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 10:16:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 10:19:14 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f058d865540123fba5d.dip0.t-ipconnect.de) acidjnk |
| 2025-05-30 10:21:05 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-05-30 10:21:40 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-05-30 10:22:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 10:23:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 10:30:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 10:30:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 10:34:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 10:35:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 10:35:57 +0200 | FANTOM | (~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds) |
| 2025-05-30 10:41:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 10:42:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 10:42:47 +0200 | AlexNoo_ | AlexNoo |
| 2025-05-30 10:45:00 +0200 | dhil | (~dhil@5.151.29.139) (Ping timeout: 276 seconds) |
| 2025-05-30 10:47:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 10:48:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 10:49:40 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-05-30 10:51:40 +0200 | Digit | (~user@user/digit) (Ping timeout: 244 seconds) |
| 2025-05-30 10:53:57 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5da2:ba0:a157:afb4) |
| 2025-05-30 10:54:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 10:54:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 10:59:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 11:00:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 11:06:39 +0200 | Digitteknohippie | Digit |
| 2025-05-30 11:07:50 +0200 | FANTOM | (~fantom@33be818f.skybroadband.com) |
| 2025-05-30 11:07:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 11:08:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 11:13:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 11:14:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 11:14:34 +0200 | fp | (~Thunderbi@2001:708:150:10::3664) (Ping timeout: 272 seconds) |
| 2025-05-30 11:21:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 11:21:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 11:23:43 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-30 11:25:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 11:26:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 11:29:42 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-05-30 11:32:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 11:32:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 11:34:06 +0200 | ubert | (~Thunderbi@2a02:8109:abb3:7000:88cf:76ea:2c10:19e1) ubert |
| 2025-05-30 11:39:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 11:39:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 11:39:32 +0200 | <absence> | Is there a more elegant way to deal with simplified subsumption than e.g. "fmap (\x -> x) stuff"? |
| 2025-05-30 11:45:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 11:45:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 11:51:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 11:52:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 11:55:00 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f058d865540123fba5d.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-05-30 11:55:35 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f058d865540123fba5d.dip0.t-ipconnect.de) acidjnk |
| 2025-05-30 11:56:30 +0200 | mistivia_ | (~mistivia@user/mistivia) (Read error: Connection reset by peer) |
| 2025-05-30 11:58:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 11:58:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 11:59:26 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-30 11:59:43 +0200 | mistivia | (~mistivia@user/mistivia) mistivia |
| 2025-05-30 12:01:42 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-05-30 12:04:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 12:05:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 12:13:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 12:13:33 +0200 | fp | (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) fp |
| 2025-05-30 12:13:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 12:20:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 12:20:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 12:24:04 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-30 12:24:14 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-05-30 12:25:21 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 2025-05-30 12:29:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 12:29:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 12:33:59 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-30 12:39:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 12:39:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 12:46:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 12:46:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 12:49:11 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-05-30 12:51:12 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-05-30 12:53:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 12:53:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 12:59:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 13:00:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 13:01:45 +0200 | jespada | (~jespada@r179-25-215-55.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-30 13:05:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 13:06:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 13:09:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-30 13:10:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 13:12:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 13:13:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 13:18:19 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5da2:ba0:a157:afb4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-30 13:19:24 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-30 13:22:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 13:23:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 13:30:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 13:30:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 13:34:34 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-05-30 13:34:40 +0200 | euandreh | (~Thunderbi@2804:d59:892b:6600:cfc9:47d1:96e8:b32d) (Ping timeout: 268 seconds) |
| 2025-05-30 13:35:46 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f058d865540123fba5d.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-05-30 13:36:42 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f058d865540123fba5d.dip0.t-ipconnect.de) acidjnk |
| 2025-05-30 13:36:50 +0200 | euandreh | (~Thunderbi@2804:d59:892b:6600:cfc9:47d1:96e8:b32d) euandreh |
| 2025-05-30 13:37:21 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-30 13:39:04 +0200 | fp | (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 260 seconds) |
| 2025-05-30 13:40:37 +0200 | fp | (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) fp |
| 2025-05-30 13:42:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 13:42:58 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3502-c875-b94c-083b-588b-8915.rev.sfr.net) alexherbo2 |
| 2025-05-30 13:43:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 13:44:27 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-30 13:45:19 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-30 13:46:50 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-05-30 13:46:50 +0200 | ljdarj1 | ljdarj |
| 2025-05-30 13:47:43 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-05-30 13:50:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 13:50:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 13:51:46 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 244 seconds) |
| 2025-05-30 13:54:35 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-05-30 13:56:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 13:57:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 13:59:23 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3502-c875-b94c-083b-588b-8915.rev.sfr.net) (Remote host closed the connection) |
| 2025-05-30 14:00:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 14:00:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 14:06:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 14:07:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 14:12:48 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6d02:5019:61fb:28ff) |
| 2025-05-30 14:14:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 14:14:26 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-30 14:14:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 14:19:06 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9dbe:32d6:8014:9bea) |
| 2025-05-30 14:19:10 +0200 | jespada | (~jespada@r179-25-215-55.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-30 14:20:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 14:21:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 14:24:45 +0200 | jespada | (~jespada@r179-25-215-55.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-30 14:30:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 14:30:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 14:38:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 14:38:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 14:45:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 14:45:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 14:48:04 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-30 14:51:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 14:52:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 14:54:14 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6d02:5019:61fb:28ff) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-30 14:57:25 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f058d865540123fba5d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-05-30 14:59:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 14:59:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 15:04:23 +0200 | jrm | (~jrm@user/jrm) jrm |
| 2025-05-30 15:06:39 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6d02:5019:61fb:28ff) |
| 2025-05-30 15:06:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 15:07:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 15:07:12 +0200 | <absence> | Is it possible to implement a function with the type "Functor f => (forall a. f (f a)) -> f (forall a. f a)", or does it only work in the other direction? |
| 2025-05-30 15:10:22 +0200 | Xe | (~Xe@perl/impostor/xe) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-05-30 15:12:27 +0200 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2025-05-30 15:14:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 15:14:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 15:16:56 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-05-30 15:16:56 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-05-30 15:16:56 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-05-30 15:18:17 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-05-30 15:21:09 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 252 seconds) |
| 2025-05-30 15:21:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 15:21:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 15:24:48 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-30 15:28:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 15:28:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 15:34:24 +0200 | leah2 | (~leah@vuxu.org) leah2 |
| 2025-05-30 15:35:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 15:35:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 15:38:41 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9dbe:32d6:8014:9bea) (Ping timeout: 272 seconds) |
| 2025-05-30 15:42:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 15:42:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 15:45:48 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9dbe:32d6:8014:9bea) |
| 2025-05-30 15:46:14 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2025-05-30 15:46:54 +0200 | puke | (~puke@user/puke) (Quit: puke) |
| 2025-05-30 15:49:06 +0200 | mange | (~mange@user/mange) (Quit: Zzz...) |
| 2025-05-30 15:49:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 15:49:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 15:50:54 +0200 | <EvanR> | absence, is that an impredicative type |
| 2025-05-30 15:52:21 +0200 | puke | (~puke@user/puke) puke |
| 2025-05-30 15:52:45 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-30 15:54:40 +0200 | kenran | (~void@user/kenran) kenran |
| 2025-05-30 15:54:46 +0200 | <EvanR> | i'm curious how you'd even go the other way |
| 2025-05-30 15:55:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 15:55:45 +0200 | fp | (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 260 seconds) |
| 2025-05-30 15:55:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 15:59:49 +0200 | <absence> | EvanR: With eta expansion, e.g. "f a = fmap (\b -> b) a". |
| 2025-05-30 16:02:40 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-05-30 16:06:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 16:07:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 16:08:05 +0200 | <EvanR> | I see that that fails the other way because a skolem would escape |
| 2025-05-30 16:09:17 +0200 | <absence> | A what? :D |
| 2025-05-30 16:09:18 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f05796336c8485ccdbc.dip0.t-ipconnect.de) acidjnk |
| 2025-05-30 16:09:36 +0200 | <__monty__> | :t fmap id |
| 2025-05-30 16:09:36 +0200 | <lambdabot> | Functor f => f b -> f b |
| 2025-05-30 16:09:46 +0200 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2025-05-30 16:09:54 +0200 | <__monty__> | How does that move the `forall a` outwards? |
| 2025-05-30 16:10:23 +0200 | <absence> | __monty__: I think it doesn't if you use "id". |
| 2025-05-30 16:10:25 +0200 | <Leary> | If you think of it as `f (forall a -> f a) -> forall a -> f (f a)` it's pretty straightforward. That also pretty well tells you the other direction won't happen for an arbitrary `Functor`, but it might for, say, a `Distributive` or `Representable` functor. |
| 2025-05-30 16:11:13 +0200 | jrm | (~jrm@user/jrm) jrm |
| 2025-05-30 16:11:22 +0200 | <__monty__> | :t id |
| 2025-05-30 16:11:22 +0200 | <lambdabot> | a -> a |
| 2025-05-30 16:11:26 +0200 | <__monty__> | :t (\x -> x) |
| 2025-05-30 16:11:27 +0200 | <lambdabot> | p -> p |
| 2025-05-30 16:11:37 +0200 | <__monty__> | Why are those different? |
| 2025-05-30 16:11:46 +0200 | swistak | (~swistak@185.21.216.141) (Quit: bye bye) |
| 2025-05-30 16:11:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 16:12:03 +0200 | swistak | (~swistak@185.21.216.141) |
| 2025-05-30 16:12:17 +0200 | <EvanR> | __monty__, when you enable RankNTypes there are new types that won't get inferred, but you can put them explicitly. ImpredicativeTypes extends this further |
| 2025-05-30 16:12:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 16:14:38 +0200 | <EvanR> | id :: a -> (forall b . b) is a cromulent version of id under impredicative types because whatever you pick for a can be picked for the result type now or later |
| 2025-05-30 16:15:47 +0200 | <absence> | Leary: That makes more sense, yes! |
| 2025-05-30 16:15:55 +0200 | <EvanR> | or this is totally wrong |
| 2025-05-30 16:17:00 +0200 | <__monty__> | But that allows functions that aren't id at all! >: O |
| 2025-05-30 16:18:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 16:18:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 16:19:59 +0200 | <absence> | Leary: Well, it doesn't work straightforwardly... https://play.haskell.org/saved/LTrEb1Ja |
| 2025-05-30 16:20:05 +0200 | Xe | (~Xe@perl/impostor/xe) (Remote host closed the connection) |
| 2025-05-30 16:23:07 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-05-30 16:25:14 +0200 | <Leary> | __monty__: The parts of the `\x -> x` lambda that differ from `id` are just implicit: https://play.haskell.org/saved/ZbgqesrC |
| 2025-05-30 16:25:31 +0200 | <Leary> | absence: I wouldn't presume it to be straight-forward; I'd guess you need to cook up the right newtype. |
| 2025-05-30 16:26:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 16:26:03 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 2025-05-30 16:26:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 16:26:59 +0200 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2025-05-30 16:27:30 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-05-30 16:28:32 +0200 | <Leary> | (hiding the `forall` inside so it doesn't gum up the works) |
| 2025-05-30 16:28:34 +0200 | euandreh | (~Thunderbi@2804:d59:892b:6600:cfc9:47d1:96e8:b32d) (Quit: euandreh) |
| 2025-05-30 16:28:53 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-30 16:29:06 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-05-30 16:29:46 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-30 16:31:02 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-05-30 16:31:35 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-05-30 16:32:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 16:32:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 16:39:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 16:39:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 16:44:16 +0200 | jespada | (~jespada@r179-25-215-55.dialup.adsl.anteldata.net.uy) (Read error: Connection reset by peer) |
| 2025-05-30 16:44:21 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-30 16:46:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 16:47:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 16:51:33 +0200 | jespada | (~jespada@r167-61-121-147.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-30 16:51:58 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-05-30 16:52:25 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-30 16:53:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 16:53:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 16:59:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 17:00:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 17:00:49 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6d02:5019:61fb:28ff) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-30 17:06:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 17:06:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 17:10:51 +0200 | crazazy | (~crazazy@2602:f72c:0:400::be50:77ed) crazazy |
| 2025-05-30 17:11:01 +0200 | crazazy | crazazy-town |
| 2025-05-30 17:11:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-30 17:12:16 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-05-30 17:13:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 17:14:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 17:20:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 17:21:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 17:22:33 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-05-30 17:22:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 17:23:05 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-05-30 17:25:08 +0200 | ubert | (~Thunderbi@2a02:8109:abb3:7000:88cf:76ea:2c10:19e1) (Remote host closed the connection) |
| 2025-05-30 17:26:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 17:26:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 17:29:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-30 17:31:41 +0200 | Guest67 | (~Guest67@2620:149:13d1::d63) |
| 2025-05-30 17:31:50 +0200 | Guest67 | (~Guest67@2620:149:13d1::d63) (Client Quit) |
| 2025-05-30 17:33:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 17:33:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 17:38:52 +0200 | laurapigeon | (~laurapige@215.32.9.51.dyn.plus.net) |
| 2025-05-30 17:38:52 +0200 | laurapigeon | (~laurapige@215.32.9.51.dyn.plus.net) (Changing host) |
| 2025-05-30 17:38:52 +0200 | laurapigeon | (~laurapige@user/laurapigeon) laurapigeon |
| 2025-05-30 17:39:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 17:40:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 17:40:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 17:45:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-30 17:46:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 17:47:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 17:53:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 17:53:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 17:55:37 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-30 17:56:15 +0200 | kenran | (~void@user/kenran) (Remote host closed the connection) |
| 2025-05-30 17:56:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 17:57:00 +0200 | kenran | (~void@user/kenran) kenran |
| 2025-05-30 17:59:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 18:00:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 18:01:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-30 18:02:52 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-30 18:08:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 18:08:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 18:12:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 18:13:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 18:14:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 18:14:56 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-30 18:17:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-30 18:17:44 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6d02:5019:61fb:28ff) |
| 2025-05-30 18:18:09 +0200 | laurapigeon | (~laurapige@user/laurapigeon) (Quit: WeeChat 4.6.3) |
| 2025-05-30 18:20:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 18:20:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 18:25:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 18:25:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 18:28:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 18:28:09 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-30 18:30:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 18:31:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 18:33:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-30 18:38:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 18:38:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 18:40:27 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 272 seconds) |
| 2025-05-30 18:43:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 18:45:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 18:46:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 18:48:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-30 18:49:57 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-30 18:52:24 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-05-30 18:53:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 18:53:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 18:54:06 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-30 18:54:20 +0200 | <EvanR> | back in the day I asked people what is the difference between a macro and a function and why can't macros just be functions. I got results like macro generates code function doesn't... which while learning haskell I was not convinced by |
| 2025-05-30 18:54:40 +0200 | <EvanR> | yesterday I finally answered my own question running into of all things this example in C |
| 2025-05-30 18:55:05 +0200 | <EvanR> | #define f(x,y) = x + y |
| 2025-05-30 18:55:19 +0200 | <EvanR> | 3 * f(2,1) |
| 2025-05-30 18:55:40 +0200 | <EvanR> | a difference between functions and macros |
| 2025-05-30 18:55:47 +0200 | <EvanR> | of some sort |
| 2025-05-30 18:55:48 +0200 | <geekosaur> | the original unhygienic macro system 😛 |
| 2025-05-30 18:56:39 +0200 | <int-e> | EvanR: pretty sure 3 * = 2 + 1 is a parse error |
| 2025-05-30 18:56:49 +0200 | <EvanR> | lol |
| 2025-05-30 18:56:54 +0200 | <EvanR> | #define f(x,y) x + y |
| 2025-05-30 18:57:09 +0200 | <ystael> | parse errors are also unhygienic. covered in E.coli. ew. |
| 2025-05-30 18:58:02 +0200 | <ystael> | a Lisper might say this is because C has only `unquote-splicing` and not plain `unquote` |
| 2025-05-30 18:58:34 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-05-30 18:58:56 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-30 18:59:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 19:02:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-30 19:02:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 19:04:55 +0200 | craunts7 | (~craunts@136.158.8.87) (Quit: The Lounge - https://thelounge.chat) |
| 2025-05-30 19:07:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-30 19:07:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 19:08:42 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2025-05-30 19:08:58 +0200 | <EvanR> | after reading about scheme hygienic macros it sounds like a function again |
| 2025-05-30 19:09:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-30 19:09:24 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-30 19:09:25 +0200 | <EvanR> | the macro gets its own lexically scoped environment and fresh bound variables |
| 2025-05-30 19:09:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 19:10:59 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-30 19:12:10 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-05-30 19:13:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-30 19:13:50 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-30 19:15:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 19:15:09 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-30 19:15:14 +0200 | <geekosaur> | I think scheme macros are closer to TH than textual macros like CPP's |
| 2025-05-30 19:15:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 19:15:56 +0200 | <geekosaur> | but it's harder to tell because scheme's designed so everything has the same representation (sexps): language, macros, data |
| 2025-05-30 19:17:16 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-05-30 19:17:46 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-30 19:19:08 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-30 19:19:18 +0200 | <geekosaur> | this doesn't seem to be a common viewpoint but I distinguish between macros (can play games with the underlying language) and metalanguage (can't unless specific (well-behaved/hygienic) facilities are provided for it) |
| 2025-05-30 19:20:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 19:20:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 19:21:21 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 248 seconds) |
| 2025-05-30 19:22:44 +0200 | leah2 | (~leah@vuxu.org) leah2 |
| 2025-05-30 19:23:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 19:26:52 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-30 19:27:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 19:27:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 19:28:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-30 19:29:09 +0200 | <__monty__> | Are macros just a dynamically typed metalanguage? |
| 2025-05-30 19:29:28 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds) |
| 2025-05-30 19:31:51 +0200 | <geekosaur> | not really, cpp and m4 are purely text substitution of various forms |
| 2025-05-30 19:32:16 +0200 | <geekosaur> | m4 does have limited dynamically-typed evaluation, but cpp doesn't evaluate at all |
| 2025-05-30 19:33:25 +0200 | <geekosaur> | so I'd say m4 is a limited-scope metalanguage, c++ templates and concepts are a limited-scope metalanguage, TH and Scheme macros are full metalanguages |
| 2025-05-30 19:33:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 19:34:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 19:34:32 +0200 | _fantom | (~fantom@33be818f.skybroadband.com) |
| 2025-05-30 19:35:14 +0200 | <geekosaur> | dhall is also a limited-scope metalanguage to my way of thinking fwiw |
| 2025-05-30 19:35:21 +0200 | FANTOM | (~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds) |
| 2025-05-30 19:37:10 +0200 | <geekosaur> | m4's the gray area here because it's primarily text substitution but the fact that it can evaluate and modify the substitutions it does (including using the results of evaluation) means it straddles an admittedly weak barrier |
| 2025-05-30 19:37:19 +0200 | <EvanR> | there's the # operator and the ## operator which do something, if you don't want to call it evaluation xD |
| 2025-05-30 19:37:46 +0200 | <geekosaur> | what differentiates it from an actual metaanguage is that text substitution is easy and evaluation (and use thereof) requires extra work |
| 2025-05-30 19:37:57 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-30 19:38:18 +0200 | <geekosaur> | yes but it's purely token manipulation, in particular ## does token pasting |
| 2025-05-30 19:38:46 +0200 | <EvanR> | also cpp does evaluate, e.g. #if expr but that's not the macro system |
| 2025-05-30 19:38:51 +0200 | <geekosaur> | and both exist solely to allow ANSI cpp to do things that traditional cpp did trivially |
| 2025-05-30 19:39:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 19:39:31 +0200 | <EvanR> | traditional cpp? |
| 2025-05-30 19:39:46 +0200 | <EvanR> | what is this you speak of |
| 2025-05-30 19:39:54 +0200 | <geekosaur> | the one documented in K&R first edition, which `gcc -E --traditional` mostly emulates |
| 2025-05-30 19:40:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 19:40:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 19:41:07 +0200 | <geekosaur> | because it wasn't real smart about what constituted tokens, you could do things like substitute inside quoted strings and paste expansions together to make what the underlying compiler saw as single tokens |
| 2025-05-30 19:41:35 +0200 | <geekosaur> | ANSI C made both illegal but then relented and added # and ## to re-enable them in what was intended to be a cleaner way |
| 2025-05-30 19:42:34 +0200 | <geekosaur> | (also adding the automatic concatenation of string literals) |
| 2025-05-30 19:44:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-30 19:46:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 19:46:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 19:46:43 +0200 | <ski> | (i recall, initially, while learning Haskell, forming the question about whether evaluation was "like CPP macros" (what i meant was whether it used dynamic scope or not, hadn't learned that term)) |
| 2025-05-30 19:49:18 +0200 | <monochrom> | I just taught my students dynamic scoping yesterday because bash functions. (I will teach it again later in another course because principles of programming languages. :) ) |
| 2025-05-30 19:49:47 +0200 | <monochrom> | <-- fan of BOGO deals >:) |
| 2025-05-30 19:49:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-30 19:51:30 +0200 | <monochrom> | But yeah it takes some careful experiments to distinguish between call-by-name and call-by-need. |
| 2025-05-30 19:51:45 +0200 | <EvanR> | yes I showed someone some haskell code evaluating and they were like, what is it, operating on syntax? |
| 2025-05-30 19:52:10 +0200 | <EvanR> | *interesting theory* |
| 2025-05-30 19:53:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 19:53:20 +0200 | <monochrom> | My students don't have trouble with me operating on syntax. Mature people understand that the computer uses a compact binary representation and I am just writing in a human-readable format. |
| 2025-05-30 19:53:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 19:54:30 +0200 | <monochrom> | Like, do they also describe string operations as "what is it, operating on English?"? |
| 2025-05-30 19:54:56 +0200 | <mauke> | "Mature people understand that the computer uses a compact binary representation and I am just writing in a human-readable format." <- counterpoint: COBOL |
| 2025-05-30 19:54:58 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Read error: Connection reset by peer) |
| 2025-05-30 19:55:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 19:55:08 +0200 | <monochrom> | heh |
| 2025-05-30 19:55:25 +0200 | <monochrom> | But I only need my sentence to be true of Hugs and GHC. |
| 2025-05-30 19:58:24 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-05-30 19:58:43 +0200 | <EvanR> | that haskell might as well be operating on syntax (in many cases, ignoring bottom) is referential transparency |
| 2025-05-30 19:59:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 19:59:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 20:00:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-30 20:00:15 +0200 | <EvanR> | (ignoring things that have no syntax, like IORefs) |
| 2025-05-30 20:01:01 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-30 20:05:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 20:05:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 20:08:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 20:10:20 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2025-05-30 20:11:18 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-30 20:12:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 20:13:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 20:14:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-30 20:19:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 20:20:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 20:20:43 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2025-05-30 20:22:04 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-30 20:24:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 20:27:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 20:28:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 20:29:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-30 20:31:37 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-05-30 20:34:00 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-05-30 20:34:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-30 20:35:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 20:37:14 +0200 | kenran | (~void@user/kenran) (Remote host closed the connection) |
| 2025-05-30 20:40:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 20:40:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 20:41:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 20:41:45 +0200 | fp1 | (~Thunderbi@84-253-224-11.bb.dnainternet.fi) fp |
| 2025-05-30 20:46:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-30 20:48:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 20:48:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 20:50:42 +0200 | sprotte24 | (~sprotte24@p200300d16f4a2d002d1b485d1d92c583.dip0.t-ipconnect.de) |
| 2025-05-30 20:51:27 +0200 | haskellbridge | (~hackager@syn-096-028-224-255.res.spectrum.com) (Remote host closed the connection) |
| 2025-05-30 20:51:50 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-30 20:52:23 +0200 | haskellbridge | (~hackager@syn-096-028-224-255.res.spectrum.com) hackager |
| 2025-05-30 20:52:24 +0200 | ChanServ | +v haskellbridge |
| 2025-05-30 20:54:12 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6d02:5019:61fb:28ff) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-30 20:54:59 +0200 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-05-30 20:55:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 20:55:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 20:56:37 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 272 seconds) |
| 2025-05-30 20:57:23 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-05-30 20:58:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 21:00:03 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-30 21:00:42 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-30 21:01:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 21:01:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 21:01:47 +0200 | rvalue- | rvalue |
| 2025-05-30 21:03:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-30 21:04:08 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6d02:5019:61fb:28ff) |
| 2025-05-30 21:09:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 21:09:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 21:14:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 21:15:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 21:15:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 21:16:02 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-05-30 21:17:57 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-05-30 21:17:57 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-30 21:18:19 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-30 21:18:23 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-05-30 21:19:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-30 21:20:35 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-30 21:21:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 21:22:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 21:23:07 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-30 21:27:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 21:27:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 21:30:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 21:34:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 21:34:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-30 21:35:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 21:40:30 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2025-05-30 21:42:43 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-05-30 21:45:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 21:46:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 21:47:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 21:50:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-30 21:51:47 +0200 | shaeto | (~Shaeto@94.25.234.181) (Quit: WeeChat 4.1.1) |
| 2025-05-30 21:52:02 +0200 | jespada | (~jespada@r167-61-121-147.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-05-30 21:52:20 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 272 seconds) |
| 2025-05-30 21:53:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 21:53:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 21:55:03 +0200 | jespada | (~jespada@r167-61-121-147.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-30 22:01:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 22:01:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-30 22:02:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 22:06:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-30 22:06:49 +0200 | leah2 | (~leah@vuxu.org) leah2 |
| 2025-05-30 22:09:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 22:09:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 22:16:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 22:16:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 22:17:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 22:20:06 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2025-05-30 22:22:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-30 22:22:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 22:23:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 22:27:11 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-30 22:29:57 +0200 | rvaj | (~rvaj@71.173.91.132) |
| 2025-05-30 22:30:12 +0200 | rvaj | (~rvaj@71.173.91.132) (Changing host) |
| 2025-05-30 22:30:12 +0200 | rvaj | (~rvaj@user/rvaj) rvaj |
| 2025-05-30 22:31:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 22:31:24 +0200 | rvaj | (~rvaj@user/rvaj) (Remote host closed the connection) |
| 2025-05-30 22:31:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 22:33:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 22:37:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 22:37:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 22:38:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-30 22:41:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-30 22:42:51 +0200 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2025-05-30 22:44:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 22:44:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 22:46:19 +0200 | michalz | (~michalz@185.246.207.201) |
| 2025-05-30 22:49:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 22:53:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 22:53:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 22:54:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-30 22:57:01 +0200 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2025-05-30 22:59:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 22:59:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 23:02:16 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-05-30 23:04:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 23:05:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 23:06:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 23:09:15 +0200 | fp1 | (~Thunderbi@84-253-224-11.bb.dnainternet.fi) (Ping timeout: 244 seconds) |
| 2025-05-30 23:10:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-30 23:11:49 +0200 | iNomad | (~iNomad@user/iNomad) (Ping timeout: 248 seconds) |
| 2025-05-30 23:12:32 +0200 | iNomad | (~iNomad@user/iNomad) iNomad |
| 2025-05-30 23:12:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 23:12:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 23:16:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-05-30 23:18:21 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6d02:5019:61fb:28ff) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-30 23:20:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 23:20:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 23:21:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 23:23:03 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6d02:5019:61fb:28ff) |
| 2025-05-30 23:24:07 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-05-30 23:27:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-30 23:29:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 23:29:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 23:36:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 23:36:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 23:37:57 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 248 seconds) |
| 2025-05-30 23:38:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 23:43:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 23:43:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-30 23:43:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 23:45:16 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6d02:5019:61fb:28ff) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-30 23:47:43 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6d02:5019:61fb:28ff) |
| 2025-05-30 23:50:11 +0200 | leah2 | (~leah@vuxu.org) leah2 |
| 2025-05-30 23:50:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 23:50:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 23:50:53 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-30 23:54:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-30 23:57:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-30 23:58:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-30 23:59:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |