2024/10/24

2024-10-24 00:02:07 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 00:06:19 +0200gioyik_(~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 4.4.2)
2024-10-24 00:06:51 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-24 00:09:49 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-24 00:11:48 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2024-10-24 00:15:09 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-10-24 00:15:53 +0200 <Everything> :|
2024-10-24 00:16:26 +0200Everything(~Everythin@178-133-129-110.mobile.vf-ua.net) (Quit: leaving)
2024-10-24 00:17:54 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 00:24:52 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-10-24 00:25:55 +0200vglfr(~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Ping timeout: 252 seconds)
2024-10-24 00:26:20 +0200vglfr(~vglfr@2607:fb90:eaaf:c94:ac39:c397:e371:f5a4) vglfr
2024-10-24 00:28:11 +0200ystael(~ystael@user/ystael) (Quit: Lost terminal)
2024-10-24 00:32:17 +0200andrei(~andrei@dhcp-128-189-230-146.ubcsecure.wireless.ubc.ca)
2024-10-24 00:32:41 +0200andreiGuest8438
2024-10-24 00:33:04 +0200vglfr(~vglfr@2607:fb90:eaaf:c94:ac39:c397:e371:f5a4) (Ping timeout: 260 seconds)
2024-10-24 00:33:16 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-10-24 00:33:25 +0200vglfr(~vglfr@2607:fb91:148f:4ec9:ad2:e57:50bf:b120) vglfr
2024-10-24 00:35:23 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 00:39:45 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2024-10-24 00:41:24 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-10-24 00:42:28 +0200acidjnk_new(~acidjnk@p200300d6e72cfb3315984098f5118deb.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2024-10-24 00:42:29 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-24 00:42:34 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 244 seconds)
2024-10-24 00:43:06 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 00:47:49 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-24 00:53:21 +0200myme(~myme@2a01:799:d5c:5f00:3450:111a:e305:e38a) (Ping timeout: 252 seconds)
2024-10-24 00:55:23 +0200myme(~myme@2a01:799:d5c:5f00:e607:4386:5207:22da) myme
2024-10-24 00:58:07 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius
2024-10-24 00:58:51 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 01:03:42 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-24 01:04:02 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-24 01:06:33 +0200xff0x(~xff0x@2405:6580:b080:900:4e61:3b0b:e25d:c6d4) (Ping timeout: 252 seconds)
2024-10-24 01:13:42 +0200vglfr(~vglfr@2607:fb91:148f:4ec9:ad2:e57:50bf:b120) (Read error: Connection reset by peer)
2024-10-24 01:14:38 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 01:17:47 +0200xff0x(~xff0x@2405:6580:b080:900:4e61:3b0b:e25d:c6d4)
2024-10-24 01:18:28 +0200dolio(~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in)
2024-10-24 01:19:45 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-24 01:19:56 +0200dolio(~dolio@130.44.140.168) dolio
2024-10-24 01:20:17 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 244 seconds)
2024-10-24 01:20:56 +0200alexherbo2(~alexherbo@2a02-8440-310b-6bee-d19c-c2cf-5674-8209.rev.sfr.net) (Remote host closed the connection)
2024-10-24 01:21:27 +0200alexherbo2(~alexherbo@2a02-8440-310b-6bee-dd6e-5f46-eaaa-ac25.rev.sfr.net) alexherbo2
2024-10-24 01:21:53 +0200Guest8438(~andrei@dhcp-128-189-230-146.ubcsecure.wireless.ubc.ca) (Read error: Connection reset by peer)
2024-10-24 01:22:02 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
2024-10-24 01:23:24 +0200dolio(~dolio@130.44.140.168) (Client Quit)
2024-10-24 01:24:23 +0200dolio(~dolio@130.44.140.168) dolio
2024-10-24 01:25:00 +0200alexherbo2(~alexherbo@2a02-8440-310b-6bee-dd6e-5f46-eaaa-ac25.rev.sfr.net) (Remote host closed the connection)
2024-10-24 01:30:26 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 01:33:40 +0200spew(~spew@201.141.99.170) (Quit: spew)
2024-10-24 01:34:07 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2024-10-24 01:35:39 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-10-24 01:36:17 +0200troojg(~troojg@user/troojg) troojg
2024-10-24 01:38:43 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 01:39:00 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-10-24 01:40:36 +0200TotoMP(~TotoMP@190.194.22.21)
2024-10-24 01:42:08 +0200TotoMP(~TotoMP@190.194.22.21) (Client Quit)
2024-10-24 01:43:12 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-24 01:54:23 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 01:59:58 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-10-24 02:09:02 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-24 02:10:59 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 02:13:59 +0200lambdaRule(~lambdaRul@2001:569:501f:3400:706a:bb51:efde:dbd0)
2024-10-24 02:16:20 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-10-24 02:17:58 +0200 <Axman6> :S
2024-10-24 02:18:04 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-10-24 02:23:06 +0200xff0x(~xff0x@2405:6580:b080:900:4e61:3b0b:e25d:c6d4) (Ping timeout: 246 seconds)
2024-10-24 02:27:01 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 02:31:20 +0200vglfr(~vglfr@c-73-250-25-113.hsd1.md.comcast.net) vglfr
2024-10-24 02:32:23 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-10-24 02:33:39 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-10-24 02:33:55 +0200califax(~califax@user/califx) califx
2024-10-24 02:36:25 +0200lambdaRule(~lambdaRul@2001:569:501f:3400:706a:bb51:efde:dbd0) (Quit: Client closed)
2024-10-24 02:39:00 +0200weary-traveler(~user@user/user363627) user363627
2024-10-24 02:45:05 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 02:49:48 +0200 <dmj`> :]
2024-10-24 02:52:29 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-24 03:03:15 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 03:07:38 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-24 03:10:22 +0200hgolden_(~hgolden@146.70.172.37) hgolden
2024-10-24 03:12:46 +0200hgolden__(~hgolden@146.70.174.37) (Ping timeout: 252 seconds)
2024-10-24 03:13:07 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2024-10-24 03:13:20 +0200troojg(~troojg@user/troojg) (Remote host closed the connection)
2024-10-24 03:15:46 +0200joeyadams(~joeyadams@syn-184-054-105-097.res.spectrum.com)
2024-10-24 03:17:53 +0200hgolden__(~hgolden@23.162.40.28) hgolden
2024-10-24 03:18:38 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 03:20:57 +0200hgolden_(~hgolden@146.70.172.37) (Ping timeout: 276 seconds)
2024-10-24 03:23:18 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-24 03:30:16 +0200identity(~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91))
2024-10-24 03:34:26 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 03:39:56 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-10-24 03:50:13 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 03:55:18 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-24 03:58:43 +0200cheater(~Username@user/cheater) (Ping timeout: 245 seconds)
2024-10-24 03:59:30 +0200cheater(~Username@user/cheater) cheater
2024-10-24 04:06:01 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 04:10:54 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-24 04:18:50 +0200madhavanmiui(~madhavanm@2409:40f4:3b:a5d4:8000::)
2024-10-24 04:20:27 +0200madhavanmiui(~madhavanm@2409:40f4:3b:a5d4:8000::) (Client Quit)
2024-10-24 04:21:50 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 04:26:38 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-10-24 04:37:36 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 04:39:36 +0200td_(~td@i53870909.versanet.de) (Ping timeout: 246 seconds)
2024-10-24 04:41:26 +0200td_(~td@i5387092E.versanet.de) td_
2024-10-24 04:42:51 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-24 04:42:57 +0200CrunchyFlakes(~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-10-24 04:45:37 +0200CrunchyFlakes(~CrunchyFl@31.19.233.78)
2024-10-24 04:53:24 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 04:58:19 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-10-24 05:07:27 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-10-24 05:07:27 +0200aforemny_(~aforemny@2001:9e8:6cfd:4f00:a308:87bf:ccc5:4223) (Ping timeout: 252 seconds)
2024-10-24 05:07:40 +0200aforemny(~aforemny@i577B12D8.versanet.de) aforemny
2024-10-24 05:09:12 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 05:16:20 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-10-24 05:23:20 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 05:28:17 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-24 05:33:18 +0200 <synchrom1> :/
2024-10-24 05:37:37 +0200Square(~Square@user/square) Square
2024-10-24 05:39:07 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 05:44:08 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-10-24 05:54:57 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 05:56:58 +0200youthlic(~Thunderbi@user/youthlic) (Quit: youthlic)
2024-10-24 05:59:27 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-10-24 05:59:58 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-24 06:10:43 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 06:15:30 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-24 06:19:03 +0200joeyadams(~joeyadams@syn-184-054-105-097.res.spectrum.com) (Quit: Leaving)
2024-10-24 06:23:22 +0200hgolden_(~hgolden@static-198-44-129-51.cust.tzulo.com) hgolden
2024-10-24 06:26:12 +0200hgolden__(~hgolden@23.162.40.28) (Ping timeout: 276 seconds)
2024-10-24 06:26:31 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 06:31:36 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-24 06:37:31 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
2024-10-24 06:39:34 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-10-24 06:41:40 +0200rosco(~rosco@60.53.7.10) rosco
2024-10-24 06:42:19 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 06:43:15 +0200michalz(~michalz@185.246.207.201)
2024-10-24 06:44:53 +0200vanishingideal(~vanishing@user/vanishingideal) (Quit: leaving)
2024-10-24 06:49:29 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-24 07:00:23 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 07:01:33 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2)
2024-10-24 07:02:56 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2024-10-24 07:05:51 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-10-24 07:06:30 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2024-10-24 07:07:36 +0200euleritian(~euleritia@dynamic-176-006-144-181.176.6.pool.telefonica.de)
2024-10-24 07:13:15 +0200euleritian(~euleritia@dynamic-176-006-144-181.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-10-24 07:13:32 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-24 07:16:09 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 07:21:06 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-24 07:23:29 +0200rosco(~rosco@60.53.7.10) (Quit: Lost terminal)
2024-10-24 07:23:39 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-24 07:23:58 +0200rosco(~rosco@60.53.7.10) rosco
2024-10-24 07:24:20 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 07:30:08 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-10-24 07:31:48 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-24 07:33:55 +0200superbil(~superbil@114-32-231-70.hinet-ip.hinet.net) (*.net *.split)
2024-10-24 07:34:28 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-10-24 07:35:24 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-10-24 07:35:41 +0200euleritian(~euleritia@dynamic-176-006-144-181.176.6.pool.telefonica.de)
2024-10-24 07:37:03 +0200superbil(~superbil@114-32-231-70.hinet-ip.hinet.net) superbil
2024-10-24 07:37:11 +0200rosco(~rosco@60.53.7.10) (Quit: Lost terminal)
2024-10-24 07:42:51 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 07:45:52 +0200cheater(~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com))
2024-10-24 07:48:14 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-24 07:58:37 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 08:03:49 +0200rmca(~rob@188.120.84.50)
2024-10-24 08:03:55 +0200YaShhhh(~YaShhhh@202.148.59.170)
2024-10-24 08:03:55 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-24 08:09:28 +0200pipsquak-bird(~g@c-71-232-204-190.hsd1.ma.comcast.net)
2024-10-24 08:10:25 +0200billchenchina-(~billchenc@103.152.35.21) billchenchina
2024-10-24 08:10:54 +0200billchenchina-(~billchenc@103.152.35.21) (Remote host closed the connection)
2024-10-24 08:13:26 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-10-24 08:14:26 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 08:19:00 +0200 <jackdk> :D
2024-10-24 08:19:17 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-24 08:20:29 +0200neuroevolutus(~neuroevol@37.19.200.141) neuroevolutus
2024-10-24 08:25:21 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 08:27:31 +0200YaShhhh(~YaShhhh@202.148.59.170) (Ping timeout: 256 seconds)
2024-10-24 08:27:42 +0200acidjnk_new(~acidjnk@p200300d6e72cfb1760fc46cbba529b10.dip0.t-ipconnect.de) acidjnk
2024-10-24 08:33:14 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-24 08:34:45 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-24 08:39:26 +0200jinsun(~jinsun@user/jinsun) jinsun
2024-10-24 08:40:23 +0200chele(~chele@user/chele) chele
2024-10-24 08:40:33 +0200aforemny(~aforemny@i577B12D8.versanet.de) (Ping timeout: 252 seconds)
2024-10-24 08:44:38 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 08:45:37 +0200rosco(~rosco@60.53.7.10) rosco
2024-10-24 08:49:39 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-24 08:50:06 +0200ft(~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: leaving)
2024-10-24 08:52:12 +0200CiaoSen(~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) CiaoSen
2024-10-24 08:56:45 +0200euleritian(~euleritia@dynamic-176-006-144-181.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-10-24 08:57:04 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-24 09:00:01 +0200caconym(~caconym@user/caconym) (Quit: bye)
2024-10-24 09:00:37 +0200caconym(~caconym@user/caconym) caconym
2024-10-24 09:07:45 +0200neuroevolutus(~neuroevol@37.19.200.141) (Quit: Client closed)
2024-10-24 09:09:25 +0200 <dmj`> =D
2024-10-24 09:12:28 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-10-24 09:12:49 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-24 09:13:39 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2024-10-24 09:20:56 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-10-24 09:21:44 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2024-10-24 09:25:57 +0200lystra(~lystra@208.59.105.41) (Ping timeout: 244 seconds)
2024-10-24 09:26:24 +0200stiell_(~stiell@gateway/tor-sasl/stiell) stiell
2024-10-24 09:34:15 +0200ubert(~Thunderbi@178.115.35.86.wireless.dyn.drei.com) ubert
2024-10-24 09:34:23 +0200hgolden__(~hgolden@23.162.40.28) hgolden
2024-10-24 09:36:40 +0200hgolden_(~hgolden@static-198-44-129-51.cust.tzulo.com) (Ping timeout: 252 seconds)
2024-10-24 09:40:33 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds)
2024-10-24 09:40:54 +0200lystra(~lystra@208.59.105.41) lystra
2024-10-24 09:41:33 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2024-10-24 09:42:34 +0200alp(~alp@2001:861:e3d6:8f80:4c11:7ead:439d:9e81)
2024-10-24 09:42:40 +0200alp(~alp@2001:861:e3d6:8f80:4c11:7ead:439d:9e81) (Changing host)
2024-10-24 09:42:40 +0200alp(~alp@user/alp) alp
2024-10-24 09:43:35 +0200merijn(~merijn@77.242.116.146) merijn
2024-10-24 09:48:22 +0200hgolden_(~hgolden@146.70.173.101) hgolden
2024-10-24 09:50:45 +0200hgolden__(~hgolden@23.162.40.28) (Ping timeout: 244 seconds)
2024-10-24 09:51:21 +0200ash3en(~Thunderbi@149.222.152.198) ash3en
2024-10-24 09:54:57 +0200acidjnk_new(~acidjnk@p200300d6e72cfb1760fc46cbba529b10.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2024-10-24 09:56:39 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2024-10-24 10:04:36 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2024-10-24 10:05:10 +0200husixu(~husixu@2404:e801:2007:7f8:575c:9227:a99a:857f) husixu
2024-10-24 10:06:17 +0200acidjnk_new(~acidjnk@p200300d6e72cfb1760fc46cbba529b10.dip0.t-ipconnect.de) acidjnk
2024-10-24 10:08:56 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2024-10-24 10:09:12 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-24 10:10:35 +0200husixu(~husixu@2404:e801:2007:7f8:575c:9227:a99a:857f) (Quit: Leaving)
2024-10-24 10:11:40 +0200husixu(~husixu@2404:e801:2007:7f8:575c:9227:a99a:857f) husixu
2024-10-24 10:12:17 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-24 10:12:40 +0200husixu(~husixu@2404:e801:2007:7f8:575c:9227:a99a:857f) (Client Quit)
2024-10-24 10:25:03 +0200ash3en(~Thunderbi@149.222.152.198) (Ping timeout: 246 seconds)
2024-10-24 10:26:17 +0200ash3en(~Thunderbi@149.222.152.198) ash3en
2024-10-24 10:27:24 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-10-24 10:32:44 +0200ash3en(~Thunderbi@149.222.152.198) (Quit: ash3en)
2024-10-24 10:33:42 +0200comerijn(~merijn@77.242.116.146) merijn
2024-10-24 10:35:09 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-24 10:35:54 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 246 seconds)
2024-10-24 10:36:48 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-10-24 10:38:14 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-24 10:39:50 +0200ash3en(~Thunderbi@149.222.152.198) ash3en
2024-10-24 10:49:40 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-24 10:52:41 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-24 10:59:38 +0200ash3en(~Thunderbi@149.222.152.198) (Quit: ash3en)
2024-10-24 11:03:48 +0200srazkvt(~sarah@user/srazkvt) srazkvt
2024-10-24 11:04:03 +0200 <Leary> What do people recommend for CI these days? I basically just want something to check all the components of my library build against tested-with GHCs.
2024-10-24 11:04:24 +0200hgolden__(~hgolden@169.150.203.10) hgolden
2024-10-24 11:06:13 +0200 <mauke> if your code is already on github, you can set up a "workflow" or "action" or whatever it's called now
2024-10-24 11:06:39 +0200Digitteknohippie(~user@user/digit) Digit
2024-10-24 11:06:42 +0200hgolden_(~hgolden@146.70.173.101) (Ping timeout: 246 seconds)
2024-10-24 11:06:42 +0200Digit(~user@user/digit) (Ping timeout: 246 seconds)
2024-10-24 11:08:36 +0200ash3en(~Thunderbi@149.222.152.198) ash3en
2024-10-24 11:10:24 +0200 <JuanDaugherty> i just actually CI
2024-10-24 11:11:16 +0200 <JuanDaugherty> which lone wolves can do
2024-10-24 11:12:44 +0200 <JuanDaugherty> another case of semantic drift into grift
2024-10-24 11:15:41 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2)
2024-10-24 11:20:16 +0200DigitteknohippieDigit
2024-10-24 11:23:07 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-10-24 11:27:09 +0200 <tomsmeding> Leary: Hecate had a thing
2024-10-24 11:28:48 +0200 <tomsmeding> Leary: https://github.com/Kleidukos/get-tested
2024-10-24 11:29:10 +0200 <tomsmeding> never used, just saw it being announced a while ago
2024-10-24 11:29:53 +0200 <Hecate> hi hi
2024-10-24 11:30:10 +0200 <Hecate> Leary: yeah, get-tested is the best if you use Github Actions
2024-10-24 11:30:52 +0200 <Leary> Cheers. It'll be on github soon, so I'll have a poke at that.
2024-10-24 11:31:54 +0200 <tomsmeding> Hecate: put the keyword "CI" somewhere in the repo description or something, I searched for "Hecate CI haskell" and couldn't find anything, had to search for "actions" on your github
2024-10-24 11:32:12 +0200 <tomsmeding> as you can see it took me more than 1.5 minutes to find it!
2024-10-24 11:33:29 +0200 <Hecate> tomsmeding: got it
2024-10-24 11:34:11 +0200califax(~califax@user/califx) califx
2024-10-24 11:35:27 +0200comerijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2024-10-24 11:35:32 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-10-24 11:37:03 +0200califax(~califax@user/califx) califx
2024-10-24 11:38:30 +0200 <Hecate> unrelated, I have made a thing: https://github.com/haskell/cabal/wiki/Deprecation-Process
2024-10-24 11:38:34 +0200 <Hecate> please gib feedback
2024-10-24 11:39:07 +0200 <jackdk> I'm still on https://github.com/haskell-ci/haskell-ci but it's a bit annoying these days since new releases don't come through to Hackage
2024-10-24 11:40:01 +0200 <tomsmeding> Hecate: you've made a thing again? You make so many things!
2024-10-24 11:40:30 +0200 <Hecate> jackdk: yep
2024-10-24 11:40:44 +0200 <Hecate> tomsmeding: I swear I'll stop
2024-10-24 11:40:48 +0200 <Hecate> when I'm dead.
2024-10-24 11:44:19 +0200 <tomsmeding> exactly as it should be
2024-10-24 11:44:19 +0200merijn(~merijn@77.242.116.146) merijn
2024-10-24 11:47:33 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds)
2024-10-24 11:48:52 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-10-24 11:59:00 +0200ash3en(~Thunderbi@149.222.152.198) (Ping timeout: 272 seconds)
2024-10-24 12:00:05 +0200srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2024-10-24 12:03:07 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 264 seconds)
2024-10-24 12:04:41 +0200alp(~alp@user/alp) (Remote host closed the connection)
2024-10-24 12:05:31 +0200CiaoSen(~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds)
2024-10-24 12:07:23 +0200alp(~alp@2001:861:e3d6:8f80:4c11:7ead:439d:9e81)
2024-10-24 12:12:57 +0200mari-estel(~mari-este@user/mari-estel) mari-estel
2024-10-24 12:13:35 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-24 12:14:39 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-10-24 12:14:56 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-24 12:17:33 +0200merijn(~merijn@77.242.116.146) merijn
2024-10-24 12:23:37 +0200mari-7733(~mari-este@user/mari-estel) mari-estel
2024-10-24 12:24:17 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2024-10-24 12:24:48 +0200alexherbo2(~alexherbo@2a02-8440-3217-270c-61bf-78b5-c91b-cacd.rev.sfr.net) alexherbo2
2024-10-24 12:24:50 +0200mari-estel(~mari-este@user/mari-estel) (Ping timeout: 248 seconds)
2024-10-24 12:37:15 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-24 12:37:15 +0200merijn(~merijn@77.242.116.146) merijn
2024-10-24 12:38:16 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds)
2024-10-24 12:38:41 +0200euleritian(~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de)
2024-10-24 12:39:15 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2024-10-24 12:41:28 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-10-24 12:47:34 +0200ash3en(~Thunderbi@149.222.152.198) ash3en
2024-10-24 12:48:08 +0200xff0x(~xff0x@2405:6580:b080:900:e0cc:218e:37fe:3b0c)
2024-10-24 12:52:06 +0200euleritian(~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-10-24 12:52:23 +0200euleritian(~euleritia@77.22.252.56)
2024-10-24 12:52:49 +0200CiaoSen(~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) CiaoSen
2024-10-24 12:54:45 +0200euleritian(~euleritia@77.22.252.56) (Read error: Connection reset by peer)
2024-10-24 12:55:32 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-24 12:59:51 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds)
2024-10-24 13:00:04 +0200caconym(~caconym@user/caconym) (Quit: bye)
2024-10-24 13:00:28 +0200euleritian(~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de)
2024-10-24 13:02:19 +0200caconym(~caconym@user/caconym) caconym
2024-10-24 13:05:42 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-10-24 13:07:55 +0200srazkvt(~sarah@user/srazkvt) srazkvt
2024-10-24 13:12:08 +0200euleritian(~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-10-24 13:12:25 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-24 13:26:12 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-10-24 13:26:26 +0200euleritian(~euleritia@77.22.252.56)
2024-10-24 13:26:37 +0200sawilagar(~sawilagar@user/sawilagar) sawilagar
2024-10-24 13:27:49 +0200CiaoSen(~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds)
2024-10-24 13:29:10 +0200mari-7733(~mari-este@user/mari-estel) (Quit: on the move)
2024-10-24 13:29:55 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-24 13:50:22 +0200hgolden_(~hgolden@169.150.203.36) hgolden
2024-10-24 13:52:56 +0200hgolden__(~hgolden@169.150.203.10) (Ping timeout: 255 seconds)
2024-10-24 13:53:17 +0200identity(~identity@user/ZharMeny) identity
2024-10-24 14:04:09 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-24 14:08:17 +0200CiaoSen(~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) CiaoSen
2024-10-24 14:08:34 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds)
2024-10-24 14:09:58 +0200mceresa(~mceresa@user/mceresa) (Remote host closed the connection)
2024-10-24 14:11:27 +0200vektor(~vektor@IP-149249145213.pools.medianet-world.de)
2024-10-24 14:12:58 +0200mceresa(~mceresa@user/mceresa) mceresa
2024-10-24 14:14:01 +0200 <vektor> https://paste.tomsmeding.com/VrrXMpLr - am I missing something about the way QuickCheck's "within" (aka timeout) is supposed to be used? This thing loops forever.
2024-10-24 14:16:30 +0200mceresa(~mceresa@user/mceresa) (Remote host closed the connection)
2024-10-24 14:16:44 +0200 <Leary> vektor: Non-allocating loop maybe. There's no escape if the GC doesn't have a chance to act.
2024-10-24 14:18:44 +0200alp(~alp@2001:861:e3d6:8f80:4c11:7ead:439d:9e81) (Remote host closed the connection)
2024-10-24 14:19:27 +0200mceresa(~mceresa@user/mceresa) mceresa
2024-10-24 14:19:29 +0200dilaver_(~dilaver_@user/dilaver-:32218) (Quit: Ping timeout (120 seconds))
2024-10-24 14:19:38 +0200 <vektor> I see. If the presumed loop in my unit under test is also non-allocating I'm a little hosed. I mean, I suppose I could do a substantially more manual approach to troubleshoot.
2024-10-24 14:20:12 +0200dilaver_(~dilaver_@user/dilaver-:32218) dilaver_
2024-10-24 14:21:24 +0200hgolden__(~hgolden@23.162.40.28) hgolden
2024-10-24 14:22:02 +0200 <geekosaur> compiling the unit with -fno-omit-yields may help
2024-10-24 14:23:26 +0200 <vektor> Looking into it, it might've just been that QuickCheck generates obscenely large test cases and my UUT is simply slower than expected. Seems I should check my assumptions about "sized" and such.
2024-10-24 14:23:46 +0200hgolden_(~hgolden@169.150.203.36) (Ping timeout: 252 seconds)
2024-10-24 14:24:56 +0200 <vektor> As in, I've had test cases terminate gracefully (and then run into the timout) after >10 seconds, which I had thought to be practically impossible.
2024-10-24 14:25:29 +0200symdrome(~user@2804:1e78:2202:2220::416) symdrome
2024-10-24 14:32:51 +0200CiaoSen(~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds)
2024-10-24 14:39:49 +0200ubert(~Thunderbi@178.115.35.86.wireless.dyn.drei.com) (Ping timeout: 248 seconds)
2024-10-24 14:40:53 +0200zerozzz
2024-10-24 14:49:15 +0200CiaoSen(~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) CiaoSen
2024-10-24 14:51:26 +0200gentauro(~gentauro@user/gentauro) (Ping timeout: 255 seconds)
2024-10-24 14:55:15 +0200rubin55(sid666177@id-666177.lymington.irccloud.com) (Ping timeout: 246 seconds)
2024-10-24 14:55:19 +0200meinside(uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 264 seconds)
2024-10-24 14:56:04 +0200meinside(uid24933@id-24933.helmsley.irccloud.com) meinside
2024-10-24 14:56:24 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2)
2024-10-24 14:56:28 +0200rubin55(sid666177@id-666177.lymington.irccloud.com) rubin55
2024-10-24 14:58:05 +0200gentauro(~gentauro@user/gentauro) gentauro
2024-10-24 14:59:05 +0200sawilagar(~sawilagar@user/sawilagar) (Read error: Connection reset by peer)
2024-10-24 14:59:20 +0200sawilagar(~sawilagar@user/sawilagar) sawilagar
2024-10-24 15:00:22 +0200hgolden_(~hgolden@23.162.40.69) hgolden
2024-10-24 15:02:41 +0200hgolden__(~hgolden@23.162.40.28) (Ping timeout: 248 seconds)
2024-10-24 15:05:09 +0200euleritian(~euleritia@77.22.252.56) (Read error: Connection reset by peer)
2024-10-24 15:06:15 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-24 15:08:18 +0200CiaoSen(~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) (Ping timeout: 245 seconds)
2024-10-24 15:15:06 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-10-24 15:15:17 +0200euleritian(~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de)
2024-10-24 15:24:00 +0200leah2(~leah@vuxu.org) (Ping timeout: 244 seconds)
2024-10-24 15:30:52 +0200euleritian(~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-10-24 15:31:09 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-24 15:33:55 +0200leah2(~leah@vuxu.org) leah2
2024-10-24 15:34:25 +0200alexherbo2(~alexherbo@2a02-8440-3217-270c-61bf-78b5-c91b-cacd.rev.sfr.net) (Remote host closed the connection)
2024-10-24 15:38:06 +0200cheater(~Username@user/cheater) cheater
2024-10-24 15:39:03 +0200alexherbo2(~alexherbo@2a02-8440-3217-270c-61bf-78b5-c91b-cacd.rev.sfr.net) alexherbo2
2024-10-24 15:39:55 +0200leah2(~leah@vuxu.org) (Quit: Sprechen Sie noch? Wird noch gesprochen? Ich trenne.)
2024-10-24 15:40:17 +0200leah2(~leah@vuxu.org) leah2
2024-10-24 15:45:56 +0200ash3en(~Thunderbi@149.222.152.198) (Quit: ash3en)
2024-10-24 15:48:39 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2024-10-24 15:48:54 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-24 15:49:11 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-10-24 15:49:21 +0200Digitteknohippie(~user@user/digit) Digit
2024-10-24 15:49:34 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-24 15:49:41 +0200Digit(~user@user/digit) (Ping timeout: 248 seconds)
2024-10-24 15:53:58 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 272 seconds)
2024-10-24 15:57:00 +0200ash3en(~Thunderbi@149.222.152.198) ash3en
2024-10-24 16:01:32 +0200sawilagar(~sawilagar@user/sawilagar) sawilagar
2024-10-24 16:03:07 +0200leah2(~leah@vuxu.org) (Ping timeout: 252 seconds)
2024-10-24 16:03:56 +0200 <SrPx> I've just refactored a "Term" type in Haskell to receive a type argument 'a' (i.e., (PreTerm a)), and created the equivalent of the old Term as 'newtype Term = T (PreTerm Term)'. but now I need to write (T (App _ _)) instead of (App _ _) etc. everywhere. is it possible to make this change work without refactoring the whole codebase?
2024-10-24 16:06:55 +0200 <ncf> pattern synonym?
2024-10-24 16:08:04 +0200 <int-e> can you get away with a type alias?
2024-10-24 16:08:50 +0200 <int-e> oh wait, never mind
2024-10-24 16:09:04 +0200int-emissed the recursion in the newtype
2024-10-24 16:09:09 +0200 <SrPx> int-e: haskell complains `type Term = PreTerm Term` is recursive 💀
2024-10-24 16:09:14 +0200 <SrPx> @ncf reading rn ty
2024-10-24 16:09:14 +0200 <lambdabot> Maybe you meant: unpf rc bf
2024-10-24 16:14:30 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-10-24 16:15:06 +0200euleritian(~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de)
2024-10-24 16:18:39 +0200DigitteknohippieDigit
2024-10-24 16:19:36 +0200leah2(~leah@vuxu.org) leah2
2024-10-24 16:21:27 +0200euleritian(~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) (Ping timeout: 252 seconds)
2024-10-24 16:21:46 +0200polux(~polux@51-15-169-172.rev.poneytelecom.eu) (Quit: Ping timeout (120 seconds))
2024-10-24 16:24:15 +0200polux(~polux@51-15-169-172.rev.poneytelecom.eu) polux
2024-10-24 16:29:39 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2024-10-24 16:34:45 +0200 <Leary> SrPx: I don't fancy the approach taken by the recursion-schemes library, but it's suitable for making such a change to an existing code base with minimal refactoring. You can keep your old `data Term` and let it generate `data TermF` equivalent to your `PreTerm` and functions for converting between, etc.
2024-10-24 16:35:39 +0200ash3en(~Thunderbi@149.222.152.198) (Quit: ash3en)
2024-10-24 16:35:56 +0200ash3en(~Thunderbi@149.222.152.198) ash3en
2024-10-24 16:36:09 +0200ash3en(~Thunderbi@149.222.152.198) (Client Quit)
2024-10-24 16:36:25 +0200ash3en(~Thunderbi@149.222.152.198) ash3en
2024-10-24 16:36:35 +0200ash3en(~Thunderbi@149.222.152.198) (Client Quit)
2024-10-24 16:36:50 +0200ash3en(~Thunderbi@149.222.152.198) ash3en
2024-10-24 16:38:00 +0200pipsquak-bird(~g@c-71-232-204-190.hsd1.ma.comcast.net) (Quit: leaving)
2024-10-24 16:38:01 +0200ubert(~Thunderbi@77.119.173.172.wireless.dyn.drei.com) ubert
2024-10-24 16:41:52 +0200ash3en(~Thunderbi@149.222.152.198) (Quit: ash3en)
2024-10-24 16:46:05 +0200alexherbo2(~alexherbo@2a02-8440-3217-270c-61bf-78b5-c91b-cacd.rev.sfr.net) (Remote host closed the connection)
2024-10-24 16:59:28 +0200nitrix-or-treatsnitrix
2024-10-24 17:01:07 +0200vektor(~vektor@IP-149249145213.pools.medianet-world.de) (Quit: Client closed)
2024-10-24 17:02:37 +0200mari-estel(~mari-este@user/mari-estel) mari-estel
2024-10-24 17:07:03 +0200alexherbo2(~alexherbo@2a02-8440-3217-270c-61bf-78b5-c91b-cacd.rev.sfr.net) alexherbo2
2024-10-24 17:15:41 +0200benjaminl(~benjaminl@user/benjaminl) (Read error: Connection reset by peer)
2024-10-24 17:15:57 +0200benjaminl(~benjaminl@user/benjaminl) benjaminl
2024-10-24 17:17:00 +0200rosco(~rosco@60.53.7.10) (Quit: Lost terminal)
2024-10-24 17:17:29 +0200euleritian(~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de)
2024-10-24 17:18:19 +0200alexherbo2(~alexherbo@2a02-8440-3217-270c-61bf-78b5-c91b-cacd.rev.sfr.net) (Remote host closed the connection)
2024-10-24 17:19:37 +0200chele(~chele@user/chele) (Remote host closed the connection)
2024-10-24 17:22:14 +0200euleritian(~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) (Ping timeout: 260 seconds)
2024-10-24 17:23:11 +0200euleritian(~euleritia@176.2.4.100)
2024-10-24 17:31:26 +0200ash3en(~Thunderbi@149.222.152.198) ash3en
2024-10-24 17:31:43 +0200rosco(~rosco@2001:e68:5442:ee23:fc9e:630a:419d:7168) rosco
2024-10-24 17:34:41 +0200mari-estel(~mari-este@user/mari-estel) (Quit: class)
2024-10-24 17:37:24 +0200euleritian(~euleritia@176.2.4.100) (Read error: Connection reset by peer)
2024-10-24 17:37:31 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-24 17:38:33 +0200comerijn(~merijn@77.242.116.146) merijn
2024-10-24 17:40:48 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 245 seconds)
2024-10-24 17:42:54 +0200comerijn(~merijn@77.242.116.146) (Ping timeout: 246 seconds)
2024-10-24 17:55:05 +0200ash3en(~Thunderbi@149.222.152.198) (Quit: ash3en)
2024-10-24 17:55:18 +0200ash3en(~Thunderbi@149.222.152.198) ash3en
2024-10-24 17:59:22 +0200identity(~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91))
2024-10-24 18:00:24 +0200identity(~identity@user/ZharMeny) identity
2024-10-24 18:05:40 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-10-24 18:07:49 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-10-24 18:08:21 +0200ash3en(~Thunderbi@149.222.152.198) (Quit: ash3en)
2024-10-24 18:08:39 +0200ash3en(~Thunderbi@149.222.152.198) ash3en
2024-10-24 18:09:02 +0200ash3en(~Thunderbi@149.222.152.198) (Client Quit)
2024-10-24 18:09:19 +0200ash3en(~Thunderbi@149.222.152.198) ash3en
2024-10-24 18:11:26 +0200ash3en(~Thunderbi@149.222.152.198) (Client Quit)
2024-10-24 18:12:39 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds)
2024-10-24 18:13:46 +0200euleritian(~euleritia@dynamic-176-002-004-100.176.2.pool.telefonica.de)
2024-10-24 18:16:04 +0200 <zzz> is there something like a WordMap that works with Word intead of Int in a way that is as efficient as IntMap?
2024-10-24 18:19:16 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2024-10-24 18:21:24 +0200 <zzz> i'm obviously trying to avoid Word/Int conversion overhead
2024-10-24 18:22:20 +0200 <geekosaur> not that I'm aware of
2024-10-24 18:22:47 +0200 <geekosaur> if you're absolutely hell-bent on premature optimization, just unsafeCoerce everything
2024-10-24 18:24:38 +0200 <zzz> i'm trying to make negative keys unrepresentable
2024-10-24 18:26:28 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2024-10-24 18:29:11 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-10-24 18:31:02 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 272 seconds)
2024-10-24 18:31:39 +0200 <dolio> I've written my own partial wrapper using a 'things that can be represented as Int' class (didn't use Enum, because I don't think it's ideal for this). I don't know of any packaged version.
2024-10-24 18:32:20 +0200 <zzz> dolio: yes, i also came to the conclusion that Enum is not ideal
2024-10-24 18:32:56 +0200srazkvt(~sarah@user/srazkvt) (Ping timeout: 272 seconds)
2024-10-24 18:34:11 +0200euleritian(~euleritia@dynamic-176-002-004-100.176.2.pool.telefonica.de) (Read error: Connection reset by peer)
2024-10-24 18:34:29 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-24 18:39:18 +0200 <EvanR> you can use a newtype around Int which is guarded with the module system to not allow negatives
2024-10-24 18:39:33 +0200 <EvanR> and then there's an Enum-based Map
2024-10-24 18:39:49 +0200 <EvanR> oh I'm late
2024-10-24 18:40:55 +0200 <EvanR> but this is a data point in a more general situation where you want to use a subset of Int somewhere without paying performance costs
2024-10-24 18:41:34 +0200 <EvanR> (if you literally wanted to use Word for its own sake, which has additional values that Int doesn't, that's another story)
2024-10-24 18:43:00 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-10-24 18:44:21 +0200euleritian(~euleritia@176.2.4.100)
2024-10-24 18:45:11 +0200 <EvanR> with a newtype over Int you could use safe coercions instead of unsafeCoerce
2024-10-24 18:45:34 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-10-24 18:46:53 +0200 <zzz> EvanR: how so? with no performance costs?
2024-10-24 18:46:57 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2024-10-24 18:47:34 +0200spew(~spew@201.141.99.170) spew
2024-10-24 18:47:48 +0200 <EvanR> normal use of newtype unwrapping gets optimized away as I understand it, but you can also coerce between newtypes that have the same underlying representation
2024-10-24 18:47:55 +0200 <EvanR> in a type safe way
2024-10-24 18:49:09 +0200euleritian(~euleritia@176.2.4.100) (Ping timeout: 260 seconds)
2024-10-24 18:49:59 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-24 18:53:13 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 18:55:39 +0200Miroboru(~myrvoll@178-164-114.82.3p.ntebredband.no) (Ping timeout: 276 seconds)
2024-10-24 18:57:05 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-24 18:57:14 +0200billchenchina-(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) billchenchina
2024-10-24 18:58:14 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-24 18:58:19 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2024-10-24 18:59:04 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2024-10-24 18:59:34 +0200euleritian(~euleritia@dynamic-176-007-144-063.176.7.pool.telefonica.de)
2024-10-24 19:06:25 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-10-24 19:07:06 +0200Miroboru(~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru
2024-10-24 19:09:02 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 19:10:14 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-24 19:10:34 +0200 <zzz> sigh i'll just use IntMap and be mindful
2024-10-24 19:11:39 +0200 <zzz> can't forget that minBound is 1000... and maxBound is 01111...
2024-10-24 19:16:01 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-24 19:16:27 +0200noctux(~noctux@user/noctux) (Read error: Connection reset by peer)
2024-10-24 19:16:52 +0200ft(~ft@p4fc2a216.dip0.t-ipconnect.de) ft
2024-10-24 19:24:09 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-10-24 19:26:59 +0200Pozyomka(~pyon@user/pyon) (Quit: brb)
2024-10-24 19:27:05 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 19:31:01 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-10-24 19:32:07 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-24 19:33:22 +0200noctux(~noctux@user/noctux) noctux
2024-10-24 19:33:33 +0200 <EvanR> are you actually using the binary representation, but Word and Int feel very much like unsigned and "int" in C
2024-10-24 19:34:04 +0200 <EvanR> defined by their behavior when asked to do things with representable values, not bits
2024-10-24 19:34:18 +0200 <EvanR> (though unsigned has additional guarantees about overflow)
2024-10-24 19:34:33 +0200 <EvanR> (expressed as mod power of 2)
2024-10-24 19:35:24 +0200 <EvanR> it may be that IntMap internally uses the bits
2024-10-24 19:35:36 +0200Mazin(~Mazin@197.39.37.178)
2024-10-24 19:36:02 +0200 <EvanR> but "can't be negative" is a higher level condition which survives changes in representation and precision
2024-10-24 19:38:10 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-24 19:38:23 +0200Pozyomka(~pyon@user/pyon) pyon
2024-10-24 19:38:59 +0200lb(~alphazone@2.219.56.221) (Ping timeout: 255 seconds)
2024-10-24 19:39:21 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 19:40:47 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2024-10-24 19:42:02 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds)
2024-10-24 19:43:12 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-24 19:45:43 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-24 19:49:46 +0200briandaed(~root@185.234.210.211)
2024-10-24 19:54:10 +0200alphazone(~alphazone@2.219.56.221)
2024-10-24 19:55:55 +0200LukeHoersten(~LukeHoers@user/lukehoersten) LukeHoersten
2024-10-24 19:56:06 +0200jinsun(~jinsun@user/jinsun) (Ping timeout: 276 seconds)
2024-10-24 19:56:26 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 20:00:01 +0200 <zzz> EvanR: i'm just used to think in binary, maybe "make negative keys unrepresentable" was a bad way to explain myself
2024-10-24 20:00:14 +0200 <zzz> s/think/thinking
2024-10-24 20:01:04 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-24 20:01:07 +0200 <zzz> thinks like minBound /= 0 trip me up sometimes
2024-10-24 20:01:13 +0200 <zzz> s/thinks/things
2024-10-24 20:01:17 +0200 <EvanR> usually when I see Word, I expect it's because they want the very large values for some reason, or yeah you want all values 0 to 2^n - 1
2024-10-24 20:01:48 +0200 <EvanR> where n is 64
2024-10-24 20:02:14 +0200 <EvanR> which is why it doesn't play nice with Int APIs
2024-10-24 20:02:45 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-10-24 20:04:48 +0200 <zzz> i just hate stuff like length returning Int so that's my problem
2024-10-24 20:05:21 +0200Mazin(~Mazin@197.39.37.178) (Quit: Client closed)
2024-10-24 20:06:41 +0200 <EvanR> yeeeeah
2024-10-24 20:08:15 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-24 20:09:59 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-24 20:10:27 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2024-10-24 20:10:37 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-10-24 20:11:53 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 20:12:49 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2024-10-24 20:12:50 +0200ljdarj1ljdarj
2024-10-24 20:13:00 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds)
2024-10-24 20:16:52 +0200sinbad(~sinbad@user/sinbad) Sinbad
2024-10-24 20:17:14 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-24 20:27:39 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-24 20:27:42 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 20:30:12 +0200LukeHoersten(~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2024-10-24 20:32:28 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-10-24 20:36:07 +0200 <sinbad> I am having trouble with using the gi-secret package. I'd like to access the default keyring (on my linux machine) using functions from GI.Secret.Functions. In particular, calling passwordLookupSync results in compiling errors, see https://paste.tomsmeding.com/CiR7TchN
2024-10-24 20:36:38 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-24 20:38:44 +0200 <sinbad> Whatever it is worth the same call works with the python bindings to the same libsecret library.
2024-10-24 20:39:25 +0200SlackCoder(~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder
2024-10-24 20:40:22 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 20:41:59 +0200 <sinbad> Any advice would be appreciated.
2024-10-24 20:42:17 +0200 <briandaed> shouldn't you use 4 params instead of 3?
2024-10-24 20:44:08 +0200 <mauke> briandaed: why?
2024-10-24 20:44:24 +0200 <briandaed> ok, which version of the package you use right now?
2024-10-24 20:44:47 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-10-24 20:45:10 +0200 <briandaed> mauke: for the latest package version it takes 4 params, https://hackage.haskell.org/package/gi-secret-0.0.18/docs/GI-Secret-Functions.html#g:method:passwo…
2024-10-24 20:45:34 +0200 <geekosaur> ]aren't you confused? I see 3 parameters in the latest version
2024-10-24 20:45:53 +0200 <geekosaur> don't forget the last arrow points to a result type, not a parameter
2024-10-24 20:46:20 +0200 <briandaed> meh, right, I'm blind
2024-10-24 20:46:41 +0200 <mauke> sinbad: do you get a different error if you change the last argument to (Nothing :: Maybe Cancellable)?
2024-10-24 20:46:46 +0200 <mauke> just trying random things here
2024-10-24 20:47:03 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-10-24 20:47:14 +0200 <zzz> *pseudorandom
2024-10-24 20:48:24 +0200 <mauke> making an educated wish
2024-10-24 20:50:09 +0200rosco(~rosco@2001:e68:5442:ee23:fc9e:630a:419d:7168) (Quit: Lost terminal)
2024-10-24 20:53:18 +0200 <lxsameer> hey folks, is there any library similar to rust's tokio in haskell?
2024-10-24 20:53:23 +0200hgolden__(~hgolden@146.70.173.37) hgolden
2024-10-24 20:54:11 +0200 <identity> lxsameer: probably the 'async' library is what you're looking for
2024-10-24 20:54:16 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
2024-10-24 20:54:51 +0200 <sinbad> briandaed: oops, the list of search flags is missing from my call according the most recent doc. I need to check what version I am using
2024-10-24 20:55:28 +0200 <zzz> identity: lxsameer: for networking specifically i recall some other library built on top of async
2024-10-24 20:55:33 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-24 20:56:04 +0200hgolden_(~hgolden@23.162.40.69) (Ping timeout: 272 seconds)
2024-10-24 20:56:31 +0200 <sinbad> mauke: where is Cancellable coming from?
2024-10-24 20:57:12 +0200 <zzz> lxsameer: Conduit and Streamly for streams
2024-10-24 20:57:33 +0200 <zzz> Warp for http server
2024-10-24 20:58:01 +0200 <zzz> (Warp is to Haskell what hyper (tokio based) is to Rust)
2024-10-24 20:58:26 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 20:58:57 +0200 <lxsameer> zzz: awesome, thank you
2024-10-24 21:00:02 +0200caconym(~caconym@user/caconym) (Quit: bye)
2024-10-24 21:00:37 +0200caconym(~caconym@user/caconym) caconym
2024-10-24 21:03:43 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2024-10-24 21:05:15 +0200 <mauke> sinbad: https://hackage.haskell.org/package/gi-gio-2.0.35/docs/GI-Gio-Objects-Cancellable.html#t:Cancellable
2024-10-24 21:05:54 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-24 21:06:35 +0200 <geekosaur> one little issue I noticed is that the error mentions `it` which means you were doing this in ghci, not a Haskell program, which might affect things
2024-10-24 21:07:51 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-24 21:08:00 +0200 <sinbad> geekosaur: yes I might. however with the full program I get the same error
2024-10-24 21:09:52 +0200hgolden_(~hgolden@static-198-44-129-115.cust.tzulo.com) hgolden
2024-10-24 21:12:21 +0200hgolden__(~hgolden@146.70.173.37) (Ping timeout: 248 seconds)
2024-10-24 21:12:43 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds)
2024-10-24 21:12:55 +0200 <sinbad> I ma using the latest version (0.0.18) and the passwordLookupSync take 3 arguments
2024-10-24 21:14:12 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 21:18:57 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-10-24 21:19:27 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-24 21:22:51 +0200 <zzz> what should i keep in mind when chosing between `Set x` and `Map x Bool` for setting/checking flags?
2024-10-24 21:23:22 +0200 <zzz> performance-wise
2024-10-24 21:23:24 +0200Square(~Square@user/square) (Ping timeout: 246 seconds)
2024-10-24 21:23:40 +0200 <geekosaur> I think there's less a performance question than a presence issue
2024-10-24 21:23:53 +0200 <geekosaur> that is, do you care about "not specified"?
2024-10-24 21:24:56 +0200 <zzz> no, in the case of going with Map, all keys will be initialized from the start
2024-10-24 21:25:09 +0200 <mauke> Set x ~ Map x ()
2024-10-24 21:25:36 +0200 <zzz> i guess from a moral stance, Set is better because the "not specified" case is unrepresentable
2024-10-24 21:25:42 +0200 <geekosaur> well, presumably they will check the value if it's Map x Bool, which will slightly slow things down
2024-10-24 21:25:44 +0200 <zzz> but i'm thinking about memory management
2024-10-24 21:25:58 +0200 <geekosaur> it will cost a little more memory, yes
2024-10-24 21:26:09 +0200 <geekosaur> Bool won't cost you mugh though
2024-10-24 21:26:18 +0200 <geekosaur> 3 machine words, I think?
2024-10-24 21:26:34 +0200 <geekosaur> sorry, two
2024-10-24 21:26:41 +0200 <geekosaur> pointer to value, constructor tag
2024-10-24 21:27:19 +0200 <zzz> not only that, i'm guessing Map x Bool will allocate a fixed chunk of memory from the start, while Set x will grow and/or shrink? But this is beyond what i understand about the low levels of GHC
2024-10-24 21:27:57 +0200 <geekosaur> eh? they're both trees, one carries a little extra data
2024-10-24 21:28:36 +0200 <int-e> Map x Bool is persistent; rather than modifying values, "updates" will recreate a path in a tree to the updated key and reuse the other parts of the tree.
2024-10-24 21:29:15 +0200 <int-e> That's also true for Set x, but the tree will be smaller.
2024-10-24 21:29:49 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-10-24 21:29:50 +0200 <zzz> geekosaur: yes, what i mean is that in the case of Map the tree is always the same size, so there won't be any garbage collection on updates
2024-10-24 21:30:00 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 21:30:13 +0200 <mauke> no, there absolutely will be
2024-10-24 21:30:13 +0200 <int-e> zzz: that's not correct
2024-10-24 21:30:20 +0200 <mauke> trees aren't modified in place
2024-10-24 21:30:36 +0200 <zzz> mauke: how do Sets grow?
2024-10-24 21:30:45 +0200 <zzz> and shrink?
2024-10-24 21:30:56 +0200 <mauke> by inserting and removing elements?
2024-10-24 21:31:11 +0200 <int-e> You construct new trees, reusing parts of old trees. The new parts are freshly allocated on the heap.
2024-10-24 21:31:29 +0200 <int-e> Unused old parts will eventually be garbage collected.
2024-10-24 21:31:34 +0200 <geekosaur> the point here is that everything is immutable, so an entire tree limb in either case will be replaced which requires the path to that limb to be replaced
2024-10-24 21:31:43 +0200 <geekosaur> but the popinters to other limbs can be reused
2024-10-24 21:32:29 +0200 <zzz> i see
2024-10-24 21:33:21 +0200 <mauke> simplified example using lists: replace2nd :: a -> [a] -> [a]; replace2nd x (h : _ : rest) = h : x : rest
2024-10-24 21:33:42 +0200 <mauke> replacing ("updating") the second element of a list
2024-10-24 21:33:53 +0200 <zzz> so no low level optimization? i can't reason about performance in these cases, it's way beyond my understanding of Haskell
2024-10-24 21:34:01 +0200 <mauke> rest can be reused, but two new nodes are allocated
2024-10-24 21:34:21 +0200 <mauke> corresponding to the (:)
2024-10-24 21:34:45 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-24 21:34:45 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-24 21:34:55 +0200 <zzz> mauke: i understand that
2024-10-24 21:35:08 +0200 <mauke> more specifically, the initial part (up to the second element) of the list has to be recreated, and everything further "down" can be reused as is
2024-10-24 21:35:17 +0200 <geekosaur> iirc the cost of the accounting needed to prove that an in-place update is safe would be higher than assuming it's not
2024-10-24 21:35:25 +0200 <mauke> trees work the same way, only there are two "rest" parts
2024-10-24 21:36:51 +0200 <zzz> right
2024-10-24 21:36:58 +0200 <mauke> in trees, everything "above" the replaced element has to be recreated (i.e. all the nodes back up to the root of the tree), but everything else can be reused
2024-10-24 21:37:23 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2024-10-24 21:37:36 +0200 <mauke> which is something like a log(n) cost, assuming your tree is balanced
2024-10-24 21:38:29 +0200 <mauke> geekosaur: perceus/koka does the in-place optimization, doesn't it?
2024-10-24 21:38:43 +0200 <mauke> but that's very different from ghc's memory manager
2024-10-24 21:38:48 +0200 <geekosaur> exactly
2024-10-24 21:39:20 +0200 <geekosaur> I know that someone was poking at using a different memory manager with ghc, but it wasn't perceus
2024-10-24 21:40:53 +0200 <geekosaur> I also know they were finding out that replacing ghc's memory manager is a major project
2024-10-24 21:44:56 +0200sojuro(~sojuro@syn-069-206-166-125.res.spectrum.com)
2024-10-24 21:48:37 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 21:50:15 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-24 21:51:49 +0200euleritian(~euleritia@dynamic-176-007-144-063.176.7.pool.telefonica.de) (Read error: Connection reset by peer)
2024-10-24 21:52:06 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-24 21:53:21 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-24 21:55:55 +0200hgolden_(~hgolden@static-198-44-129-115.cust.tzulo.com) (Ping timeout: 264 seconds)
2024-10-24 21:55:57 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-10-24 21:56:09 +0200euleritian(~euleritia@dynamic-176-007-144-063.176.7.pool.telefonica.de)
2024-10-24 21:56:28 +0200euleritian(~euleritia@dynamic-176-007-144-063.176.7.pool.telefonica.de) (Read error: Connection reset by peer)
2024-10-24 21:56:46 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-24 22:01:37 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-24 22:02:39 +0200briandaed(~root@185.234.210.211) (Remote host closed the connection)
2024-10-24 22:02:40 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-10-24 22:02:44 +0200hgolden(~hgolden@169.150.203.36) hgolden
2024-10-24 22:02:49 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-24 22:02:52 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds)
2024-10-24 22:04:00 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 22:06:19 +0200spew(~spew@201.141.99.170) (Ping timeout: 260 seconds)
2024-10-24 22:07:14 +0200michalz(~michalz@185.246.207.201) (Remote host closed the connection)
2024-10-24 22:07:53 +0200spew(~spew@185.153.177.94) spew
2024-10-24 22:09:14 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-24 22:11:29 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-24 22:13:28 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 252 seconds)
2024-10-24 22:19:46 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 22:20:59 +0200sinbad(~sinbad@user/sinbad) (Quit: Leaving.)
2024-10-24 22:26:55 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-24 22:37:50 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 22:39:57 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-24 22:42:29 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-24 22:43:05 +0200CrunchyFlakes(~CrunchyFl@31.19.233.78) (Quit: ZNC 1.8.2 - https://znc.in)
2024-10-24 22:45:42 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-24 22:52:15 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-10-24 22:52:30 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-10-24 22:52:35 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2024-10-24 22:53:37 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 22:54:19 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-10-24 22:54:30 +0200euleritian(~euleritia@176.7.144.63)
2024-10-24 22:54:48 +0200euleritian(~euleritia@176.7.144.63) (Read error: Connection reset by peer)
2024-10-24 22:55:05 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-24 22:58:09 +0200 <dmj`> "cycle free" makes perceus a non-starter for ghc no?
2024-10-24 22:58:47 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-10-24 23:00:20 +0200justsomeguy(~justsomeg@user/justsomeguy) justsomeguy
2024-10-24 23:02:10 +0200 <justsomeguy> Can someone help me understand what Traversable is about? Is `traverse` like an applicative fmap?
2024-10-24 23:03:52 +0200 <Rembane> justsomeguy: It's map but also perform an action on each element
2024-10-24 23:04:01 +0200 <mauke> :t traverse
2024-10-24 23:04:02 +0200 <lambdabot> (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b)
2024-10-24 23:04:10 +0200 <mauke> :t sequence
2024-10-24 23:04:11 +0200 <lambdabot> (Traversable t, Monad m) => t (m a) -> m (t a)
2024-10-24 23:04:21 +0200 <mauke> hah
2024-10-24 23:04:43 +0200 <mauke> :t mapM
2024-10-24 23:04:44 +0200 <lambdabot> (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b)
2024-10-24 23:04:47 +0200 <justsomeguy> :t sequenceA
2024-10-24 23:04:48 +0200 <lambdabot> (Traversable t, Applicative f) => t (f a) -> f (t a)
2024-10-24 23:04:53 +0200 <mauke> it's mapM
2024-10-24 23:06:18 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2024-10-24 23:06:50 +0200 <geekosaur> mm, I thought Perceus had an answer to cycles
2024-10-24 23:06:59 +0200 <geekosaur> and that was what made it of interest
2024-10-24 23:07:16 +0200 <mauke> a container type is traversable if you can apply an effectful function to each element and then invert the nesting, giving an effect that produces a container, not a container full of effects
2024-10-24 23:09:03 +0200 <justsomeguy> When can I leave out type arguments from an instance declaration like `instance Functor List where { ... }` vs `data Three a b c = Three a b c; instance Functor (Three a b) where { ... }`?
2024-10-24 23:09:24 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 23:09:26 +0200 <justsomeguy> Am I trying to match up the kind signature with the number of args?
2024-10-24 23:11:08 +0200 <justsomeguy> (I'm coming back to my code after a long break and nothing makes sense, lol)
2024-10-24 23:11:27 +0200 <mauke> yes, pretty much
2024-10-24 23:11:37 +0200 <mauke> Functor requires an argument of kind * -> *
2024-10-24 23:11:54 +0200 <mauke> i.e. a type constructor of one argument
2024-10-24 23:14:20 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-24 23:15:10 +0200Guest72(~Guest72@176.111.182.254.kyiv.nat.volia.net)
2024-10-24 23:15:35 +0200Guest72(~Guest72@176.111.182.254.kyiv.nat.volia.net) (Client Quit)
2024-10-24 23:15:54 +0200Guest72(~Guest72@176.111.182.254.kyiv.nat.volia.net)
2024-10-24 23:16:25 +0200 <dolio> geekosaur: The 'answer' is to not be anything like Haskell.
2024-10-24 23:16:42 +0200 <dolio> Eager evaluation except for 'coinductive' things, which I assume means there's no sharing.
2024-10-24 23:16:54 +0200 <geekosaur> ah
2024-10-24 23:17:27 +0200 <geekosaur> (funny, I was talking with someone in #ghc last night about that consequence)
2024-10-24 23:17:27 +0200 <dolio> Even though nothing about coinduction implies that.
2024-10-24 23:18:38 +0200 <geekosaur> (they're trying to pick up the pieces of GRIN and along the way asked about using STG for strict languages; I strongly advised against, and things like simulating laziness with `() -> x` came up along with their limitations)
2024-10-24 23:18:53 +0200Guest72(~Guest72@176.111.182.254.kyiv.nat.volia.net) (Client Quit)
2024-10-24 23:19:24 +0200 <justsomeguy> [justsomeguy(Ziw)]
2024-10-24 23:19:26 +0200 <justsomeguy> [justsomeguy(Ziw)]
2024-10-24 23:19:28 +0200 <justsomeguy> [justsomeguy(Ziw)]
2024-10-24 23:19:30 +0200 <justsomeguy> [justsomeguy(Ziw)]
2024-10-24 23:19:37 +0200 <geekosaur> uh
2024-10-24 23:19:49 +0200 <justsomeguy> Sorry: Middle clicked by mistake. I have to disable that shortcut.
2024-10-24 23:20:30 +0200 <justsomeguy> (Middle click is paste on Linux, apparently.)
2024-10-24 23:20:51 +0200hgolden_(~hgolden@146.70.173.229) hgolden
2024-10-24 23:20:52 +0200 <geekosaur> interesting it included your umodes(?)
2024-10-24 23:21:03 +0200Everything(~Everythin@178-133-200-119.mobile.vf-ua.net) Everything
2024-10-24 23:21:13 +0200 <geekosaur> and yes, for historical reasons middle click is paste in X11 and possibly carried over into Wayland
2024-10-24 23:21:16 +0200 <mauke> probably double-clicked in the status bar before
2024-10-24 23:21:38 +0200 <mauke> mine currently says: [23:21] [mauke(+Ziw)] [3:LiberaChat/#haskell(+Cnt)]
2024-10-24 23:22:44 +0200hgolden(~hgolden@169.150.203.36) (Ping timeout: 260 seconds)
2024-10-24 23:25:11 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 23:30:00 +0200billchenchina-(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection)
2024-10-24 23:30:06 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-24 23:32:46 +0200 <justsomeguy> It's kind of neat that I can sometimes solve problems just by trying to compile and correcting the errors one-by-one.
2024-10-24 23:38:51 +0200zzz(~z@user/zero) (Remote host closed the connection)
2024-10-24 23:40:59 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 23:41:28 +0200zero(~z@user/zero) zero
2024-10-24 23:45:30 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-24 23:50:34 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-24 23:51:06 +0200vglfr(~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Ping timeout: 252 seconds)
2024-10-24 23:53:58 +0200 <EvanR> if it type checks, it's right
2024-10-24 23:54:40 +0200 <EvanR> the types are infallible like HAL9000, or the pope
2024-10-24 23:54:51 +0200 <monochrom> That's after you know how to interpret the error messages. :)
2024-10-24 23:56:23 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-24 23:57:47 +0200vglfr(~vglfr@2607:fb90:eab7:5356:ac39:c397:6933:1a7b) vglfr