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? |