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)