2025/03/16

2025-03-16 00:00:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-03-16 00:01:51 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 276 seconds)
2025-03-16 00:11:08 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 00:13:30 +0100mhatta_(~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection)
2025-03-16 00:16:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-16 00:16:30 +0100mhatta(~mhatta@www21123ui.sakura.ne.jp)
2025-03-16 00:17:19 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-03-16 00:18:05 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-03-16 00:19:17 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-03-16 00:20:51 +0100Otong(~Otong@user/Otong) (Ping timeout: 246 seconds)
2025-03-16 00:23:57 +0100adamCS(~adamCS@pool-100-38-122-63.nycmny.fios.verizon.net) (Ping timeout: 276 seconds)
2025-03-16 00:26:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 00:29:49 +0100poscat(~poscat@user/poscat) (Ping timeout: 260 seconds)
2025-03-16 00:32:02 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-16 00:33:10 +0100poscat(~poscat@user/poscat) poscat
2025-03-16 00:40:32 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 00:43:17 +0100adamCS(~adamCS@pool-100-33-104-162.nycmny.fios.verizon.net) adamCS
2025-03-16 00:43:40 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 00:45:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-16 00:48:39 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 268 seconds)
2025-03-16 00:56:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 00:59:02 +0100takuan(~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection)
2025-03-16 01:00:00 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-03-16 01:01:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-16 01:07:11 +0100drdo(~drdo@bl9-110-63.dsl.telepac.pt) (Remote host closed the connection)
2025-03-16 01:12:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 01:17:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-16 01:28:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 01:30:44 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 01:35:09 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-16 01:35:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-16 01:36:10 +0100alexherbo2(~alexherbo@2a02-8440-350b-4aea-e191-7a3d-ceb6-7a1b.rev.sfr.net) (Remote host closed the connection)
2025-03-16 01:37:31 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-03-16 01:41:24 +0100sprotte24(~sprotte24@p200300d16f221b000d8698feaa5ae002.dip0.t-ipconnect.de) (Quit: Leaving)
2025-03-16 01:43:03 +0100acidjnk(~acidjnk@p200300d6e71c4f66b9ed5768787b7ef5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-03-16 01:46:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 01:51:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-03-16 01:55:48 +0100todi(~todi@p57803331.dip0.t-ipconnect.de) todi
2025-03-16 01:56:18 +0100drdo(~drdo@static.61.197.13.49.clients.your-server.de) drdo
2025-03-16 02:01:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 02:07:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-16 02:16:48 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 02:17:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 02:21:03 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-03-16 02:22:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-16 02:25:13 +0100hiecaq(~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92))
2025-03-16 02:30:39 +0100tromp(~textual@2a02:a210:cba:8500:c991:1287:da21:7b47)
2025-03-16 02:31:06 +0100weary-traveler(~user@user/user363627) user363627
2025-03-16 02:31:08 +0100tromp(~textual@2a02:a210:cba:8500:c991:1287:da21:7b47) (Client Quit)
2025-03-16 02:33:26 +0100notdabs(~Owner@2600:1700:69cf:9000:a8f9:a712:d91f:c42b) (Quit: Leaving)
2025-03-16 02:33:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 02:38:12 +0100hiecaq(~hiecaq@user/hiecaq) hiecaq
2025-03-16 02:38:26 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-16 02:49:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 02:52:05 +0100j1n37-(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-16 02:54:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-16 02:55:50 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-16 02:56:58 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-16 03:02:13 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 03:02:54 +0100poscat(~poscat@user/poscat) (Ping timeout: 244 seconds)
2025-03-16 03:03:33 +0100poscat(~poscat@user/poscat) poscat
2025-03-16 03:05:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 03:06:26 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich)
2025-03-16 03:06:40 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-16 03:06:57 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-16 03:11:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-16 03:15:25 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-03-16 03:23:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 03:28:22 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-16 03:30:27 +0100ddb(ddb@tilde.club)
2025-03-16 03:32:14 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection)
2025-03-16 03:35:19 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-16 03:38:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 03:39:11 +0100vincent42(uid574193@id-574193.hampstead.irccloud.com)
2025-03-16 03:41:48 +0100vincent42(uid574193@id-574193.hampstead.irccloud.com) (Changing host)
2025-03-16 03:41:48 +0100vincent42(uid574193@user/vincent42) vincent42
2025-03-16 03:44:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-16 03:48:17 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 03:52:30 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-16 03:54:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 03:55:34 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-03-16 03:58:50 +0100EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2025-03-16 03:59:10 +0100EvanR(~EvanR@user/evanr) EvanR
2025-03-16 03:59:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-16 04:05:02 +0100op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2025-03-16 04:05:33 +0100op_4(~tslil@user/op-4/x-9116473) op_4
2025-03-16 04:08:23 +0100Katarushisu2(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu
2025-03-16 04:10:10 +0100Katarushisu(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 248 seconds)
2025-03-16 04:10:10 +0100Katarushisu2Katarushisu
2025-03-16 04:10:32 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 04:15:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-16 04:18:41 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 248 seconds)
2025-03-16 04:20:00 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-03-16 04:20:37 +0100bilegeek(~bilegeek@2600:1008:b048:db18:df2f:979a:817f:9f21) bilegeek
2025-03-16 04:20:48 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2025-03-16 04:26:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 04:31:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-16 04:33:34 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-07-76-68-26-16.dsl.bell.ca) (Remote host closed the connection)
2025-03-16 04:33:49 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-03-16 04:34:21 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 04:38:09 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-03-16 04:38:54 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-16 04:41:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 04:46:14 +0100rvalue-(~rvalue@user/rvalue) rvalue
2025-03-16 04:46:46 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 252 seconds)
2025-03-16 04:48:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-16 04:50:36 +0100rvalue-rvalue
2025-03-16 04:59:56 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 05:03:32 +0100tavare(~tavare@user/tavare) tavare
2025-03-16 05:04:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-16 05:11:15 +0100Square(~Square@user/square) (Ping timeout: 276 seconds)
2025-03-16 05:15:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 05:20:45 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 05:20:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-03-16 05:24:53 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-16 05:26:10 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-03-16 05:31:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 05:36:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-16 05:47:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 05:51:35 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-16 05:52:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-16 06:03:05 +0100merijn(~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 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 06:08:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-16 06:10:29 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-16 06:18:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 06:25:26 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-16 06:26:13 +0100Flow(~none@gentoo/developer/flow) (Ping timeout: 245 seconds)
2025-03-16 06:28:56 +0100weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-03-16 06:31:56 +0100myxos(~myxos@syn-065-028-251-121.res.spectrum.com) (Quit: myxos)
2025-03-16 06:32:07 +0100ell(~ellie@user/ellie) (Quit: Ping timeout (120 seconds))
2025-03-16 06:32:27 +0100ell(~ellie@user/ellie) ellie
2025-03-16 06:32:48 +0100weary-traveler(~user@user/user363627) user363627
2025-03-16 06:33:55 +0100user363627(~user@user/user363627) user363627
2025-03-16 06:36:33 +0100tavare(~tavare@user/tavare) (Remote host closed the connection)
2025-03-16 06:36:56 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 06:38:04 +0100weary-traveler(~user@user/user363627) (Ping timeout: 260 seconds)
2025-03-16 06:38:52 +0100Flow(~none@gentoo/developer/flow) flow
2025-03-16 06:40:50 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2025-03-16 06:42:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-03-16 06:44:43 +0100user363627(~user@user/user363627) (Remote host closed the connection)
2025-03-16 06:51:53 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 06:52:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 06:56:01 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-03-16 06:57:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-16 07:00:51 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-16 07:04:25 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-16 07:05:56 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-16 07:06:45 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-16 07:08:18 +0100raym(~ray@user/raym) (Quit: kernel update, rebooting...)
2025-03-16 07:08:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 07:09:20 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-16 07:13:21 +0100merijn(~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 +0100Guest14(~Guest14@210.16.85.170)
2025-03-16 07:14:54 +0100j1n37(~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 +0100Guest14(~Guest14@210.16.85.170) (Client Quit)
2025-03-16 07:24:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 07:29:12 +0100merijn(~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 +0100alfiee(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 07:41:39 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-16 07:44:42 +0100merijn(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 07:48:53 +0100bilegeek(~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 +0100tzh(~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 +0100merijn(~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 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-03-16 08:00:07 +0100tt12310978324354(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat)
2025-03-16 08:01:00 +0100caconym(~caconym@user/caconym) caconym
2025-03-16 08:03:40 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 08:03:59 +0100tt12310978324354(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231
2025-03-16 08:08:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-16 08:12:51 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-03-16 08:13:12 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2025-03-16 08:14:14 +0100Lord_of_Life_Lord_of_Life
2025-03-16 08:18:24 +0100takuan(~takuan@d8D86B601.access.telenet.be)
2025-03-16 08:18:49 +0100tromp(~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl)
2025-03-16 08:19:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 08:19:28 +0100tromp(~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2025-03-16 08:22:59 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 08:24:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-16 08:27:31 +0100vanishingideal(~vanishing@user/vanishingideal) (Quit: Lost terminal)
2025-03-16 08:27:36 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-16 08:29:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 08:34:12 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-16 08:35:12 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-03-16 08:42:16 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-03-16 08:42:22 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-03-16 08:44:47 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 08:48:46 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2025-03-16 08:49:33 +0100merijn(~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 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-16 08:53:10 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 252 seconds)
2025-03-16 08:54:32 +0100kmein(~weechat@user/kmein) (Quit: ciao kakao)
2025-03-16 08:54:55 +0100kmein(~weechat@user/kmein) kmein
2025-03-16 08:56:17 +0100meinside(uid24933@id-24933.helmsley.irccloud.com) meinside
2025-03-16 08:56:27 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-16 09:00:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 09:03:30 +0100kuribas(~user@2a02:1808:4f:d2bc:b8be:2b08:e734:fbaa) kuribas
2025-03-16 09:05:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-16 09:08:13 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-16 09:08:24 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 09:11:58 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-16 09:12:33 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-03-16 09:16:22 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 09:17:36 +0100vincent42(uid574193@user/vincent42) (Quit: Connection closed for inactivity)
2025-03-16 09:20:16 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-03-16 09:21:06 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-16 09:26:40 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-03-16 09:30:15 +0100kuribas`(~user@ptr-17d51emrd94iart11eg.18120a2.ip6.access.telenet.be) kuribas
2025-03-16 09:31:20 +0100fp(~Thunderbi@hof1.kyla.fi) fp
2025-03-16 09:31:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 09:32:33 +0100kuribas(~user@2a02:1808:4f:d2bc:b8be:2b08:e734:fbaa) (Ping timeout: 276 seconds)
2025-03-16 09:36:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-16 09:47:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 09:51:03 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-03-16 09:52:01 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-03-16 09:52:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-03-16 09:53:48 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 09:58:21 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-16 10:00:35 +0100acidjnk(~acidjnk@p200300d6e71c4f06309b9617c0b564b2.dip0.t-ipconnect.de) acidjnk
2025-03-16 10:03:12 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds)
2025-03-16 10:03:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 10:05:17 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-03-16 10:08:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-16 10:19:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 10:24:08 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-16 10:24:24 +0100Flow(~none@gentoo/developer/flow) (Ping timeout: 260 seconds)
2025-03-16 10:30:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 10:33:34 +0100j1n37-(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-16 10:34:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-03-16 10:38:33 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-16 10:39:32 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 10:43:31 +0100Flow(~none@gentoo/developer/flow) flow
2025-03-16 10:43:43 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 245 seconds)
2025-03-16 10:45:21 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 276 seconds)
2025-03-16 10:46:28 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-16 10:48:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 10:50:34 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-16 10:53:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-16 11:04:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 11:09:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-16 11:10:04 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-03-16 11:10:45 +0100vincent42(uid574193@id-574193.hampstead.irccloud.com)
2025-03-16 11:11:35 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-03-16 11:15:48 +0100fp(~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds)
2025-03-16 11:20:06 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 11:20:39 +0100connrs(~connrs@user/connrs) (Quit: ZNC 1.9.1 - https://znc.in)
2025-03-16 11:25:16 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 11:27:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-16 11:29:41 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-03-16 11:30:22 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-03-16 11:31:04 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-16 11:31:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 11:33:02 +0100sprotte24(~sprotte24@p200300d16f093b00048e501ec338aa61.dip0.t-ipconnect.de)
2025-03-16 11:34:46 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-16 11:35:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-16 11:37:08 +0100connrs(~connrs@user/connrs) connrs
2025-03-16 11:46:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 11:51:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-16 11:55:13 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-03-16 11:58:24 +0100__monty__(~toonn@user/toonn) toonn
2025-03-16 12:02:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 12:07:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-16 12:10:40 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 12:14:38 +0100fp(~Thunderbi@hof1.kyla.fi) fp
2025-03-16 12:15:37 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 268 seconds)
2025-03-16 12:17:34 +0100MyNetAz(~MyNetAz@user/MyNetAz) (Remote host closed the connection)
2025-03-16 12:17:43 +0100uam(uid360535@id-360535.hampstead.irccloud.com) uam
2025-03-16 12:17:55 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-03-16 12:18:00 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca)
2025-03-16 12:18:23 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 12:19:33 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
2025-03-16 12:20:23 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-03-16 12:22:25 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 248 seconds)
2025-03-16 12:23:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-16 12:24:34 +0100MyNetAz(~MyNetAz@user/MyNetAz) MyNetAz
2025-03-16 12:26:30 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-03-16 12:30:21 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-03-16 12:32:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 12:37:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-16 12:43:27 +0100sprotte24(~sprotte24@p200300d16f093b00048e501ec338aa61.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-03-16 12:47:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 12:49:40 +0100fp(~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds)
2025-03-16 12:51:48 +0100yi(~yi@user/yi) yi
2025-03-16 12:52:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-03-16 12:53:00 +0100yi(~yi@user/yi) ()
2025-03-16 12:56:25 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 13:00:42 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 246 seconds)
2025-03-16 13:01:04 +0100tremon(~tremon@83.80.159.219) tremon
2025-03-16 13:03:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 13:04:31 +0100euandreh(~Thunderbi@189.6.105.228) (Read error: Connection reset by peer)
2025-03-16 13:05:05 +0100krei-se(~krei-se@tmo-125-86.customers.d1-online.com) (Ping timeout: 248 seconds)
2025-03-16 13:05:23 +0100krei-se-(~krei-se@tmo-125-86.customers.d1-online.com) krei-se
2025-03-16 13:05:40 +0100alexherbo2(~alexherbo@2a02-8440-350b-ac9c-79dd-1b5e-4969-1bba.rev.sfr.net) alexherbo2
2025-03-16 13:08:20 +0100fp(~Thunderbi@hof1.kyla.fi) fp
2025-03-16 13:08:57 +0100euandreh(~Thunderbi@189.6.105.228) euandreh
2025-03-16 13:09:58 +0100vanishingideal(~vanishing@user/vanishingideal) (Remote host closed the connection)
2025-03-16 13:10:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-16 13:11:55 +0100alexherbo2(~alexherbo@2a02-8440-350b-ac9c-79dd-1b5e-4969-1bba.rev.sfr.net) (Remote host closed the connection)
2025-03-16 13:12:43 +0100dhil(~dhil@2a0c:b381:52e:3600:51d8:861d:bb57:d7c1) dhil
2025-03-16 13:18:43 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds)
2025-03-16 13:21:41 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 13:27:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-03-16 13:30:21 +0100vincent42(uid574193@id-574193.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2025-03-16 13:33:02 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 13:35:39 +0100tromp(~textual@2a02:a210:cba:8500:2c80:dbc6:3e9d:a12d)
2025-03-16 13:38:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-16 13:38:51 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-03-16 13:40:02 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-03-16 13:42:09 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 13:43:58 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-03-16 13:43:58 +0100ljdarj1ljdarj
2025-03-16 13:46:36 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-16 13:48:17 +0100sprotte24(~sprotte24@p200300d16f093b001519da6143e769d5.dip0.t-ipconnect.de)
2025-03-16 13:48:32 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-03-16 13:48:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 13:49:09 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-03-16 13:53:50 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-16 13:58:23 +0100vincent42(uid574193@id-574193.hampstead.irccloud.com)
2025-03-16 13:58:43 +0100MyNetAz(~MyNetAz@user/MyNetAz) (Remote host closed the connection)
2025-03-16 14:03:09 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2025-03-16 14:03:37 +0100euleritian(~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de)
2025-03-16 14:04:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 14:07:10 +0100euleritian(~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-03-16 14:07:26 +0100euleritian(~euleritia@95.90.214.149)
2025-03-16 14:09:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-16 14:11:47 +0100euleritian(~euleritia@95.90.214.149) (Ping timeout: 252 seconds)
2025-03-16 14:12:34 +0100euleritian(~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de)
2025-03-16 14:12:41 +0100ethantwardy(user@user/ethantwardy) (Quit: WeeChat 4.4.2)
2025-03-16 14:14:25 +0100ethantwardy(user@user/ethantwardy) ethantwardy
2025-03-16 14:14:31 +0100merijn(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-16 14:27:17 +0100uam(uid360535@id-360535.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2025-03-16 14:28:14 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 14:31:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 14:32:24 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 246 seconds)
2025-03-16 14:38:41 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-16 14:39:07 +0100MyNetAz(~MyNetAz@user/MyNetAz) MyNetAz
2025-03-16 14:40:05 +0100krei-se-(~krei-se@tmo-125-86.customers.d1-online.com) (Excess Flood)
2025-03-16 14:41:26 +0100Digitteknohippie(~user@user/digit) Digit
2025-03-16 14:42:14 +0100Digit(~user@user/digit) (Ping timeout: 260 seconds)
2025-03-16 14:43:07 +0100DigitteknohippieDigit
2025-03-16 14:44:27 +0100krei-se(~krei-se@tmo-125-86.customers.d1-online.com) krei-se
2025-03-16 14:46:13 +0100rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-03-16 14:46:45 +0100rvalue(~rvalue@user/rvalue) rvalue
2025-03-16 14:47:14 +0100krei-se-(~krei-se@tmo-064-126.customers.d1-online.com) krei-se
2025-03-16 14:49:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 14:50:18 +0100krei-se(~krei-se@tmo-125-86.customers.d1-online.com) (Ping timeout: 252 seconds)
2025-03-16 14:52:53 +0100krei-se-(~krei-se@tmo-064-126.customers.d1-online.com) (Ping timeout: 248 seconds)
2025-03-16 14:54:21 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-16 14:56:14 +0100weary-traveler(~user@user/user363627) user363627
2025-03-16 14:57:07 +0100pavonia(~user@user/siracusa) siracusa
2025-03-16 14:57:18 +0100krei-se(~krei-se@tmo-102-19.customers.d1-online.com) krei-se
2025-03-16 15:04:24 +0100euleritian(~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-03-16 15:04:36 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 252 seconds)
2025-03-16 15:04:41 +0100euleritian(~euleritia@95.90.214.149)
2025-03-16 15:05:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 15:06:38 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2025-03-16 15:10:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-16 15:13:38 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 15:18:09 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 268 seconds)
2025-03-16 15:20:18 +0100nek0(~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat)
2025-03-16 15:21:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 15:21:13 +0100turlando(~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.)
2025-03-16 15:22:29 +0100turlando(~turlando@user/turlando) turlando
2025-03-16 15:25:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-03-16 15:26:52 +0100user363627(~user@user/user363627) user363627
2025-03-16 15:30:41 +0100weary-traveler(~user@user/user363627) (Ping timeout: 248 seconds)
2025-03-16 15:30:54 +0100alexherbo2(~alexherbo@2a02-8440-360c-a724-bc10-9663-354c-c52a.rev.sfr.net) alexherbo2
2025-03-16 15:31:21 +0100euleritian(~euleritia@95.90.214.149) (Ping timeout: 252 seconds)
2025-03-16 15:31:38 +0100euleritian(~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de)
2025-03-16 15:31:59 +0100euleritian(~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-03-16 15:32:17 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-03-16 15:36:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 15:40:51 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-03-16 15:42:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-16 15:42:30 +0100bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-03-16 15:42:45 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds)
2025-03-16 15:45:10 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca)
2025-03-16 15:45:19 +0100euleritian(~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de)
2025-03-16 15:50:35 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-03-16 15:51:03 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-03-16 15:52:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 15:57:01 +0100yu(~yu@dmc516.resnet.ust.hk)
2025-03-16 15:57:23 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-16 15:57:26 +0100yu(~yu@dmc516.resnet.ust.hk) (Client Quit)
2025-03-16 15:58:12 +0100Inst(~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 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 16:00:59 +0100merijn(~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 +0100alfiee(~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 +0100nek0(~nek0@user/nek0) nek0
2025-03-16 16:05:39 +0100merijn(~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 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-16 16:07:27 +0100Square(~Square@user/square) Square
2025-03-16 16:10:21 +0100j1n37(~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 +0100alexherbo2(~alexherbo@2a02-8440-360c-a724-bc10-9663-354c-c52a.rev.sfr.net) (Remote host closed the connection)
2025-03-16 16:14:03 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-03-16 16:16:47 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 16:17:45 +0100halloy7351(~halloy735@81.215.239.1)
2025-03-16 16:18:04 +0100halloy7351(~halloy735@81.215.239.1) (Quit: halloy7351)
2025-03-16 16:19:07 +0100euphores(~SASL_euph@user/euphores) euphores
2025-03-16 16:23:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-16 16:28:00 +0100Inst(~Inst@user/Inst) ()
2025-03-16 16:34:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 16:37:16 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2025-03-16 16:39:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-16 16:41:53 +0100ash3en(~Thunderbi@89.56.182.235) ash3en
2025-03-16 16:47:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 16:48:13 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 16:50:54 +0100Digitteknohippie(~user@user/digit) Digit
2025-03-16 16:52:02 +0100Digit(~user@user/digit) (Ping timeout: 252 seconds)
2025-03-16 16:52:40 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-03-16 16:55:46 +0100Digitteknohippie(~user@user/digit) (Ping timeout: 244 seconds)
2025-03-16 17:00:08 +0100hiecaq(~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92))
2025-03-16 17:00:47 +0100Digit(~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 +0100euleritian(~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-03-16 17:07:47 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-03-16 17:10:00 +0100tv(~tv@user/tv) (Read error: Connection reset by peer)
2025-03-16 17:10:21 +0100vincent42(uid574193@id-574193.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2025-03-16 17:13:55 +0100joeyadams(~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 +0100fp(~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds)
2025-03-16 17:17:46 +0100notdabs(~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 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-03-16 17:30:57 +0100ash3en(~Thunderbi@89.56.182.235) (Quit: ash3en)
2025-03-16 17:33:36 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 17:33:39 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-03-16 17:34:19 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-03-16 17:37:19 +0100DigitDigitteknohippie
2025-03-16 17:37:26 +0100DigitteknohippieDigit
2025-03-16 17:37:52 +0100alfiee(~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 +0100kuribas`(~user@ptr-17d51emrd94iart11eg.18120a2.ip6.access.telenet.be) (Ping timeout: 276 seconds)
2025-03-16 17:44:33 +0100L29Ah(~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 +0100dhil(~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 +0100bitdex(~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 +0100Square2(~Square4@user/square) Square
2025-03-16 17:53:46 +0100tv(~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 +0100manwithluck(~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 +0100wootehfoot(~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 +0100user363627(~user@user/user363627) (Remote host closed the connection)
2025-03-16 18:16:01 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-03-16 18:19:21 +0100alfiee(~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 +0100ash3en(~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 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-03-16 18:26:01 +0100notdabs(~Owner@2600:1700:69cf:9000:8c4a:1bad:bb61:8f8d) (Remote host closed the connection)
2025-03-16 18:26:24 +0100notdabs(~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 +0100Pixi(~Pixi@user/pixi) (Read error: Connection reset by peer)
2025-03-16 18:44:00 +0100Digitteknohippie(~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 +0100Digit(~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 +0100weary-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 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-03-16 18:51:36 +0100ash3en(~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 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-03-16 19:04:44 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 19:05:24 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds)
2025-03-16 19:05:53 +0100michalz(~michalz@185.246.207.203)
2025-03-16 19:08:49 +0100euleritian(~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de)
2025-03-16 19:09:35 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-03-16 19:09:45 +0100alfiee(~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 +0100DigitteknohippieDigit
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 +0100euandreh(~Thunderbi@189.6.105.228) (Quit: euandreh)
2025-03-16 19:22:58 +0100euandreh(~Thunderbi@189.6.105.228) euandreh
2025-03-16 19:25:45 +0100econo_(uid147250@id-147250.tinside.irccloud.com)
2025-03-16 19:32:40 +0100wildsalander(~wildsalan@37-136-163-100.rev.dnainternet.fi)
2025-03-16 19:40:18 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-03-16 19:42:26 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-03-16 19:43:43 +0100wildsalander(~wildsalan@37-136-163-100.rev.dnainternet.fi) (Quit: wildsalander)
2025-03-16 19:44:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-16 19:47:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 19:50:08 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 19:52:22 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-16 19:52:50 +0100euphores(~SASL_euph@user/euphores) euphores
2025-03-16 19:54:13 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-03-16 20:00:01 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-03-16 20:00:30 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-03-16 20:00:45 +0100caconym(~caconym@user/caconym) caconym
2025-03-16 20:10:48 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-03-16 20:11:09 +0100michalz(~michalz@185.246.207.203) (Read error: Connection reset by peer)
2025-03-16 20:11:28 +0100michalz(~michalz@185.246.207.201)
2025-03-16 20:25:21 +0100AlexNoo_(~AlexNoo@94.233.240.210)
2025-03-16 20:27:17 +0100AlexZenon(~alzenon@178.34.151.157) (Ping timeout: 248 seconds)
2025-03-16 20:29:09 +0100AlexNoo(~AlexNoo@178.34.151.157) (Ping timeout: 260 seconds)
2025-03-16 20:30:50 +0100euleritian(~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-03-16 20:31:07 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-03-16 20:32:18 +0100AlexZenon(~alzenon@94.233.240.210)
2025-03-16 20:36:12 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 20:40:31 +0100alfiee(~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 +0100jonrh(sid5185@id-5185.ilkley.irccloud.com) (Ping timeout: 244 seconds)
2025-03-16 20:44:42 +0100jonrh(sid5185@id-5185.ilkley.irccloud.com) jonrh
2025-03-16 20:55:35 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-03-16 20:58:09 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-03-16 21:00:41 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-03-16 21:02:01 +0100picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.5.1)
2025-03-16 21:03:21 +0100picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur
2025-03-16 21:04:19 +0100Square2(~Square4@user/square) (Ping timeout: 260 seconds)
2025-03-16 21:05:29 +0100AlexNoo_AlexNoo
2025-03-16 21:05:39 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-03-16 21:13:40 +0100Digitteknohippie(~user@user/digit) Digit
2025-03-16 21:17:03 +0100Digit(~user@user/digit) (Ping timeout: 268 seconds)
2025-03-16 21:18:04 +0100Pixi(~Pixi@user/pixi) Pixi
2025-03-16 21:20:33 +0100Sgeo(~Sgeo@user/sgeo) (Quit: Leaving)
2025-03-16 21:20:50 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-03-16 21:21:37 +0100alfiee(~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 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 245 seconds)
2025-03-16 21:27:33 +0100simplystuart(~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 +0100simplystuart(~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