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