2025/09/09

2025-09-09 00:02:41 +0200chele__(~chele@user/chele) (Remote host closed the connection)
2025-09-09 00:03:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-09 00:11:37 +0200Googulator(~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) (Ping timeout: 250 seconds)
2025-09-09 00:13:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 00:18:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-09 00:26:54 +0200davidlbowman(~dlb@user/davidlbowman) (Ping timeout: 256 seconds)
2025-09-09 00:29:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 00:29:48 +0200tromp(~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-09 00:33:02 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection)
2025-09-09 00:33:47 +0200jreicher(~user@user/jreicher) jreicher
2025-09-09 00:34:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 00:35:15 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-09-09 00:36:04 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-09-09 00:41:32 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 265 seconds)
2025-09-09 00:42:02 +0200tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-09-09 00:44:45 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-09-09 00:45:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 00:47:40 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-09-09 00:51:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-09 00:54:20 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-09-09 01:03:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 01:04:00 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-09-09 01:08:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 01:08:16 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-09 01:10:51 +0200DavidSch__(~ds__38@ip-037-049-102-199.um09.pools.vodafone-ip.de) (Remote host closed the connection)
2025-09-09 01:10:51 +0200DavidSch1_(~ds__38@ip-037-049-102-199.um09.pools.vodafone-ip.de) (Remote host closed the connection)
2025-09-09 01:18:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 01:20:21 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-09 01:20:35 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-09 01:23:15 +0200acidjnk(~acidjnk@p200300d6e7171966303ea6658b591e68.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-09-09 01:23:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-09 01:28:37 +0200arandombit(~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc)
2025-09-09 01:28:37 +0200arandombit(~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host)
2025-09-09 01:28:37 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-09 01:30:25 +0200sprotte24(~sprotte24@p200300d16f2d2900183abb7ac521596f.dip0.t-ipconnect.de) (Quit: Leaving)
2025-09-09 01:30:41 +0200sprotte24_(~sprotte24@p200300d16f2d2900183abb7ac521596f.dip0.t-ipconnect.de) (Quit: Leaving)
2025-09-09 01:34:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 01:35:28 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-09 01:39:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-09 01:44:58 +0200Googulator(~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu)
2025-09-09 01:46:30 +0200trickard_trickard
2025-09-09 01:47:56 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 256 seconds)
2025-09-09 01:50:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 01:53:21 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds)
2025-09-09 01:55:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-09 01:58:24 +0200sindu(~sindu@176.75.108.200) (Ping timeout: 256 seconds)
2025-09-09 02:06:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 02:07:05 +0200xff0x(~xff0x@2405:6580:b080:900:f298:c20:d961:98c7) (Ping timeout: 265 seconds)
2025-09-09 02:11:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 02:11:14 +0200vulpine(xfnw@user/meow/xfnw) (Quit: Connection reset by purr)
2025-09-09 02:12:32 +0200vulpine(xfnw@user/meow/xfnw) xfnw
2025-09-09 02:13:37 +0200arandombit(~arandombi@2603:7000:4600:ffbe:4ce:2be:bee:6d35)
2025-09-09 02:14:34 +0200mange(~mange@user/mange) mange
2025-09-09 02:18:32 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-09 02:20:07 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-09 02:21:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 02:22:41 +0200otto_s(~user@p5de2f137.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
2025-09-09 02:24:27 +0200otto_s(~user@p4ff27081.dip0.t-ipconnect.de)
2025-09-09 02:26:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-09 02:28:55 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 250 seconds)
2025-09-09 02:32:01 +0200OftenFaded78(~OftenFade@user/tisktisk) (Ping timeout: 250 seconds)
2025-09-09 02:32:51 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-09 02:33:05 +0200craunts7(~craunts@152.32.99.194)
2025-09-09 02:34:23 +0200califax(~califax@user/califx) califx
2025-09-09 02:37:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 02:42:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 02:50:07 +0200poscat0x04(~poscat@user/poscat) poscat
2025-09-09 02:51:40 +0200poscat(~poscat@user/poscat) (Ping timeout: 256 seconds)
2025-09-09 02:53:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 02:56:59 +0200Pozyomka_(~pyon@user/pyon) (Quit: brb)
2025-09-09 02:57:23 +0200Pozyomka(~pyon@user/pyon) pyon
2025-09-09 02:58:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-09 03:03:43 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-09 03:05:21 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-09-09 03:08:38 +0200davidlbowman(~dlb@user/davidlbowman) davidlbowman
2025-09-09 03:09:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 03:13:30 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 256 seconds)
2025-09-09 03:13:40 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 258 seconds)
2025-09-09 03:14:37 +0200CamiKase(~CamiKase@186.22.162.212) CamiKase
2025-09-09 03:14:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 03:15:43 +0200vetkat(~vetkat@user/vetkat) (Ping timeout: 250 seconds)
2025-09-09 03:16:48 +0200vetkat(~vetkat@user/vetkat) vetkat
2025-09-09 03:18:57 +0200arandombit(~arandombi@2603:7000:4600:ffbe:bdb4:38ba:1c1a:508b)
2025-09-09 03:18:57 +0200arandombit(~arandombi@2603:7000:4600:ffbe:bdb4:38ba:1c1a:508b) (Changing host)
2025-09-09 03:18:57 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-09 03:25:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 03:28:56 +0200jespada(~jespada@2800:a4:22cd:2900:5991:e5fd:66d0:ba7f) (Ping timeout: 248 seconds)
2025-09-09 03:30:50 +0200trickard(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-09 03:31:04 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-09 03:31:18 +0200jespada(~jespada@2800:a4:22ba:8000:cca7:ce4f:edb:52ec) jespada
2025-09-09 03:32:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 03:33:19 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds)
2025-09-09 03:43:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 03:47:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-09 03:50:54 +0200davidlbowman(~dlb@user/davidlbowman) (Ping timeout: 256 seconds)
2025-09-09 03:56:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 03:57:27 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-09-09 03:57:33 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-09-09 04:02:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 04:04:45 +0200LainIwakura(~LainIwaku@user/LainIwakura) (Ping timeout: 250 seconds)
2025-09-09 04:10:00 +0200EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2025-09-09 04:11:04 +0200EvanR(~EvanR@user/evanr) EvanR
2025-09-09 04:12:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 04:13:43 +0200EvanR(~EvanR@user/evanr) (Client Quit)
2025-09-09 04:15:17 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-09-09 04:17:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 04:21:37 +0200tinjamin477(~tinjamin@banshee.h4x0r.space) (Quit: The Lounge - https://thelounge.chat)
2025-09-09 04:26:25 +0200CamiKase(~CamiKase@186.22.162.212) (Quit: WeeChat 4.7.1)
2025-09-09 04:28:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 04:33:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 04:44:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 04:45:55 +0200nschoe(~nschoe@2a01:e0a:8e:a190:2d9f:6fd3:18e3:7800) (Quit: ZNC 1.8.2 - https://znc.in)
2025-09-09 04:46:13 +0200nschoe(~nschoe@2a01:e0a:8e:a190:eb80:e362:f8e1:aa2f) nschoe
2025-09-09 04:49:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-09 04:57:27 +0200EvanR(~EvanR@user/evanr) EvanR
2025-09-09 05:00:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 05:01:31 +0200LainIwakura(~LainIwaku@user/LainIwakura) (Ping timeout: 250 seconds)
2025-09-09 05:07:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-09 05:09:07 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-09-09 05:09:12 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2025-09-09 05:18:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 05:19:12 +0200aforemny_(~aforemny@2001:9e8:6cc2:7500:64be:24c3:6006:d7a3) aforemny
2025-09-09 05:20:17 +0200aforemny(~aforemny@2001:9e8:6ce5:b600:26b8:ba8a:bff5:bad) (Ping timeout: 248 seconds)
2025-09-09 05:23:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 05:24:55 +0200trickard_trickard
2025-09-09 05:26:01 +0200EvanR(~EvanR@user/evanr) (Quit: Leaving)
2025-09-09 05:28:43 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-09 05:33:40 +0200gorignak(~gorignak@user/gorignak) (Ping timeout: 245 seconds)
2025-09-09 05:34:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 05:36:30 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-09-09 05:37:47 +0200img(~img@user/img) img
2025-09-09 05:39:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 05:44:34 +0200EvanR(~EvanR@user/evanr) EvanR
2025-09-09 05:45:53 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds)
2025-09-09 05:50:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 05:51:19 +0200dutchie(~dutchie@user/dutchie) (Remote host closed the connection)
2025-09-09 05:53:19 +0200dutchie(~dutchie@user/dutchie) dutchie
2025-09-09 05:55:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 06:05:32 +0200sp1ff(~user@c-73-157-159-244.hsd1.wa.comcast.net) sp1ff
2025-09-09 06:07:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 06:11:31 +0200Googulator51(~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu)
2025-09-09 06:12:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 06:15:11 +0200Googulator(~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Ping timeout: 250 seconds)
2025-09-09 06:17:45 +0200user0(~user0@user/plague) plague
2025-09-09 06:22:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 06:27:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-09 06:30:38 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-09-09 06:33:18 +0200michalz(~michalz@185.246.207.200)
2025-09-09 06:38:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 06:39:41 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-09 06:45:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-09 06:46:34 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds)
2025-09-09 06:56:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 07:01:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-09 07:04:55 +0200Square2(~Square@user/square) (Ping timeout: 245 seconds)
2025-09-09 07:05:52 +0200Square3(~Square4@user/square) Square
2025-09-09 07:12:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 07:17:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-09 07:20:25 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-09-09 07:26:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 07:31:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-09 07:41:47 +0200user0(~user0@user/plague) (Ping timeout: 250 seconds)
2025-09-09 07:41:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 07:44:57 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2025-09-09 07:45:20 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-09-09 07:46:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-09-09 07:51:35 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-09-09 07:57:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 07:58:58 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
2025-09-09 07:58:59 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-09-09 08:01:59 +0200jathan(~jathan@69.61.93.38) (Quit: WeeChat 2.3)
2025-09-09 08:02:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-09 08:13:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 08:15:22 +0200mari-estel(~mari-este@user/mari-estel) mari-estel
2025-09-09 08:20:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 08:24:01 +0200ubert1(~Thunderbi@178.165.161.196.wireless.dyn.drei.com) ubert
2025-09-09 08:30:16 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds)
2025-09-09 08:36:41 +0200alinab(sid468903@id-468903.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2025-09-09 08:44:14 +0200duckworld(~duckworld@user/duckworld) (Read error: Connection reset by peer)
2025-09-09 08:44:36 +0200duckworld(~duckworld@user/duckworld) duckworld
2025-09-09 08:44:56 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-09-09 08:45:20 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-09-09 08:47:52 +0200[exa](~exa@2001:15e8:110:7d00::117) (Remote host closed the connection)
2025-09-09 08:52:02 +0200mari85725(~mari-este@user/mari-estel) mari-estel
2025-09-09 08:53:08 +0200jreicher(~user@user/jreicher) (Quit: Out and about)
2025-09-09 08:54:11 +0200ft(~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving)
2025-09-09 08:54:32 +0200mari-estel(~mari-este@user/mari-estel) (Ping timeout: 265 seconds)
2025-09-09 08:56:20 +0200[exa](~exa@user/exa/x-3587197) [exa]
2025-09-09 09:00:00 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-09-09 09:00:02 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-09-09 09:00:41 +0200caconym747(~caconym@user/caconym) caconym
2025-09-09 09:02:08 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-09-09 09:05:16 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-09 09:05:51 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds)
2025-09-09 09:07:24 +0200acidjnk(~acidjnk@p200300d6e7171905303ea6658b591e68.dip0.t-ipconnect.de) acidjnk
2025-09-09 09:08:51 +0200Googulator51(~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed)
2025-09-09 09:09:04 +0200Googulator51(~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu)
2025-09-09 09:12:30 +0200tromp(~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e)
2025-09-09 09:13:35 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-09-09 09:21:39 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-09-09 09:23:03 +0200plitter_(~plitter@user/plitter) (Ping timeout: 265 seconds)
2025-09-09 09:23:21 +0200sshine_xxhine
2025-09-09 09:24:55 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-09-09 09:26:12 +0200img(~img@user/img) img
2025-09-09 09:28:36 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-09-09 09:31:38 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2025-09-09 09:33:42 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-09-09 09:33:42 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-09-09 09:33:42 +0200haritz(~hrtz@user/haritz) haritz
2025-09-09 09:34:14 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-09 09:46:51 +0200ZLima12_(~zlima12@user/meow/ZLima12) ZLima12
2025-09-09 09:49:54 +0200ZLima12(~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds)
2025-09-09 10:00:47 +0200mari-estel(~mari-este@user/mari-estel) mari-estel
2025-09-09 10:03:12 +0200mari85725(~mari-este@user/mari-estel) (Ping timeout: 256 seconds)
2025-09-09 10:03:20 +0200craunts7(~craunts@152.32.99.194) (Quit: The Lounge - https://thelounge.chat)
2025-09-09 10:13:45 +0200 <ggVGc> We have a book club at work, and our main development languages are Scala and TS. The others don't have that much experience in general with strong typing and powerful type systems, and only me and one other person really knows Scala "well". I would like propose a book which tackles type system things and basic type theory, without being too hardcore for the book club. Any advice?
2025-09-09 10:14:26 +0200 <ggVGc> Haskell based book would be fine, as long as it doesn't start with "let's discuss a monad"
2025-09-09 10:15:02 +0200 <ggVGc> I'm thinking something like SICP but for type systems, I guess
2025-09-09 10:16:04 +0200 <sm> maybe one of these: https://www.extrema.is/articles/haskell-books > design ?
2025-09-09 10:17:39 +0200 <merijn> ggVGc: How hardcore do you wanna go?
2025-09-09 10:19:00 +0200 <sm> tcard__ it's confusing having Author: Travis Cardwell on every book page, right above the book's published date, additional to the actual book authors on the left
2025-09-09 10:20:08 +0200 <merijn> oh, wait, you wanted "not to hardcore"
2025-09-09 10:20:44 +0200 <sm> (and/or one of these: https://www.extrema.is/articles/haskell-books > implementation)
2025-09-09 10:21:33 +0200chele(~chele@user/chele) chele
2025-09-09 10:25:19 +0200 <sm> pretty good reviews for this one: https://www.goodreads.com/book/show/112252.Types_and_Programming_Languages
2025-09-09 10:28:41 +0200 <merijn> I was gonna say TaPL, but I would call that rather hardcore :p
2025-09-09 10:40:48 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds)
2025-09-09 10:47:13 +0200Googulator51(~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed)
2025-09-09 10:47:20 +0200 <[exa]> ggVGc: /me votes for girard
2025-09-09 10:47:35 +0200Googulator51(~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu)
2025-09-09 10:50:35 +0200 <ggVGc> merijn: yeah, as not-hardcore as possible basically, while still being not-crap :)
2025-09-09 10:50:39 +0200 <ggVGc> thanks for the suggestions!
2025-09-09 10:53:28 +0200mari-estel(~mari-este@user/mari-estel) (Remote host closed the connection)
2025-09-09 11:05:25 +0200 <ski> hm, there's one "Thinking with Types: Type-Level Programming Haskell" by Sandy Maguire in 2019-01-10 at <https://thinkingwithtypes.com/>,<https://leanpub.com/thinking-with-types/>
2025-09-09 11:05:46 +0200 <ski> (i haven't read it)
2025-09-09 11:07:27 +0200 <haskellbridge> <sm> https://www.extrema.is/articles/haskell-books/thinking-with-types - maybe that one should have the design tag tcard__ ?
2025-09-09 11:09:05 +0200xxhinesshine
2025-09-09 11:09:24 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-09-09 11:11:25 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-09-09 11:12:16 +0200 <ski> ggVGc : "Polymorphic Type Inference" by Michael I. Schwartzbach in 1995-03 at <https://cs.au.dk/~amoeller/mis/typeinf.pdf> might be worth checking out (not a book, though, just a paper (intended to be more introductory/tutorial). with some exercises)
2025-09-09 11:12:48 +0200 <ski> there's also "On Understanding Types, Data Abstraction, and Polymorphism" by Luca Cardelli,Peter Wegner in 1985-12 at <http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf>, and "On Understanding Data Abstraction, Revisited" by William R. Cook in 2009-10 at <https://www.cs.utexas.edu/~wcook/Drafts/2009/essay.pdf>
2025-09-09 11:13:20 +0200 <merijn> ggVGc: Also, Scala 2 or 3?
2025-09-09 11:15:29 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-09-09 11:18:49 +0200 <ggVGc> merijn: 3, fortunately, but unfortunately the existing code uses Akka without really undrstanding/liking actors, so it's basically just used as a http router
2025-09-09 11:19:08 +0200 <ggVGc> while other concurrency stuff is done in good ol java way, but in scala
2025-09-09 11:19:17 +0200 <ggVGc> with locking queues etc
2025-09-09 11:19:27 +0200 <Franciman> [exa]: i'm studying automated deduction for ontologies. which book by girard?
2025-09-09 11:19:34 +0200 <Franciman> (two unrelated things)
2025-09-09 11:20:01 +0200 <ggVGc> Franciman: so.... rdf?
2025-09-09 11:20:12 +0200 <Franciman> rdf and OWL
2025-09-09 11:20:27 +0200ZLima12(~zlima12@user/meow/ZLima12) ZLima12
2025-09-09 11:20:27 +0200 <ggVGc> sounds a lot like my job :)
2025-09-09 11:21:24 +0200 <Franciman> what's your job?
2025-09-09 11:22:39 +0200ZLima12_(~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds)
2025-09-09 11:23:30 +0200tromp(~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-09 11:23:36 +0200 <ski> i wonder about "The Little Typer" by Daniel P. Friedman,David Thrane Christiansen in 2018 at <https://thelittletyper.com/>,<https://www.amazon.com/Little-Typer-MIT-Press/dp/0262536439>,<https://mitpress.mit.edu/9780262536431/the-little-typer/>,<https://felleisen.org/matthias/BTypist-index.html>
2025-09-09 11:24:28 +0200 <ggVGc> Franciman: Basically building this, https://data.icos-cp.eu/portal/. I started fairly recently (dec last year), and have been on parental leave since May, and am back on 20% since last month, so have not been part of much of what's there yet. But, there's a lot of work to be done :) https://github.com/ICOS-Carbon-Portal/meta
2025-09-09 11:24:50 +0200 <ggVGc> Franciman: my main goal right now is to replace out RDF datastore with SQL+Ontop, actually.
2025-09-09 11:25:26 +0200 <ggVGc> because right now we have a custom index, and custom SPQRQL query rewriting, and it's a bit of a mess imo, and seems to currently also have consistency issues.
2025-09-09 11:25:35 +0200 <ski> Franciman : perhaps "Proofs and Types" by Jean-Yves Girard (Translated and with appendices by Paul Taylor,Yves Lafont) in 1989,1990,2003 at <https://www.paultaylor.eu/stable/prot.pdf>
2025-09-09 11:25:50 +0200 <tcard__> sm: Regarding the author confusion, thanks for the feedback. I am making a note. I implemented that Haskell books content using my articles system, but it is indeed not a great match. I hope to improve it in the future.
2025-09-09 11:26:33 +0200 <ggVGc> ski: you bring up a good idea of suggesting to the book club that we can sometimes read shorter papers and discuss them. Will try to see if that flies
2025-09-09 11:26:47 +0200 <ggVGc> I would almost prefer a "paper group" rather than a book club, I think
2025-09-09 11:27:02 +0200 <ggVGc> smaller investment, covering more ground
2025-09-09 11:27:03 +0200 <ski> ggVGc : i'd think the Schwartzbach paper, at least, would be worth looking into
2025-09-09 11:27:40 +0200 <ski> it includes some info that most papers on type systems assumes, but does not state outright
2025-09-09 11:28:13 +0200 <merijn> ggVGc: At least 3 has rank2 types :>
2025-09-09 11:28:29 +0200 <ggVGc> haha, oh man, I'd heard about The little typer, but starting to talk about dependent types seems a bit too soon for this group
2025-09-09 11:28:35 +0200 <ggVGc> I may want to read it personally though...
2025-09-09 11:28:47 +0200 <ski> yea, i haven't seen "The Little Typer", either
2025-09-09 11:28:48 +0200 <ggVGc> But I have 4mo old twins now, so maybe in... 10 years?
2025-09-09 11:30:31 +0200 <ski> but that series (see <https://felleisen.org/matthias/BTLS-index.html>. also apparently <https://www.thelittlelearner.com/>) has an interesting didactive approach, with examples and exercises
2025-09-09 11:30:52 +0200 <ggVGc> merijn: yeah, but it also has this, https://docs.scala-lang.org/scala3/reference/other-new-features/indentation.html. So, you know, win some lose some.
2025-09-09 11:31:27 +0200 <ski> if the "Thinking with Types" is not too advanced (not sure), might be useful as well
2025-09-09 11:31:47 +0200 <ggVGc> I know that is a controversial statement in #haskell (about significant indentation). But, I think it works very poorly in Scala.
2025-09-09 11:31:50 +0200 <ggVGc> being added on like that
2025-09-09 11:31:55 +0200 <ski> merijn : but not higher rank ?
2025-09-09 11:32:30 +0200 <ggVGc> actually not a huge fan of significant whitespace in Haskell either, but it works out alright most of the time
2025-09-09 11:32:41 +0200 <ggVGc> without the type system it would be a disaster
2025-09-09 11:33:06 +0200 <merijn> ski: I'm not sure if it supports higher rank, I'm still in the business of migrating us from 2 to 3 :)
2025-09-09 11:33:17 +0200 <merijn> And I've only needed/wanted rank2 so far
2025-09-09 11:33:55 +0200 <ski> mm, looks like it introduces layout block, more generally, than just after a few keywords (as in Haskell) ?
2025-09-09 11:34:01 +0200skinods
2025-09-09 11:34:04 +0200 <Franciman> ggVGc: can I pm you?
2025-09-09 11:34:05 +0200 <ggVGc> yeah
2025-09-09 11:34:08 +0200 <ggVGc> Franciman: sure
2025-09-09 11:34:21 +0200 <ski> ggVGc : hm, i'm not seeing how the types are related to layout ?
2025-09-09 11:34:30 +0200 <ggVGc> ski: I definitely do not like it, but the person who wrote most of the code I'm currently working on does like it.
2025-09-09 11:34:55 +0200 <ski> i guess, if you don't get the nesting structure you intend, you're more likely to get a type (or scope) error ?
2025-09-09 11:35:28 +0200 <ggVGc> ski: yo umean about my statement regarding haskell? I mean that, with a powerful language like Haskell where you can write very terse code, if you don't also have the type system helping you out, things subtle indentation errors can become major difficulties
2025-09-09 11:35:40 +0200 <ski> ggVGc : it kinda reminds me of the various SRFIs for indentation-based nesting syntax, for Scheme (which, afaik, none has really caught on much at all)
2025-09-09 11:36:00 +0200 <ski> ggVGc : "without the type system it would be a disaster" specifically
2025-09-09 11:36:02 +0200 <arahael> merijn: Hey, I am curious about the code in posix-pty, why is it not possible to get the pty's Fd?
2025-09-09 11:36:15 +0200 <arahael> merijn: (It's not important, I'm just curious)
2025-09-09 11:37:11 +0200 <ggVGc> ski: well, I've had situations in Haskell where I get a type error I find super odd and can't easily see why it's happening, and then I realise it's because I've messed up an application of something, sometimes because of messed up indentation
2025-09-09 11:37:25 +0200 <merijn> arahael: because it's code I wrote in 2013 when I barely new Haskell and never gotten around to actually using it for what I wrote it :p
2025-09-09 11:37:27 +0200 <ggVGc> and if I didn't have the type system, I'd get some strange runtime error instead
2025-09-09 11:37:29 +0200 <ggVGc> which would be a lot worse
2025-09-09 11:37:34 +0200 <arahael> merijn: Heh, fair enough!
2025-09-09 11:37:35 +0200 <ggVGc> could*
2025-09-09 11:37:47 +0200 <merijn> arahael: So there wasn't much specific thought going into it
2025-09-09 11:38:06 +0200 <arahael> merijn: Nice, so you were probably trying to do data/implementation hiding and all that good stuff.
2025-09-09 11:38:08 +0200 <merijn> arahael: I think it's mostly to prevent construction of Pty from random Fd
2025-09-09 11:38:14 +0200trickard(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-09 11:38:24 +0200 <merijn> But I didn't think to need to project the Fd
2025-09-09 11:38:28 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-09 11:38:38 +0200 <arahael> Ah, and I was trying to get the Fd from the Pty, so that I could ask it to see if there was data without blocking on it.
2025-09-09 11:38:43 +0200 <ggVGc> ski: but, what I very much dislike about the Scala3 significant indentation is that 'foo:\n\t123' means foo(123).
2025-09-09 11:38:46 +0200 <ggVGc> that is horrible
2025-09-09 11:38:52 +0200 <arahael> As it turns out there was another way to do it so no biggie.
2025-09-09 11:39:15 +0200 <arahael> (The other way being to spawn a thread anyway. And I've been learning about threads in Haskell as a consequence!)
2025-09-09 11:39:31 +0200 <merijn> arahael: If you make a PR that provides `Pty -> Fd` I'd make a new release
2025-09-09 11:39:56 +0200 <arahael> merijn: One day. One day. :)
2025-09-09 11:40:23 +0200 <arahael> It turns out it's not actually required, and it's probably better to block on it anyway.
2025-09-09 11:40:31 +0200 <merijn> ggVGc: The thing I hate is that for yield makes me write "_ <-" in front of every line whose return I don't care about
2025-09-09 11:40:48 +0200 <merijn> please god, lemme just write code without _ <- like in Haskell :(
2025-09-09 11:42:30 +0200ZLima12_(~zlima12@user/meow/ZLima12) ZLima12
2025-09-09 11:45:46 +0200ZLima12(~zlima12@user/meow/ZLima12) (Ping timeout: 256 seconds)
2025-09-09 11:54:08 +0200 <tomsmeding> merijn: make a keyboard macro that inserts '_ <- '
2025-09-09 11:54:20 +0200Googulator51Googulator
2025-09-09 11:54:34 +0200 <merijn> tomsmeding: That still makes it ugly to read
2025-09-09 11:54:35 +0200 <tomsmeding> for a while I was using a programmable keyboard (moved away again for unrelated reasons) and I had keys for -> <- => <=
2025-09-09 11:54:48 +0200 <tomsmeding> it was nice :p
2025-09-09 11:54:52 +0200 <tomsmeding> that's true
2025-09-09 11:55:17 +0200 <tomsmeding> merijn: are there so many functions that return useless results then?
2025-09-09 11:55:37 +0200tromp(~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e)
2025-09-09 11:55:40 +0200 <tomsmeding> in Haskell, I find that usually if there is a non-() return value, you want to use it -- not always, but often enough that '_ <-' is not _too_ common
2025-09-09 11:56:12 +0200 <merijn> tomsmeding: you have to write _ <- for unit returns too
2025-09-09 11:56:18 +0200 <tomsmeding> oh lol
2025-09-09 11:56:25 +0200 <tomsmeding> that's stupid
2025-09-09 11:56:58 +0200 <ski> ggVGc : "what I very much dislike .. " -- yea. i hear ya. that's because it's a retro-fit, so no layout-introducing keywords
2025-09-09 11:58:21 +0200 <merijn> tomsmeding: Exactly!
2025-09-09 11:59:28 +0200 <tomsmeding> use your units
2025-09-09 12:00:15 +0200ski. o O ( `(void)printf("...",...);' )
2025-09-09 12:00:21 +0200 <ggVGc> merijn: oh yeah, that one sucks arse
2025-09-09 12:00:36 +0200 <tomsmeding> imagine you actually have to use all your units too, combining them with (<>) to build your own unit return
2025-09-09 12:00:54 +0200 <ggVGc> merijn: Also, Option.foreach makes me vomit a bit each time.
2025-09-09 12:02:06 +0200 <tomsmeding> % for (Just 42) print
2025-09-09 12:02:07 +0200 <yahb2> 42 ; Just ()
2025-09-09 12:02:19 +0200 <merijn> ggVGc: I never use that
2025-09-09 12:02:29 +0200 <merijn> ggVGc: We're using ZIO almost everywhere
2025-09-09 12:05:50 +0200tremon(~tremon@83.80.159.219) tremon
2025-09-09 12:13:33 +0200sindu(~sindu@176.75.108.200)
2025-09-09 12:18:03 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds)
2025-09-09 12:20:11 +0200 <ski> SML has
2025-09-09 12:20:21 +0200 <ski> val ignore : unit -> 'a
2025-09-09 12:20:45 +0200 <ski> imho, that would be a better name for
2025-09-09 12:20:50 +0200 <ski> void :: Functor f => f a -> f ()
2025-09-09 12:21:17 +0200 <ski> er .. mixed up domain and codomain of the `ignore' ..
2025-09-09 12:29:09 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-09-09 12:34:43 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 250 seconds)
2025-09-09 12:35:20 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-09-09 12:36:01 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-09-09 12:37:16 +0200__monty__(~toonn@user/toonn) toonn
2025-09-09 12:37:53 +0200 <kqr> I'm trying to cabal build --enable-profiling my project, and I get an error that "Could not find module ‘Control.Seq’. Perhaps you haven't installed the profiling libraries for package ‘parallel-3.2.2.0’?" This was not a problem when I compiled without profiling. I'm not explicitly depending on parallel (it c is pulled in by the lens build). What am I doing wrong?
2025-09-09 12:39:56 +0200sprotte24(~sprotte24@p200300d16f36070054d9a83b6a36a30e.dip0.t-ipconnect.de)
2025-09-09 12:40:21 +0200 <haskellbridge> <sm> To build with profiling, unfortunately you have to have every transitive dependency also built with profiling. Often this isn't done by default so you have to force a reinstall of all of them
2025-09-09 12:40:39 +0200fp1(~Thunderbi@wireless-86-50-141-202.open.aalto.fi) fp
2025-09-09 12:41:13 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-09 12:41:16 +0200 <haskellbridge> <sm> I'm surprised if cabal build --enable-profiling doesn't recognise that, like stack build --profile
2025-09-09 12:46:05 +0200forell(~forell@user/forell) forell
2025-09-09 12:46:58 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-09-09 12:48:02 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-09 12:48:16 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-09 12:49:05 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-09-09 12:52:04 +0200sprotte24(~sprotte24@p200300d16f36070054d9a83b6a36a30e.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-09-09 12:58:30 +0200 <kqr> I see. Can I give cabal a flag to reinstall it or am I hunting them down individually and trying to install globally or what is the best solution there?
2025-09-09 13:00:05 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-09-09 13:00:21 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-09 13:02:05 +0200caconym747(~caconym@user/caconym) caconym
2025-09-09 13:02:19 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds)
2025-09-09 13:04:57 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-09-09 13:05:55 +0200kaotika(~user@user/d4q) (Ping timeout: 255 seconds)
2025-09-09 13:06:21 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-09 13:06:34 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-09 13:07:54 +0200kaotika(~user@user/d4q) d4q
2025-09-09 13:09:59 +0200tromp(~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-09 13:11:33 +0200glguy(glguy@libera/staff/glguy) (Quit: Quit)
2025-09-09 13:11:38 +0200glguy(glguy@libera/staff/glguy) glguy
2025-09-09 13:11:44 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-09-09 13:12:19 +0200kaotika(~user@user/d4q) (Max SendQ exceeded)
2025-09-09 13:14:20 +0200kaotika(~user@user/d4q) d4q
2025-09-09 13:15:55 +0200kaotika(~user@user/d4q) (Max SendQ exceeded)
2025-09-09 13:16:34 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-09 13:17:03 +0200 <kaol> I suppose there's no way to make Proxy to show its type?
2025-09-09 13:17:23 +0200 <dminuoso> kaol: What do you mean by "make it show its type"?
2025-09-09 13:18:29 +0200 <kaol> show (Proxy :: Proxy String) == "Proxy" is less than satisfying if I want to know that it's being used on a String.
2025-09-09 13:19:00 +0200 <dminuoso> kaol: You can do something like `showProxy :: Typeable a => Proxy a -> String`
2025-09-09 13:19:34 +0200 <dminuoso> Not quite sure what your goal is
2025-09-09 13:20:23 +0200 <kaol> Debug a piece of code that uses type classes and I have no idea where the execution goes since I don't know what type the particular Proxy is.
2025-09-09 13:20:57 +0200 <dminuoso> So the best you can do is constraint it to Typeable and do something like `show . typeOf`
2025-09-09 13:21:30 +0200 <dminuoso> Or well, `show . typeRep` rather
2025-09-09 13:21:59 +0200 <dminuoso> Debugging constraint resolving is tough
2025-09-09 13:22:23 +0200kaotika(~user@user/d4q) d4q
2025-09-09 13:23:04 +0200 <mauke> this is why hls integration
2025-09-09 13:23:37 +0200 <dminuoso> Right, or use GHCi to a similar effect
2025-09-09 13:23:42 +0200 <dminuoso> :k is a thing
2025-09-09 13:23:43 +0200 <lambdabot> error:
2025-09-09 13:23:43 +0200 <lambdabot> Not in scope: type variable ‘is’
2025-09-09 13:23:43 +0200 <lambdabot> Perhaps you meant type constructor or class ‘As’ (imported from Control.Lens)
2025-09-09 13:23:49 +0200 <dminuoso> Thanks.
2025-09-09 13:24:24 +0200 <kaol> show . typeRep and adding a few Typeable constraints got me what I was looking for. Thanks.
2025-09-09 13:26:28 +0200 <haskellbridge> <sm> kqr I don't know, I would ask in #hackage
2025-09-09 13:28:32 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 258 seconds)
2025-09-09 13:29:15 +0200 <kaol> Interesting. servant-client-core is somehow trying to decode latin1. My server is sending utf8.
2025-09-09 13:29:54 +0200xff0x(~xff0x@2405:6580:b080:900:263:a30e:567c:e7aa)
2025-09-09 13:29:57 +0200 <dminuoso> kaol: It respects Content-Type.
2025-09-09 13:30:10 +0200 <dminuoso> The actual encoding is irrelevant, there's no heuristics.
2025-09-09 13:30:10 +0200 <kaol> Well it has a bug. Content-Type is correct.
2025-09-09 13:30:30 +0200 <dminuoso> Mmm. That sounds surprising.
2025-09-09 13:30:30 +0200 <merijn> How can you even tell? Pretty sure latin-1 is a subset of utf-8, no?
2025-09-09 13:31:09 +0200 <merijn> ah, no only for the first 127 values, which makes sense I suppose
2025-09-09 13:31:16 +0200 <kaol> I'm using servant-jsaddle which is little used, I guess. At least the offending decode happens on servant-client-core's side.
2025-09-09 13:31:56 +0200 <mauke> it's when you send €, but you get â�¬
2025-09-09 13:32:10 +0200 <kaol> I specifically have "ö" in my test body which is in latin1 and I unpacked the body just to see the digits and it is there indeed as single byte latin1.
2025-09-09 13:33:12 +0200 <dminuoso> kaol: can you share you API specification here?
2025-09-09 13:35:12 +0200 <kaol> I started with servant-client-js instead of servant-jsaddle and it didn't have encoding problems but it was incapable of handling basic authentication which made me switch. I'm starting to think that returning back and just improving its error handling is an easier path.
2025-09-09 13:35:24 +0200 <dminuoso> kaol: So the servant code itself does not do any latin1 decoding.
2025-09-09 13:35:34 +0200 <dminuoso> Im fairly sure its outside of servant.
2025-09-09 13:35:51 +0200davidlbowman(~dlb@user/davidlbowman) davidlbowman
2025-09-09 13:36:50 +0200kaotika(~user@user/d4q) (Ping timeout: 256 seconds)
2025-09-09 13:36:58 +0200 <ski> kaol : you could make it show `Proxy :: Proxy <type>'
2025-09-09 13:37:01 +0200 <kaol> I know someone's calling this decodeAs with Proxy :: Proxy JSON with latin1.
2025-09-09 13:37:11 +0200 <ski> or `Proxy @<type>'
2025-09-09 13:37:47 +0200 <kaol> I found out the type already.
2025-09-09 13:37:56 +0200 <ski> merijn : depends on encoding
2025-09-09 13:38:42 +0200kaotika(~user@user/d4q) d4q
2025-09-09 13:38:55 +0200 <dminuoso> kaol: Well whereever the mojibake happens, servant has no code path through which it even could decode latin1.
2025-09-09 13:39:00 +0200 <kqr> sm: Cheers, will do!
2025-09-09 13:39:18 +0200Googulator(~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed)
2025-09-09 13:39:33 +0200Googulator(~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu)
2025-09-09 13:39:48 +0200kaotika(~user@user/d4q) (Max SendQ exceeded)
2025-09-09 13:40:03 +0200 <dminuoso> kaol: c.f. https://hackage-content.haskell.org/package/servant-0.20.3.0/docs/Servant-API.html#t:MimeUnrender
2025-09-09 13:41:36 +0200kaotika(~user@user/d4q) d4q
2025-09-09 13:41:40 +0200 <dminuoso> Now of course maybe there's an additional type tag with a MimeUnrender instance that uses latin1 in your dependency closure.
2025-09-09 13:41:50 +0200 <dminuoso> But it would outside of any of the official servant packages.
2025-09-09 13:42:56 +0200 <kaol> I suspect there's something wrong with servant-jsaddle since servant-client-js doesn't come up with latin1. And servant-jsaddle is an official servant package.
2025-09-09 13:43:32 +0200 <dminuoso> fsvo "official servant package"
2025-09-09 13:44:03 +0200kaotika(~user@user/d4q) (Max SendQ exceeded)
2025-09-09 13:44:12 +0200 <dminuoso> But jsaddle has no custom MimeUnrender instances either.
2025-09-09 13:44:21 +0200 <dminuoso> Like I said, it would be easiest if you just shared your API specification
2025-09-09 13:44:32 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-09-09 13:45:40 +0200kaotika(~user@user/d4q) d4q
2025-09-09 13:46:38 +0200 <kaol> I'll make a small example something out of this.
2025-09-09 13:47:00 +0200kaotika(~user@user/d4q) (Max SendQ exceeded)
2025-09-09 13:49:38 +0200kaotika(~user@user/d4q) d4q
2025-09-09 13:50:57 +0200kaotika(~user@user/d4q) (Max SendQ exceeded)
2025-09-09 13:51:39 +0200kaotika(~user@user/d4q) d4q
2025-09-09 13:52:47 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-09-09 13:59:05 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-09 14:00:53 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-09-09 14:02:25 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds)
2025-09-09 14:03:19 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-09 14:07:00 +0200kaotika(~user@user/d4q) (Ping timeout: 245 seconds)
2025-09-09 14:08:18 +0200kaotika(~user@user/d4q) d4q
2025-09-09 14:11:07 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2025-09-09 14:12:25 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-09 14:12:38 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-09-09 14:13:44 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-09 14:19:45 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-09 14:25:00 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds)
2025-09-09 14:25:17 +0200jreicher(~user@user/jreicher) jreicher
2025-09-09 14:25:32 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-09 14:29:41 +0200inline(~inline@ip-005-146-196-246.um05.pools.vodafone-ip.de) (Quit: Leaving)
2025-09-09 14:33:26 +0200ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-09-09 14:33:44 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-09-09 14:39:09 +0200kaotika(~user@user/d4q) (Ping timeout: 265 seconds)
2025-09-09 14:41:54 +0200kaotika(~user@user/d4q) d4q
2025-09-09 14:49:59 +0200pabs3(~pabs3@user/pabs3) (Read error: Connection reset by peer)
2025-09-09 14:50:26 +0200pabs3(~pabs3@user/pabs3) pabs3
2025-09-09 14:50:42 +0200mange(~mange@user/mange) (Quit: Zzz...)
2025-09-09 14:51:13 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-09-09 14:51:24 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-09-09 15:00:38 +0200poscat0x04(~poscat@user/poscat) (Remote host closed the connection)
2025-09-09 15:03:22 +0200poscat(~poscat@user/poscat) poscat
2025-09-09 15:03:48 +0200tromp(~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e)
2025-09-09 15:09:09 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-09 15:09:22 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-09 15:10:51 +0200kaotika(~user@user/d4q) (Ping timeout: 252 seconds)
2025-09-09 15:11:52 +0200kaotika(~user@user/d4q) d4q
2025-09-09 15:13:45 +0200qqe(~qqq@185.54.23.136)
2025-09-09 15:16:43 +0200 <kaol> dminuoso: I can show the complete example program if you like but I verified that I can get the decoding bug with just this API: type API = "asdfasdf.json" :> Get '[JSON] Text
2025-09-09 15:17:07 +0200 <kaol> I didn't expect anything other from doing this really.
2025-09-09 15:17:47 +0200 <kaol> I guess WASM is bleeding edge and I get both pieces if it breaks.
2025-09-09 15:18:02 +0200Guest89(~Guest89@37.111.214.210)
2025-09-09 15:19:49 +0200jespada_(~jespada@2800:a4:22ba:8000:cca7:ce4f:edb:52ec) jespada
2025-09-09 15:21:23 +0200 <Guest89> Can you give me some help. I was born in 1992, studied Computer Science from 2012 to 2019, and currently studying english BA at university. I have 3 more years to graduate. I was wondering what path I could take and how so I can get myself admitted to a Computer Science PhD by 2028. I love haskell, but wondering if it would help to build hobby
2025-09-09 15:21:24 +0200 <Guest89> softwares like text based games, or scrapers or compilers with haskell. Most realistically I am lost and looking for remote opportunities from this platform.
2025-09-09 15:21:49 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
2025-09-09 15:22:39 +0200jespada(~jespada@2800:a4:22ba:8000:cca7:ce4f:edb:52ec) (Ping timeout: 265 seconds)
2025-09-09 15:25:06 +0200 <tomsmeding> Guest89: I feel like that depends on what kind of PhD you want to get into. What kind of research do you enjoy?
2025-09-09 15:25:21 +0200 <Guest89> Computer Engineering, Electronics
2025-09-09 15:26:00 +0200 <tomsmeding> "electronics" sounds more like electrical engineering than computer science. I'm not sure what you mean with "computer engineering"
2025-09-09 15:27:35 +0200 <tomsmeding> Especially once you get to PhD level, every field that seems from the outset to be mostly coherent ("computer science", for example), fragments in a very broad spectrum of little topics and interests
2025-09-09 15:27:37 +0200 <Guest89> Yeah basically Electronics. But I need to study it on my own now. I took Digital Logic class as part of CS degree.
2025-09-09 15:28:05 +0200 <tomsmeding> do you aspire being a CPU designer at some point?
2025-09-09 15:28:06 +0200 <Guest89> Embedded device programming, SDK Development are nice
2025-09-09 15:28:16 +0200 <Guest89> How, in such short time? I am 33 now
2025-09-09 15:28:17 +0200 <tomsmeding> or more embedded programming?
2025-09-09 15:28:35 +0200 <tomsmeding> I'm trying to probe what your interests are
2025-09-09 15:28:37 +0200 <Guest89> I have no clue about CPU Designing
2025-09-09 15:28:48 +0200 <merijn> Also, why do you wanna do a phd? :p
2025-09-09 15:28:54 +0200kaotika(~user@user/d4q) (Ping timeout: 258 seconds)
2025-09-09 15:28:58 +0200 <tomsmeding> because already "electronics" is outside of "copmuter science", despite you saying you wanted to get admitted to a CS PhD
2025-09-09 15:28:58 +0200 <merijn> That's perhaps the most important question :p
2025-09-09 15:29:01 +0200 <tomsmeding> also
2025-09-09 15:29:50 +0200 <Guest89> I thought I would get in to a multidisciplinary project of some kind
2025-09-09 15:29:56 +0200 <merijn> You gotta ask yourself whether you're stupid enough to do a PhD xD
2025-09-09 15:30:04 +0200 <tomsmeding> a PhD means (details depending on the country) 3-5 years of struggling, learning very much about a very tiny part of science, as well as getting to know yourself
2025-09-09 15:30:09 +0200kaotika(~user@user/d4q) d4q
2025-09-09 15:30:09 +0200 <tomsmeding> for comparatively little pay
2025-09-09 15:30:09 +0200 <Guest89> Why would it be stupid?
2025-09-09 15:30:38 +0200 <Guest89> OK. I guess I'll do a masters instead.
2025-09-09 15:30:38 +0200 <merijn> Most people like their mental health :p
2025-09-09 15:30:42 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-09-09 15:30:47 +0200 <tomsmeding> if you're lucky (or select well), you have an advisor to guide you through the process; if you're unlucky, you're mostly on your own in navigating that
2025-09-09 15:30:50 +0200 <Guest89> Lol, mental health :D
2025-09-09 15:31:11 +0200 <tomsmeding> Guest89: given what you're saying, it indeed sounds to me like what you should explore is doing an Electrical Engineering masters degree, and then finding a job with that
2025-09-09 15:31:38 +0200 <Guest89> OK
2025-09-09 15:31:43 +0200 <tomsmeding> a PhD can be very enriching too, for yoruself, but it's something that you should really want :p
2025-09-09 15:31:44 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
2025-09-09 15:32:01 +0200Guest31(~Guest89@37.111.214.210)
2025-09-09 15:32:52 +0200 <tomsmeding> and about haskell: learning haskell (if you don't know it yet) is a good way (but an expensive way, time-wise) to strengthen your programming skills by expanding the toolbox you have for solving problems in programming and CS
2025-09-09 15:33:06 +0200 <Guest31> OK
2025-09-09 15:33:17 +0200 <tomsmeding> I'm not sure those skills are the most important ones if you want to pursue electrical engineering
2025-09-09 15:33:35 +0200 <tomsmeding> if you want to do embedded programming, maybe -- but I'd focus on playing with cute hardware instead
2025-09-09 15:33:39 +0200 <Guest31> Cool, I guess I'll prioritise learning C++ so I can get an embedded device programming job
2025-09-09 15:33:49 +0200 <tomsmeding> getting an arduino to do fancy things, for example
2025-09-09 15:34:03 +0200 <tomsmeding> (I know ~nothing about embedded programming :D)
2025-09-09 15:34:33 +0200 <tomsmeding> merijn: thanks for asking the appropriate question, lol
2025-09-09 15:34:51 +0200 <merijn> friends don't let friends do phds :p
2025-09-09 15:35:54 +0200 <tomsmeding> some people grow by doing a phd
2025-09-09 15:35:55 +0200Guest89(~Guest89@37.111.214.210) (Ping timeout: 250 seconds)
2025-09-09 15:35:56 +0200 <tomsmeding> _some_
2025-09-09 15:36:29 +0200 <tomsmeding> I did (am still doing -- 6 months to go), but it did also cost :p
2025-09-09 15:38:13 +0200 <Guest31> Basically wanted a research job after a phd
2025-09-09 15:39:18 +0200jespada_(~jespada@2800:a4:22ba:8000:cca7:ce4f:edb:52ec) (Ping timeout: 260 seconds)
2025-09-09 15:40:29 +0200 <tomsmeding> "research job" means: 1. teaching courses and supervising student theses; 2. applying for grants to be able to do more research; 3. finding and solving hard problems, by yourself or with collaborators; 4. writing your results up in the form of a paper with a strict page limit, having that rejected, trying again, maybe this time getting a published paper, and as a reward present your paper at a
2025-09-09 15:40:31 +0200 <tomsmeding> conference in a 25min talk, of which 5min are questions
2025-09-09 15:40:47 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 258 seconds)
2025-09-09 15:40:47 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-09-09 15:40:47 +0200 <tomsmeding> the research can be super fun, but do not forget the rest
2025-09-09 15:41:02 +0200 <tomsmeding> if you find research fun enough it can compensate for some of the other things
2025-09-09 15:41:12 +0200 <tomsmeding> but if you _only_ find (3.) interesting, then perhaps it's not such a good idea
2025-09-09 15:41:43 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-09-09 15:41:50 +0200 <darkling> That was my mistake. :)
2025-09-09 15:42:02 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-09 15:42:05 +0200 <darkling> Although 1 was quite interesting, too.
2025-09-09 15:42:06 +0200 <tomsmeding> if you'd like to spend your time building a product that people actually use, then skip academia and apply for a software development job (of some kind)
2025-09-09 15:42:25 +0200 <tomsmeding> darkling: I'm not saying that all of these are bad! I like 1 too.
2025-09-09 15:42:44 +0200 <tomsmeding> Still in my PhD so not much experience with 2, but I already know I'll hate it; 4 is so-so
2025-09-09 15:42:49 +0200jespada(~jespada@2800:a4:2242:f900:40dc:52e2:5b75:c25d) jespada
2025-09-09 15:43:35 +0200 <Guest31> Actually that sounds heavenly. Not unlike how I am governing my life now as an undergrad.
2025-09-09 15:44:16 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-09 15:44:19 +0200 <tomsmeding> do you have people in your personal circle who are doing PhDs, preferably in some kind of computer-y discipline?
2025-09-09 15:45:23 +0200 <Guest31> I studied in UCL for a while, then Dhaka for 5 years and then in Chittagong where I am doing my undergrad. No one in my circle is doing PhD but PhD inspiration comes from some members of the extended family
2025-09-09 15:45:24 +0200 <tomsmeding> also: like in any other job, academia has grumpy people who are not enjoyable to be with
2025-09-09 15:46:15 +0200 <darkling> And the usual shysters, chancers, fraudsters and climbers of the greasy pole.
2025-09-09 15:47:36 +0200 <tomsmeding> well, in any case: my point about haskell stands; choosing a career path is a complicated thing that depends very much on what you want to do, what you are good at, what is achievable given where you currently are
2025-09-09 15:49:00 +0200 <tomsmeding> if you have only a BSc in computer science, and you aren't very confident in your CS skills already, I'd recommend getting an MSc in CS or EE (electrical engineering) before trying to land a PhD
2025-09-09 15:49:57 +0200 <tomsmeding> mind that research usually has a fairly theoretical slant to things, so not only on-the-ground coding skills matter, but also your skills for grappling with abstractions, theory behind systems and languages, algorithms and algorithm design, etc.
2025-09-09 15:50:38 +0200 <tomsmeding> there is also experimental research, but that's typically still informed by theory
2025-09-09 15:50:43 +0200 <merijn> You forgot management/planning skills :p
2025-09-09 15:50:54 +0200tabaqui(~tabaqui@167.71.80.236) (Quit: WeeChat 4.6.3)
2025-09-09 15:51:03 +0200 <tomsmeding> right -- that depends on how much time your advisor has for you
2025-09-09 15:51:15 +0200 <tomsmeding> if your advisor has lots of time for you, you can learn that on the job, I think
2025-09-09 15:51:21 +0200 <tomsmeding> (at the cost of your mental energy)
2025-09-09 15:51:36 +0200 <tomsmeding> (I got lucky with my advisor)
2025-09-09 15:53:49 +0200 <tomsmeding> Guest31: hope that gave you some context; perhaps it somehow helps in finding/navigating a career path. I have to go now, good luck :)
2025-09-09 15:54:44 +0200 <Guest31> thank you, it helps a lot, i shall focus on c++ projects now I guess
2025-09-09 15:57:05 +0200Everything(~Everythin@5.248.97.251) Everything
2025-09-09 15:58:53 +0200vpan(~vpan@212.117.1.172)
2025-09-09 15:59:12 +0200vpanGuest3155
2025-09-09 15:59:20 +0200Guest3155vpan
2025-09-09 15:59:47 +0200Guest31(~Guest89@37.111.214.210) (Quit: Client closed)
2025-09-09 16:01:40 +0200user0(~user0@67.161.181.189)
2025-09-09 16:06:58 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-09-09 16:07:05 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Ping timeout: 272 seconds)
2025-09-09 16:07:27 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-09-09 16:11:21 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
2025-09-09 16:15:01 +0200plitter(~plitter@user/plitter) plitter
2025-09-09 16:16:24 +0200 <kaol> I think the real bug is somewhere in ghcjs-dom. Browsers use UTF-16 internally and it was an incidental result that the least significant byte of my "ö" test matched with latin1. When I tried it with unicode snowman instead, I got 0x03 instead which matches with UTF-16 unicode snowman's least significant byte. It's the browsers, every time. getResponseText is not up to the task apparently.
2025-09-09 16:24:26 +0200 <kaol> This is getting rather too involved for me. I'm not quite sure where I should even open an issue about this.
2025-09-09 16:25:12 +0200Square2(~Square@user/square) Square
2025-09-09 16:26:47 +0200Googulator(~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed)
2025-09-09 16:27:06 +0200Googulator(~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu)
2025-09-09 16:27:58 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds)
2025-09-09 16:29:29 +0200Square3(~Square4@user/square) (Ping timeout: 260 seconds)
2025-09-09 16:36:07 +0200 <tomsmeding> kaol: I don't have context but if you're passing a string from JS to haskell and getting only the least-significant bytes of codepoints, that sounds like a problem on the haskell side
2025-09-09 16:36:09 +0200traxex(traxex@user/traxex) traxex
2025-09-09 16:37:06 +0200kaotika(~user@user/d4q) (Quit: WeeChat 3.8)
2025-09-09 16:37:38 +0200kaotica(~user@user/d4q) d4q
2025-09-09 16:38:57 +0200 <tomsmeding> kaol: 𝅘𝅥𝅮 (U+1D161; https://tomsmeding.com/unicode#U+1D161 ) doesn't fit in two bytes
2025-09-09 16:39:15 +0200 <tomsmeding> you may try that to see if you're getting the least-significant byte of the _codepoint_ or of the UTF-16 pairs
2025-09-09 16:39:15 +0200kaotica(~user@user/d4q) (Max SendQ exceeded)
2025-09-09 16:39:52 +0200kaotica(~user@user/d4q) d4q
2025-09-09 16:39:57 +0200user0(~user0@67.161.181.189) (Changing host)
2025-09-09 16:39:57 +0200user0(~user0@user/plague) plague
2025-09-09 16:41:03 +0200kaotica(~user@user/d4q) (Max SendQ exceeded)
2025-09-09 16:41:23 +0200tromp(~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-09 16:41:41 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-09-09 16:45:57 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds)
2025-09-09 16:46:18 +0200kaotica(~user@user/d4q) d4q
2025-09-09 16:50:14 +0200 <kaol> tomsmeding: https://github.com/haskell-servant/servant-jsaddle/issues/9
2025-09-09 16:58:15 +0200 <EvanR> utf-16 strikes again
2025-09-09 16:59:23 +0200 <EvanR> oh, that issue would screw up utf-8 as well
2025-09-09 17:00:41 +0200polykernel(~polykerne@user/polykernel) polykernel
2025-09-09 17:02:54 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-09-09 17:04:13 +0200 <kaol> tomsmeding: I got "a", that is 0x61, when I tried that one.
2025-09-09 17:05:11 +0200 <EvanR> it's truncating each code unit
2025-09-09 17:05:21 +0200 <EvanR> will screw things up way before the astral plane
2025-09-09 17:05:48 +0200 <kaol> These are the moments when I regret my career choices.
2025-09-09 17:06:03 +0200mari-estel(~mari-este@user/mari-estel) mari-estel
2025-09-09 17:06:16 +0200 <EvanR> it simply needs to do a utf-16 decode which is available in many haskell libraries
2025-09-09 17:07:25 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds)
2025-09-09 17:08:40 +0200 <EvanR> like Data.Text.Encoding
2025-09-09 17:12:33 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-09-09 17:13:19 +0200 <kaol> It apparently goes through something like JSSstring and I don't think it ever hits a ByteString representation at all. And there's a coerce. I don't know if getting a ByteString to give to a regular Haskell side decoding function is an option.
2025-09-09 17:13:47 +0200 <kaol> Browsers be like.
2025-09-09 17:14:47 +0200 <EvanR> there's unpack :: JSString -> String
2025-09-09 17:15:59 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-09-09 17:16:00 +0200 <EvanR> which effectively decodes it, but going through String = [Char] might cost
2025-09-09 17:16:32 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-09-09 17:16:43 +0200 <EvanR> I don't know what you're actually trying to do so nvm
2025-09-09 17:17:20 +0200 <kaol> Decode JSON in WASM in browsers, with non-ASCII content.
2025-09-09 17:17:45 +0200 <kaol> And use servant-client to get it.
2025-09-09 17:17:54 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-09-09 17:18:14 +0200 <kaol> And preferrably not be stuck with a fork of some lower level library in pepretuity.
2025-09-09 17:19:13 +0200 <EvanR> if it gives you a JSString, is that not enough
2025-09-09 17:19:41 +0200 <kaol> That's hidden below so many layers that it's not even funny if I want to just use servant-client.
2025-09-09 17:20:00 +0200 <EvanR> :(
2025-09-09 17:24:11 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-09-09 17:25:03 +0200fp1(~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Ping timeout: 258 seconds)
2025-09-09 17:29:59 +0200 <kaol> It may be this thing: https://github.com/ghcjs/jsaddle/issues/144 Open for over a year with no fix.
2025-09-09 17:30:47 +0200 <mari-estel> huh is ghcjs still a thing?
2025-09-09 17:31:40 +0200 <kaol> Yes, though I'm using ghc wasm myself.
2025-09-09 17:32:12 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-09-09 17:32:19 +0200 <EvanR> WebSockets.hs lines 103
2025-09-09 17:32:20 +0200 <kaol> Or rather, I think it's merged in GHC project already but it needs to be compiled separately. No support for alternate backends like that in the same binary.
2025-09-09 17:33:13 +0200inline(~inline@ip-005-146-196-246.um05.pools.vodafone-ip.de) Inline
2025-09-09 17:33:31 +0200 <EvanR> a file that doesn't seem to be there
2025-09-09 17:37:03 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-09-09 17:39:55 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds)
2025-09-09 17:40:19 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
2025-09-09 17:40:51 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-09 17:46:48 +0200Square2(~Square@user/square) (Ping timeout: 260 seconds)
2025-09-09 17:46:54 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds)
2025-09-09 17:50:59 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-09-09 17:55:29 +0200tromp(~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e)
2025-09-09 17:55:31 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-09-09 17:56:51 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-09 17:56:59 +0200weary-traveler(~user@user/user363627) user363627
2025-09-09 17:57:05 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-09 17:57:50 +0200sindu(~sindu@176.75.108.200) (Ping timeout: 245 seconds)
2025-09-09 17:58:39 +0200ft(~ft@p4fc2a25a.dip0.t-ipconnect.de) ft
2025-09-09 17:59:35 +0200weary-traveler(~user@user/user363627) (Client Quit)
2025-09-09 17:59:53 +0200weary-traveler(~user@user/user363627) user363627
2025-09-09 18:01:40 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-09 18:06:12 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-09-09 18:06:33 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-09 18:07:44 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-09 18:08:20 +0200arandombit(~arandombi@user/arandombit) (Remote host closed the connection)
2025-09-09 18:10:46 +0200vpan(~vpan@212.117.1.172) (Quit: Leaving.)
2025-09-09 18:13:39 +0200sindu(~sindu@176.75.108.200)
2025-09-09 18:14:24 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-09-09 18:14:43 +0200mari36827(~mari-este@user/mari-estel) mari-estel
2025-09-09 18:16:23 +0200mari-estel(~mari-este@user/mari-estel) (Read error: Connection reset by peer)
2025-09-09 18:20:40 +0200hakutaku(~textual@chen.yukari.eu.org) (Remote host closed the connection)
2025-09-09 18:21:07 +0200hakutaku(~textual@chen.yukari.eu.org)
2025-09-09 18:25:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 18:29:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-09-09 18:33:29 +0200tromp(~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-09 18:38:43 +0200trickard_trickard
2025-09-09 18:40:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 18:42:08 +0200trickard(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-09 18:42:21 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-09 18:43:05 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-09-09 18:46:03 +0200mari36827(~mari-este@user/mari-estel) (Remote host closed the connection)
2025-09-09 18:46:31 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds)
2025-09-09 18:47:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-09 18:50:09 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
2025-09-09 18:54:20 +0200tromp(~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e)
2025-09-09 18:56:50 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-09 18:57:43 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-09-09 18:57:44 +0200kaotica(~user@user/d4q) (Ping timeout: 265 seconds)
2025-09-09 18:58:24 +0200kaotica(~user@user/d4q) d4q
2025-09-09 18:59:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 18:59:44 +0200kaotica(~user@user/d4q) (Max SendQ exceeded)
2025-09-09 19:00:24 +0200kaotica(~user@user/d4q) d4q
2025-09-09 19:03:04 +0200cherryramatisdev(~cherryram@user/cherryramatisdev) cherryramatisdev
2025-09-09 19:03:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-09 19:08:09 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
2025-09-09 19:08:16 +0200 <haskellbridge> <sm> kaol: that's not far off by the sound of things
2025-09-09 19:09:28 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-09-09 19:14:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 19:19:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 19:19:55 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 245 seconds)
2025-09-09 19:20:08 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-09-09 19:22:21 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds)
2025-09-09 19:26:28 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
2025-09-09 19:28:45 +0200tromp(~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-09 19:30:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 19:31:25 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-09-09 19:32:01 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds)
2025-09-09 19:32:23 +0200sayola(~sayola@ipservice-092-208-226-093.092.208.pools.vodafone-ip.de) sayola1
2025-09-09 19:33:00 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-09-09 19:33:15 +0200tromp(~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e)
2025-09-09 19:33:33 +0200user0(~user0@user/plague) (Ping timeout: 256 seconds)
2025-09-09 19:35:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-09 19:37:41 +0200Googulator(~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed)
2025-09-09 19:37:59 +0200Googulator(~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu)
2025-09-09 19:38:19 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-09-09 19:39:17 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-09-09 19:46:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 19:49:42 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds)
2025-09-09 19:51:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-09 20:02:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 20:02:30 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-09-09 20:07:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 20:08:06 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds)
2025-09-09 20:11:42 +0200slack1256(~slack1256@2803:c600:5111:8964:570a:cacb:20ff:ba45) slack1256
2025-09-09 20:15:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 20:19:50 +0200user0(~user0@67.161.181.189)
2025-09-09 20:20:18 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-09-09 20:22:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-09 20:24:21 +0200divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2025-09-09 20:24:41 +0200divlamir(~divlamir@user/divlamir) divlamir
2025-09-09 20:33:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 20:36:16 +0200tromp(~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-09 20:38:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 20:41:27 +0200chele(~chele@user/chele) (Remote host closed the connection)
2025-09-09 20:42:54 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-09-09 20:45:25 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-09-09 20:46:04 +0200OftenFaded66(~OftenFade@user/tisktisk) OftenFaded
2025-09-09 20:49:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 20:51:43 +0200trickard_trickard
2025-09-09 20:54:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 20:55:25 +0200Everything(~Everythin@5.248.97.251) (Quit: leaving)
2025-09-09 20:56:10 +0200target_i(~target_i@user/target-i/x-6023099) target_i
2025-09-09 21:00:01 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-09-09 21:00:41 +0200caconym747(~caconym@user/caconym) caconym
2025-09-09 21:05:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 21:10:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-09-09 21:16:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 21:16:41 +0200sprotte24(~sprotte24@p200300d16f360700bcb9dc3880c1c26e.dip0.t-ipconnect.de)
2025-09-09 21:19:22 +0200OftenFaded28(~OftenFade@user/tisktisk) OftenFaded
2025-09-09 21:21:17 +0200OftenFaded66(~OftenFade@user/tisktisk) (Ping timeout: 250 seconds)
2025-09-09 21:21:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-09 21:22:47 +0200sp1ff(~user@c-73-157-159-244.hsd1.wa.comcast.net) (Read error: Connection reset by peer)
2025-09-09 21:26:04 +0200 <slack1256> Does anybody have any luck with +RTS -pj --RTS? It produces an empty file on my end.
2025-09-09 21:27:14 +0200tromp(~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e)
2025-09-09 21:28:54 +0200Reality2point0(~Reality2p@2a02:3035:66f:546f:5e7f:a1b3:f81d:33a6)
2025-09-09 21:29:56 +0200sp1ff(~user@c-73-157-159-244.hsd1.wa.comcast.net) sp1ff
2025-09-09 21:31:38 +0200jespada(~jespada@2800:a4:2242:f900:40dc:52e2:5b75:c25d) (Ping timeout: 260 seconds)
2025-09-09 21:32:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 21:34:02 +0200jespada(~jespada@r179-25-156-56.dialup.adsl.anteldata.net.uy) jespada
2025-09-09 21:34:49 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-09-09 21:34:51 +0200 <kaol> How do I use debug flags like -ddump-rule-rewrites with cabal? I added it to my ghc-options but I'm not sure it did anything at all when I built my project.
2025-09-09 21:37:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-09 21:38:02 +0200 <geekosaur> flags that don't affect generated objects won;t trigger rebuilds; your best bet in that case is to remove dist-newstyle
2025-09-09 21:38:22 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-09 21:38:34 +0200 <geekosaur> also -ddump-to-file is IIRC enabled implicitly so the output will be under dist-newstyle
2025-09-09 21:39:06 +0200 <geekosaur> (next to the object file, with suffix matching the dump option)
2025-09-09 21:42:37 +0200 <kaol> I made a larger build and this time I saw output. I guess it works then.
2025-09-09 21:48:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 21:48:54 +0200OftenFaded28(~OftenFade@user/tisktisk) (Quit: Client closed)
2025-09-09 21:49:32 +0200__monty__(~toonn@user/toonn) toonn
2025-09-09 21:52:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-09 21:57:55 +0200tromp(~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-09 21:58:00 +0200slack1256(~slack1256@2803:c600:5111:8964:570a:cacb:20ff:ba45) (Remote host closed the connection)
2025-09-09 21:58:44 +0200 <kaol> I'm not making much sense of this. JSaddle seems to indicate that JSString should be internally the same as Data.Text. It even uses coerce to transform them like that. But somewhere along the way it makes a faulty UTF-16 to UTF-8 conversion by just using the last byte. Which works if you are on ASCII but not for anything else.
2025-09-09 22:00:51 +0200 <EvanR> JSString isn't conceptually the same as Text
2025-09-09 22:01:18 +0200 <EvanR> Text used utf-16 internally at one point and now it's utf-8 I believe
2025-09-09 22:01:35 +0200 <EvanR> either way the same way would have been for it to do a conversion
2025-09-09 22:03:20 +0200Reality2point0(~Reality2p@2a02:3035:66f:546f:5e7f:a1b3:f81d:33a6) (Quit: Client closed)
2025-09-09 22:03:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 22:04:10 +0200 <kaol> Javascript uses UTF-16 for its Strings at least. It very much looks like to me that it's doing a conversion to UTF-8 by just truncating at some point but I haven't found where.
2025-09-09 22:04:19 +0200Alleria(~Alleria@user/alleria) Alleria
2025-09-09 22:04:58 +0200Googulator(~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed)
2025-09-09 22:05:19 +0200Googulator(~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu)
2025-09-09 22:08:20 +0200tromp(~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e)