| 2025-03-16 00:00:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-03-16 00:01:51 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-03-16 00:11:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 00:13:30 +0100 | mhatta_ | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2025-03-16 00:16:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 00:16:30 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2025-03-16 00:17:19 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-03-16 00:18:05 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-03-16 00:19:17 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-03-16 00:20:51 +0100 | Otong | (~Otong@user/Otong) (Ping timeout: 246 seconds) |
| 2025-03-16 00:23:57 +0100 | adamCS | (~adamCS@pool-100-38-122-63.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-03-16 00:26:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 00:29:49 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 2025-03-16 00:32:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 00:33:10 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-03-16 00:40:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 00:43:17 +0100 | adamCS | (~adamCS@pool-100-33-104-162.nycmny.fios.verizon.net) adamCS |
| 2025-03-16 00:43:40 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 00:45:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-16 00:48:39 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-03-16 00:56:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 00:59:02 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-03-16 01:00:00 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-03-16 01:01:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-16 01:07:11 +0100 | drdo | (~drdo@bl9-110-63.dsl.telepac.pt) (Remote host closed the connection) |
| 2025-03-16 01:12:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 01:17:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-16 01:28:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 01:30:44 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 01:35:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-16 01:35:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-16 01:36:10 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350b-4aea-e191-7a3d-ceb6-7a1b.rev.sfr.net) (Remote host closed the connection) |
| 2025-03-16 01:37:31 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-03-16 01:41:24 +0100 | sprotte24 | (~sprotte24@p200300d16f221b000d8698feaa5ae002.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-03-16 01:43:03 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f66b9ed5768787b7ef5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-03-16 01:46:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 01:51:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-03-16 01:55:48 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-03-16 01:56:18 +0100 | drdo | (~drdo@static.61.197.13.49.clients.your-server.de) drdo |
| 2025-03-16 02:01:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 02:07:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-16 02:16:48 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 02:17:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 02:21:03 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-16 02:22:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-16 02:25:13 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2025-03-16 02:30:39 +0100 | tromp | (~textual@2a02:a210:cba:8500:c991:1287:da21:7b47) |
| 2025-03-16 02:31:06 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-16 02:31:08 +0100 | tromp | (~textual@2a02:a210:cba:8500:c991:1287:da21:7b47) (Client Quit) |
| 2025-03-16 02:33:26 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:a8f9:a712:d91f:c42b) (Quit: Leaving) |
| 2025-03-16 02:33:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 02:38:12 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-03-16 02:38:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-16 02:49:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 02:52:05 +0100 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-16 02:54:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 02:55:50 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-16 02:56:58 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-16 03:02:13 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 03:02:54 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 244 seconds) |
| 2025-03-16 03:03:33 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-03-16 03:05:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 03:06:26 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-03-16 03:06:40 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-16 03:06:57 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-16 03:11:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-16 03:15:25 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-03-16 03:23:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 03:28:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-16 03:30:27 +0100 | ddb | (ddb@tilde.club) |
| 2025-03-16 03:32:14 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2025-03-16 03:35:19 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-16 03:38:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 03:39:11 +0100 | vincent42 | (uid574193@id-574193.hampstead.irccloud.com) |
| 2025-03-16 03:41:48 +0100 | vincent42 | (uid574193@id-574193.hampstead.irccloud.com) (Changing host) |
| 2025-03-16 03:41:48 +0100 | vincent42 | (uid574193@user/vincent42) vincent42 |
| 2025-03-16 03:44:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-16 03:48:17 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 03:52:30 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-16 03:54:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 03:55:34 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-03-16 03:58:50 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-03-16 03:59:10 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-03-16 03:59:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 04:05:02 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-03-16 04:05:33 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-03-16 04:08:23 +0100 | Katarushisu2 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-03-16 04:10:10 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2025-03-16 04:10:10 +0100 | Katarushisu2 | Katarushisu |
| 2025-03-16 04:10:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 04:15:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-16 04:18:41 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 248 seconds) |
| 2025-03-16 04:20:00 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-03-16 04:20:37 +0100 | bilegeek | (~bilegeek@2600:1008:b048:db18:df2f:979a:817f:9f21) bilegeek |
| 2025-03-16 04:20:48 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-03-16 04:26:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 04:31:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-16 04:33:34 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-07-76-68-26-16.dsl.bell.ca) (Remote host closed the connection) |
| 2025-03-16 04:33:49 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-03-16 04:34:21 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 04:38:09 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-03-16 04:38:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-16 04:41:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 04:46:14 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-03-16 04:46:46 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2025-03-16 04:48:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-16 04:50:36 +0100 | rvalue- | rvalue |
| 2025-03-16 04:59:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 05:03:32 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-03-16 05:04:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-16 05:11:15 +0100 | Square | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2025-03-16 05:15:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 05:20:45 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 05:20:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-03-16 05:24:53 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-16 05:26:10 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-16 05:31:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 05:36:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-16 05:47:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 05:51:35 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-16 05:52:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 06:03:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 06:03:51 +0100 | <jle`> | `Type` is nice and all but `*` is such a cooler symbol to represent the concept |
| 2025-03-16 06:06:08 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 06:08:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-16 06:10:29 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-16 06:18:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 06:25:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 06:26:13 +0100 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 245 seconds) |
| 2025-03-16 06:28:56 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-03-16 06:31:56 +0100 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Quit: myxos) |
| 2025-03-16 06:32:07 +0100 | ell | (~ellie@user/ellie) (Quit: Ping timeout (120 seconds)) |
| 2025-03-16 06:32:27 +0100 | ell | (~ellie@user/ellie) ellie |
| 2025-03-16 06:32:48 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-16 06:33:55 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2025-03-16 06:36:33 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-03-16 06:36:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 06:38:04 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 260 seconds) |
| 2025-03-16 06:38:52 +0100 | Flow | (~none@gentoo/developer/flow) flow |
| 2025-03-16 06:40:50 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-03-16 06:42:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-03-16 06:44:43 +0100 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2025-03-16 06:51:53 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 06:52:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 06:56:01 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-03-16 06:57:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-16 07:00:51 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-16 07:04:25 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-16 07:05:56 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-16 07:06:45 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-16 07:08:18 +0100 | raym | (~ray@user/raym) (Quit: kernel update, rebooting...) |
| 2025-03-16 07:08:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 07:09:20 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-16 07:13:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-16 07:14:15 +0100 | <haskellbridge> | <Bowuigi> I prefer `*` when there's more than one commonly used kind and kind signatures are obligatory, like on my lang; but `Type` otherwise |
| 2025-03-16 07:14:43 +0100 | Guest14 | (~Guest14@210.16.85.170) |
| 2025-03-16 07:14:54 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-16 07:16:00 +0100 | <Guest14> | Hi |
| 2025-03-16 07:16:09 +0100 | <Guest14> | Am I supposed to send messages here? |
| 2025-03-16 07:16:30 +0100 | <Guest14> | I'm new to Libera.chat or IRC |
| 2025-03-16 07:17:34 +0100 | Guest14 | (~Guest14@210.16.85.170) (Client Quit) |
| 2025-03-16 07:24:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 07:29:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-16 07:30:42 +0100 | <haskellbridge> | <dmjio> jle`: they're forcing us off "*" :( |
| 2025-03-16 07:37:15 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 07:38:38 +0100 | <jle`> | if you do anything non-trivial with datakinds and type families then it's nice to have the syntax rules be the same at the type and term levels, so Type makes sense |
| 2025-03-16 07:38:43 +0100 | <jle`> | but * -> * just has aura |
| 2025-03-16 07:38:53 +0100 | <jle`> | that Type -> Type does not |
| 2025-03-16 07:40:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 07:41:39 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-16 07:44:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 07:45:17 +0100 | <haskellbridge> | <dmjio> "Type" is Idris wannabe |
| 2025-03-16 07:47:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 07:48:53 +0100 | bilegeek | (~bilegeek@2600:1008:b048:db18:df2f:979a:817f:9f21) (Quit: Leaving) |
| 2025-03-16 07:49:12 +0100 | _xor4 | (~xor@ip-66-42-132-175.dynamic.fuse.net) _xor |
| 2025-03-16 07:49:27 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-03-16 07:49:39 +0100 | _xor | (~xor@ip-66-42-132-175.dynamic.fuse.net) (Ping timeout: 252 seconds) |
| 2025-03-16 07:49:40 +0100 | _xor4 | _xor |
| 2025-03-16 07:53:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-03-16 07:58:25 +0100 | _xor6 | (~xor@ip-66-42-132-175.dynamic.fuse.net) _xor |
| 2025-03-16 07:59:05 +0100 | _xor | (~xor@ip-66-42-132-175.dynamic.fuse.net) (Ping timeout: 268 seconds) |
| 2025-03-16 07:59:06 +0100 | _xor6 | _xor |
| 2025-03-16 08:00:00 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-03-16 08:00:07 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 2025-03-16 08:01:00 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-16 08:03:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 08:03:59 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2025-03-16 08:08:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-16 08:12:51 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-03-16 08:13:12 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-03-16 08:14:14 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-03-16 08:18:24 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-03-16 08:18:49 +0100 | tromp | (~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) |
| 2025-03-16 08:19:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 08:19:28 +0100 | tromp | (~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2025-03-16 08:22:59 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 08:24:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-16 08:27:31 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: Lost terminal) |
| 2025-03-16 08:27:36 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-16 08:29:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 08:34:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-16 08:35:12 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-16 08:42:16 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-03-16 08:42:22 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-16 08:44:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 08:48:46 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-03-16 08:49:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-03-16 08:49:39 +0100 | <ski> | ★ → ★ |
| 2025-03-16 08:52:23 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-16 08:53:10 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-03-16 08:54:32 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2025-03-16 08:54:55 +0100 | kmein | (~weechat@user/kmein) kmein |
| 2025-03-16 08:56:17 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) meinside |
| 2025-03-16 08:56:27 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-16 09:00:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 09:03:30 +0100 | kuribas | (~user@2a02:1808:4f:d2bc:b8be:2b08:e734:fbaa) kuribas |
| 2025-03-16 09:05:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-16 09:08:13 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-16 09:08:24 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 09:11:58 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-16 09:12:33 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-03-16 09:16:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 09:17:36 +0100 | vincent42 | (uid574193@user/vincent42) (Quit: Connection closed for inactivity) |
| 2025-03-16 09:20:16 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-03-16 09:21:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-16 09:26:40 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-03-16 09:30:15 +0100 | kuribas` | (~user@ptr-17d51emrd94iart11eg.18120a2.ip6.access.telenet.be) kuribas |
| 2025-03-16 09:31:20 +0100 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-03-16 09:31:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 09:32:33 +0100 | kuribas | (~user@2a02:1808:4f:d2bc:b8be:2b08:e734:fbaa) (Ping timeout: 276 seconds) |
| 2025-03-16 09:36:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-16 09:47:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 09:51:03 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-03-16 09:52:01 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-03-16 09:52:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-03-16 09:53:48 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 09:58:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-16 10:00:35 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f06309b9617c0b564b2.dip0.t-ipconnect.de) acidjnk |
| 2025-03-16 10:03:12 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 2025-03-16 10:03:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 10:05:17 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-03-16 10:08:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-16 10:19:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 10:24:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 10:24:24 +0100 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 260 seconds) |
| 2025-03-16 10:30:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 10:33:34 +0100 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-16 10:34:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-03-16 10:38:33 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-16 10:39:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 10:43:31 +0100 | Flow | (~none@gentoo/developer/flow) flow |
| 2025-03-16 10:43:43 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-03-16 10:45:21 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-03-16 10:46:28 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-16 10:48:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 10:50:34 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-16 10:53:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 11:04:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 11:09:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-16 11:10:04 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-03-16 11:10:45 +0100 | vincent42 | (uid574193@id-574193.hampstead.irccloud.com) |
| 2025-03-16 11:11:35 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-03-16 11:15:48 +0100 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds) |
| 2025-03-16 11:20:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 11:20:39 +0100 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-03-16 11:25:16 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 11:27:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-16 11:29:41 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-03-16 11:30:22 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-16 11:31:04 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-16 11:31:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 11:33:02 +0100 | sprotte24 | (~sprotte24@p200300d16f093b00048e501ec338aa61.dip0.t-ipconnect.de) |
| 2025-03-16 11:34:46 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-16 11:35:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-16 11:37:08 +0100 | connrs | (~connrs@user/connrs) connrs |
| 2025-03-16 11:46:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 11:51:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-16 11:55:13 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-16 11:58:24 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-03-16 12:02:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 12:07:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-16 12:10:40 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 12:14:38 +0100 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-03-16 12:15:37 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-03-16 12:17:34 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2025-03-16 12:17:43 +0100 | uam | (uid360535@id-360535.hampstead.irccloud.com) uam |
| 2025-03-16 12:17:55 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-03-16 12:18:00 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 2025-03-16 12:18:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 12:19:33 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2025-03-16 12:20:23 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-16 12:22:25 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-03-16 12:23:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-16 12:24:34 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2025-03-16 12:26:30 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-03-16 12:30:21 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-03-16 12:32:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 12:37:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-16 12:43:27 +0100 | sprotte24 | (~sprotte24@p200300d16f093b00048e501ec338aa61.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-03-16 12:47:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 12:49:40 +0100 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds) |
| 2025-03-16 12:51:48 +0100 | yi | (~yi@user/yi) yi |
| 2025-03-16 12:52:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-03-16 12:53:00 +0100 | yi | (~yi@user/yi) () |
| 2025-03-16 12:56:25 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 13:00:42 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-03-16 13:01:04 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-03-16 13:03:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 13:04:31 +0100 | euandreh | (~Thunderbi@189.6.105.228) (Read error: Connection reset by peer) |
| 2025-03-16 13:05:05 +0100 | krei-se | (~krei-se@tmo-125-86.customers.d1-online.com) (Ping timeout: 248 seconds) |
| 2025-03-16 13:05:23 +0100 | krei-se- | (~krei-se@tmo-125-86.customers.d1-online.com) krei-se |
| 2025-03-16 13:05:40 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350b-ac9c-79dd-1b5e-4969-1bba.rev.sfr.net) alexherbo2 |
| 2025-03-16 13:08:20 +0100 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-03-16 13:08:57 +0100 | euandreh | (~Thunderbi@189.6.105.228) euandreh |
| 2025-03-16 13:09:58 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-03-16 13:10:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 13:11:55 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350b-ac9c-79dd-1b5e-4969-1bba.rev.sfr.net) (Remote host closed the connection) |
| 2025-03-16 13:12:43 +0100 | dhil | (~dhil@2a0c:b381:52e:3600:51d8:861d:bb57:d7c1) dhil |
| 2025-03-16 13:18:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-03-16 13:21:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 13:27:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-03-16 13:30:21 +0100 | vincent42 | (uid574193@id-574193.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-03-16 13:33:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 13:35:39 +0100 | tromp | (~textual@2a02:a210:cba:8500:2c80:dbc6:3e9d:a12d) |
| 2025-03-16 13:38:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-16 13:38:51 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-16 13:40:02 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-16 13:42:09 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 13:43:58 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-03-16 13:43:58 +0100 | ljdarj1 | ljdarj |
| 2025-03-16 13:46:36 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-16 13:48:17 +0100 | sprotte24 | (~sprotte24@p200300d16f093b001519da6143e769d5.dip0.t-ipconnect.de) |
| 2025-03-16 13:48:32 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-03-16 13:48:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 13:49:09 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-16 13:53:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-16 13:58:23 +0100 | vincent42 | (uid574193@id-574193.hampstead.irccloud.com) |
| 2025-03-16 13:58:43 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2025-03-16 14:03:09 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2025-03-16 14:03:37 +0100 | euleritian | (~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de) |
| 2025-03-16 14:04:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 14:07:10 +0100 | euleritian | (~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-03-16 14:07:26 +0100 | euleritian | (~euleritia@95.90.214.149) |
| 2025-03-16 14:09:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-16 14:11:47 +0100 | euleritian | (~euleritia@95.90.214.149) (Ping timeout: 252 seconds) |
| 2025-03-16 14:12:34 +0100 | euleritian | (~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de) |
| 2025-03-16 14:12:41 +0100 | ethantwardy | (user@user/ethantwardy) (Quit: WeeChat 4.4.2) |
| 2025-03-16 14:14:25 +0100 | ethantwardy | (user@user/ethantwardy) ethantwardy |
| 2025-03-16 14:14:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 14:16:38 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-03-16 14:20:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-16 14:27:17 +0100 | uam | (uid360535@id-360535.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-03-16 14:28:14 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 14:31:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 14:32:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-03-16 14:38:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-16 14:39:07 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2025-03-16 14:40:05 +0100 | krei-se- | (~krei-se@tmo-125-86.customers.d1-online.com) (Excess Flood) |
| 2025-03-16 14:41:26 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-03-16 14:42:14 +0100 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2025-03-16 14:43:07 +0100 | Digitteknohippie | Digit |
| 2025-03-16 14:44:27 +0100 | krei-se | (~krei-se@tmo-125-86.customers.d1-online.com) krei-se |
| 2025-03-16 14:46:13 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-03-16 14:46:45 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-03-16 14:47:14 +0100 | krei-se- | (~krei-se@tmo-064-126.customers.d1-online.com) krei-se |
| 2025-03-16 14:49:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 14:50:18 +0100 | krei-se | (~krei-se@tmo-125-86.customers.d1-online.com) (Ping timeout: 252 seconds) |
| 2025-03-16 14:52:53 +0100 | krei-se- | (~krei-se@tmo-064-126.customers.d1-online.com) (Ping timeout: 248 seconds) |
| 2025-03-16 14:54:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 14:56:14 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-16 14:57:07 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-03-16 14:57:18 +0100 | krei-se | (~krei-se@tmo-102-19.customers.d1-online.com) krei-se |
| 2025-03-16 15:04:24 +0100 | euleritian | (~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-03-16 15:04:36 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 252 seconds) |
| 2025-03-16 15:04:41 +0100 | euleritian | (~euleritia@95.90.214.149) |
| 2025-03-16 15:05:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 15:06:38 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-03-16 15:10:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-16 15:13:38 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 15:18:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-03-16 15:20:18 +0100 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2025-03-16 15:21:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 15:21:13 +0100 | turlando | (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 2025-03-16 15:22:29 +0100 | turlando | (~turlando@user/turlando) turlando |
| 2025-03-16 15:25:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-03-16 15:26:52 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2025-03-16 15:30:41 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 248 seconds) |
| 2025-03-16 15:30:54 +0100 | alexherbo2 | (~alexherbo@2a02-8440-360c-a724-bc10-9663-354c-c52a.rev.sfr.net) alexherbo2 |
| 2025-03-16 15:31:21 +0100 | euleritian | (~euleritia@95.90.214.149) (Ping timeout: 252 seconds) |
| 2025-03-16 15:31:38 +0100 | euleritian | (~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de) |
| 2025-03-16 15:31:59 +0100 | euleritian | (~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-03-16 15:32:17 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-16 15:36:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 15:40:51 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-03-16 15:42:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-16 15:42:30 +0100 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-03-16 15:42:45 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2025-03-16 15:45:10 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 2025-03-16 15:45:19 +0100 | euleritian | (~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de) |
| 2025-03-16 15:50:35 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-03-16 15:51:03 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-03-16 15:52:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 15:57:01 +0100 | yu | (~yu@dmc516.resnet.ust.hk) |
| 2025-03-16 15:57:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 15:57:26 +0100 | yu | (~yu@dmc516.resnet.ust.hk) (Client Quit) |
| 2025-03-16 15:58:12 +0100 | Inst | (~Inst@user/Inst) Inst |
| 2025-03-16 15:58:34 +0100 | <Inst> | what's the track record for data Foo a type extensible objects in terms of performance? |
| 2025-03-16 15:59:09 +0100 | <Inst> | actually maybe type families might be better here |
| 2025-03-16 16:00:36 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 16:00:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 16:01:11 +0100 | <Inst> | maybe the correct solution is sum types instead |
| 2025-03-16 16:02:57 +0100 | <EvanR> | what's an extensible object |
| 2025-03-16 16:03:36 +0100 | <EvanR> | and performance of a Foo a sounds like what's the speed of a programming language |
| 2025-03-16 16:04:38 +0100 | <EvanR> | programs (compiled a certain way) doing particular tasks have performance |
| 2025-03-16 16:04:53 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-03-16 16:04:53 +0100 | <Inst> | https://hackage.haskell.org/package/wai-3.2.4/docs/src/Network.Wai.Internal.html#Request |
| 2025-03-16 16:05:05 +0100 | <Inst> | this record type has a LOT of data |
| 2025-03-16 16:05:15 +0100 | nek0 | (~nek0@user/nek0) nek0 |
| 2025-03-16 16:05:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 16:05:39 +0100 | <Inst> | a different idea might be to structure it as Request a, with a containing options for the data, but it might not be a better way to do it |
| 2025-03-16 16:06:07 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-16 16:07:27 +0100 | Square | (~Square@user/square) Square |
| 2025-03-16 16:10:21 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-16 16:10:45 +0100 | <Inst> | tbh i probably should just think by myself more; the truth is, a lot of the bad ideas have already been tried and shown to have failed |
| 2025-03-16 16:11:30 +0100 | alexherbo2 | (~alexherbo@2a02-8440-360c-a724-bc10-9663-354c-c52a.rev.sfr.net) (Remote host closed the connection) |
| 2025-03-16 16:14:03 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-03-16 16:16:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 16:17:45 +0100 | halloy7351 | (~halloy735@81.215.239.1) |
| 2025-03-16 16:18:04 +0100 | halloy7351 | (~halloy735@81.215.239.1) (Quit: halloy7351) |
| 2025-03-16 16:19:07 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-03-16 16:23:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-16 16:28:00 +0100 | Inst | (~Inst@user/Inst) () |
| 2025-03-16 16:34:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 16:37:16 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-03-16 16:39:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-16 16:41:53 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
| 2025-03-16 16:47:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 16:48:13 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 16:50:54 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-03-16 16:52:02 +0100 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-03-16 16:52:40 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-16 16:55:46 +0100 | Digitteknohippie | (~user@user/digit) (Ping timeout: 244 seconds) |
| 2025-03-16 17:00:08 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2025-03-16 17:00:47 +0100 | Digit | (~user@user/digit) Digit |
| 2025-03-16 17:07:15 +0100 | <merijn> | Is the Hackage Matrix builder still a thing or did it die in hvr's absence? |
| 2025-03-16 17:07:29 +0100 | euleritian | (~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-03-16 17:07:47 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-16 17:10:00 +0100 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2025-03-16 17:10:21 +0100 | vincent42 | (uid574193@id-574193.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-03-16 17:13:55 +0100 | joeyadams | (~joeyadams@syn-162-154-010-038.res.spectrum.com) |
| 2025-03-16 17:16:47 +0100 | <geekosaur> | the latter |
| 2025-03-16 17:17:42 +0100 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds) |
| 2025-03-16 17:17:46 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:8c4a:1bad:bb61:8f8d) |
| 2025-03-16 17:18:30 +0100 | <merijn> | Sad |
| 2025-03-16 17:18:51 +0100 | <merijn> | Also, when I click the "delete all candidates" button it does not, in fact, seem to delete all candidates? |
| 2025-03-16 17:19:21 +0100 | <geekosaur> | that's cloudflare, you need to force it to refresh |
| 2025-03-16 17:20:06 +0100 | <geekosaur> | curl -X PURGE (url) |
| 2025-03-16 17:20:41 +0100 | <merijn> | neat |
| 2025-03-16 17:22:47 +0100 | <merijn> | hmm, why are libraries and dependencies of hidden library components shown on the hackage page? |
| 2025-03-16 17:25:25 +0100 | <geekosaur> | because it's not very smart |
| 2025-03-16 17:25:50 +0100 | <geekosaur> | which is I think why it has a link to the cabal file there so you can see what's really going on |
| 2025-03-16 17:28:06 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-03-16 17:30:57 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Quit: ash3en) |
| 2025-03-16 17:33:36 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 17:33:39 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-03-16 17:34:19 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-03-16 17:37:19 +0100 | Digit | Digitteknohippie |
| 2025-03-16 17:37:26 +0100 | Digitteknohippie | Digit |
| 2025-03-16 17:37:52 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-16 17:38:54 +0100 | <merijn> | That's a shame, because it's making it look as if my library has a ton more dependencies than it does |
| 2025-03-16 17:39:08 +0100 | <merijn> | (because they're all test dependencies) |
| 2025-03-16 17:42:00 +0100 | kuribas` | (~user@ptr-17d51emrd94iart11eg.18120a2.ip6.access.telenet.be) (Ping timeout: 276 seconds) |
| 2025-03-16 17:44:33 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 244 seconds) |
| 2025-03-16 17:44:53 +0100 | <merijn> | hmm |
| 2025-03-16 17:45:07 +0100 | <merijn> | Seems like someone made a think-o |
| 2025-03-16 17:45:38 +0100 | <merijn> | I'm trying to manually upload docs for my library, but it barfs on containing a file with a path that's not legal on windows |
| 2025-03-16 17:46:55 +0100 | <merijn> | Invalid windows file name in tar archive: |
| 2025-03-16 17:46:55 +0100 | <merijn> | "broadcast-chan-0.3.0-docs\\conduit\\broadcast-chan:conduit.txt" |
| 2025-03-16 17:48:37 +0100 | dhil | (~dhil@2a0c:b381:52e:3600:51d8:861d:bb57:d7c1) (Ping timeout: 268 seconds) |
| 2025-03-16 17:48:44 +0100 | <merijn> | hmm, the entire doc output seems to be garbage |
| 2025-03-16 17:48:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-03-16 17:49:41 +0100 | <merijn> | It seems to have only build documentation for a single sub library and uses a naming format that's not legal on windows |
| 2025-03-16 17:51:25 +0100 | <merijn> | Is there some different/new invocation for haddock that I need to use for multi-library packages? |
| 2025-03-16 17:51:48 +0100 | <merijn> | I tried to naively just do `cabal haddock --haddock-for-hackage`, but that seems broken |
| 2025-03-16 17:52:31 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-03-16 17:53:46 +0100 | tv | (~tv@user/tv) tv |
| 2025-03-16 17:57:14 +0100 | <merijn> | I'm so confused, I *see* it building docs for all libraries in the shell output, but only one seems to end up in the final tarball? |
| 2025-03-16 18:00:11 +0100 | manwithluck | (~manwithlu@2a09:bac1:5ba0:20::49:217) manwithluck |
| 2025-03-16 18:05:38 +0100 | <merijn> | hmmm, seems it just has docs for the last build sub-library. Can I just naively combine the tar files for each sub-library to get one with everything? |
| 2025-03-16 18:07:39 +0100 | <geekosaur> | that's a known bug |
| 2025-03-16 18:07:51 +0100 | <geekosaur> | there's still some issues with sublibraries and docs |
| 2025-03-16 18:08:11 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-03-16 18:08:15 +0100 | <geekosaur> | I think master has at least a partial fix that should be in 3.14.2.0 |
| 2025-03-16 18:09:49 +0100 | <merijn> | So if I try cabal-install HEAD it might work? |
| 2025-03-16 18:11:07 +0100 | <geekosaur> | right |
| 2025-03-16 18:11:28 +0100 | <merijn> | lemme try that |
| 2025-03-16 18:11:48 +0100 | <geekosaur> | https://github.com/haskell/cabal/blob/master/README.md#preview-releases |
| 2025-03-16 18:11:57 +0100 | <merijn> | because the gain from merging this back into 1 package is too great to postpone this over doc generation :p |
| 2025-03-16 18:12:32 +0100 | <merijn> | I've been waiting for this glorious moment since, like, 2019 :p |
| 2025-03-16 18:13:47 +0100 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2025-03-16 18:16:01 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-03-16 18:19:21 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 18:20:08 +0100 | <merijn> | geekosaur: That does not seem fixed in HEAD |
| 2025-03-16 18:20:49 +0100 | <merijn> | I have 3 library components and it seems to build docs for each and then write them out to the exact same path making it a race which docs you actually get |
| 2025-03-16 18:21:04 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
| 2025-03-16 18:21:13 +0100 | <merijn> | It also still includes file names that cause hackage to reject them |
| 2025-03-16 18:23:30 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-03-16 18:26:01 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:8c4a:1bad:bb61:8f8d) (Remote host closed the connection) |
| 2025-03-16 18:26:24 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:8c4a:1bad:bb61:8f8d) |
| 2025-03-16 18:34:57 +0100 | <merijn> | anyone know what the txt file that `cabal haddock` generates is? Is it just a text representation of the documentation? If yes, how do I stop it from generating that, since it breaks things |
| 2025-03-16 18:42:10 +0100 | Pixi | (~Pixi@user/pixi) (Read error: Connection reset by peer) |
| 2025-03-16 18:44:00 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-03-16 18:45:10 +0100 | <merijn> | hmmm, manually fixing up the haddock file still doesn't seem to work. At least, the docs aren't visible on the hackage candidate |
| 2025-03-16 18:45:20 +0100 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-03-16 18:45:51 +0100 | <merijn> | I'm sure *someone* has succesfully done this, but google is only turning up uselessly out of date result or results for the wrong topic |
| 2025-03-16 18:47:05 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-16 18:50:42 +0100 | <EvanR> | google smh |
| 2025-03-16 18:50:49 +0100 | <EvanR> | upgrade to chatGPT |
| 2025-03-16 18:50:51 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-03-16 18:51:36 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Quit: ash3en) |
| 2025-03-16 18:53:09 +0100 | <merijn> | I already tried that, but as usual it lies to me |
| 2025-03-16 18:53:44 +0100 | <merijn> | And haddock-project just seems to error out |
| 2025-03-16 19:00:21 +0100 | <merijn> | welp, tough shit for users then, no docs for them :p |
| 2025-03-16 19:01:41 +0100 | <EvanR> | it's open source. Who needs docs |
| 2025-03-16 19:04:03 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-03-16 19:04:44 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 19:05:24 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2025-03-16 19:05:53 +0100 | michalz | (~michalz@185.246.207.203) |
| 2025-03-16 19:08:49 +0100 | euleritian | (~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de) |
| 2025-03-16 19:09:35 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-03-16 19:09:45 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-03-16 19:13:37 +0100 | <merijn> | If they want docs, they can go fix cabal-install :p |
| 2025-03-16 19:15:12 +0100 | Digitteknohippie | Digit |
| 2025-03-16 19:16:01 +0100 | <davean> | I thought you uploaded the source code. Thats my prefered docs anyway. |
| 2025-03-16 19:16:36 +0100 | <merijn> | davean: I'm a nice boy, so I generally upload source *AND* docs :p |