2025-09-09 00:02:41 +0200 | chele__ | (~chele@user/chele) (Remote host closed the connection) |
2025-09-09 00:03:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-09 00:11:37 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
2025-09-09 00:13:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 00:18:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-09-09 00:26:54 +0200 | davidlbowman | (~dlb@user/davidlbowman) (Ping timeout: 256 seconds) |
2025-09-09 00:29:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 00:29:48 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-09-09 00:33:02 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
2025-09-09 00:33:47 +0200 | jreicher | (~user@user/jreicher) jreicher |
2025-09-09 00:34:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-09 00:35:15 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-09-09 00:36:04 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-09-09 00:41:32 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 265 seconds) |
2025-09-09 00:42:02 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
2025-09-09 00:44:45 +0200 | Lord_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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 00:47:40 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-09-09 00:51:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-09 00:54:20 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-09-09 01:03:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 01:04:00 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-09-09 01:08:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-09 01:08:16 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
2025-09-09 01:10:51 +0200 | DavidSch__ | (~ds__38@ip-037-049-102-199.um09.pools.vodafone-ip.de) (Remote host closed the connection) |
2025-09-09 01:10:51 +0200 | DavidSch1_ | (~ds__38@ip-037-049-102-199.um09.pools.vodafone-ip.de) (Remote host closed the connection) |
2025-09-09 01:18:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 01:20:21 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-09 01:20:35 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-09-09 01:23:15 +0200 | acidjnk | (~acidjnk@p200300d6e7171966303ea6658b591e68.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2025-09-09 01:23:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-09 01:28:37 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
2025-09-09 01:28:37 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
2025-09-09 01:28:37 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-09 01:30:25 +0200 | sprotte24 | (~sprotte24@p200300d16f2d2900183abb7ac521596f.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-09-09 01:30:41 +0200 | sprotte24_ | (~sprotte24@p200300d16f2d2900183abb7ac521596f.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-09-09 01:34:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 01:35:28 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
2025-09-09 01:39:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-09 01:44:58 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
2025-09-09 01:46:30 +0200 | trickard_ | trickard |
2025-09-09 01:47:56 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 256 seconds) |
2025-09-09 01:50:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 01:53:21 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds) |
2025-09-09 01:55:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-09 01:58:24 +0200 | sindu | (~sindu@176.75.108.200) (Ping timeout: 256 seconds) |
2025-09-09 02:06:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 02:07:05 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f298:c20:d961:98c7) (Ping timeout: 265 seconds) |
2025-09-09 02:11:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-09 02:11:14 +0200 | vulpine | (xfnw@user/meow/xfnw) (Quit: Connection reset by purr) |
2025-09-09 02:12:32 +0200 | vulpine | (xfnw@user/meow/xfnw) xfnw |
2025-09-09 02:13:37 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:4ce:2be:bee:6d35) |
2025-09-09 02:14:34 +0200 | mange | (~mange@user/mange) mange |
2025-09-09 02:18:32 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
2025-09-09 02:20:07 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
2025-09-09 02:21:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 02:22:41 +0200 | otto_s | (~user@p5de2f137.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
2025-09-09 02:24:27 +0200 | otto_s | (~user@p4ff27081.dip0.t-ipconnect.de) |
2025-09-09 02:26:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-09-09 02:28:55 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 250 seconds) |
2025-09-09 02:32:01 +0200 | OftenFaded78 | (~OftenFade@user/tisktisk) (Ping timeout: 250 seconds) |
2025-09-09 02:32:51 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-09-09 02:33:05 +0200 | craunts7 | (~craunts@152.32.99.194) |
2025-09-09 02:34:23 +0200 | califax | (~califax@user/califx) califx |
2025-09-09 02:37:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 02:42:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-09 02:50:07 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
2025-09-09 02:51:40 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 256 seconds) |
2025-09-09 02:53:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 02:56:59 +0200 | Pozyomka_ | (~pyon@user/pyon) (Quit: brb) |
2025-09-09 02:57:23 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
2025-09-09 02:58:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-09-09 03:03:43 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
2025-09-09 03:05:21 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-09-09 03:08:38 +0200 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
2025-09-09 03:09:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 03:13:30 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 256 seconds) |
2025-09-09 03:13:40 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 258 seconds) |
2025-09-09 03:14:37 +0200 | CamiKase | (~CamiKase@186.22.162.212) CamiKase |
2025-09-09 03:14:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-09 03:15:43 +0200 | vetkat | (~vetkat@user/vetkat) (Ping timeout: 250 seconds) |
2025-09-09 03:16:48 +0200 | vetkat | (~vetkat@user/vetkat) vetkat |
2025-09-09 03:18:57 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:bdb4:38ba:1c1a:508b) |
2025-09-09 03:18:57 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:bdb4:38ba:1c1a:508b) (Changing host) |
2025-09-09 03:18:57 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-09 03:25:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 03:28:56 +0200 | jespada | (~jespada@2800:a4:22cd:2900:5991:e5fd:66d0:ba7f) (Ping timeout: 248 seconds) |
2025-09-09 03:30:50 +0200 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-09 03:31:04 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-09-09 03:31:18 +0200 | jespada | (~jespada@2800:a4:22ba:8000:cca7:ce4f:edb:52ec) jespada |
2025-09-09 03:32:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-09 03:33:19 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds) |
2025-09-09 03:43:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 03:47:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-09 03:50:54 +0200 | davidlbowman | (~dlb@user/davidlbowman) (Ping timeout: 256 seconds) |
2025-09-09 03:56:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 03:57:27 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-09-09 03:57:33 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
2025-09-09 04:02:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-09 04:04:45 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 250 seconds) |
2025-09-09 04:10:00 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
2025-09-09 04:11:04 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
2025-09-09 04:12:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 04:13:43 +0200 | EvanR | (~EvanR@user/evanr) (Client Quit) |
2025-09-09 04:15:17 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
2025-09-09 04:17:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-09 04:21:37 +0200 | tinjamin477 | (~tinjamin@banshee.h4x0r.space) (Quit: The Lounge - https://thelounge.chat) |
2025-09-09 04:26:25 +0200 | CamiKase | (~CamiKase@186.22.162.212) (Quit: WeeChat 4.7.1) |
2025-09-09 04:28:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 04:33:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-09 04:44:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 04:45:55 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:2d9f:6fd3:18e3:7800) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-09-09 04:46:13 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:eb80:e362:f8e1:aa2f) nschoe |
2025-09-09 04:49:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-09 04:57:27 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
2025-09-09 05:00:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 05:01:31 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 250 seconds) |
2025-09-09 05:07:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-09-09 05:09:07 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-09-09 05:09:12 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
2025-09-09 05:18:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 05:19:12 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc2:7500:64be:24c3:6006:d7a3) aforemny |
2025-09-09 05:20:17 +0200 | aforemny | (~aforemny@2001:9e8:6ce5:b600:26b8:ba8a:bff5:bad) (Ping timeout: 248 seconds) |
2025-09-09 05:23:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-09 05:24:55 +0200 | trickard_ | trickard |
2025-09-09 05:26:01 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
2025-09-09 05:28:43 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
2025-09-09 05:33:40 +0200 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 245 seconds) |
2025-09-09 05:34:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 05:36:30 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-09-09 05:37:47 +0200 | img | (~img@user/img) img |
2025-09-09 05:39:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-09 05:44:34 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
2025-09-09 05:45:53 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds) |
2025-09-09 05:50:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 05:51:19 +0200 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
2025-09-09 05:53:19 +0200 | dutchie | (~dutchie@user/dutchie) dutchie |
2025-09-09 05:55:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-09 06:05:32 +0200 | sp1ff | (~user@c-73-157-159-244.hsd1.wa.comcast.net) sp1ff |
2025-09-09 06:07:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 06:11:31 +0200 | Googulator51 | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
2025-09-09 06:12:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-09 06:15:11 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
2025-09-09 06:17:45 +0200 | user0 | (~user0@user/plague) plague |
2025-09-09 06:22:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 06:27:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-09 06:30:38 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
2025-09-09 06:33:18 +0200 | michalz | (~michalz@185.246.207.200) |
2025-09-09 06:38:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 06:39:41 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
2025-09-09 06:45:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-09-09 06:46:34 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds) |
2025-09-09 06:56:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 07:01:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-09 07:04:55 +0200 | Square2 | (~Square@user/square) (Ping timeout: 245 seconds) |
2025-09-09 07:05:52 +0200 | Square3 | (~Square4@user/square) Square |
2025-09-09 07:12:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 07:17:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-09 07:20:25 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-09-09 07:26:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 07:31:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-09 07:41:47 +0200 | user0 | (~user0@user/plague) (Ping timeout: 250 seconds) |
2025-09-09 07:41:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 07:44:57 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
2025-09-09 07:45:20 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-09-09 07:46:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
2025-09-09 07:51:35 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
2025-09-09 07:57:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 07:58:58 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-09-09 07:58:59 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
2025-09-09 08:01:59 +0200 | jathan | (~jathan@69.61.93.38) (Quit: WeeChat 2.3) |
2025-09-09 08:02:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-09-09 08:13:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 08:15:22 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
2025-09-09 08:20:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-09 08:24:01 +0200 | ubert1 | (~Thunderbi@178.165.161.196.wireless.dyn.drei.com) ubert |
2025-09-09 08:30:16 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds) |
2025-09-09 08:36:41 +0200 | alinab | (sid468903@id-468903.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
2025-09-09 08:44:14 +0200 | duckworld | (~duckworld@user/duckworld) (Read error: Connection reset by peer) |
2025-09-09 08:44:36 +0200 | duckworld | (~duckworld@user/duckworld) duckworld |
2025-09-09 08:44:56 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-09-09 08:45:20 +0200 | ljdarj | (~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 +0200 | mari85725 | (~mari-este@user/mari-estel) mari-estel |
2025-09-09 08:53:08 +0200 | jreicher | (~user@user/jreicher) (Quit: Out and about) |
2025-09-09 08:54:11 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving) |
2025-09-09 08:54:32 +0200 | mari-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 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
2025-09-09 09:00:02 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-09-09 09:00:41 +0200 | caconym747 | (~caconym@user/caconym) caconym |
2025-09-09 09:02:08 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-09-09 09:05:16 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-09-09 09:05:51 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
2025-09-09 09:07:24 +0200 | acidjnk | (~acidjnk@p200300d6e7171905303ea6658b591e68.dip0.t-ipconnect.de) acidjnk |
2025-09-09 09:08:51 +0200 | Googulator51 | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-09 09:09:04 +0200 | Googulator51 | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
2025-09-09 09:12:30 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) |
2025-09-09 09:13:35 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-09-09 09:21:39 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-09-09 09:23:03 +0200 | plitter_ | (~plitter@user/plitter) (Ping timeout: 265 seconds) |
2025-09-09 09:23:21 +0200 | sshine_ | xxhine |
2025-09-09 09:24:55 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-09-09 09:26:12 +0200 | img | (~img@user/img) img |
2025-09-09 09:28:36 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2025-09-09 09:31:38 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
2025-09-09 09:33:42 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
2025-09-09 09:33:42 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
2025-09-09 09:33:42 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-09-09 09:34:14 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-09-09 09:46:51 +0200 | ZLima12_ | (~zlima12@user/meow/ZLima12) ZLima12 |
2025-09-09 09:49:54 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds) |
2025-09-09 10:00:47 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
2025-09-09 10:03:12 +0200 | mari85725 | (~mari-este@user/mari-estel) (Ping timeout: 256 seconds) |
2025-09-09 10:03:20 +0200 | craunts7 | (~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 +0200 | chele | (~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 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
2025-09-09 10:47:13 +0200 | Googulator51 | (~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 +0200 | Googulator51 | (~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 +0200 | mari-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 +0200 | xxhine | sshine |
2025-09-09 11:09:24 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-09-09 11:11:25 +0200 | Lord_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 +0200 | Lord_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 +0200 | ZLima12 | (~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 +0200 | ZLima12_ | (~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds) |
2025-09-09 11:23:30 +0200 | tromp | (~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 +0200 | ski | nods |
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 +0200 | trickard | (~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 +0200 | trickard_ | (~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 +0200 | ZLima12_ | (~zlima12@user/meow/ZLima12) ZLima12 |
2025-09-09 11:45:46 +0200 | ZLima12 | (~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 +0200 | Googulator51 | Googulator |
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 +0200 | tromp | (~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 +0200 | ski | . 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 +0200 | tremon | (~tremon@83.80.159.219) tremon |
2025-09-09 12:13:33 +0200 | sindu | (~sindu@176.75.108.200) |
2025-09-09 12:18:03 +0200 | xff0x | (~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 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
2025-09-09 12:34:43 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 250 seconds) |
2025-09-09 12:35:20 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2025-09-09 12:36:01 +0200 | gmg | (~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 +0200 | sprotte24 | (~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 +0200 | fp1 | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) fp |
2025-09-09 12:41:13 +0200 | merijn | (~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 +0200 | forell | (~forell@user/forell) forell |
2025-09-09 12:46:58 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
2025-09-09 12:48:02 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-09 12:48:16 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-09-09 12:49:05 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-09-09 12:52:04 +0200 | sprotte24 | (~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 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
2025-09-09 13:00:21 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-09-09 13:02:05 +0200 | caconym747 | (~caconym@user/caconym) caconym |
2025-09-09 13:02:19 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
2025-09-09 13:04:57 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
2025-09-09 13:05:55 +0200 | kaotika | (~user@user/d4q) (Ping timeout: 255 seconds) |
2025-09-09 13:06:21 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-09 13:06:34 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-09-09 13:07:54 +0200 | kaotika | (~user@user/d4q) d4q |
2025-09-09 13:09:59 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-09-09 13:11:33 +0200 | glguy | (glguy@libera/staff/glguy) (Quit: Quit) |
2025-09-09 13:11:38 +0200 | glguy | (glguy@libera/staff/glguy) glguy |
2025-09-09 13:11:44 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-09-09 13:12:19 +0200 | kaotika | (~user@user/d4q) (Max SendQ exceeded) |
2025-09-09 13:14:20 +0200 | kaotika | (~user@user/d4q) d4q |
2025-09-09 13:15:55 +0200 | kaotika | (~user@user/d4q) (Max SendQ exceeded) |
2025-09-09 13:16:34 +0200 | merijn | (~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 +0200 | kaotika | (~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 +0200 | Lord_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 +0200 | xff0x | (~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 +0200 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
2025-09-09 13:36:50 +0200 | kaotika | (~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 +0200 | kaotika | (~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 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-09 13:39:33 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
2025-09-09 13:39:48 +0200 | kaotika | (~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 +0200 | kaotika | (~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 +0200 | kaotika | (~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 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-09-09 13:45:40 +0200 | kaotika | (~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 +0200 | kaotika | (~user@user/d4q) (Max SendQ exceeded) |
2025-09-09 13:49:38 +0200 | kaotika | (~user@user/d4q) d4q |
2025-09-09 13:50:57 +0200 | kaotika | (~user@user/d4q) (Max SendQ exceeded) |
2025-09-09 13:51:39 +0200 | kaotika | (~user@user/d4q) d4q |
2025-09-09 13:52:47 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-09-09 13:59:05 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-09 14:00:53 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-09-09 14:02:25 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds) |
2025-09-09 14:03:19 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-09 14:07:00 +0200 | kaotika | (~user@user/d4q) (Ping timeout: 245 seconds) |
2025-09-09 14:08:18 +0200 | kaotika | (~user@user/d4q) d4q |
2025-09-09 14:11:07 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
2025-09-09 14:12:25 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-09-09 14:12:38 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
2025-09-09 14:13:44 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-09 14:19:45 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-09-09 14:25:00 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
2025-09-09 14:25:17 +0200 | jreicher | (~user@user/jreicher) jreicher |
2025-09-09 14:25:32 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-09 14:29:41 +0200 | inline | (~inline@ip-005-146-196-246.um05.pools.vodafone-ip.de) (Quit: Leaving) |
2025-09-09 14:33:26 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
2025-09-09 14:33:44 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-09-09 14:39:09 +0200 | kaotika | (~user@user/d4q) (Ping timeout: 265 seconds) |
2025-09-09 14:41:54 +0200 | kaotika | (~user@user/d4q) d4q |
2025-09-09 14:49:59 +0200 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
2025-09-09 14:50:26 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2025-09-09 14:50:42 +0200 | mange | (~mange@user/mange) (Quit: Zzz...) |
2025-09-09 14:51:13 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-09-09 14:51:24 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-09-09 15:00:38 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
2025-09-09 15:03:22 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-09-09 15:03:48 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) |
2025-09-09 15:09:09 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-09 15:09:22 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-09-09 15:10:51 +0200 | kaotika | (~user@user/d4q) (Ping timeout: 252 seconds) |
2025-09-09 15:11:52 +0200 | kaotika | (~user@user/d4q) d4q |
2025-09-09 15:13:45 +0200 | qqe | (~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 +0200 | Guest89 | (~Guest89@37.111.214.210) |
2025-09-09 15:19:49 +0200 | jespada_ | (~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 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-09-09 15:22:39 +0200 | jespada | (~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 +0200 | kaotika | (~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 +0200 | kaotika | (~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 +0200 | Lycurgus | (~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 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
2025-09-09 15:32:01 +0200 | Guest31 | (~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 +0200 | Guest89 | (~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 +0200 | jespada_ | (~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 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 258 seconds) |
2025-09-09 15:40:47 +0200 | pavonia | (~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 +0200 | chromoblob | (~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 +0200 | chromoblob | (~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 +0200 | jespada | (~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 +0200 | merijn | (~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 +0200 | tabaqui | (~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 +0200 | Everything | (~Everythin@5.248.97.251) Everything |
2025-09-09 15:58:53 +0200 | vpan | (~vpan@212.117.1.172) |
2025-09-09 15:59:12 +0200 | vpan | Guest3155 |
2025-09-09 15:59:20 +0200 | Guest3155 | vpan |
2025-09-09 15:59:47 +0200 | Guest31 | (~Guest89@37.111.214.210) (Quit: Client closed) |
2025-09-09 16:01:40 +0200 | user0 | (~user0@67.161.181.189) |
2025-09-09 16:06:58 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-09-09 16:07:05 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 272 seconds) |
2025-09-09 16:07:27 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-09-09 16:11:21 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-09-09 16:15:01 +0200 | plitter | (~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 +0200 | Square2 | (~Square@user/square) Square |
2025-09-09 16:26:47 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-09 16:27:06 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
2025-09-09 16:27:58 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
2025-09-09 16:29:29 +0200 | Square3 | (~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 +0200 | traxex | (traxex@user/traxex) traxex |
2025-09-09 16:37:06 +0200 | kaotika | (~user@user/d4q) (Quit: WeeChat 3.8) |
2025-09-09 16:37:38 +0200 | kaotica | (~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 +0200 | kaotica | (~user@user/d4q) (Max SendQ exceeded) |
2025-09-09 16:39:52 +0200 | kaotica | (~user@user/d4q) d4q |
2025-09-09 16:39:57 +0200 | user0 | (~user0@67.161.181.189) (Changing host) |
2025-09-09 16:39:57 +0200 | user0 | (~user0@user/plague) plague |
2025-09-09 16:41:03 +0200 | kaotica | (~user@user/d4q) (Max SendQ exceeded) |
2025-09-09 16:41:23 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-09-09 16:41:41 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
2025-09-09 16:45:57 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
2025-09-09 16:46:18 +0200 | kaotica | (~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 +0200 | polykernel | (~polykerne@user/polykernel) polykernel |
2025-09-09 17:02:54 +0200 | segfaultfizzbuzz | (~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 +0200 | mari-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 +0200 | segfaultfizzbuzz | (~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 +0200 | Lord_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 +0200 | Lord_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 +0200 | ttybitnik | (~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 +0200 | merijn | (~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 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
2025-09-09 17:25:03 +0200 | fp1 | (~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 +0200 | ljdarj | (~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 +0200 | inline | (~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 +0200 | Lord_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 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds) |
2025-09-09 17:40:19 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-09-09 17:40:51 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-09 17:46:48 +0200 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
2025-09-09 17:46:54 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
2025-09-09 17:50:59 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
2025-09-09 17:55:29 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) |
2025-09-09 17:55:31 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-09-09 17:56:51 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-09 17:56:59 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-09-09 17:57:05 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-09-09 17:57:50 +0200 | sindu | (~sindu@176.75.108.200) (Ping timeout: 245 seconds) |
2025-09-09 17:58:39 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) ft |
2025-09-09 17:59:35 +0200 | weary-traveler | (~user@user/user363627) (Client Quit) |
2025-09-09 17:59:53 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-09-09 18:01:40 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-09 18:06:12 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
2025-09-09 18:06:33 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-09 18:07:44 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-09-09 18:08:20 +0200 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
2025-09-09 18:10:46 +0200 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
2025-09-09 18:13:39 +0200 | sindu | (~sindu@176.75.108.200) |
2025-09-09 18:14:24 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-09-09 18:14:43 +0200 | mari36827 | (~mari-este@user/mari-estel) mari-estel |
2025-09-09 18:16:23 +0200 | mari-estel | (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
2025-09-09 18:20:40 +0200 | hakutaku | (~textual@chen.yukari.eu.org) (Remote host closed the connection) |
2025-09-09 18:21:07 +0200 | hakutaku | (~textual@chen.yukari.eu.org) |
2025-09-09 18:25:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 18:29:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-09-09 18:33:29 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-09-09 18:38:43 +0200 | trickard_ | trickard |
2025-09-09 18:40:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 18:42:08 +0200 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-09 18:42:21 +0200 | trickard_ | (~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 +0200 | mari36827 | (~mari-este@user/mari-estel) (Remote host closed the connection) |
2025-09-09 18:46:31 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
2025-09-09 18:47:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-09 18:50:09 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-09-09 18:54:20 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) |
2025-09-09 18:56:50 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
2025-09-09 18:57:43 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-09-09 18:57:44 +0200 | kaotica | (~user@user/d4q) (Ping timeout: 265 seconds) |
2025-09-09 18:58:24 +0200 | kaotica | (~user@user/d4q) d4q |
2025-09-09 18:59:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 18:59:44 +0200 | kaotica | (~user@user/d4q) (Max SendQ exceeded) |
2025-09-09 19:00:24 +0200 | kaotica | (~user@user/d4q) d4q |
2025-09-09 19:03:04 +0200 | cherryramatisdev | (~cherryram@user/cherryramatisdev) cherryramatisdev |
2025-09-09 19:03:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-09 19:08:09 +0200 | segfaultfizzbuzz | (~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 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
2025-09-09 19:14:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 19:19:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-09 19:19:55 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 245 seconds) |
2025-09-09 19:20:08 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2025-09-09 19:22:21 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
2025-09-09 19:26:28 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-09-09 19:28:45 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-09-09 19:30:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 19:31:25 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2025-09-09 19:32:01 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds) |
2025-09-09 19:32:23 +0200 | sayola | (~sayola@ipservice-092-208-226-093.092.208.pools.vodafone-ip.de) sayola1 |
2025-09-09 19:33:00 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-09-09 19:33:15 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) |
2025-09-09 19:33:33 +0200 | user0 | (~user0@user/plague) (Ping timeout: 256 seconds) |
2025-09-09 19:35:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-09 19:37:41 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-09 19:37:59 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
2025-09-09 19:38:19 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-09-09 19:39:17 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-09-09 19:46:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 19:49:42 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
2025-09-09 19:51:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-09-09 20:02:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 20:02:30 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
2025-09-09 20:07:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-09 20:08:06 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
2025-09-09 20:11:42 +0200 | slack1256 | (~slack1256@2803:c600:5111:8964:570a:cacb:20ff:ba45) slack1256 |
2025-09-09 20:15:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 20:19:50 +0200 | user0 | (~user0@67.161.181.189) |
2025-09-09 20:20:18 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-09-09 20:22:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-09 20:24:21 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
2025-09-09 20:24:41 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
2025-09-09 20:33:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 20:36:16 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-09-09 20:38:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-09 20:41:27 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2025-09-09 20:42:54 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-09-09 20:45:25 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2025-09-09 20:46:04 +0200 | OftenFaded66 | (~OftenFade@user/tisktisk) OftenFaded |
2025-09-09 20:49:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-09 20:51:43 +0200 | trickard_ | trickard |
2025-09-09 20:54:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-09 20:55:25 +0200 | Everything | (~Everythin@5.248.97.251) (Quit: leaving) |
2025-09-09 20:56:10 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-09-09 21:00:01 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
2025-09-09 21:00:41 +0200 | caconym747 | (~caconym@user/caconym) caconym |
2025-09-09 21:05:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |