2025/09/09

2025-09-09 00:02:41 +0200chele__(~chele@user/chele) (Remote host closed the connection)
2025-09-09 00:03:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-09 00:11:37 +0200Googulator(~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) (Ping timeout: 250 seconds)
2025-09-09 00:13:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 00:18:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-09 00:26:54 +0200davidlbowman(~dlb@user/davidlbowman) (Ping timeout: 256 seconds)
2025-09-09 00:29:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 00:29:48 +0200tromp(~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-09 00:33:02 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection)
2025-09-09 00:33:47 +0200jreicher(~user@user/jreicher) jreicher
2025-09-09 00:34:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 00:35:15 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-09-09 00:36:04 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-09-09 00:41:32 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 265 seconds)
2025-09-09 00:42:02 +0200tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-09-09 00:44:45 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-09-09 00:45:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 00:47:40 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-09-09 00:51:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-09 00:54:20 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-09-09 01:03:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 01:04:00 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-09-09 01:08:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 01:08:16 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-09 01:10:51 +0200DavidSch__(~ds__38@ip-037-049-102-199.um09.pools.vodafone-ip.de) (Remote host closed the connection)
2025-09-09 01:10:51 +0200DavidSch1_(~ds__38@ip-037-049-102-199.um09.pools.vodafone-ip.de) (Remote host closed the connection)
2025-09-09 01:18:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 01:20:21 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-09 01:20:35 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-09 01:23:15 +0200acidjnk(~acidjnk@p200300d6e7171966303ea6658b591e68.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-09-09 01:23:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-09 01:28:37 +0200arandombit(~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc)
2025-09-09 01:28:37 +0200arandombit(~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host)
2025-09-09 01:28:37 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-09 01:30:25 +0200sprotte24(~sprotte24@p200300d16f2d2900183abb7ac521596f.dip0.t-ipconnect.de) (Quit: Leaving)
2025-09-09 01:30:41 +0200sprotte24_(~sprotte24@p200300d16f2d2900183abb7ac521596f.dip0.t-ipconnect.de) (Quit: Leaving)
2025-09-09 01:34:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 01:35:28 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-09 01:39:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-09 01:44:58 +0200Googulator(~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu)
2025-09-09 01:46:30 +0200trickard_trickard
2025-09-09 01:47:56 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 256 seconds)
2025-09-09 01:50:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 01:53:21 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds)
2025-09-09 01:55:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-09 01:58:24 +0200sindu(~sindu@176.75.108.200) (Ping timeout: 256 seconds)
2025-09-09 02:06:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 02:07:05 +0200xff0x(~xff0x@2405:6580:b080:900:f298:c20:d961:98c7) (Ping timeout: 265 seconds)
2025-09-09 02:11:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 02:11:14 +0200vulpine(xfnw@user/meow/xfnw) (Quit: Connection reset by purr)
2025-09-09 02:12:32 +0200vulpine(xfnw@user/meow/xfnw) xfnw
2025-09-09 02:13:37 +0200arandombit(~arandombi@2603:7000:4600:ffbe:4ce:2be:bee:6d35)
2025-09-09 02:14:34 +0200mange(~mange@user/mange) mange
2025-09-09 02:18:32 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-09 02:20:07 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-09 02:21:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 02:22:41 +0200otto_s(~user@p5de2f137.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
2025-09-09 02:24:27 +0200otto_s(~user@p4ff27081.dip0.t-ipconnect.de)
2025-09-09 02:26:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-09 02:28:55 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 250 seconds)
2025-09-09 02:32:01 +0200OftenFaded78(~OftenFade@user/tisktisk) (Ping timeout: 250 seconds)
2025-09-09 02:32:51 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-09 02:33:05 +0200craunts7(~craunts@152.32.99.194)
2025-09-09 02:34:23 +0200califax(~califax@user/califx) califx
2025-09-09 02:37:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 02:42:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 02:50:07 +0200poscat0x04(~poscat@user/poscat) poscat
2025-09-09 02:51:40 +0200poscat(~poscat@user/poscat) (Ping timeout: 256 seconds)
2025-09-09 02:53:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 02:56:59 +0200Pozyomka_(~pyon@user/pyon) (Quit: brb)
2025-09-09 02:57:23 +0200Pozyomka(~pyon@user/pyon) pyon
2025-09-09 02:58:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-09 03:03:43 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-09 03:05:21 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-09-09 03:08:38 +0200davidlbowman(~dlb@user/davidlbowman) davidlbowman
2025-09-09 03:09:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 03:13:30 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 256 seconds)
2025-09-09 03:13:40 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 258 seconds)
2025-09-09 03:14:37 +0200CamiKase(~CamiKase@186.22.162.212) CamiKase
2025-09-09 03:14:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 03:15:43 +0200vetkat(~vetkat@user/vetkat) (Ping timeout: 250 seconds)
2025-09-09 03:16:48 +0200vetkat(~vetkat@user/vetkat) vetkat
2025-09-09 03:18:57 +0200arandombit(~arandombi@2603:7000:4600:ffbe:bdb4:38ba:1c1a:508b)
2025-09-09 03:18:57 +0200arandombit(~arandombi@2603:7000:4600:ffbe:bdb4:38ba:1c1a:508b) (Changing host)
2025-09-09 03:18:57 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-09 03:25:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 03:28:56 +0200jespada(~jespada@2800:a4:22cd:2900:5991:e5fd:66d0:ba7f) (Ping timeout: 248 seconds)
2025-09-09 03:30:50 +0200trickard(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-09 03:31:04 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-09 03:31:18 +0200jespada(~jespada@2800:a4:22ba:8000:cca7:ce4f:edb:52ec) jespada
2025-09-09 03:32:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 03:33:19 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds)
2025-09-09 03:43:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 03:47:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-09 03:50:54 +0200davidlbowman(~dlb@user/davidlbowman) (Ping timeout: 256 seconds)
2025-09-09 03:56:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 03:57:27 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-09-09 03:57:33 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-09-09 04:02:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 04:04:45 +0200LainIwakura(~LainIwaku@user/LainIwakura) (Ping timeout: 250 seconds)
2025-09-09 04:10:00 +0200EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2025-09-09 04:11:04 +0200EvanR(~EvanR@user/evanr) EvanR
2025-09-09 04:12:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 04:13:43 +0200EvanR(~EvanR@user/evanr) (Client Quit)
2025-09-09 04:15:17 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-09-09 04:17:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 04:21:37 +0200tinjamin477(~tinjamin@banshee.h4x0r.space) (Quit: The Lounge - https://thelounge.chat)
2025-09-09 04:26:25 +0200CamiKase(~CamiKase@186.22.162.212) (Quit: WeeChat 4.7.1)
2025-09-09 04:28:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 04:33:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 04:44:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 04:45:55 +0200nschoe(~nschoe@2a01:e0a:8e:a190:2d9f:6fd3:18e3:7800) (Quit: ZNC 1.8.2 - https://znc.in)
2025-09-09 04:46:13 +0200nschoe(~nschoe@2a01:e0a:8e:a190:eb80:e362:f8e1:aa2f) nschoe
2025-09-09 04:49:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-09 04:57:27 +0200EvanR(~EvanR@user/evanr) EvanR
2025-09-09 05:00:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 05:01:31 +0200LainIwakura(~LainIwaku@user/LainIwakura) (Ping timeout: 250 seconds)
2025-09-09 05:07:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-09 05:09:07 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-09-09 05:09:12 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2025-09-09 05:18:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 05:19:12 +0200aforemny_(~aforemny@2001:9e8:6cc2:7500:64be:24c3:6006:d7a3) aforemny
2025-09-09 05:20:17 +0200aforemny(~aforemny@2001:9e8:6ce5:b600:26b8:ba8a:bff5:bad) (Ping timeout: 248 seconds)
2025-09-09 05:23:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 05:24:55 +0200trickard_trickard
2025-09-09 05:26:01 +0200EvanR(~EvanR@user/evanr) (Quit: Leaving)
2025-09-09 05:28:43 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-09 05:33:40 +0200gorignak(~gorignak@user/gorignak) (Ping timeout: 245 seconds)
2025-09-09 05:34:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 05:36:30 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-09-09 05:37:47 +0200img(~img@user/img) img
2025-09-09 05:39:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 05:44:34 +0200EvanR(~EvanR@user/evanr) EvanR
2025-09-09 05:45:53 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds)
2025-09-09 05:50:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 05:51:19 +0200dutchie(~dutchie@user/dutchie) (Remote host closed the connection)
2025-09-09 05:53:19 +0200dutchie(~dutchie@user/dutchie) dutchie
2025-09-09 05:55:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 06:05:32 +0200sp1ff(~user@c-73-157-159-244.hsd1.wa.comcast.net) sp1ff
2025-09-09 06:07:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 06:11:31 +0200Googulator51(~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu)
2025-09-09 06:12:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 06:15:11 +0200Googulator(~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Ping timeout: 250 seconds)
2025-09-09 06:17:45 +0200user0(~user0@user/plague) plague
2025-09-09 06:22:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 06:27:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-09 06:30:38 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-09-09 06:33:18 +0200michalz(~michalz@185.246.207.200)
2025-09-09 06:38:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 06:39:41 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-09 06:45:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-09 06:46:34 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds)
2025-09-09 06:56:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 07:01:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-09 07:04:55 +0200Square2(~Square@user/square) (Ping timeout: 245 seconds)
2025-09-09 07:05:52 +0200Square3(~Square4@user/square) Square
2025-09-09 07:12:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 07:17:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-09 07:20:25 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-09-09 07:26:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 07:31:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-09 07:41:47 +0200user0(~user0@user/plague) (Ping timeout: 250 seconds)
2025-09-09 07:41:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 07:44:57 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2025-09-09 07:45:20 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-09-09 07:46:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-09-09 07:51:35 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-09-09 07:57:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 07:58:58 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
2025-09-09 07:58:59 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-09-09 08:01:59 +0200jathan(~jathan@69.61.93.38) (Quit: WeeChat 2.3)
2025-09-09 08:02:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-09 08:13:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-09 08:15:22 +0200mari-estel(~mari-este@user/mari-estel) mari-estel
2025-09-09 08:20:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-09 08:24:01 +0200ubert1(~Thunderbi@178.165.161.196.wireless.dyn.drei.com) ubert
2025-09-09 08:30:16 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds)
2025-09-09 08:36:41 +0200alinab(sid468903@id-468903.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2025-09-09 08:44:14 +0200duckworld(~duckworld@user/duckworld) (Read error: Connection reset by peer)
2025-09-09 08:44:36 +0200duckworld(~duckworld@user/duckworld) duckworld
2025-09-09 08:44:56 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-09-09 08:45:20 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-09-09 08:47:52 +0200[exa](~exa@2001:15e8:110:7d00::117) (Remote host closed the connection)
2025-09-09 08:52:02 +0200mari85725(~mari-este@user/mari-estel) mari-estel
2025-09-09 08:53:08 +0200jreicher(~user@user/jreicher) (Quit: Out and about)
2025-09-09 08:54:11 +0200ft(~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving)
2025-09-09 08:54:32 +0200mari-estel(~mari-este@user/mari-estel) (Ping timeout: 265 seconds)
2025-09-09 08:56:20 +0200[exa](~exa@user/exa/x-3587197) [exa]
2025-09-09 09:00:00 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-09-09 09:00:02 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-09-09 09:00:41 +0200caconym747(~caconym@user/caconym) caconym
2025-09-09 09:02:08 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-09-09 09:05:16 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-09 09:05:51 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds)
2025-09-09 09:07:24 +0200acidjnk(~acidjnk@p200300d6e7171905303ea6658b591e68.dip0.t-ipconnect.de) acidjnk
2025-09-09 09:08:51 +0200Googulator51(~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed)
2025-09-09 09:09:04 +0200Googulator51(~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu)
2025-09-09 09:12:30 +0200tromp(~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e)
2025-09-09 09:13:35 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-09-09 09:21:39 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-09-09 09:23:03 +0200plitter_(~plitter@user/plitter) (Ping timeout: 265 seconds)
2025-09-09 09:23:21 +0200sshine_xxhine
2025-09-09 09:24:55 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-09-09 09:26:12 +0200img(~img@user/img) img
2025-09-09 09:28:36 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-09-09 09:31:38 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2025-09-09 09:33:42 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-09-09 09:33:42 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-09-09 09:33:42 +0200haritz(~hrtz@user/haritz) haritz
2025-09-09 09:34:14 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-09 09:46:51 +0200ZLima12_(~zlima12@user/meow/ZLima12) ZLima12
2025-09-09 09:49:54 +0200ZLima12(~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds)
2025-09-09 10:00:47 +0200mari-estel(~mari-este@user/mari-estel) mari-estel
2025-09-09 10:03:12 +0200mari85725(~mari-este@user/mari-estel) (Ping timeout: 256 seconds)
2025-09-09 10:03:20 +0200craunts7(~craunts@152.32.99.194) (Quit: The Lounge - https://thelounge.chat)
2025-09-09 10:13:45 +0200 <ggVGc> We have a book club at work, and our main development languages are Scala and TS. The others don't have that much experience in general with strong typing and powerful type systems, and only me and one other person really knows Scala "well". I would like propose a book which tackles type system things and basic type theory, without being too hardcore for the book club. Any advice?
2025-09-09 10:14:26 +0200 <ggVGc> Haskell based book would be fine, as long as it doesn't start with "let's discuss a monad"
2025-09-09 10:15:02 +0200 <ggVGc> I'm thinking something like SICP but for type systems, I guess
2025-09-09 10:16:04 +0200 <sm> maybe one of these: https://www.extrema.is/articles/haskell-books > design ?
2025-09-09 10:17:39 +0200 <merijn> ggVGc: How hardcore do you wanna go?
2025-09-09 10:19:00 +0200 <sm> tcard__ it's confusing having Author: Travis Cardwell on every book page, right above the book's published date, additional to the actual book authors on the left
2025-09-09 10:20:08 +0200 <merijn> oh, wait, you wanted "not to hardcore"
2025-09-09 10:20:44 +0200 <sm> (and/or one of these: https://www.extrema.is/articles/haskell-books > implementation)
2025-09-09 10:21:33 +0200chele(~chele@user/chele) chele
2025-09-09 10:25:19 +0200 <sm> pretty good reviews for this one: https://www.goodreads.com/book/show/112252.Types_and_Programming_Languages
2025-09-09 10:28:41 +0200 <merijn> I was gonna say TaPL, but I would call that rather hardcore :p
2025-09-09 10:40:48 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds)
2025-09-09 10:47:13 +0200Googulator51(~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed)
2025-09-09 10:47:20 +0200 <[exa]> ggVGc: /me votes for girard
2025-09-09 10:47:35 +0200Googulator51(~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu)
2025-09-09 10:50:35 +0200 <ggVGc> merijn: yeah, as not-hardcore as possible basically, while still being not-crap :)
2025-09-09 10:50:39 +0200 <ggVGc> thanks for the suggestions!
2025-09-09 10:53:28 +0200mari-estel(~mari-este@user/mari-estel) (Remote host closed the connection)
2025-09-09 11:05:25 +0200 <ski> hm, there's one "Thinking with Types: Type-Level Programming Haskell" by Sandy Maguire in 2019-01-10 at <https://thinkingwithtypes.com/>,<https://leanpub.com/thinking-with-types/>
2025-09-09 11:05:46 +0200 <ski> (i haven't read it)
2025-09-09 11:07:27 +0200 <haskellbridge> <sm> https://www.extrema.is/articles/haskell-books/thinking-with-types - maybe that one should have the design tag tcard__ ?
2025-09-09 11:09:05 +0200xxhinesshine
2025-09-09 11:09:24 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-09-09 11:11:25 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-09-09 11:12:16 +0200 <ski> ggVGc : "Polymorphic Type Inference" by Michael I. Schwartzbach in 1995-03 at <https://cs.au.dk/~amoeller/mis/typeinf.pdf> might be worth checking out (not a book, though, just a paper (intended to be more introductory/tutorial). with some exercises)
2025-09-09 11:12:48 +0200 <ski> there's also "On Understanding Types, Data Abstraction, and Polymorphism" by Luca Cardelli,Peter Wegner in 1985-12 at <http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf>, and "On Understanding Data Abstraction, Revisited" by William R. Cook in 2009-10 at <https://www.cs.utexas.edu/~wcook/Drafts/2009/essay.pdf>
2025-09-09 11:13:20 +0200 <merijn> ggVGc: Also, Scala 2 or 3?
2025-09-09 11:15:29 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-09-09 11:18:49 +0200 <ggVGc> merijn: 3, fortunately, but unfortunately the existing code uses Akka without really undrstanding/liking actors, so it's basically just used as a http router
2025-09-09 11:19:08 +0200 <ggVGc> while other concurrency stuff is done in good ol java way, but in scala
2025-09-09 11:19:17 +0200 <ggVGc> with locking queues etc
2025-09-09 11:19:27 +0200 <Franciman> [exa]: i'm studying automated deduction for ontologies. which book by girard?
2025-09-09 11:19:34 +0200 <Franciman> (two unrelated things)
2025-09-09 11:20:01 +0200 <ggVGc> Franciman: so.... rdf?
2025-09-09 11:20:12 +0200 <Franciman> rdf and OWL
2025-09-09 11:20:27 +0200ZLima12(~zlima12@user/meow/ZLima12) ZLima12
2025-09-09 11:20:27 +0200 <ggVGc> sounds a lot like my job :)
2025-09-09 11:21:24 +0200 <Franciman> what's your job?
2025-09-09 11:22:39 +0200ZLima12_(~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds)
2025-09-09 11:23:30 +0200tromp(~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-09 11:23:36 +0200 <ski> i wonder about "The Little Typer" by Daniel P. Friedman,David Thrane Christiansen in 2018 at <https://thelittletyper.com/>,<https://www.amazon.com/Little-Typer-MIT-Press/dp/0262536439>,<https://mitpress.mit.edu/9780262536431/the-little-typer/>,<https://felleisen.org/matthias/BTypist-index.html>
2025-09-09 11:24:28 +0200 <ggVGc> Franciman: Basically building this, https://data.icos-cp.eu/portal/. I started fairly recently (dec last year), and have been on parental leave since May, and am back on 20% since last month, so have not been part of much of what's there yet. But, there's a lot of work to be done :) https://github.com/ICOS-Carbon-Portal/meta
2025-09-09 11:24:50 +0200 <ggVGc> Franciman: my main goal right now is to replace out RDF datastore with SQL+Ontop, actually.
2025-09-09 11:25:26 +0200 <ggVGc> because right now we have a custom index, and custom SPQRQL query rewriting, and it's a bit of a mess imo, and seems to currently also have consistency issues.
2025-09-09 11:25:35 +0200 <ski> Franciman : perhaps "Proofs and Types" by Jean-Yves Girard (Translated and with appendices by Paul Taylor,Yves Lafont) in 1989,1990,2003 at <https://www.paultaylor.eu/stable/prot.pdf>
2025-09-09 11:25:50 +0200 <tcard__> sm: Regarding the author confusion, thanks for the feedback. I am making a note. I implemented that Haskell books content using my articles system, but it is indeed not a great match. I hope to improve it in the future.
2025-09-09 11:26:33 +0200 <ggVGc> ski: you bring up a good idea of suggesting to the book club that we can sometimes read shorter papers and discuss them. Will try to see if that flies
2025-09-09 11:26:47 +0200 <ggVGc> I would almost prefer a "paper group" rather than a book club, I think
2025-09-09 11:27:02 +0200 <ggVGc> smaller investment, covering more ground
2025-09-09 11:27:03 +0200 <ski> ggVGc : i'd think the Schwartzbach paper, at least, would be worth looking into
2025-09-09 11:27:40 +0200 <ski> it includes some info that most papers on type systems assumes, but does not state outright
2025-09-09 11:28:13 +0200 <merijn> ggVGc: At least 3 has rank2 types :>
2025-09-09 11:28:29 +0200 <ggVGc> haha, oh man, I'd heard about The little typer, but starting to talk about dependent types seems a bit too soon for this group
2025-09-09 11:28:35 +0200 <ggVGc> I may want to read it personally though...
2025-09-09 11:28:47 +0200 <ski> yea, i haven't seen "The Little Typer", either
2025-09-09 11:28:48 +0200 <ggVGc> But I have 4mo old twins now, so maybe in... 10 years?
2025-09-09 11:30:31 +0200 <ski> but that series (see <https://felleisen.org/matthias/BTLS-index.html>. also apparently <https://www.thelittlelearner.com/>) has an interesting didactive approach, with examples and exercises
2025-09-09 11:30:52 +0200 <ggVGc> merijn: yeah, but it also has this, https://docs.scala-lang.org/scala3/reference/other-new-features/indentation.html. So, you know, win some lose some.
2025-09-09 11:31:27 +0200 <ski> if the "Thinking with Types" is not too advanced (not sure), might be useful as well
2025-09-09 11:31:47 +0200 <ggVGc> I know that is a controversial statement in #haskell (about significant indentation). But, I think it works very poorly in Scala.
2025-09-09 11:31:50 +0200 <ggVGc> being added on like that
2025-09-09 11:31:55 +0200 <ski> merijn : but not higher rank ?
2025-09-09 11:32:30 +0200 <ggVGc> actually not a huge fan of significant whitespace in Haskell either, but it works out alright most of the time
2025-09-09 11:32:41 +0200 <ggVGc> without the type system it would be a disaster
2025-09-09 11:33:06 +0200 <merijn> ski: I'm not sure if it supports higher rank, I'm still in the business of migrating us from 2 to 3 :)
2025-09-09 11:33:17 +0200 <merijn> And I've only needed/wanted rank2 so far
2025-09-09 11:33:55 +0200 <ski> mm, looks like it introduces layout block, more generally, than just after a few keywords (as in Haskell) ?
2025-09-09 11:34:01 +0200skinods
2025-09-09 11:34:04 +0200 <Franciman> ggVGc: can I pm you?
2025-09-09 11:34:05 +0200 <ggVGc> yeah
2025-09-09 11:34:08 +0200 <ggVGc> Franciman: sure
2025-09-09 11:34:21 +0200 <ski> ggVGc : hm, i'm not seeing how the types are related to layout ?
2025-09-09 11:34:30 +0200 <ggVGc> ski: I definitely do not like it, but the person who wrote most of the code I'm currently working on does like it.
2025-09-09 11:34:55 +0200 <ski> i guess, if you don't get the nesting structure you intend, you're more likely to get a type (or scope) error ?
2025-09-09 11:35:28 +0200 <ggVGc> ski: yo umean about my statement regarding haskell? I mean that, with a powerful language like Haskell where you can write very terse code, if you don't also have the type system helping you out, things subtle indentation errors can become major difficulties
2025-09-09 11:35:40 +0200 <ski> ggVGc : it kinda reminds me of the various SRFIs for indentation-based nesting syntax, for Scheme (which, afaik, none has really caught on much at all)
2025-09-09 11:36:00 +0200 <ski> ggVGc : "without the type system it would be a disaster" specifically
2025-09-09 11:36:02 +0200 <arahael> merijn: Hey, I am curious about the code in posix-pty, why is it not possible to get the pty's Fd?
2025-09-09 11:36:15 +0200 <arahael> merijn: (It's not important, I'm just curious)
2025-09-09 11:37:11 +0200 <ggVGc> ski: well, I've had situations in Haskell where I get a type error I find super odd and can't easily see why it's happening, and then I realise it's because I've messed up an application of something, sometimes because of messed up indentation
2025-09-09 11:37:25 +0200 <merijn> arahael: because it's code I wrote in 2013 when I barely new Haskell and never gotten around to actually using it for what I wrote it :p
2025-09-09 11:37:27 +0200 <ggVGc> and if I didn't have the type system, I'd get some strange runtime error instead
2025-09-09 11:37:29 +0200 <ggVGc> which would be a lot worse
2025-09-09 11:37:34 +0200 <arahael> merijn: Heh, fair enough!
2025-09-09 11:37:35 +0200 <ggVGc> could*
2025-09-09 11:37:47 +0200 <merijn> arahael: So there wasn't much specific thought going into it
2025-09-09 11:38:06 +0200 <arahael> merijn: Nice, so you were probably trying to do data/implementation hiding and all that good stuff.
2025-09-09 11:38:08 +0200 <merijn> arahael: I think it's mostly to prevent construction of Pty from random Fd
2025-09-09 11:38:14 +0200trickard(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-09 11:38:24 +0200 <merijn> But I didn't think to need to project the Fd
2025-09-09 11:38:28 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-09 11:38:38 +0200 <arahael> Ah, and I was trying to get the Fd from the Pty, so that I could ask it to see if there was data without blocking on it.
2025-09-09 11:38:43 +0200 <ggVGc> ski: but, what I very much dislike about the Scala3 significant indentation is that 'foo:\n\t123' means foo(123).
2025-09-09 11:38:46 +0200 <ggVGc> that is horrible
2025-09-09 11:38:52 +0200 <arahael> As it turns out there was another way to do it so no biggie.
2025-09-09 11:39:15 +0200 <arahael> (The other way being to spawn a thread anyway. And I've been learning about threads in Haskell as a consequence!)
2025-09-09 11:39:31 +0200 <merijn> arahael: If you make a PR that provides `Pty -> Fd` I'd make a new release
2025-09-09 11:39:56 +0200 <arahael> merijn: One day. One day. :)
2025-09-09 11:40:23 +0200 <arahael> It turns out it's not actually required, and it's probably better to block on it anyway.
2025-09-09 11:40:31 +0200 <merijn> ggVGc: The thing I hate is that for yield makes me write "_ <-" in front of every line whose return I don't care about
2025-09-09 11:40:48 +0200 <merijn> please god, lemme just write code without _ <- like in Haskell :(
2025-09-09 11:42:30 +0200ZLima12_(~zlima12@user/meow/ZLima12) ZLima12
2025-09-09 11:45:46 +0200ZLima12(~zlima12@user/meow/ZLima12) (Ping timeout: 256 seconds)
2025-09-09 11:54:08 +0200 <tomsmeding> merijn: make a keyboard macro that inserts '_ <- '
2025-09-09 11:54:20 +0200Googulator51Googulator
2025-09-09 11:54:34 +0200 <merijn> tomsmeding: That still makes it ugly to read
2025-09-09 11:54:35 +0200 <tomsmeding> for a while I was using a programmable keyboard (moved away again for unrelated reasons) and I had keys for -> <- => <=
2025-09-09 11:54:48 +0200 <tomsmeding> it was nice :p
2025-09-09 11:54:52 +0200 <tomsmeding> that's true
2025-09-09 11:55:17 +0200 <tomsmeding> merijn: are there so many functions that return useless results then?
2025-09-09 11:55:37 +0200tromp(~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e)
2025-09-09 11:55:40 +0200 <tomsmeding> in Haskell, I find that usually if there is a non-() return value, you want to use it -- not always, but often enough that '_ <-' is not _too_ common
2025-09-09 11:56:12 +0200 <merijn> tomsmeding: you have to write _ <- for unit returns too
2025-09-09 11:56:18 +0200 <tomsmeding> oh lol
2025-09-09 11:56:25 +0200 <tomsmeding> that's stupid