| 2025-06-04 00:01:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 00:01:28 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-06-04 00:01:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 00:02:39 +0200 | r-sta | (~r-sta@newc-18-b2-v4wan-165882-cust1187.vm8.cable.virginm.net) (Quit: Client closed) |
| 2025-06-04 00:07:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 00:07:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 00:09:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-06-04 00:11:42 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2025-06-04 00:12:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 00:12:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 00:15:45 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 248 seconds) |
| 2025-06-04 00:17:27 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-04 00:17:39 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-04 00:19:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 00:20:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 00:22:34 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-06-04 00:25:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 00:25:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 00:30:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 00:31:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 00:32:51 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-06-04 00:35:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 00:36:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 00:36:13 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-06-04 00:42:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 00:42:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 00:45:21 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-06-04 00:49:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 00:50:12 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 268 seconds) |
| 2025-06-04 00:50:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 00:57:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 00:57:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 01:00:36 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-06-04 01:02:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 01:03:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 01:03:39 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2025-06-04 01:03:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 01:09:15 +0200 | haskellbridge | (~hackager@syn-096-028-224-255.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-06-04 01:09:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 01:10:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 01:12:54 +0200 | haskellbridge | (~hackager@syn-096-028-224-255.res.spectrum.com) hackager |
| 2025-06-04 01:12:54 +0200 | ChanServ | +v haskellbridge |
| 2025-06-04 01:14:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 01:15:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 01:16:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 01:20:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-04 01:21:45 +0200 | <EvanR> | so in ghci if you try to unwrap an "existential" and print out the type of the contents, you used to get "my brain exploded", now it's a more helpful message but still doesn't work. Is this because the type information is just gone? |
| 2025-06-04 01:23:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 01:23:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 01:27:40 +0200 | <dolio> | Yes. The thing you get out of an existential has an arbitrary type that is distinct from every other type. |
| 2025-06-04 01:28:39 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-06-04 01:28:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 01:29:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 01:29:12 +0200 | <dolio> | Unless you put a constraint on it in the existential type (or similar), it has no known instances, so in particular can't be printed. |
| 2025-06-04 01:30:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 01:31:48 +0200 | sprotte24 | (~sprotte24@p200300d16f1e2800a443276ebc055c27.dip0.t-ipconnect.de) |
| 2025-06-04 01:32:35 +0200 | sprotte24 | (~sprotte24@p200300d16f1e2800a443276ebc055c27.dip0.t-ipconnect.de) (Client Quit) |
| 2025-06-04 01:33:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 01:34:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 01:35:04 +0200 | m_a_r_k | (~m_a_r_k@user/m-a-r-k:45929) (Remote host closed the connection) |
| 2025-06-04 01:35:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 01:35:20 +0200 | m_a_r_k | (~m_a_r_k@user/m-a-r-k:45929) m_a_r_k |
| 2025-06-04 01:35:45 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-06-04 01:37:04 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-06-04 01:41:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 01:41:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 01:46:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 01:46:54 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-06-04 01:49:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 01:50:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 01:51:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-04 01:53:57 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-04 01:55:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 01:56:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 01:57:13 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-04 01:57:49 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f625d0293fdec0e2a35.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-06-04 02:01:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 02:01:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 02:02:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 02:03:54 +0200 | jespada | (~jespada@r179-25-2-231.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-06-04 02:04:02 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-06-04 02:04:05 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
| 2025-06-04 02:06:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-04 02:08:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 02:08:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 02:13:25 +0200 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) (Ping timeout: 276 seconds) |
| 2025-06-04 02:13:52 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:11ea:7f98:2456:e34f) nschoe |
| 2025-06-04 02:14:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 02:14:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 02:17:32 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) justsomeguy |
| 2025-06-04 02:17:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 02:20:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 02:20:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 02:24:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-04 02:25:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 02:26:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 02:29:27 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-04 02:30:30 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-04 02:30:44 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-04 02:32:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 02:32:09 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 2025-06-04 02:32:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 02:35:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 02:37:30 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 272 seconds) |
| 2025-06-04 02:38:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 02:39:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 02:40:30 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:11ea:7f98:2456:e34f) (Ping timeout: 265 seconds) |
| 2025-06-04 02:40:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-04 02:41:22 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5804:5ca6:1e75:4ee1) (Ping timeout: 276 seconds) |
| 2025-06-04 02:44:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 02:44:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 02:48:33 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-06-04 02:48:36 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2025-06-04 02:50:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 02:50:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 02:51:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 02:51:46 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-06-04 02:51:47 +0200 | ljdarj1 | ljdarj |
| 2025-06-04 02:55:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 02:56:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 02:56:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-06-04 03:00:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 03:00:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 03:00:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 03:01:34 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:11ea:7f98:2456:e34f) nschoe |
| 2025-06-04 03:06:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-04 03:06:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 03:06:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 03:12:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 03:12:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 03:16:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 03:16:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 03:16:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 03:21:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-06-04 03:22:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 03:22:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 03:28:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 03:28:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 03:31:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 03:34:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 03:34:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 03:36:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 03:41:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 03:41:55 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-06-04 03:41:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 03:47:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 03:48:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 03:48:12 +0200 | wickedjargon | (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) wickedjargon |
| 2025-06-04 03:48:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 03:51:38 +0200 | visilii | (~visilii@213.24.132.221) (Read error: Connection reset by peer) |
| 2025-06-04 03:52:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 03:52:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 03:53:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 03:54:24 +0200 | visilii | (~visilii@213.24.132.221) |
| 2025-06-04 03:58:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 03:59:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 04:00:24 +0200 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2025-06-04 04:02:06 +0200 | jrm | (~jrm@user/jrm) jrm |
| 2025-06-04 04:02:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 04:03:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 04:03:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 04:03:44 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-06-04 04:08:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 04:08:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 04:10:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-06-04 04:15:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 04:15:11 +0200 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2025-06-04 04:15:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 04:16:32 +0200 | jrm | (~jrm@user/jrm) jrm |
| 2025-06-04 04:17:08 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-06-04 04:21:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 04:22:31 +0200 | tavare | (~tavare@150.129.88.189) |
| 2025-06-04 04:22:31 +0200 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-06-04 04:22:31 +0200 | tavare | (~tavare@user/tavare) tavare |
| 2025-06-04 04:23:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 04:23:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 04:26:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-04 04:26:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 04:27:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 04:32:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 04:33:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 04:37:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 04:38:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 04:38:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 04:41:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 04:43:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 04:43:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 04:49:59 +0200 | wickedjargon | (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) (Ping timeout: 252 seconds) |
| 2025-06-04 04:50:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 04:50:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 04:53:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 04:55:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 04:55:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 04:55:52 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-06-04 04:56:34 +0200 | td_ | (~td@i53870931.versanet.de) (Ping timeout: 276 seconds) |
| 2025-06-04 04:57:53 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-06-04 04:58:03 +0200 | td_ | (~td@i53870913.versanet.de) td_ |
| 2025-06-04 04:58:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-06-04 04:59:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 04:59:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 05:04:34 +0200 | shapr | (~user@2600:4040:5c49:5600:3574:8b25:1fec:466e) (Ping timeout: 245 seconds) |
| 2025-06-04 05:04:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 05:05:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 05:08:19 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 245 seconds) |
| 2025-06-04 05:08:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 05:09:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 05:10:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 05:13:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 05:15:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 05:15:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 05:17:48 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-04 05:18:02 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-04 05:18:28 +0200 | wickedjargon | (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) wickedjargon |
| 2025-06-04 05:19:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 05:20:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 05:21:53 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-04 05:24:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 05:25:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 05:25:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 05:27:16 +0200 | hsw | (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2025-06-04 05:27:55 +0200 | hsw | (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) hsw |
| 2025-06-04 05:28:45 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-04 05:29:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 05:33:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 05:33:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 05:40:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 05:41:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 05:42:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 05:47:02 +0200 | troydm | (~troydm@user/troydm) troydm |
| 2025-06-04 05:47:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 05:47:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 05:47:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 05:49:25 +0200 | wickedjargon | (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) (Ping timeout: 272 seconds) |
| 2025-06-04 05:50:53 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-06-04 05:53:16 +0200 | hsw | (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2025-06-04 05:53:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 05:53:39 +0200 | michalz | (~michalz@185.246.207.215) |
| 2025-06-04 05:53:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 05:55:04 +0200 | hsw | (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) hsw |
| 2025-06-04 05:58:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 05:59:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 05:59:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 06:03:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-04 06:06:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 06:07:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 06:12:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 06:13:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 06:13:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 06:16:15 +0200 | yangby | (~secret@183.159.106.182) yangby |
| 2025-06-04 06:18:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 06:18:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 06:18:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 06:21:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 06:22:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 06:27:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 06:28:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 06:29:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 06:29:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 06:29:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 06:30:10 +0200 | wickedjargon | (~user@node-1w7jr9unn02np47211p5af1tx.ipv6.telus.net) wickedjargon |
| 2025-06-04 06:33:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 06:34:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 06:34:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 06:39:10 +0200 | m5zs7k_ | (aquares@web10.mydevil.net) m5zs7k |
| 2025-06-04 06:39:28 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Read error: Connection reset by peer) |
| 2025-06-04 06:39:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 06:40:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 06:41:13 +0200 | bramh0 | (~bramh@user/bramh) bramh |
| 2025-06-04 06:41:39 +0200 | pikajude | (~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-06-04 06:41:55 +0200 | wickedja` | (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) |
| 2025-06-04 06:41:58 +0200 | pikajude | (~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) pikajude |
| 2025-06-04 06:42:00 +0200 | jbalint | (~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122) (Remote host closed the connection) |
| 2025-06-04 06:42:12 +0200 | jbalint | (~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122) |
| 2025-06-04 06:42:31 +0200 | wickedjargon | (~user@node-1w7jr9unn02np47211p5af1tx.ipv6.telus.net) (Read error: Connection reset by peer) |
| 2025-06-04 06:42:55 +0200 | jle` | (~jle`@2603:8001:3b00:11:3b41:97f4:1903:c327) (Ping timeout: 252 seconds) |
| 2025-06-04 06:42:56 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 268 seconds) |
| 2025-06-04 06:43:16 +0200 | jle` | (~jle`@2603:8001:3b00:11:ed10:7791:af4e:7281) jle` |
| 2025-06-04 06:43:33 +0200 | bramh | (~bramh@user/bramh) (Ping timeout: 248 seconds) |
| 2025-06-04 06:43:33 +0200 | bramh0 | bramh |
| 2025-06-04 06:44:29 +0200 | tomku | (~tomku@user/tomku) tomku |
| 2025-06-04 06:45:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 06:45:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 06:46:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 06:47:33 +0200 | m5zs7k_ | m5zs7k |
| 2025-06-04 06:49:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 06:50:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-04 06:50:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 06:54:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 06:55:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 06:56:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 06:58:29 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-06-04 06:59:05 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2025-06-04 06:59:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 06:59:55 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-06-04 07:01:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 07:02:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 07:08:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 07:09:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 07:10:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 07:13:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 07:14:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 07:15:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-04 07:16:56 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-06-04 07:20:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 07:21:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 07:25:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 07:26:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 07:32:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 07:32:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 07:32:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 07:37:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 07:37:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 07:39:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-04 07:41:11 +0200 | <dminuoso> | tomsmeding: Oh okay, I think I misread that. |
| 2025-06-04 07:44:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 07:45:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 07:48:25 +0200 | <ski> | "The thing you get out of an existential has an arbitrary type that is distinct from every other type." -- it would be nice if it was printed in a distinct way from an ordinary (not explicitly quantified) (meta-variable / "logic variable") one, say maybe like `?A0' or even `A0', rather than `a' (making sure that distinct unwrappings gets their own distinct name) |
| 2025-06-04 07:49:33 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-06-04 07:50:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 07:50:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 07:50:30 +0200 | <ski> | in SML/NJ, such "bare skolems" (generated by "value restriction") are printed as `?.X1',&c. (suggesting being a(n abstract) type belonging to an unknown module) |
| 2025-06-04 07:50:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 07:50:56 +0200 | img | (~img@user/img) img |
| 2025-06-04 07:53:57 +0200 | <ski> | (in OCaml, "value restriction" instead generates non-generalized ("bare") meta-variables, printed as '_weak1 -- and will be instantiated by the first later declaration that puts a(n equality) constraint on them) |
| 2025-06-04 07:55:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 07:55:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 07:55:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 08:01:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 08:01:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 08:01:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 08:02:07 +0200 | <ski> | (seems Poly/ML prints the skolem as _a (no unique numbering). and Moscow ML seems follow OCaml, making it an instantiable bare meta-variable (printed the same way as generalized / quantified) (like GHCi), and print a warning) |
| 2025-06-04 08:04:19 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 272 seconds) |
| 2025-06-04 08:05:08 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-06-04 08:06:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-06-04 08:06:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 08:06:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 08:07:43 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-06-04 08:09:26 +0200 | Square2 | (~Square4@user/square) Square |
| 2025-06-04 08:12:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 08:12:35 +0200 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-06-04 08:12:50 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-06-04 08:12:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 08:15:30 +0200 | catties | (~catties@user/meow/catties) (Remote host closed the connection) |
| 2025-06-04 08:16:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 08:16:58 +0200 | catties | (~catties@user/meow/catties) catties |
| 2025-06-04 08:18:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 08:18:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 08:21:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 08:24:54 +0200 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2025-06-04 08:25:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 08:26:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 08:31:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 08:32:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 08:32:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 08:37:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 08:37:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 08:37:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-04 08:37:43 +0200 | mistivia | (~mistivia@user/mistivia) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-06-04 08:38:42 +0200 | mistivia | (~mistivia@45.62.118.101.16clouds.com) |
| 2025-06-04 08:39:59 +0200 | mistivia | (~mistivia@45.62.118.101.16clouds.com) (Client Quit) |
| 2025-06-04 08:41:12 +0200 | hsw | (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2025-06-04 08:41:35 +0200 | hsw | (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) hsw |
| 2025-06-04 08:43:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 08:43:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 08:48:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 08:48:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 08:48:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 08:50:59 +0200 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) |
| 2025-06-04 08:52:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 08:52:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 08:53:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-04 08:55:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-04 08:59:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 09:00:00 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-06-04 09:00:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 09:00:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-04 09:00:43 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-06-04 09:06:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 09:06:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 09:09:08 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-06-04 09:09:43 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2025-06-04 09:09:59 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 245 seconds) |
| 2025-06-04 09:10:55 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) meinside |
| 2025-06-04 09:11:06 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-06-04 09:11:17 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-06-04 09:11:29 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-06-04 09:11:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-04 09:12:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 09:12:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 09:14:59 +0200 | geekosaur | (sid609282@xmonad/geekosaur) (Ping timeout: 245 seconds) |
| 2025-06-04 09:15:10 +0200 | geekosaur | (sid609282@xmonad/geekosaur) geekosaur |
| 2025-06-04 09:15:49 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-06-04 09:19:54 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-06-04 09:20:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 09:20:26 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-04 09:20:39 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-04 09:20:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 09:20:49 +0200 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-06-04 09:21:40 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 265 seconds) |
| 2025-06-04 09:25:41 +0200 | rvalue- | rvalue |
| 2025-06-04 09:26:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 09:27:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 09:28:51 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-04 09:29:33 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-06-04 09:29:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 09:30:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 09:31:27 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-04 09:33:13 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-06-04 09:34:47 +0200 | deriamis | (nobody@2600:3c0a::f03c:95ff:fee8:f335) (Quit: ZNC - https://znc.in) |
| 2025-06-04 09:34:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 09:35:01 +0200 | deriamis | (nobody@2600:3c0a::f03c:95ff:fee8:f335) deriamis |
| 2025-06-04 09:35:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 09:41:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 09:41:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 09:42:47 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-04 09:44:15 +0200 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 260 seconds) |
| 2025-06-04 09:47:22 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-06-04 09:48:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 09:49:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 09:52:36 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 272 seconds) |
| 2025-06-04 09:53:30 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-04 09:55:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 09:56:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 09:58:26 +0200 | sajenim | (~sajenim@user/sajenim) (Quit: WeeChat 3.8) |
| 2025-06-04 10:02:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 10:02:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 10:03:23 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Ping timeout: 276 seconds) |
| 2025-06-04 10:05:57 +0200 | myme | (~myme@2a01:799:d5e:5f00:be1e:23a0:878a:b7c9) (Ping timeout: 244 seconds) |
| 2025-06-04 10:06:52 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-06-04 10:07:11 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-06-04 10:09:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 10:09:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 10:12:03 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-06-04 10:12:25 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-06-04 10:13:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 10:13:24 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-06-04 10:13:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 10:15:17 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-04 10:16:13 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-06-04 10:17:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 10:17:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 10:18:14 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-06-04 10:19:59 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-06-04 10:21:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 10:21:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 10:23:03 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-04 10:25:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 10:25:37 +0200 | Everything | (~Everythin@77.120.244.38) Everything |
| 2025-06-04 10:25:43 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-06-04 10:25:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 10:26:06 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-06-04 10:32:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 10:32:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 10:35:20 +0200 | <Square2> | Is there a way to produce Haddock doc locally with the same style sheet / layout as the one on hackage? |
| 2025-06-04 10:37:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 10:38:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 10:38:29 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 2025-06-04 10:41:29 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-06-04 10:42:39 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-06-04 10:43:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 10:43:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 10:45:25 +0200 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2025-06-04 10:46:02 +0200 | <haskellbridge> | <Morj> Square2 cabal haddock / stack haddock is not it? It generates the same style as hackage for me |
| 2025-06-04 10:46:37 +0200 | <haskellbridge> | <Morj> Except that the style has changed some years ago, and some packages haven't been updated, so you're going to get the newer version for them |
| 2025-06-04 10:46:47 +0200 | <haskellbridge> | <Morj> Newer version of the style |
| 2025-06-04 10:49:31 +0200 | <Square2> | Morj: Sure, they're almost the same. Just thought the hackage one had larger font. |
| 2025-06-04 10:49:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 10:50:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 10:50:22 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-04 10:51:56 +0200 | AlexZenon | (~alzenon@178.34.162.18) (Quit: ;-) |
| 2025-06-04 10:54:10 +0200 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-04 10:55:56 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2025-06-04 10:56:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 10:57:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 10:58:10 +0200 | AlexNoo | (~AlexNoo@178.34.162.18) (Quit: Leaving) |
| 2025-06-04 10:58:31 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-04 10:58:44 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-04 10:59:43 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-04 11:01:33 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-04 11:03:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 11:03:38 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-04 11:03:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 11:05:47 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-06-04 11:06:52 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-06-04 11:08:39 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-06-04 11:09:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 11:10:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 11:15:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 11:15:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 11:16:27 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-06-04 11:16:43 +0200 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) |
| 2025-06-04 11:17:23 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-06-04 11:18:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 11:18:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 11:19:01 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-06-04 11:19:51 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-06-04 11:21:02 +0200 | AlexNoo | (~AlexNoo@178.34.162.18) |
| 2025-06-04 11:25:44 +0200 | AlexZenon | (~alzenon@178.34.162.18) |
| 2025-06-04 11:26:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 11:26:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 11:27:54 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2025-06-04 11:28:46 +0200 | hsw | (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2025-06-04 11:29:05 +0200 | hsw | (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) hsw |
| 2025-06-04 11:31:16 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-06-04 11:33:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 11:33:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 11:41:23 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-06-04 11:41:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 11:42:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 11:45:19 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-06-04 11:49:33 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-06-04 11:49:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 11:49:58 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-06-04 11:50:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 11:53:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 11:54:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 11:55:36 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-06-04 11:55:45 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-06-04 11:57:46 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-06-04 11:59:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 11:59:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 12:00:02 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (*.net *.split) |
| 2025-06-04 12:00:02 +0200 | califax | (~califax@user/califx) (*.net *.split) |
| 2025-06-04 12:00:02 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (*.net *.split) |
| 2025-06-04 12:00:03 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (*.net *.split) |
| 2025-06-04 12:00:03 +0200 | gmg | (~user@user/gehmehgeh) (*.net *.split) |
| 2025-06-04 12:00:03 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (*.net *.split) |
| 2025-06-04 12:03:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 12:04:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 12:08:36 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-04 12:09:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 12:10:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 12:15:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 12:15:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 12:16:54 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-06-04 12:19:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 12:20:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 12:23:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 12:24:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 12:24:25 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-06-04 12:26:07 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 252 seconds) |
| 2025-06-04 12:28:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 12:29:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 12:32:04 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-04 12:32:14 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-06-04 12:35:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 12:35:56 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-04 12:36:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 12:41:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 12:42:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 12:48:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 12:49:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 12:51:53 +0200 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-04 12:54:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 12:54:22 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-06-04 12:54:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 12:54:57 +0200 | entangledprime | (~entangled@176.223.172.171) |
| 2025-06-04 12:56:21 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-06-04 12:56:51 +0200 | <Square2> | Another question, I tried to google and chatgpt. Can I express a type constraint on a data type such that it only has one constructor? |
| 2025-06-04 12:57:49 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-04 12:59:39 +0200 | <ski> | what type constraint ? |
| 2025-06-04 13:01:51 +0200 | jespada | (~jespada@r179-25-2-231.dialup.adsl.anteldata.net.uy) jespada |
| 2025-06-04 13:02:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 13:02:16 +0200 | <ski> | do you mean (a) a constraint expressing that the constrained type (is a data type and) has only one data constructor; or (b) ensuring that some parameter of a data type will have some particular constraint; or (c) perhaps something else ? |
| 2025-06-04 13:02:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 13:03:15 +0200 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) |
| 2025-06-04 13:04:13 +0200 | <Square2> | ski, that would be (a) then. Really I to accept only data types on the form "data Foo = FooConst" (name of type and constructor not important) |
| 2025-06-04 13:04:38 +0200 | <Square2> | Really I only want to accept* |
| 2025-06-04 13:04:55 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-06-04 13:05:16 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-04 13:05:24 +0200 | <Leary> | Square2: If you impose `Generic a`, you can write a type family taking `Rep a` mapping sums to `Unsatisfiable` and all else to the empty constraint `()`. |
| 2025-06-04 13:05:38 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-06-04 13:06:03 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2025-06-04 13:06:35 +0200 | <Square2> | Leary, sweet |
| 2025-06-04 13:08:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 13:08:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 13:09:29 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-06-04 13:12:19 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-06-04 13:13:51 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-06-04 13:14:17 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2025-06-04 13:15:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 13:15:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 13:17:34 +0200 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-04 13:20:43 +0200 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) |
| 2025-06-04 13:21:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 13:21:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 13:27:42 +0200 | bionade24 | (~quassel@2a03:4000:33:45b::1) (Quit: Apocalypse Incoming!) |
| 2025-06-04 13:29:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 13:29:16 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Quit: Lost terminal) |
| 2025-06-04 13:29:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 13:29:38 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-06-04 13:31:27 +0200 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-04 13:33:38 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-06-04 13:38:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 13:38:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 13:39:27 +0200 | laurapigeon | (~laurapige@user/laurapigeon) laurapigeon |
| 2025-06-04 13:46:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 13:46:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 13:47:10 +0200 | entangledprime | (~entangled@176.223.172.171) (Ping timeout: 252 seconds) |
| 2025-06-04 13:49:58 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-06-04 13:50:13 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 248 seconds) |
| 2025-06-04 13:51:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 13:51:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 13:52:37 +0200 | fp | (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) fp |
| 2025-06-04 13:53:43 +0200 | Taneb | (~Taneb@runciman.hacksoc.org) Taneb |
| 2025-06-04 13:56:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 13:56:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 13:58:20 +0200 | Taneb | (~Taneb@runciman.hacksoc.org) (Client Quit) |
| 2025-06-04 13:58:44 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-04 13:58:58 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-04 14:02:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 14:02:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 14:03:14 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection) |
| 2025-06-04 14:03:20 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-06-04 14:04:04 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-04 14:09:18 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-04 14:09:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 14:09:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 14:09:59 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2025-06-04 14:15:07 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-06-04 14:16:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 14:16:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 14:16:46 +0200 | sajenim | (~sajenim@user/sajenim) (Quit: WeeChat 4.6.3) |
| 2025-06-04 14:21:10 +0200 | bionade24 | (~quassel@2a03:4000:35:f24::1) bionade24 |
| 2025-06-04 14:21:11 +0200 | bionade24 | (~quassel@2a03:4000:35:f24::1) (Client Quit) |
| 2025-06-04 14:21:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 14:21:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 14:25:22 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-04 14:25:55 +0200 | califax | (~califax@user/califx) califx |
| 2025-06-04 14:26:13 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-06-04 14:28:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 14:29:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 14:32:29 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-06-04 14:32:42 +0200 | <Clint> | whaletime/win go #linguistics |
| 2025-06-04 14:32:51 +0200 | <Clint> | ffs |
| 2025-06-04 14:33:24 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-06-04 14:33:31 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-06-04 14:33:46 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-06-04 14:35:01 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e951:361b:ad7d:3b51) |
| 2025-06-04 14:35:21 +0200 | bionade24 | (~quassel@2a03:4000:35:f24::1) bionade24 |
| 2025-06-04 14:35:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 14:36:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 14:38:39 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Ping timeout: 260 seconds) |
| 2025-06-04 14:39:43 +0200 | Shsl-Junko-POSER | (~Shsl-Junk@50.235.208.178) |
| 2025-06-04 14:40:27 +0200 | Shsl-Junko-POSER | (~Shsl-Junk@50.235.208.178) (Client Quit) |
| 2025-06-04 14:40:51 +0200 | fp1 | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-06-04 14:40:53 +0200 | AlexNoo_ | (~AlexNoo@178.34.163.76) |
| 2025-06-04 14:41:03 +0200 | fp | (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 252 seconds) |
| 2025-06-04 14:41:03 +0200 | fp1 | fp |
| 2025-06-04 14:41:50 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-04 14:42:42 +0200 | AlexZenon | (~alzenon@178.34.162.18) (Ping timeout: 268 seconds) |
| 2025-06-04 14:42:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 14:43:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 14:43:16 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-04 14:43:30 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-04 14:43:58 +0200 | AlexZenon | (~alzenon@178.34.163.76) |
| 2025-06-04 14:44:05 +0200 | AlexNoo | (~AlexNoo@178.34.162.18) (Ping timeout: 248 seconds) |
| 2025-06-04 14:44:12 +0200 | AlexNoo_ | AlexNoo |
| 2025-06-04 14:46:02 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-06-04 14:49:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 14:49:42 +0200 | ttybitni` | (~ttybitnik@user/wolper) ttybitnik |
| 2025-06-04 14:49:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 14:51:29 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-06-04 14:53:42 +0200 | ttybitni` | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-06-04 14:53:43 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Ping timeout: 265 seconds) |
| 2025-06-04 14:54:02 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-04 14:54:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 14:55:00 +0200 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) |
| 2025-06-04 14:55:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 14:55:47 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f45a83e2b5d0ad17840.dip0.t-ipconnect.de) acidjnk |
| 2025-06-04 15:00:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 15:01:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 15:03:05 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-06-04 15:03:52 +0200 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 265 seconds) |
| 2025-06-04 15:05:19 +0200 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2025-06-04 15:06:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 15:07:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 15:08:52 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-06-04 15:13:15 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Ping timeout: 260 seconds) |
| 2025-06-04 15:14:01 +0200 | jespada | (~jespada@r179-25-2-231.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-06-04 15:14:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 15:14:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 15:15:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 15:15:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 15:16:37 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-04 15:18:43 +0200 | jespada | (~jespada@r179-25-2-231.dialup.adsl.anteldata.net.uy) jespada |
| 2025-06-04 15:20:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 15:21:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 15:22:35 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2025-06-04 15:24:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 15:25:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 15:28:18 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-04 15:29:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 15:30:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 15:37:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 15:37:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 15:40:05 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-06-04 15:42:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 15:43:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 15:47:09 +0200 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-04 15:47:17 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 272 seconds) |
| 2025-06-04 15:49:11 +0200 | laurapigeon | (~laurapige@user/laurapigeon) (Quit: WeeChat 4.6.3) |
| 2025-06-04 15:50:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 15:50:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 15:55:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 15:55:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 15:58:02 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-06-04 15:58:51 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-04 16:00:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 16:01:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 16:06:09 +0200 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) |
| 2025-06-04 16:07:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 16:07:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 16:15:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 16:15:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 16:20:11 +0200 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-06-04 16:20:50 +0200 | euandreh | (~Thunderbi@189.31.61.8) (Ping timeout: 272 seconds) |
| 2025-06-04 16:22:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 16:22:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 16:26:26 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-06-04 16:29:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 16:29:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 16:30:24 +0200 | yangby | (~secret@183.159.106.182) (Ping timeout: 240 seconds) |
| 2025-06-04 16:33:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 16:33:42 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-06-04 16:33:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 16:39:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 16:40:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 16:40:53 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-06-04 16:45:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 16:45:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 16:47:40 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-04 16:48:23 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-06-04 16:49:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 16:49:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 16:52:49 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 2025-06-04 16:54:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 16:55:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 16:55:22 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-06-04 17:01:46 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-04 17:01:50 +0200 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-04 17:02:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 17:02:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 17:09:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 17:09:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 17:12:17 +0200 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2025-06-04 17:13:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 17:14:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 17:20:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-04 17:20:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 17:25:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 17:25:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 17:26:51 +0200 | Digit | (~user@user/digit) Digit |
| 2025-06-04 17:26:55 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 252 seconds) |
| 2025-06-04 17:31:23 +0200 | Digit | Digitteknohippie |
| 2025-06-04 17:31:24 +0200 | Digitteknohippie | (~user@user/digit) (Remote host closed the connection) |
| 2025-06-04 17:31:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 17:32:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-04 17:35:46 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-04 17:37:25 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-06-04 17:38:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-04 17:39:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |