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 |