| 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 |
| 2025-03-16 19:16:51 +0100 | <davean> | documentation and deception? Thats not nice! |
| 2025-03-16 19:17:18 +0100 | <merijn> | davean: What's not nice is cabal racing my doc generation :p |
| 2025-03-16 19:17:52 +0100 | <davean> | That is interesting |
| 2025-03-16 19:17:57 +0100 | <davean> | thats why I started taking a look |
| 2025-03-16 19:18:36 +0100 | <merijn> | basically with multiple library components it builds docs for each that seem fine (well, it includes a txt file that uses <lib>:<sublib> in the filename which hackage rejects since it's not valid on windows) |
| 2025-03-16 19:18:37 +0100 | <davean> | I do like how you split up the library |
| 2025-03-16 19:19:11 +0100 | <merijn> | I need to go for dinner, if you wanna reproduce it, the `unify` branch here shows the issue: https://github.com/merijn/broadcast-chan |
| 2025-03-16 19:19:16 +0100 | <merijn> | Seems to be present in HEAD too |
| 2025-03-16 19:22:24 +0100 | <davean> | Thanks. I don't have much time to work on it but I do want to look |
| 2025-03-16 19:22:38 +0100 | euandreh | (~Thunderbi@189.6.105.228) (Quit: euandreh) |
| 2025-03-16 19:22:58 +0100 | euandreh | (~Thunderbi@189.6.105.228) euandreh |
| 2025-03-16 19:25:45 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-03-16 19:32:40 +0100 | wildsalander | (~wildsalan@37-136-163-100.rev.dnainternet.fi) |
| 2025-03-16 19:40:18 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-03-16 19:42:26 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-03-16 19:43:43 +0100 | wildsalander | (~wildsalan@37-136-163-100.rev.dnainternet.fi) (Quit: wildsalander) |
| 2025-03-16 19:44:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 19:47:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 19:50:08 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 19:52:22 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-16 19:52:50 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-03-16 19:54:13 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-03-16 20:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-03-16 20:00:30 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-03-16 20:00:45 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-16 20:10:48 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-03-16 20:11:09 +0100 | michalz | (~michalz@185.246.207.203) (Read error: Connection reset by peer) |
| 2025-03-16 20:11:28 +0100 | michalz | (~michalz@185.246.207.201) |
| 2025-03-16 20:25:21 +0100 | AlexNoo_ | (~AlexNoo@94.233.240.210) |
| 2025-03-16 20:27:17 +0100 | AlexZenon | (~alzenon@178.34.151.157) (Ping timeout: 248 seconds) |
| 2025-03-16 20:29:09 +0100 | AlexNoo | (~AlexNoo@178.34.151.157) (Ping timeout: 260 seconds) |
| 2025-03-16 20:30:50 +0100 | euleritian | (~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-03-16 20:31:07 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-16 20:32:18 +0100 | AlexZenon | (~alzenon@94.233.240.210) |
| 2025-03-16 20:36:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 20:40:31 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-16 20:41:42 +0100 | <merijn> | Entirely unrelatedly: Man, the performance of HLS and cabal is so good |
| 2025-03-16 20:43:19 +0100 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) (Ping timeout: 244 seconds) |
| 2025-03-16 20:44:42 +0100 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) jonrh |
| 2025-03-16 20:55:35 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-03-16 20:58:09 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-03-16 21:00:41 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-03-16 21:02:01 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.5.1) |
| 2025-03-16 21:03:21 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2025-03-16 21:04:19 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2025-03-16 21:05:29 +0100 | AlexNoo_ | AlexNoo |
| 2025-03-16 21:05:39 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-03-16 21:13:40 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-03-16 21:17:03 +0100 | Digit | (~user@user/digit) (Ping timeout: 268 seconds) |
| 2025-03-16 21:18:04 +0100 | Pixi | (~Pixi@user/pixi) Pixi |
| 2025-03-16 21:20:33 +0100 | Sgeo | (~Sgeo@user/sgeo) (Quit: Leaving) |
| 2025-03-16 21:20:50 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-03-16 21:21:37 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 21:22:55 +0100 | <[exa]> | merijn: you meant the .txt which is taken by hoogle as input? |
| 2025-03-16 21:23:11 +0100 | <merijn> | [exa]: Possibly? |
| 2025-03-16 21:23:23 +0100 | <[exa]> | does it say "for hoogle" somewhere around the first line? |
| 2025-03-16 21:24:33 +0100 | <merijn> | [exa]: First line says: "-- Hoogle documentation, generated by Haddock" |
| 2025-03-16 21:24:36 +0100 | <[exa]> | (I mean the .txt somewhere in doc/html/package-v.e.r.sion-docs/package.txt which is deep in dist-newstyle) |
| 2025-03-16 21:24:37 +0100 | <merijn> | so, looks like it |
| 2025-03-16 21:25:19 +0100 | <merijn> | So if I set "hoogle: False" in my cabal config maybe it stops generating that? |
| 2025-03-16 21:25:39 +0100 | <merijn> | Although my hot take would be that I'd expect cabal to produce acceptable hackage docs even with that set |
| 2025-03-16 21:25:48 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-03-16 21:27:33 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 276 seconds) |
| 2025-03-16 21:28:52 +0100 | <merijn> | Unrelatedly: Lord, someone please stop me/fix my yak shaving tendencies. I feel compelled to write new SQLite bindings, because direct-sqlite seems to be hanging on by a thread and I'm thinking a more modern API might be nicer... |
| 2025-03-16 21:28:55 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-03-16 21:29:45 +0100 | <[exa]> | never tried tbh but looks like hoogle: False should do it |
| 2025-03-16 21:30:13 +0100 | <merijn> | Then I still have the problem of not getting it to generate docs for every library, though |
| 2025-03-16 21:30:14 +0100 | <[exa]> | unfortunately --no-hoogle seems lacking in both haddock and cabal so no way to kill it explicitly |
| 2025-03-16 21:30:35 +0100 | <EvanR> | Imagining a combination meme of merijn doing The Mask "Somebody STOP me!" |
| 2025-03-16 21:31:33 +0100 | <[exa]> | like, yak shaving ain't bad |
| 2025-03-16 21:31:35 +0100 | <TMA> | merijn: contrariwise! doing something you don't exactly immediately need is the way of making progress... into The Great Swamp of Despair |
| 2025-03-16 21:32:02 +0100 | <[exa]> | last time I did a rdf triple store out of pure urge to shave that |
| 2025-03-16 21:32:09 +0100 | <geekosaur> | file a bug for that, both the absence of the option and that it happens in the first place (hoogledbs are supposed to be local, nothing related to them should ever be in an sdist) |
| 2025-03-16 21:32:22 +0100 | <merijn> | [exa]: The problem is that I wanted to hack together something quick to solve a work problem, but since it's not a FOR WORK problem I can't do it on company time |
| 2025-03-16 21:32:52 +0100 | <merijn> | [exa]: So rebuilding the entire Haskell SQLite stack from first-principles, while great in principle, is not conducive to me getting a working solution to my actual problem :p |
| 2025-03-16 21:32:57 +0100 | <EvanR> | if the problem is the API, maybe make a wrapper |
| 2025-03-16 21:33:10 +0100 | <EvanR> | if the problem is the library functionality itself, maybe fix the library |
| 2025-03-16 21:33:18 +0100 | <merijn> | EvanR: The problem is that it's not keeping up aggressively enough with SQLite :) |
| 2025-03-16 21:33:23 +0100 | <[exa]> | merijn: I still read that it's technically FOR WORK |
| 2025-03-16 21:33:55 +0100 | <EvanR> | make it keep up aggressively |
| 2025-03-16 21:33:58 +0100 | <merijn> | [exa]: Well, it's more that I am terrible at tracking my time spent on various projects, meaning it's a nightmware to write hours on projects at the end of the day :p |
| 2025-03-16 21:34:34 +0100 | <EvanR> | take the git commit timestamp and interpolate an exponential decaying tail of time leading up to it, and integrate |
| 2025-03-16 21:34:47 +0100 | <merijn> | EvanR: The problem is that it uses hsc, which is annoying to work with, and it seems like you could outsource 95% of the work to CApiFFI and I'd rather maintain that :p |
| 2025-03-16 21:34:49 +0100 | <EvanR> | and log 350 hours a day of work |
| 2025-03-16 21:35:20 +0100 | <EvanR> | does this chain of "The problem is" terminate? |
| 2025-03-16 21:35:42 +0100 | <merijn> | EvanR: Yes, at SQLite itself, which is glorious and without fault and I love it uncondtionally :p |
| 2025-03-16 21:35:52 +0100 | <[exa]> | EvanR: ...then pipe through GPT to make the 350h look like a LLM glitch, all done |
| 2025-03-16 21:35:54 +0100 | <EvanR> | then I have a better idea |
| 2025-03-16 21:36:03 +0100 | <EvanR> | use SQLite (in C) |
| 2025-03-16 21:36:06 +0100 | <merijn> | EvanR: Marry SQLite and have it's baby? |
| 2025-03-16 21:36:11 +0100 | <EvanR> | basically |
| 2025-03-16 21:36:45 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-16 21:36:47 +0100 | gawen_ | (~gawen@user/gawen) (Ping timeout: 268 seconds) |
| 2025-03-16 21:38:25 +0100 | gawen | (~gawen@user/gawen) gawen |
| 2025-03-16 21:38:34 +0100 | <EvanR> | (a statistical filter that converts git logs into timesheets for billing sounds... just stupid enough to work) |
| 2025-03-16 21:38:37 +0100 | <merijn> | At any rate, my main problem is that most time tracking tools seem to "frontload" the organising/attribution of time, so switching tasks becomes very burdensome. Even more so when they're in custom applications or browsers which mean I have to *gasp* use the mouse. So I just want to build something that lets me quickly type a command and some free text labels about what I'm doing so starting, switching, |
| 2025-03-16 21:38:43 +0100 | <merijn> | etc. is a single terminal command and no mouse, and then enrich/attribute that time to projects *later*. |
| 2025-03-16 21:39:05 +0100 | <EvanR> | (the more commits there are the more accurate it gets) |
| 2025-03-16 21:39:28 +0100 | <joeyadams> | CApiFFI seems interesting. One fun thing I learned about hsc2hs is that virus scanners *really* don't like programs that use every win32 function, such as the win32 package. |
| 2025-03-16 21:40:00 +0100 | <joeyadams> | Had an interesting chat with my boss (who has never heard of Haskell) why this mysterious program named "cabal" was flagging the virus scanner on my work laptop. |
| 2025-03-16 21:40:07 +0100 | <merijn> | joeyadams: CApiFFI is great, the main "problem" it has is that it was "too new" when direct-sqlite and stuff was actively hacked on |
| 2025-03-16 21:40:51 +0100 | <EvanR> | you're reporting so many problems now I'm starting to get incredulous |
| 2025-03-16 21:40:51 +0100 | <merijn> | But by now it's been in GHC for over a decade so I think it's safe to say "screw anyone who can't work with it" :p |
| 2025-03-16 21:41:28 +0100 | <merijn> | EvanR: That last one isn't a problem and more a "description" of why it's not being used :p |
| 2025-03-16 21:41:31 +0100 | <EvanR> | are all problems equally weighted (in lieu of suspecting some of them don't really exist) |
| 2025-03-16 21:42:22 +0100 | <[exa]> | merijn: re time tracking, didn't some of these pomodoro timer tools do that? I recall one that actually asked what you're doing, which is for me WAY more reliable than trying to remember to run that single terminal command |
| 2025-03-16 21:42:29 +0100 | <joeyadams> | merijn: What if you simply rewrite the direct-sqlite FFI bindings to use CApiFFI? I did a lot of work on this module (10 years ago) to separate those out. |
| 2025-03-16 21:43:17 +0100 | <merijn> | joeyadams: Sure, but I think iff I do significant work on it, I probably just want to also do something like base it on ResourceT |
| 2025-03-16 21:44:03 +0100 | <joeyadams> | If CApiFFI is better, why not contribute that to direct-sqlite, then write your interface on top of Database.SQLite3.Bindings or Database.SQLite3.Direct ? |
| 2025-03-16 21:44:53 +0100 | <merijn> | joeyadams: Your doing a lousy job at convincing me not to yak shave :p |
| 2025-03-16 21:45:31 +0100 | <joeyadams> | I'm the devil on your left shoulder. |
| 2025-03-16 21:45:49 +0100 | <EvanR> | optimize for long term maintainability |
| 2025-03-16 21:46:16 +0100 | <EvanR> | not yak hair per second xD |
| 2025-03-16 21:46:23 +0100 | <merijn> | EvanR: I already got that part down |
| 2025-03-16 21:46:38 +0100 | <merijn> | I just realised some libraries I wrote are now a decade old :O |
| 2025-03-16 21:46:41 +0100 | robertm | (robertm@lattice.rojoma.com) (Quit: ...) |
| 2025-03-16 21:47:01 +0100 | <EvanR> | are you The Doctor now |
| 2025-03-16 21:47:16 +0100 | <merijn> | No, just A Doctor :p |
| 2025-03-16 21:48:05 +0100 | joeyadams | (~joeyadams@syn-162-154-010-038.res.spectrum.com) (Quit: Leaving) |
| 2025-03-16 21:48:21 +0100 | robertm | (robertm@lattice.rojoma.com) robertm |
| 2025-03-16 22:03:07 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-03-16 22:04:21 +0100 | <mauke> | I once had a cute idea for a silly little haskell library |
| 2025-03-16 22:04:41 +0100 | <mauke> | and now it's 17 years old and has 841 direct, 14225 indirect reverse dependencies |
| 2025-03-16 22:04:57 +0100 | <merijn> | mauke: ;) |
| 2025-03-16 22:05:05 +0100 | <c_wraith> | I once wrote a library because I didn't like a blog post. |
| 2025-03-16 22:05:07 +0100 | <merijn> | Which lib is that? |
| 2025-03-16 22:05:15 +0100 | <c_wraith> | much to my surprise, that library even has a user now. |
| 2025-03-16 22:05:19 +0100 | <mauke> | data-default |
| 2025-03-16 22:05:20 +0100 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2025-03-16 22:05:49 +0100 | <jle`> | my libraries had a user once |
| 2025-03-16 22:05:59 +0100 | <merijn> | c_wraith: I wrote a library because some GHC maintainers thought my suggestion was silly and no one would want that |
| 2025-03-16 22:06:19 +0100 | <merijn> | c_wraith: Only to a decade later which the GHC list discuss how to implement what I asked for |
| 2025-03-16 22:06:37 +0100 | <merijn> | Clearly I'm a prophetic visionary with impeccable taste |
| 2025-03-16 22:06:40 +0100 | <c_wraith> | I wish I could convince the GHC maintainers that a function crashing with the non-threaded runtime is in fact a bug. |
| 2025-03-16 22:06:51 +0100 | <jle`> | lisan al gaib |
| 2025-03-16 22:07:00 +0100 | <merijn> | c_wraith: People still using the non-threaded runtime is a bug ;) |
| 2025-03-16 22:07:22 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 22:07:24 +0100 | <c_wraith> | as a library author, you don't get to choose the runtime. |
| 2025-03-16 22:07:48 +0100 | <c_wraith> | you just get to hack around one function always crashing when the non-threaded runtime is chosen. With code that should just be in the library |
| 2025-03-16 22:08:10 +0100 | <jle`> | what if you added -threaded to your library cabal stanza |
| 2025-03-16 22:08:14 +0100 | <jle`> | (/s) |
| 2025-03-16 22:08:21 +0100 | <merijn> | c_wraith: Which function is crashing? |
| 2025-03-16 22:08:29 +0100 | <EvanR> | library best viewed in internet explorer |
| 2025-03-16 22:09:29 +0100 | <c_wraith> | merijn: https://hackage.haskell.org/package/stm-2.5.3.1/docs/Control-Concurrent-STM-TVar.html#v:registerDe… |
| 2025-03-16 22:09:46 +0100 | <merijn> | oof |
| 2025-03-16 22:10:28 +0100 | <c_wraith> | it's just not implemented with the non-threaded runtime. I suggested an implementation and was told "that's a feature request, not a bug" |
| 2025-03-16 22:11:19 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2025-03-16 22:11:56 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-03-16 22:14:42 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-03-16 22:16:58 +0100 | <mauke> | is a changelog an extra-source-file or an extra-doc-file? |
| 2025-03-16 22:17:06 +0100 | <mauke> | prior art seems split on this point |
| 2025-03-16 22:17:07 +0100 | <merijn> | extra-doc-file |
| 2025-03-16 22:17:30 +0100 | <merijn> | mauke: extra-source-file predates extra-doc-file (which wasn't really popularised enough) |
| 2025-03-16 22:17:54 +0100 | <merijn> | mauke: The one thing that should easily clinch the argument for you: extra-source-file changes invalidate the build cache |
| 2025-03-16 22:18:03 +0100 | <mauke> | yeah, just found that |
| 2025-03-16 22:18:05 +0100 | <merijn> | extra-doc-files do not |
| 2025-03-16 22:19:14 +0100 | halloy7351 | (~halloy735@81.215.239.1) |
| 2025-03-16 22:19:37 +0100 | <mauke> | love discovering cutting edge features from 2013 |
| 2025-03-16 22:20:08 +0100 | <merijn> | mauke: Same ;) |
| 2025-03-16 22:20:11 +0100 | halloy7351 | (~halloy735@81.215.239.1) (Quit: halloy7351) |
| 2025-03-16 22:20:20 +0100 | <merijn> | mauke: I only discovered due to modern cabal's warning about it xD |
| 2025-03-16 22:20:28 +0100 | <merijn> | like, yesterday |
| 2025-03-16 22:21:09 +0100 | <mauke> | haha |
| 2025-03-16 22:22:24 +0100 | <mauke> | how do I tell 'cabal check' to verify that my changelog contains an entry for the current version? |
| 2025-03-16 22:25:21 +0100 | xatirig | (~xatirig@81.215.239.1) |
| 2025-03-16 22:25:51 +0100 | <davean> | https://github.com/haskell/cabal/blob/d93f06606cef7ff1df24c88488a9a706e5af770f/cabal-install/src/D… |
| 2025-03-16 22:27:13 +0100 | <mauke> | ? |
| 2025-03-16 22:27:46 +0100 | Digitteknohippie | Digit |
| 2025-03-16 22:32:18 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2025-03-16 22:43:14 +0100 | <merijn> | mauke: Not sure it can do that? |
| 2025-03-16 22:45:10 +0100 | <mauke> | :-( |
| 2025-03-16 22:48:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Quit: installing updates) |
| 2025-03-16 22:48:15 +0100 | <davean> | mauke: you tell it by adding the code there :) |
| 2025-03-16 22:48:48 +0100 | <davean> | That is outside the default scope for check, its clearly a warning level feature though |
| 2025-03-16 22:50:26 +0100 | <mauke> | I was hoping cabal would be extensible |
| 2025-03-16 22:53:07 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 22:53:31 +0100 | myme | (~myme@40.51-175-185.customer.lyse.net) (Ping timeout: 244 seconds) |
| 2025-03-16 22:57:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |