2025/09/05

2025-09-05 00:01:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 00:03:39 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-09-05 00:05:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 00:09:29 +0200SamCulper(~SamCulper@user/SamCulper) (Quit: Client closed)
2025-09-05 00:14:43 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 250 seconds)
2025-09-05 00:16:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 00:16:39 +0200 <haskellbridge> <sm> I like this verb!
2025-09-05 00:21:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-05 00:22:05 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds)
2025-09-05 00:22:26 +0200 <EvanR> as in "let's haskell the shit out of it"
2025-09-05 00:27:18 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.1 - https://znc.in)
2025-09-05 00:31:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 00:35:34 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-09-05 00:36:03 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-09-05 00:36:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-09-05 00:39:46 +0200sindu(~sindu@176.75.108.200) (Ping timeout: 256 seconds)
2025-09-05 00:40:34 +0200jreicher(~user@user/jreicher) jreicher
2025-09-05 00:45:27 +0200zarakshR(~Thunderbi@5.81.134.212) zarakshR
2025-09-05 00:47:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 00:50:21 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 265 seconds)
2025-09-05 00:52:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 00:55:25 +0200Nosrep(~jimothy@user/nosrep) Nosrep
2025-09-05 00:55:34 +0200malte(~malte@mal.tc) (Ping timeout: 255 seconds)
2025-09-05 00:55:38 +0200xff0x(~xff0x@2405:6580:b080:900:8bbc:4ce9:3a76:4019) (Ping timeout: 256 seconds)
2025-09-05 00:56:00 +0200lisq(~quassel@lis.moe) (Ping timeout: 252 seconds)
2025-09-05 00:56:09 +0200bionade24_(~quassel@server2.oscloud.info) bionade24
2025-09-05 00:56:12 +0200bionade24(~quassel@server2.oscloud.info) (Ping timeout: 256 seconds)
2025-09-05 00:56:19 +0200 <jreicher> ISTR to recall that there was an MIT (?) memo about using continued fractions for machine arithmetic. Personally I worry the elegance of the data structure is a kind of false virtue, as the more important issue is the performance of operations.
2025-09-05 00:57:20 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-05 00:57:37 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds)
2025-09-05 00:57:49 +0200xff0x(~xff0x@2405:6580:b080:900:8bbc:4ce9:3a76:4019)
2025-09-05 01:01:44 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-05 01:01:50 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-09-05 01:02:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 01:06:56 +0200ftzm6(~ftzm@085080224053.dynamic.telenor.dk) ftzm
2025-09-05 01:07:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-05 01:08:43 +0200ftzm(~ftzm@085082238119.dynamic.telenor.dk) (Ping timeout: 248 seconds)
2025-09-05 01:08:43 +0200ftzm6ftzm
2025-09-05 01:13:37 +0200weary-traveler(~user@user/user363627) user363627
2025-09-05 01:13:43 +0200xff0x_(~xff0x@2405:6580:b080:900:e1dd:92b2:77c4:efe7)
2025-09-05 01:15:28 +0200xff0x(~xff0x@2405:6580:b080:900:8bbc:4ce9:3a76:4019) (Ping timeout: 256 seconds)
2025-09-05 01:16:01 +0200zarakshR(~Thunderbi@5.81.134.212) (Ping timeout: 258 seconds)
2025-09-05 01:18:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 01:20:40 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-09-05 01:24:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-05 01:26:14 +0200malte(~malte@mal.tc) malte
2025-09-05 01:26:44 +0200Bigmoon779(~Bigmoon77@105.113.58.109)
2025-09-05 01:28:43 +0200sprotte24(~sprotte24@p200300d16f045e00d151bb2669d40f73.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-09-05 01:29:08 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-05 01:36:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 01:37:24 +0200zarakshR(~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) zarakshR
2025-09-05 01:37:53 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 248 seconds)
2025-09-05 01:38:25 +0200Bigmoon779(~Bigmoon77@105.113.58.109) (Ping timeout: 250 seconds)
2025-09-05 01:40:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-05 01:49:24 +0200arandombit(~arandombi@2603:7000:4600:ffbe:24b6:bc07:35b6:768e)
2025-09-05 01:49:24 +0200arandombit(~arandombi@2603:7000:4600:ffbe:24b6:bc07:35b6:768e) (Changing host)
2025-09-05 01:49:24 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-05 01:51:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 01:55:10 +0200zarakshR(~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) (Quit: zarakshR)
2025-09-05 01:55:35 +0200zarakshR(~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) zarakshR
2025-09-05 01:56:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-05 01:58:47 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-09-05 01:59:55 +0200xff0x_(~xff0x@2405:6580:b080:900:e1dd:92b2:77c4:efe7) (Ping timeout: 248 seconds)
2025-09-05 02:06:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 02:08:41 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 250 seconds)
2025-09-05 02:09:49 +0200zarakshR(~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) (Quit: zarakshR)
2025-09-05 02:10:09 +0200zarakshR(~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) zarakshR
2025-09-05 02:10:45 +0200Square3(~Square4@user/square) Square
2025-09-05 02:11:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 02:13:01 +0200haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection)
2025-09-05 02:13:42 +0200haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) hackager
2025-09-05 02:13:42 +0200ChanServ+v haskellbridge
2025-09-05 02:14:13 +0200twb(~twb@user/twb) (Remote host closed the connection)
2025-09-05 02:19:05 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds)
2025-09-05 02:22:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 02:26:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-05 02:27:07 +0200otto_s(~user@p5de2f76e.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-09-05 02:28:37 +0200otto_s(~user@p4ff27757.dip0.t-ipconnect.de)
2025-09-05 02:29:42 +0200Square2(~Square@user/square) (Ping timeout: 256 seconds)
2025-09-05 02:32:53 +0200tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2025-09-05 02:37:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 02:41:34 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-09-05 02:42:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 02:42:57 +0200trickard__(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-05 02:43:47 +0200trickard__trickard
2025-09-05 02:44:13 +0200trickard___(~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 250 seconds)
2025-09-05 02:45:34 +0200zarakshR(~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) (Ping timeout: 256 seconds)
2025-09-05 02:46:06 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds)
2025-09-05 02:53:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 02:57:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-05 02:58:05 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
2025-09-05 03:00:34 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-09-05 03:03:17 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds)
2025-09-05 03:06:13 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
2025-09-05 03:08:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 03:11:31 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds)
2025-09-05 03:13:01 +0200jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1)
2025-09-05 03:13:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-05 03:13:31 +0200comonad(~comonad@p200300d0271e9900c772a68d96fd2955.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-09-05 03:13:43 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-05 03:15:19 +0200comonad(~comonad@p200300d027244d00edac481148480656.dip0.t-ipconnect.de)
2025-09-05 03:21:49 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-09-05 03:21:49 +0200jmcantrell_jmcantrell
2025-09-05 03:24:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 03:28:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-05 03:31:08 +0200poscat(~poscat@user/poscat) poscat
2025-09-05 03:33:10 +0200poscat0x04(~poscat@user/poscat) (Ping timeout: 256 seconds)
2025-09-05 03:34:18 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
2025-09-05 03:36:10 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-09-05 03:39:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 03:44:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 03:45:54 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 258 seconds)
2025-09-05 03:54:10 +0200 <chromoblob> i found in a paper a name for the function `\b t f -> if b then t else f`: ite, for if-then-else
2025-09-05 03:55:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 03:55:08 +0200 <chromoblob> which other names do you like?
2025-09-05 03:55:33 +0200 <monochrom> "λOOM" would be a great name for JHC --- that Haskell compiler that doesn't do any GC and just lets memory footprint grows. >:)
2025-09-05 03:56:12 +0200 <Lycurgus> meant to be a dig at jvm gc?
2025-09-05 03:57:12 +0200 <geekosaur> "J" has nothing to do with the JVM
2025-09-05 03:57:20 +0200 <Lycurgus> i c
2025-09-05 03:57:45 +0200Lycurgusdidn know JHC was an actual thing
2025-09-05 03:58:11 +0200 <geekosaur> (john meacham's haskell compiler. compiled to C, made no attempt at gc although IIRC he had been working on redoing it to optionally use boehm gc when he stopped working on it)
2025-09-05 03:58:42 +0200 <Lycurgus> now i know why i didn
2025-09-05 03:59:17 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-05 04:02:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-05 04:05:44 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-09-05 04:08:50 +0200trickard(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-05 04:09:04 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-05 04:11:25 +0200acidjnk(~acidjnk@p200300d6e7171976dc1e7dad9b8b9156.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2025-09-05 04:13:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 04:15:06 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-05 04:18:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-05 04:22:21 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-05 04:22:34 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-05 04:28:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 04:32:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-05 04:33:28 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-09-05 04:39:03 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds)
2025-09-05 04:43:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 04:45:42 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 258 seconds)
2025-09-05 04:48:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-05 04:51:30 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-05 04:51:44 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-05 04:59:17 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-05 04:59:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 05:04:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-05 05:05:21 +0200chexum_(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2025-09-05 05:05:36 +0200chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-09-05 05:09:47 +0200Googulator(~Googulato@2a01-036d-0106-28ad-f9f3-8649-eb89-633c.pool6.digikabel.hu) (Quit: Client closed)
2025-09-05 05:10:00 +0200Googulator(~Googulato@2a01-036d-0106-28ad-f9f3-8649-eb89-633c.pool6.digikabel.hu)
2025-09-05 05:14:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 05:19:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-05 05:24:23 +0200aforemny_(~aforemny@2001:9e8:6ccf:6700:bf68:45b4:b9:5a07) aforemny
2025-09-05 05:25:51 +0200aforemny(~aforemny@2001:9e8:6cf2:cd00:fa12:c3d8:7e61:864c) (Ping timeout: 265 seconds)
2025-09-05 05:28:39 +0200Ranhir(~Ranhir@157.97.53.139) (Read error: Connection reset by peer)
2025-09-05 05:30:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 05:33:20 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-09-05 05:33:47 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 248 seconds)
2025-09-05 05:34:05 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-09-05 05:34:59 +0200Ranhir(~Ranhir@157.97.53.139) Ranhir
2025-09-05 05:35:30 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-09-05 05:37:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-05 05:48:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 05:49:20 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-09-05 05:50:41 +0200jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1)
2025-09-05 05:52:20 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-05 05:52:34 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-05 05:53:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 05:55:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 05:57:10 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-09-05 05:59:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 06:10:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 06:12:50 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-09-05 06:14:14 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-05 06:14:28 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-05 06:15:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-05 06:26:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 06:26:13 +0200Googulator(~Googulato@2a01-036d-0106-28ad-f9f3-8649-eb89-633c.pool6.digikabel.hu) (Quit: Client closed)
2025-09-05 06:26:25 +0200Googulator(~Googulato@2a01-036d-0106-28ad-f9f3-8649-eb89-633c.pool6.digikabel.hu)
2025-09-05 06:28:39 +0200michalz(~michalz@185.246.207.203)
2025-09-05 06:30:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-05 06:30:48 +0200hakutaku(~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2025-09-05 06:33:03 +0200hakutaku(~textual@chen.yukari.eu.org)
2025-09-05 06:33:50 +0200hakutaku(~textual@chen.yukari.eu.org) (Client Quit)
2025-09-05 06:35:09 +0200hakutaku(~textual@chen.yukari.eu.org)
2025-09-05 06:39:46 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-05 06:41:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 06:43:48 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-09-05 06:46:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-09-05 06:48:04 +0200 <Axman6> chromoblob: bool :: a -> a -> Bool -> a; bool t _ True = t; bool _ f False = f; would be the consistent catamorphism for Bool
2025-09-05 06:57:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 07:00:00 +0200trickard_trickard
2025-09-05 07:01:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-05 07:02:31 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 265 seconds)
2025-09-05 07:07:55 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds)
2025-09-05 07:09:25 +0200Nosrep(~jimothy@user/nosrep) (Ping timeout: 250 seconds)
2025-09-05 07:17:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 07:18:03 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-09-05 07:22:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-05 07:27:38 +0200Athas(athas@2a01:7c8:aaac:1cf:26ef:a68:404a:576a) (Quit: ZNC 1.9.1 - https://znc.in)
2025-09-05 07:27:51 +0200Athas(athas@2a01:7c8:aaac:1cf:82c6:a25c:b200:9d6f)
2025-09-05 07:27:56 +0200skiwould flip the `t' and `f' parameters
2025-09-05 07:28:23 +0200 <ski> > bool "F" "T" False
2025-09-05 07:28:25 +0200 <lambdabot> "F"
2025-09-05 07:32:40 +0200 <ski> @src Bool
2025-09-05 07:32:40 +0200 <lambdabot> data Bool = False | True deriving (Eq, Ord)
2025-09-05 07:33:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 07:34:20 +0200 <ski> > [(b,fromEnum b) | b <- [minBound .. maxBound] :: [Bool]]
2025-09-05 07:34:21 +0200 <lambdabot> [(False,0),(True,1)]
2025-09-05 07:37:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-05 07:42:19 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 248 seconds)
2025-09-05 07:42:54 +0200mange(~mange@user/mange) mange
2025-09-05 07:48:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 07:53:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 07:54:35 +0200Vajb(~Vajb@n4ff0xajgx7huazq3a1-1.v6.elisa-mobile.fi)
2025-09-05 07:58:33 +0200arandombit(~arandombi@2603:7000:4600:ffbe:24b6:bc07:35b6:768e)
2025-09-05 07:58:33 +0200arandombit(~arandombi@2603:7000:4600:ffbe:24b6:bc07:35b6:768e) (Changing host)
2025-09-05 07:58:33 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-05 08:02:50 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-05 08:03:52 +0200 <jreicher> ski: why would you flip them? Pretty sure what Axman6 provides is the standard Church encoding.
2025-09-05 08:03:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 08:07:33 +0200 <jackdk> I thought you put the smallest value first: `maybe` takes the arg for `Nothing` first, `bool` takes the arg for `False` first, `foldr` is an exception
2025-09-05 08:07:35 +0200 <ski> because `False' is the first data constructor, presumably because traditionally "false" is seen as the "zero" truth-value (while "true" being "1"), since George Boole at least
2025-09-05 08:08:06 +0200 <ski> and yea, i agree `foldr' is anomalous
2025-09-05 08:08:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-05 08:08:47 +0200 <Axman6> uh, I did mean to have bool f t b = if b then t else f but then forgot to swap the order
2025-09-05 08:09:38 +0200 <jreicher> ski: FWIW Godel had 0 as true
2025-09-05 08:11:58 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-05 08:12:02 +0200 <ski> do you know in which article(s) ?
2025-09-05 08:12:17 +0200arandombit(~arandombi@2603:7000:4600:ffbe:4cf3:d1dd:a526:61a4)
2025-09-05 08:12:17 +0200arandombit(~arandombi@2603:7000:4600:ffbe:4cf3:d1dd:a526:61a4) (Changing host)
2025-09-05 08:12:17 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-05 08:12:23 +0200 <jreicher> Undecidability
2025-09-05 08:14:02 +0200 <jreicher> The Church way of doing bool also means it's the same order as if-then-else
2025-09-05 08:15:58 +0200 <ski> depends on which order you take the constructors in
2025-09-05 08:17:05 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-09-05 08:17:39 +0200ft(~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving)
2025-09-05 08:18:24 +0200 <ski> both `\x. \xs. \f. \s. s x (xs f s)' and `\x. \xs. \s. \f. s x (xs s f)' are Church encodings of `Cons' for lists, depending on in which order you take the data constructors is
2025-09-05 08:19:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 08:20:44 +0200weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-09-05 08:22:07 +0200 <jreicher> I'm not talking in the abstract; I just mean what Church actually wrote.
2025-09-05 08:22:23 +0200 <jreicher> But it's not particular significant. More of a historical tidbit.
2025-09-05 08:22:29 +0200 <ski> ah, i see
2025-09-05 08:24:51 +0200 <jreicher> (But honestly I do find it interesting Godel used 0 for true)
2025-09-05 08:26:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-05 08:26:53 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 258 seconds)
2025-09-05 08:28:10 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-05 08:28:56 +0200skinods
2025-09-05 08:37:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 08:42:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 08:45:02 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-09-05 08:45:22 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-05 08:52:11 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 258 seconds)
2025-09-05 08:52:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 08:53:01 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-05 08:54:29 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-09-05 08:57:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-05 08:57:33 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds)
2025-09-05 08:58:21 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-05 08:58:26 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-05 09:00:00 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-09-05 09:00:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 09:00:40 +0200caconym747(~caconym@user/caconym) caconym
2025-09-05 09:00:52 +0200itaipu(~itaipu@168.121.97.28) (Read error: Connection reset by peer)
2025-09-05 09:02:10 +0200trickard(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-05 09:02:24 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-05 09:02:34 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-09-05 09:03:37 +0200jreicher(~user@user/jreicher) (Quit: In transit)
2025-09-05 09:05:13 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 258 seconds)
2025-09-05 09:05:30 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-05 09:05:32 +0200mange(~mange@user/mange) (Quit: Zzz...)
2025-09-05 09:08:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 09:09:57 +0200Googulator(~Googulato@2a01-036d-0106-28ad-f9f3-8649-eb89-633c.pool6.digikabel.hu) (Ping timeout: 250 seconds)
2025-09-05 09:14:57 +0200arandombit(~arandombi@2603:7000:4600:ffbe:b80e:734b:30b:f150)
2025-09-05 09:14:57 +0200arandombit(~arandombi@2603:7000:4600:ffbe:b80e:734b:30b:f150) (Changing host)
2025-09-05 09:14:57 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-05 09:17:11 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-09-05 09:18:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 09:19:11 +0200itaipu(~itaipu@168.121.97.28) itaipu
2025-09-05 09:19:28 +0200ljdarj1ljdarj
2025-09-05 09:20:32 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-05 09:20:52 +0200arandombit(~arandombi@2603:7000:4600:ffbe:15a8:6ee2:a2ec:bb45)
2025-09-05 09:20:52 +0200arandombit(~arandombi@2603:7000:4600:ffbe:15a8:6ee2:a2ec:bb45) (Changing host)
2025-09-05 09:20:52 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-05 09:21:12 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-05 09:21:25 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-05 09:21:41 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2025-09-05 09:23:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-09-05 09:27:11 +0200Square2(~Square@user/square) Square
2025-09-05 09:27:20 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds)
2025-09-05 09:28:26 +0200acidjnk(~acidjnk@p200300d6e7171975dc1e7dad9b8b9156.dip0.t-ipconnect.de) acidjnk
2025-09-05 09:28:44 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-09-05 09:30:44 +0200Square3(~Square4@user/square) (Ping timeout: 256 seconds)
2025-09-05 09:33:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 09:38:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 09:44:22 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2025-09-05 09:49:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 09:53:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-05 09:55:54 +0200mm_x_(~mm@user/mm-x-:64963) mm_x_
2025-09-05 09:58:24 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-09-05 10:04:12 +0200Googulator(~Googulato@81.183.235.203)
2025-09-05 10:04:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 10:05:47 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 250 seconds)
2025-09-05 10:07:46 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-09-05 10:08:35 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-05 10:09:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 10:11:14 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-05 10:13:48 +0200olivial(~benjaminl@user/benjaminl) (Ping timeout: 256 seconds)
2025-09-05 10:14:01 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2025-09-05 10:14:15 +0200chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-09-05 10:15:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 10:16:04 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-05 10:18:11 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-09-05 10:19:45 +0200__monty__(~toonn@user/toonn) toonn
2025-09-05 10:20:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 10:20:56 +0200jreicher(~user@user/jreicher) jreicher
2025-09-05 10:23:30 +0200olivial(~benjaminl@user/benjaminl) benjaminl
2025-09-05 10:26:09 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-09-05 10:26:34 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-09-05 10:26:43 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-09-05 10:26:43 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-09-05 10:26:43 +0200haritz(~hrtz@user/haritz) haritz
2025-09-05 10:29:49 +0200jreicher(~user@user/jreicher) (Quit: Back in a back)
2025-09-05 10:30:27 +0200jreicher(~user@user/jreicher) jreicher
2025-09-05 10:30:33 +0200akegalj(~akegalj@209-216.dsl.iskon.hr) akegalj
2025-09-05 10:30:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 10:35:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 10:44:34 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-09-05 10:46:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 10:50:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 10:51:00 +0200arandombit(~arandombi@2603:7000:4600:ffbe:15a8:6ee2:a2ec:bb45)
2025-09-05 10:51:00 +0200arandombit(~arandombi@2603:7000:4600:ffbe:15a8:6ee2:a2ec:bb45) (Changing host)
2025-09-05 10:51:00 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-05 10:55:30 +0200tremon(~tremon@83.80.159.219) tremon
2025-09-05 10:55:54 +0200chele(~chele@user/chele) chele
2025-09-05 10:56:18 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-05 11:01:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 11:02:29 +0200fp(~Thunderbi@wireless-86-50-140-178.open.aalto.fi) fp
2025-09-05 11:03:12 +0200Square2(~Square@user/square) (Ping timeout: 252 seconds)
2025-09-05 11:04:53 +0200potato44(uid421314@id-421314.lymington.irccloud.com) potato44
2025-09-05 11:09:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 11:11:58 +0200arandombit(~arandombi@2603:7000:4600:ffbe:15a8:6ee2:a2ec:bb45)
2025-09-05 11:11:58 +0200arandombit(~arandombi@2603:7000:4600:ffbe:15a8:6ee2:a2ec:bb45) (Changing host)
2025-09-05 11:11:58 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-05 11:13:29 +0200hakutaku(~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2025-09-05 11:20:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 11:27:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-05 11:28:52 +0200mm_x_(~mm@user/mm-x-:64963) (Remote host closed the connection)
2025-09-05 11:29:54 +0200mari-estel(~mari-este@user/mari-estel) mari-estel
2025-09-05 11:38:20 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-09-05 11:38:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 11:43:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-05 11:44:39 +0200biberu(~biberu@user/biberu) biberu
2025-09-05 11:46:10 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds)
2025-09-05 11:46:48 +0200hakutaku(~textual@chen.yukari.eu.org)
2025-09-05 11:52:39 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-09-05 11:54:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 11:56:07 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds)
2025-09-05 11:56:32 +0200sprotte24(~sprotte24@p200300d16f0faa004019adf95394e925.dip0.t-ipconnect.de)
2025-09-05 11:57:47 +0200hakutaku(~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2025-09-05 11:58:06 +0200ec(~ec@gateway/tor-sasl/ec) ec
2025-09-05 11:58:14 +0200hakutaku(~textual@chen.yukari.eu.org)
2025-09-05 11:58:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-05 12:03:19 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-05 12:04:18 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-05 12:04:26 +0200califax(~califax@user/califx) califx
2025-09-05 12:04:40 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-05 12:06:10 +0200trickard_trickard
2025-09-05 12:06:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 12:07:59 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 250 seconds)
2025-09-05 12:11:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 12:13:47 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 248 seconds)
2025-09-05 12:13:49 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-05 12:17:00 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 245 seconds)
2025-09-05 12:20:06 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-05 12:21:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 12:23:02 +0200califax(~califax@user/califx) califx
2025-09-05 12:26:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-05 12:27:08 +0200arandombit(~arandombi@2603:7000:4600:ffbe:71cd:9b76:1635:11bf)
2025-09-05 12:27:08 +0200arandombit(~arandombi@2603:7000:4600:ffbe:71cd:9b76:1635:11bf) (Changing host)
2025-09-05 12:27:08 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-05 12:33:11 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-09-05 12:36:38 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-09-05 12:37:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 12:38:31 +0200weary-traveler(~user@user/user363627) user363627
2025-09-05 12:41:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-05 12:43:25 +0200srazkvt(~sarah@user/srazkvt) srazkvt
2025-09-05 12:45:38 +0200Googulator33(~Googulato@81.183.235.203)
2025-09-05 12:49:13 +0200Googulator(~Googulato@81.183.235.203) (Ping timeout: 250 seconds)
2025-09-05 12:50:23 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-05 12:51:30 +0200califax(~califax@user/califx) califx
2025-09-05 12:52:10 +0200Googulator33Googulator
2025-09-05 12:52:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 12:53:10 +0200sprotte24(~sprotte24@p200300d16f0faa004019adf95394e925.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-09-05 12:57:13 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-09-05 12:57:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 13:00:43 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-05 13:00:57 +0200califax(~califax@user/califx) califx
2025-09-05 13:06:00 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-09-05 13:07:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 13:14:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 13:18:51 +0200Pozyomka(~pyon@user/pyon) (Ping timeout: 248 seconds)
2025-09-05 13:18:51 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-09-05 13:23:13 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-09-05 13:24:37 +0200potato44(uid421314@id-421314.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-09-05 13:25:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 13:26:14 +0200ft(~ft@p4fc2a25a.dip0.t-ipconnect.de) ft
2025-09-05 13:27:02 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds)
2025-09-05 13:27:18 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-09-05 13:28:44 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-05 13:30:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-09-05 13:31:38 +0200akegalj(~akegalj@209-216.dsl.iskon.hr) (Ping timeout: 248 seconds)
2025-09-05 13:36:12 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2025-09-05 13:38:22 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
2025-09-05 13:40:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 13:44:30 +0200akegalj(~akegalj@78-0-236-161.adsl.net.t-com.hr)
2025-09-05 13:45:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-05 13:46:51 +0200hakutaku(~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2025-09-05 13:50:44 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-05 13:50:59 +0200califax(~califax@user/califx) califx
2025-09-05 13:51:07 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds)
2025-09-05 13:51:27 +0200arandombit(~arandombi@2603:7000:4600:ffbe:71cd:9b76:1635:11bf)
2025-09-05 13:51:27 +0200arandombit(~arandombi@2603:7000:4600:ffbe:71cd:9b76:1635:11bf) (Changing host)
2025-09-05 13:51:27 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-05 13:55:56 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-05 13:56:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 14:00:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-05 14:01:15 +0200arandombit(~arandombi@2603:7000:4600:ffbe:71cd:9b76:1635:11bf)
2025-09-05 14:01:15 +0200arandombit(~arandombi@2603:7000:4600:ffbe:71cd:9b76:1635:11bf) (Changing host)
2025-09-05 14:01:15 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-05 14:08:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 14:13:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-05 14:15:24 +0200hakutaku(~textual@chen.yukari.eu.org)
2025-09-05 14:17:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 14:20:11 +0200xff0x(~xff0x@2405:6580:b080:900:36e4:fe9c:2e27:247a)
2025-09-05 14:20:44 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-09-05 14:23:46 +0200inline(~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) (Ping timeout: 258 seconds)
2025-09-05 14:23:56 +0200jespada(~jespada@2800:a4:22de:7c00:7d8c:b7b3:58e4:65b6) jespada
2025-09-05 14:25:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 14:36:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 14:41:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 14:51:37 +0200Nosrep(~jimothy@user/nosrep) Nosrep
2025-09-05 14:51:47 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2025-09-05 14:52:11 +0200ec(~ec@gateway/tor-sasl/ec) ec
2025-09-05 14:52:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 14:57:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 15:00:35 +0200mari27970(~mari-este@user/mari-estel) mari-estel
2025-09-05 15:02:27 +0200mari-estel(~mari-este@user/mari-estel) (Read error: Connection reset by peer)
2025-09-05 15:05:38 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-05 15:06:25 +0200Nosrep(~jimothy@user/nosrep) (Ping timeout: 248 seconds)
2025-09-05 15:07:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 15:10:54 +0200Googulator83(~Googulato@81.183.235.203)
2025-09-05 15:12:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-05 15:13:57 +0200Googulator(~Googulato@81.183.235.203) (Ping timeout: 250 seconds)
2025-09-05 15:14:08 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-09-05 15:16:08 +0200Everything(~Everythin@5.248.132.67) Everything
2025-09-05 15:19:02 +0200Googulator83Googulator
2025-09-05 15:20:39 +0200Googulator22(~Googulato@81.183.235.203)
2025-09-05 15:20:56 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds)
2025-09-05 15:23:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 15:23:55 +0200Googulator(~Googulato@81.183.235.203) (Ping timeout: 250 seconds)
2025-09-05 15:24:30 +0200inline(~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) Inline
2025-09-05 15:27:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 15:29:51 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-05 15:30:20 +0200Googulator22Googulator
2025-09-05 15:33:55 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-05 15:38:30 +0200califax(~califax@user/califx) califx
2025-09-05 15:38:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 15:45:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-05 15:46:06 +0200Googulator66(~Googulato@81.183.235.203)
2025-09-05 15:49:03 +0200Googulator(~Googulato@81.183.235.203) (Ping timeout: 250 seconds)
2025-09-05 15:49:19 +0200biberu(~biberu@user/biberu) (Quit: ZNC - https://znc.in)
2025-09-05 15:53:36 +0200Googulator66Googulator
2025-09-05 15:56:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 16:01:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 16:08:03 +0200stef204(~stef204@user/stef204) stef204
2025-09-05 16:08:45 +0200arandombit(~arandombi@2603:7000:4600:ffbe:71cd:9b76:1635:11bf)
2025-09-05 16:08:45 +0200arandombit(~arandombi@2603:7000:4600:ffbe:71cd:9b76:1635:11bf) (Changing host)
2025-09-05 16:08:45 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-05 16:08:54 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-09-05 16:12:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 16:13:38 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-05 16:14:20 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-05 16:15:19 +0200califax(~califax@user/califx) califx
2025-09-05 16:16:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-05 16:17:37 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds)
2025-09-05 16:22:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 16:24:31 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-05 16:26:04 +0200califax(~califax@user/califx) califx
2025-09-05 16:26:39 +0200arandombit(~arandombi@2603:7000:4600:ffbe:71cd:9b76:1635:11bf)
2025-09-05 16:26:39 +0200arandombit(~arandombi@2603:7000:4600:ffbe:71cd:9b76:1635:11bf) (Changing host)
2025-09-05 16:26:39 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-05 16:27:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 16:31:12 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-05 16:32:52 +0200eron(~eron@152.250.226.217) lidenbrock
2025-09-05 16:35:54 +0200arandombit(~arandombi@2603:7000:4600:ffbe:71cd:9b76:1635:11bf)
2025-09-05 16:35:54 +0200arandombit(~arandombi@2603:7000:4600:ffbe:71cd:9b76:1635:11bf) (Changing host)
2025-09-05 16:35:54 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-05 16:38:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 16:41:24 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-05 16:41:29 +0200Googulator(~Googulato@81.183.235.203) (Ping timeout: 250 seconds)
2025-09-05 16:42:30 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-09-05 16:42:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-05 16:44:55 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-05 16:45:16 +0200sindu(~sindu@176.75.108.200)
2025-09-05 16:47:55 +0200califax(~califax@user/califx) califx
2025-09-05 16:50:11 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-05 16:51:55 +0200califax(~califax@user/califx) califx
2025-09-05 16:53:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 16:55:19 +0200arandombit(~arandombi@2603:7000:4600:ffbe:71cd:9b76:1635:11bf)
2025-09-05 16:55:19 +0200arandombit(~arandombi@2603:7000:4600:ffbe:71cd:9b76:1635:11bf) (Changing host)
2025-09-05 16:55:19 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-05 16:57:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-05 16:59:27 +0200eron(~eron@152.250.226.217) (Quit: Client closed)
2025-09-05 17:01:49 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2025-09-05 17:01:50 +0200ec_(~ec@gateway/tor-sasl/ec) ec
2025-09-05 17:02:05 +0200fp(~Thunderbi@wireless-86-50-140-178.open.aalto.fi) (Ping timeout: 258 seconds)
2025-09-05 17:02:41 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-05 17:08:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 17:09:46 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-09-05 17:10:50 +0200califax(~califax@user/califx) califx
2025-09-05 17:12:47 +0200Vq(~vq@90-224-37-169-no600.tbcn.telia.com) (Quit: Replacing faulty UPS)
2025-09-05 17:13:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 17:23:24 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-05 17:23:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 17:24:33 +0200califax(~califax@user/califx) califx
2025-09-05 17:28:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 17:29:51 +0200akegalj(~akegalj@78-0-236-161.adsl.net.t-com.hr) (Quit: leaving)
2025-09-05 17:32:10 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-05 17:33:10 +0200califax(~califax@user/califx) califx
2025-09-05 17:39:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 17:42:02 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds)
2025-09-05 17:43:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-05 17:44:40 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-05 17:46:14 +0200califax(~califax@user/califx) califx
2025-09-05 17:46:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 17:47:49 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-09-05 17:48:53 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-05 17:51:27 +0200califax(~califax@user/califx) califx
2025-09-05 17:51:37 +0200Pozyomka(~pyon@user/pyon) pyon
2025-09-05 17:51:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-09-05 17:55:36 +0200Googulator(~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu)
2025-09-05 17:56:36 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-05 17:57:48 +0200califax(~califax@user/califx) califx
2025-09-05 17:59:47 +0200Vq(~vq@90-224-37-169-no600.tbcn.telia.com) Vq
2025-09-05 18:02:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 18:02:39 +0200Everything(~Everythin@5.248.132.67) (Ping timeout: 258 seconds)
2025-09-05 18:04:42 +0200Everything(~Everythin@94.153.4.204) Everything
2025-09-05 18:06:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-05 18:17:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 18:18:35 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-09-05 18:22:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 18:24:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 18:27:19 +0200rvalue-(~rvalue@about/hackers/rvalue) rvalue
2025-09-05 18:28:20 +0200rvalue(~rvalue@about/hackers/rvalue) (Ping timeout: 258 seconds)
2025-09-05 18:31:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-05 18:31:55 +0200k0zy(~user@user/k0zy) k0zy
2025-09-05 18:33:27 +0200k0zy(~user@user/k0zy) ()
2025-09-05 18:36:50 +0200rvalue-rvalue
2025-09-05 18:38:51 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-05 18:39:50 +0200califax(~califax@user/califx) califx
2025-09-05 18:42:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 18:45:17 +0200Everything(~Everythin@94.153.4.204) (Quit: leaving)
2025-09-05 18:45:18 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-05 18:47:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-05 18:47:47 +0200califax(~califax@user/califx) califx
2025-09-05 18:50:03 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2025-09-05 18:50:05 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-09-05 18:50:06 +0200ec_(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2025-09-05 18:50:31 +0200ec(~ec@gateway/tor-sasl/ec) ec
2025-09-05 18:53:53 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-05 18:57:59 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-05 18:58:03 +0200karenw(~karenw@user/karenw) karenw
2025-09-05 18:58:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 18:58:14 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 258 seconds)
2025-09-05 18:59:13 +0200califax(~califax@user/califx) califx
2025-09-05 19:00:15 +0200mari-estel(~mari-este@user/mari-estel) mari-estel
2025-09-05 19:01:06 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-09-05 19:01:39 +0200mari27970(~mari-este@user/mari-estel) (Read error: Connection reset by peer)
2025-09-05 19:02:23 +0200karenw(~karenw@user/karenw) (Client Quit)
2025-09-05 19:02:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-05 19:03:13 +0200MelodyOwO(~MelodyOwO@user/MelodyOwO) MelodyOwO
2025-09-05 19:03:50 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-05 19:04:55 +0200califax(~califax@user/califx) califx
2025-09-05 19:05:12 +0200Square2(~Square@user/square) Square
2025-09-05 19:10:27 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-09-05 19:10:39 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-05 19:12:08 +0200cipherrot(~jez@user/petrichor) petrichor
2025-09-05 19:12:09 +0200califax(~califax@user/califx) califx
2025-09-05 19:13:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 19:14:58 +0200petrichor(~jez@user/petrichor) (Ping timeout: 256 seconds)
2025-09-05 19:15:21 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-05 19:16:26 +0200califax(~califax@user/califx) califx
2025-09-05 19:18:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 19:23:17 +0200mari-estel(~mari-este@user/mari-estel) (Remote host closed the connection)
2025-09-05 19:25:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 19:28:15 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-05 19:29:22 +0200califax(~califax@user/califx) califx
2025-09-05 19:30:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 19:41:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 19:44:24 +0200acidjnk_new(~acidjnk@p200300d6e71719262dde113b0299caab.dip0.t-ipconnect.de) acidjnk
2025-09-05 19:44:27 +0200acidjnk(~acidjnk@p200300d6e7171975dc1e7dad9b8b9156.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-09-05 19:45:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 19:48:21 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-09-05 19:48:58 +0200Everything(~Everythin@178-133-5-240.mobile.vf-ua.net) Everything
2025-09-05 19:56:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 19:57:10 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-09-05 20:01:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 20:07:24 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-09-05 20:09:03 +0200gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-09-05 20:10:20 +0200trickard(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-05 20:10:33 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-05 20:10:58 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-05 20:11:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 20:13:22 +0200ephilalethes(~noumenon@113.51-175-156.customer.lyse.net) noumenon
2025-09-05 20:13:29 +0200ephilalethes(~noumenon@113.51-175-156.customer.lyse.net) (Max SendQ exceeded)
2025-09-05 20:14:06 +0200ephilalethes(~noumenon@113.51-175-156.customer.lyse.net) noumenon
2025-09-05 20:16:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-05 20:17:46 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-09-05 20:21:12 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-09-05 20:22:21 +0200ft(~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: Lost terminal)
2025-09-05 20:24:06 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-05 20:24:17 +0200divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2025-09-05 20:24:37 +0200divlamir(~divlamir@user/divlamir) divlamir
2025-09-05 20:25:47 +0200ephilalethes(~noumenon@113.51-175-156.customer.lyse.net) (Remote host closed the connection)
2025-09-05 20:26:17 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-09-05 20:26:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 20:29:12 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds)
2025-09-05 20:29:18 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-09-05 20:31:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 20:31:31 +0200srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2025-09-05 20:31:38 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-09-05 20:32:57 +0200ft(~ft@p4fc2a25a.dip0.t-ipconnect.de) ft
2025-09-05 20:38:07 +0200chewybread(~chewybrea@2600:4040:2987:3e00:904b:a789:5345:174d)
2025-09-05 20:38:07 +0200chewybread(~chewybrea@2600:4040:2987:3e00:904b:a789:5345:174d) (Changing host)
2025-09-05 20:38:07 +0200chewybread(~chewybrea@user/chewybread) chewybread
2025-09-05 20:38:21 +0200chewybread(~chewybrea@user/chewybread) (Remote host closed the connection)
2025-09-05 20:38:31 +0200arandombit(~arandombi@2603:7000:4600:ffbe:71cd:9b76:1635:11bf)
2025-09-05 20:38:31 +0200arandombit(~arandombi@2603:7000:4600:ffbe:71cd:9b76:1635:11bf) (Changing host)
2025-09-05 20:38:31 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-05 20:39:19 +0200Everything(~Everythin@178-133-5-240.mobile.vf-ua.net) (Ping timeout: 250 seconds)
2025-09-05 20:42:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 20:44:54 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-05 20:45:07 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-05 20:46:07 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 265 seconds)
2025-09-05 20:47:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-09-05 20:51:06 +0200MelodyOwO(~MelodyOwO@user/MelodyOwO) (Quit: Leaving.)
2025-09-05 20:54:45 +0200sprotte24(~sprotte24@p200300d16f0faa008966c75087d22bbf.dip0.t-ipconnect.de)
2025-09-05 20:55:47 +0200ZLima12(~zlima12@user/meow/ZLima12) (Remote host closed the connection)
2025-09-05 20:56:56 +0200ZLima12(~zlima12@user/meow/ZLima12) ZLima12
2025-09-05 20:57:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 20:59:21 +0200arandombit(~arandombi@2603:7000:4600:ffbe:71cd:9b76:1635:11bf)
2025-09-05 20:59:22 +0200arandombit(~arandombi@2603:7000:4600:ffbe:71cd:9b76:1635:11bf) (Changing host)
2025-09-05 20:59:22 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-05 21:00:02 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-09-05 21:00:40 +0200caconym747(~caconym@user/caconym) caconym
2025-09-05 21:02:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-05 21:10:19 +0200gorignak(~gorignak@user/gorignak) gorignak
2025-09-05 21:13:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 21:15:11 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-09-05 21:16:15 +0200trickard_trickard
2025-09-05 21:17:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 21:20:39 +0200ephilalethes(~noumenon@113.51-175-156.customer.lyse.net) noumenon
2025-09-05 21:28:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-05 21:29:00 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-09-05 21:32:46 +0200trickard(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-05 21:33:00 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-05 21:35:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-05 21:38:45 +0200ephilalethes(~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving)