2024/11/27

2024-11-27 00:01:20 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-11-27 00:01:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-11-27 00:13:16 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 00:18:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-11-27 00:23:39 +0100codaraxis(~codaraxis@user/codaraxis) Codaraxis
2024-11-27 00:24:41 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2024-11-27 00:30:07 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 00:32:29 +0100weary-traveler(~user@user/user363627) user363627
2024-11-27 00:33:07 +0100sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 265 seconds)
2024-11-27 00:34:39 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-11-27 00:35:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-11-27 00:42:53 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2024-11-27 00:43:07 +0100falafel(~falafel@2600:1700:99f4:2050:9f1c:ee0a:fb1:55f5) falafel
2024-11-27 00:45:58 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 00:46:47 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2024-11-27 00:48:20 +0100Square(~Square@user/square) Square
2024-11-27 00:49:18 +0100j1n37(j1n37@user/j1n37) (Read error: Connection reset by peer)
2024-11-27 00:50:34 +0100acidjnk_new3(~acidjnk@p200300d6e7283f15c18c09329fdf1ca2.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-11-27 00:51:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-11-27 00:51:31 +0100troojg(~troojg@user/troojg) troojg
2024-11-27 00:52:31 +0100j1n37(j1n37@user/j1n37) j1n37
2024-11-27 00:53:12 +0100Square2(~Square4@user/square) (Ping timeout: 252 seconds)
2024-11-27 00:56:48 +0100mange(~user@user/mange) (Ping timeout: 265 seconds)
2024-11-27 01:01:41 +0100k_hachig_(~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) k_hachig
2024-11-27 01:01:48 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 01:02:04 +0100athan(~athan@syn-173-042-095-241.biz.spectrum.com) (Quit: Konversation terminated!)
2024-11-27 01:05:34 +0100krei-se(~krei-se@p57af2af4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-11-27 01:06:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-11-27 01:16:41 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-11-27 01:17:08 +0100weary-traveler(~user@user/user363627) user363627
2024-11-27 01:17:40 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 01:22:04 +0100zenmov(~zenmov@user/zenmov) (Ping timeout: 260 seconds)
2024-11-27 01:22:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-11-27 01:23:17 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds)
2024-11-27 01:23:29 +0100zenmov(~zenmov@user/zenmov) zenmov
2024-11-27 01:24:18 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2024-11-27 01:25:25 +0100xff0x_(~xff0x@2405:6580:b080:900:7888:564d:32b6:f964) (Ping timeout: 248 seconds)
2024-11-27 01:27:26 +0100Alleria_(~Alleria@user/alleria) Alleria
2024-11-27 01:28:37 +0100Alleria(~Alleria@user/alleria) (Ping timeout: 248 seconds)
2024-11-27 01:30:24 +0100krei-se(~krei-se@p57af2af4.dip0.t-ipconnect.de) krei-se
2024-11-27 01:33:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 01:35:21 +0100falafel(~falafel@2600:1700:99f4:2050:9f1c:ee0a:fb1:55f5) (Remote host closed the connection)
2024-11-27 01:35:40 +0100falafel(~falafel@2600:1700:99f4:2050:69a:bb56:b8a7:d92f) falafel
2024-11-27 01:37:12 +0100k_hachig_(~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) (Ping timeout: 252 seconds)
2024-11-27 01:40:02 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-11-27 01:42:00 +0100joeyadams(~joeyadams@syn-184-054-105-097.res.spectrum.com)
2024-11-27 01:44:07 +0100k_hachig_(~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) k_hachig
2024-11-27 01:51:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 01:54:26 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2024-11-27 01:54:55 +0100euleritian(~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2024-11-27 01:55:13 +0100euleritian(~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de)
2024-11-27 01:55:42 +0100euleritian(~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2024-11-27 01:55:58 +0100sprotte24(~sprotte24@p200300d16f2c240070a0b46ff834a68c.dip0.t-ipconnect.de) (Quit: Leaving)
2024-11-27 01:55:58 +0100euleritian(~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de)
2024-11-27 01:56:44 +0100euleritian(~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2024-11-27 01:56:51 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-11-27 01:57:02 +0100euleritian(~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de)
2024-11-27 01:57:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 01:58:14 +0100euleritian(~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2024-11-27 01:58:32 +0100euleritian(~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de)
2024-11-27 02:00:37 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-11-27 02:02:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-11-27 02:06:35 +0100zenmov(~zenmov@user/zenmov) (Read error: Connection reset by peer)
2024-11-27 02:10:55 +0100bliminse(~bliminse@user/bliminse) (Ping timeout: 264 seconds)
2024-11-27 02:12:25 +0100bliminse(~bliminse@user/bliminse) bliminse
2024-11-27 02:12:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 02:17:36 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2024-11-27 02:17:47 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-11-27 02:18:24 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-11-27 02:25:41 +0100Alleria_(~Alleria@user/alleria) (Ping timeout: 248 seconds)
2024-11-27 02:28:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 02:33:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-11-27 02:37:46 +0100Alleria(~Alleria@user/alleria) Alleria
2024-11-27 02:37:48 +0100troojg(~troojg@user/troojg) (Ping timeout: 276 seconds)
2024-11-27 02:38:37 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-11-27 02:39:07 +0100weary-traveler(~user@user/user363627) user363627
2024-11-27 02:44:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 02:47:41 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 255 seconds)
2024-11-27 02:48:35 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-11-27 02:48:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-11-27 02:59:46 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 03:00:07 +0100Everything(~Everythin@46-133-48-209.mobile.vf-ua.net) (Quit: leaving)
2024-11-27 03:01:56 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-11-27 03:05:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-11-27 03:15:35 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 03:15:39 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-11-27 03:16:29 +0100codaraxis(~codaraxis@user/codaraxis) (Ping timeout: 265 seconds)
2024-11-27 03:22:46 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-11-27 03:27:47 +0100Alleria(~Alleria@user/alleria) (Remote host closed the connection)
2024-11-27 03:28:33 +0100Alleria(~Alleria@user/alleria) Alleria
2024-11-27 03:34:05 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 03:34:29 +0100n3t(~n3t@user/n3t) (Ping timeout: 248 seconds)
2024-11-27 03:39:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-11-27 03:39:32 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-11-27 03:42:16 +0100weary-traveler(~user@user/user363627) user363627
2024-11-27 03:44:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 03:45:54 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-11-27 03:47:25 +0100zenmov(~zenmov@user/zenmov) zenmov
2024-11-27 03:48:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-11-27 03:52:53 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 245 seconds)
2024-11-27 03:57:59 +0100n3t(~n3t@user/n3t) n3t
2024-11-27 03:59:30 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2024-11-27 04:00:51 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 04:06:07 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-11-27 04:06:16 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-11-27 04:08:00 +0100jackdu56(~jackdu56@2406:3003:2004:64e7:68e8:374c:7f6e:b9e7)
2024-11-27 04:09:16 +0100Square(~Square@user/square) (Ping timeout: 252 seconds)
2024-11-27 04:11:04 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-11-27 04:13:11 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-11-27 04:13:38 +0100weary-traveler(~user@user/user363627) user363627
2024-11-27 04:14:26 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-11-27 04:14:32 +0100jackdu56(~jackdu56@2406:3003:2004:64e7:68e8:374c:7f6e:b9e7) (Quit: Client closed)
2024-11-27 04:14:52 +0100jackdu56(~jackdu56@2406:3003:2004:64e7:68e8:374c:7f6e:b9e7)
2024-11-27 04:14:52 +0100weary-traveler(~user@user/user363627) user363627
2024-11-27 04:16:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 04:16:51 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-11-27 04:17:15 +0100weary-traveler(~user@user/user363627) user363627
2024-11-27 04:17:17 +0100ephemient(uid407513@user/ephemient) ephemient
2024-11-27 04:17:38 +0100jackdu56(~jackdu56@2406:3003:2004:64e7:68e8:374c:7f6e:b9e7) (Client Quit)
2024-11-27 04:18:21 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-11-27 04:18:45 +0100weary-traveler(~user@user/user363627) user363627
2024-11-27 04:21:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-11-27 04:23:36 +0100joeyadams(~joeyadams@syn-184-054-105-097.res.spectrum.com) (Quit: Leaving)
2024-11-27 04:27:07 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds)
2024-11-27 04:27:09 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-11-27 04:32:32 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 04:32:51 +0100foul_owl(~kerry@157.97.134.167) (Ping timeout: 265 seconds)
2024-11-27 04:33:31 +0100califax_(~califax@user/califx) califx
2024-11-27 04:34:21 +0100califax(~califax@user/califx) (Ping timeout: 260 seconds)
2024-11-27 04:34:36 +0100vanishingideal(~vanishing@user/vanishingideal) (Quit: leaving)
2024-11-27 04:34:45 +0100califax_califax
2024-11-27 04:37:24 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2024-11-27 04:37:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-11-27 04:38:04 +0100weary-traveler(~user@user/user363627) user363627
2024-11-27 04:45:48 +0100foul_owl(~kerry@174-21-134-89.tukw.qwest.net) foul_owl
2024-11-27 04:48:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 04:53:16 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-11-27 04:56:36 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-11-27 04:57:07 +0100weary-traveler(~user@user/user363627) user363627
2024-11-27 04:57:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 05:02:14 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-11-27 05:03:02 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 05:04:13 +0100aforemny_(~aforemny@i59F4C5C8.versanet.de) aforemny
2024-11-27 05:04:56 +0100Alleria(~Alleria@user/alleria) (Remote host closed the connection)
2024-11-27 05:05:19 +0100aforemny(~aforemny@2001:9e8:6cf9:ec00:2244:25c5:1fd9:5632) (Ping timeout: 260 seconds)
2024-11-27 05:05:53 +0100Alleria(~Alleria@user/alleria) Alleria
2024-11-27 05:08:05 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-11-27 05:08:08 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-11-27 05:10:27 +0100weary-traveler(~user@user/user363627) user363627
2024-11-27 05:10:51 +0100codaraxis(~codaraxis@user/codaraxis) Codaraxis
2024-11-27 05:13:39 +0100k_hachig_(~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) (Ping timeout: 260 seconds)
2024-11-27 05:18:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 05:20:48 +0100ethantwardy(user@user/ethantwardy) (Quit: WeeChat 4.3.2)
2024-11-27 05:22:17 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-11-27 05:24:20 +0100weary-traveler(~user@user/user363627) user363627
2024-11-27 05:25:10 +0100foul_owl(~kerry@174-21-134-89.tukw.qwest.net) (Ping timeout: 252 seconds)
2024-11-27 05:25:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-11-27 05:27:08 +0100k_hachig_(~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) k_hachig
2024-11-27 05:31:34 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-11-27 05:33:27 +0100k_hachig_(~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) (Ping timeout: 246 seconds)
2024-11-27 05:37:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 05:39:20 +0100foul_owl(~kerry@157.97.134.165) foul_owl
2024-11-27 05:42:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-11-27 05:52:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 05:55:27 +0100RedNifre(~RedNifre@dslb-002-206-121-010.002.206.pools.vodafone-ip.de) (Ping timeout: 244 seconds)
2024-11-27 05:55:50 +0100ethantwardy(user@user/ethantwardy) ethantwardy
2024-11-27 05:57:55 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-11-27 06:01:44 +0100aforemny(~aforemny@i577B13BA.versanet.de) aforemny
2024-11-27 06:02:59 +0100aforemny_(~aforemny@i59F4C5C8.versanet.de) (Ping timeout: 255 seconds)
2024-11-27 06:03:17 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds)
2024-11-27 06:05:27 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2024-11-27 06:08:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 06:08:34 +0100RedNifre(~RedNifre@dslb-002-206-109-199.002.206.pools.vodafone-ip.de) RedNifre
2024-11-27 06:10:38 +0100j1n37(j1n37@user/j1n37) (Read error: Connection reset by peer)
2024-11-27 06:13:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-11-27 06:13:50 +0100j1n37(j1n37@user/j1n37) j1n37
2024-11-27 06:23:14 +0100philopsos(~caecilius@user/philopsos) (Quit: Lost terminal)
2024-11-27 06:24:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 06:24:28 +0100k_hachig_(~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) k_hachig
2024-11-27 06:29:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-11-27 06:29:51 +0100k_hachig_(~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) (Ping timeout: 276 seconds)
2024-11-27 06:35:48 +0100k_hachig_(~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) k_hachig
2024-11-27 06:36:38 +0100notzmv(~umar@user/notzmv) (Ping timeout: 245 seconds)
2024-11-27 06:40:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 06:40:54 +0100k_hachig_(~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) (Ping timeout: 276 seconds)
2024-11-27 06:44:58 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-11-27 06:55:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 07:00:38 +0100zenmov(~zenmov@user/zenmov) (Remote host closed the connection)
2024-11-27 07:00:55 +0100zenmov(~zenmov@user/zenmov) zenmov
2024-11-27 07:02:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-11-27 07:06:45 +0100michalz(~michalz@185.246.207.197)
2024-11-27 07:07:02 +0100euleritian(~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds)
2024-11-27 07:07:39 +0100euleritian(~euleritia@dynamic-176-006-132-155.176.6.pool.telefonica.de)
2024-11-27 07:08:09 +0100Athas(athas@2a01:7c8:aaac:1cf:1953:5ca8:4562:ea33) (Quit: ZNC 1.9.1 - https://znc.in)
2024-11-27 07:08:22 +0100Athas(athas@2a01:7c8:aaac:1cf:f0e6:9623:a853:eea7)
2024-11-27 07:10:23 +0100k_hachig_(~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) k_hachig
2024-11-27 07:14:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 07:15:09 +0100k_hachig_(~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) (Ping timeout: 252 seconds)
2024-11-27 07:17:30 +0100smalltalkman(uid545680@id-545680.hampstead.irccloud.com) smalltalkman
2024-11-27 07:19:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-11-27 07:23:03 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2024-11-27 07:25:08 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2024-11-27 07:29:54 +0100k_hachig_(~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) k_hachig
2024-11-27 07:30:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 07:33:21 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2024-11-27 07:34:58 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-11-27 07:35:57 +0100k_hachig_(~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) (Ping timeout: 246 seconds)
2024-11-27 07:38:24 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2024-11-27 07:45:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 07:51:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-11-27 07:55:08 +0100acidjnk_new3(~acidjnk@p200300d6e7283f45e92259293d368009.dip0.t-ipconnect.de)
2024-11-27 07:56:13 +0100k_hachig_(~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) k_hachig
2024-11-27 07:58:14 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 08:00:48 +0100k_hachig_(~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) (Ping timeout: 245 seconds)
2024-11-27 08:03:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-11-27 08:08:29 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-11-27 08:14:02 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 08:15:34 +0100olivial(~benjaminl@user/benjaminl) (Remote host closed the connection)
2024-11-27 08:18:05 +0100olivial(~benjaminl@user/benjaminl) benjaminl
2024-11-27 08:18:58 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-11-27 08:29:04 +0100zenmov(~zenmov@user/zenmov) (Ping timeout: 260 seconds)
2024-11-27 08:29:52 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 08:31:29 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2024-11-27 08:32:35 +0100zenmov(~zenmov@user/zenmov) zenmov
2024-11-27 08:34:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-11-27 08:45:12 +0100notzmv(~umar@user/notzmv) notzmv
2024-11-27 08:45:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 08:48:06 +0100ubert(~Thunderbi@91.141.67.185.wireless.dyn.drei.com) ubert
2024-11-27 08:50:52 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-11-27 08:52:49 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2024-11-27 08:57:56 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-11-27 08:59:14 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 09:00:02 +0100caconym(~caconym@user/caconym) (Quit: bye)
2024-11-27 09:00:39 +0100caconym(~caconym@user/caconym) caconym
2024-11-27 09:04:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-11-27 09:06:44 +0100 <hellwolf> sometimes it is more liberating to have less constraints on how things are. this type variable names seems one to me. relying on the internal workings of GHC seems a fragile thing to do.
2024-11-27 09:10:29 +0100 <ski> relying, how ?
2024-11-27 09:11:59 +0100zenmov(~zenmov@user/zenmov) (Remote host closed the connection)
2024-11-27 09:13:42 +0100k_hachig_(~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) k_hachig
2024-11-27 09:14:23 +0100 <bailsman> I have found a setup that seems to work. Enable 'DuplicateRecordFields NoFieldSelectors OverloadedLabels OverloadedRecordDot'. Access with `record.somefield.someNestedfield` and modify with `record & #somefield . #someNestedField .~ newValue`. Compiles instantly. Is this a sensible thing to do?
2024-11-27 09:15:31 +0100 <bailsman> Requires the generics-lens package and `import Data.Function ((&))`, `import Data.Generics.Labels ()`, `import Data.Generics.Internal.Lens ((.~))`
2024-11-27 09:17:29 +0100zenmov(~zenmov@user/zenmov) zenmov
2024-11-27 09:19:12 +0100k_hachig_(~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) (Ping timeout: 252 seconds)
2024-11-27 09:22:13 +0100ft(~ft@p508db9c7.dip0.t-ipconnect.de) (Quit: leaving)
2024-11-27 09:23:12 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2024-11-27 09:27:16 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-11-27 09:31:26 +0100vpan(~vpan@212.117.1.172)
2024-11-27 09:31:43 +0100vpanGuest544
2024-11-27 09:31:57 +0100Guest544vpan
2024-11-27 09:32:39 +0100notzmv(~umar@user/notzmv) (Ping timeout: 260 seconds)
2024-11-27 09:32:52 +0100chele(~chele@user/chele) chele
2024-11-27 09:34:04 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-11-27 09:35:41 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-11-27 09:36:31 +0100 <jackdk> That is broadly how I use generic-lens, though I use the main lens package for UNLIMITED OPTICAL POWER
2024-11-27 09:37:47 +0100falafel(~falafel@2600:1700:99f4:2050:69a:bb56:b8a7:d92f) (Ping timeout: 252 seconds)
2024-11-27 09:40:44 +0100zenmov(~zenmov@user/zenmov) (Ping timeout: 265 seconds)
2024-11-27 09:42:45 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-11-27 09:44:18 +0100zenmov(~zenmov@user/zenmov) zenmov
2024-11-27 09:45:40 +0100zenmov(~zenmov@user/zenmov) (Client Quit)
2024-11-27 09:46:42 +0100zenmov(~zenmov@user/zenmov) zenmov
2024-11-27 09:47:32 +0100zenmov(~zenmov@user/zenmov) (Client Quit)
2024-11-27 09:47:57 +0100zenmov(~zenmov@user/zenmov) zenmov
2024-11-27 09:49:12 +0100 <[exa]> hey guys, is there any good way to write package documentation with commands that get executed and results are rendered too, like with python notebooks etc?
2024-11-27 09:53:40 +0100 <Leary> [exa]: 'doctest' might suffice.
2024-11-27 09:54:09 +0100 <[exa]> uuuh that could work just right, thanks!
2024-11-27 09:56:24 +0100 <[exa]> so technically it doesn't render the examples but it verifies that the output there is indeed what the code would produce, right?
2024-11-27 09:57:38 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2024-11-27 09:57:52 +0100 <Leary> Yeah.
2024-11-27 09:58:22 +0100 <[exa]> ok that's moreless perfect
2024-11-27 09:58:30 +0100 <[exa]> ah it's got property tests too
2024-11-27 09:58:34 +0100 <[exa]> it's perfect
2024-11-27 09:58:40 +0100[exa]happy
2024-11-27 09:59:53 +0100sawilagar(~sawilagar@user/sawilagar) sawilagar
2024-11-27 10:02:21 +0100sprotte24(~sprotte24@p200300d16f063d0029f19ad0281f854e.dip0.t-ipconnect.de)
2024-11-27 10:05:14 +0100merijn(~merijn@77.242.116.146) merijn
2024-11-27 10:09:03 +0100zenmov(~zenmov@user/zenmov) (Remote host closed the connection)
2024-11-27 10:09:59 +0100 <tomsmeding> [exa]: and HLS can execute doctest lines with a code action, iirc
2024-11-27 10:13:33 +0100k_hachig_(~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) k_hachig
2024-11-27 10:16:07 +0100housemate(~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate
2024-11-27 10:16:22 +0100 <Hecate> (when it works)
2024-11-27 10:16:25 +0100[exa]has no HLS
2024-11-27 10:16:32 +0100[exa]is scared of HLS
2024-11-27 10:18:39 +0100k_hachig_(~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) (Ping timeout: 276 seconds)
2024-11-27 10:19:13 +0100 <Rembane> [exa]: If you need something more powerful later there's a Haskell kernel for jupyter, and there's also literate programming.
2024-11-27 10:19:29 +0100 <tomsmeding> [exa]: HLS is indeed quite scary
2024-11-27 10:19:58 +0100AlexZenon(~alzenon@178.34.162.156) (Ping timeout: 252 seconds)
2024-11-27 10:20:20 +0100__monty__(~toonn@user/toonn) toonn
2024-11-27 10:24:46 +0100 <[exa]> yes, on so many levels
2024-11-27 10:25:18 +0100 <[exa]> Rembane: yeah I literally didn't want to drag Jupyter in, that's getting quite hairy. So happy that there's a lightweight option.
2024-11-27 10:25:40 +0100AlexZenon(~alzenon@178.34.162.156)
2024-11-27 10:26:32 +0100 <vpan> would you mind elaborating what's so scary about HLS for the lurking beginners here? I don't feel scared yet, but maybe I should. :)
2024-11-27 10:27:47 +0100 <Rembane> [exa]: That sounds amazing!
2024-11-27 10:30:45 +0100merijn(~merijn@77.242.116.146) (Quit: leaving)
2024-11-27 10:31:02 +0100merijn(~merijn@77.242.116.146) merijn
2024-11-27 10:31:53 +0100zenmov(~zenmov@user/zenmov) zenmov
2024-11-27 10:32:18 +0100mari-estel(~mari-este@user/mari-estel) mari-estel
2024-11-27 10:33:30 +0100rvalue-(~rvalue@user/rvalue) rvalue
2024-11-27 10:34:41 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 248 seconds)
2024-11-27 10:36:28 +0100notzmv(~umar@user/notzmv) notzmv
2024-11-27 10:38:39 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 246 seconds)
2024-11-27 10:39:30 +0100rvalue-rvalue
2024-11-27 10:40:11 +0100 <[exa]> vpan: it's running a compiler and ghci and half of package universe in the background and doing something with the text I'd be editing
2024-11-27 10:41:00 +0100 <[exa]> vpan: and the outcome is that I get annoyed by errors in the code and indirectly pressed to fixing them before I realize I just wanted to delete the thing and start over in a completely different way. :D
2024-11-27 10:41:17 +0100 <[exa]> vpan: but I'm biased. I'm a complete hater of all IDEs. :D
2024-11-27 10:46:09 +0100 <JuanDaugherty> fools rush in
2024-11-27 10:47:07 +0100 <vpan> [exa]: ok, so what you're saying is that you don't want to be distracted by squiggly lines in the stage of conceptual development. I like both completion and instant feedback on errors so that I can fix them right now and don't have to get back to fixing trivial errors afterwards. But maybe that will change as I get to know the Haskell way. :)
2024-11-27 10:48:18 +0100zenmov(~zenmov@user/zenmov) (Ping timeout: 252 seconds)
2024-11-27 10:50:16 +0100zenmov(~zenmov@user/zenmov) zenmov
2024-11-27 10:50:25 +0100merijn(~merijn@77.242.116.146) merijn
2024-11-27 11:05:10 +0100raym(~ray@user/raym) (Ping timeout: 272 seconds)
2024-11-27 11:08:08 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-11-27 11:10:04 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds)
2024-11-27 11:10:55 +0100raym(~ray@user/raym) raym
2024-11-27 11:12:54 +0100 <[exa]> vpan: yeah I guess esp. the completion helps a lot for learning
2024-11-27 11:13:19 +0100malte(~malte@mal.tc) (Remote host closed the connection)
2024-11-27 11:13:30 +0100mari-estel(~mari-este@user/mari-estel) (Ping timeout: 252 seconds)
2024-11-27 11:13:36 +0100 <[exa]> (counteracted by the observation that if I need autocomplete to do the coding, my identifiers suck.)
2024-11-27 11:13:36 +0100malte(~malte@mal.tc) malte
2024-11-27 11:15:42 +0100k_hachig_(~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) k_hachig
2024-11-27 11:21:34 +0100k_hachig_(~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) (Ping timeout: 260 seconds)
2024-11-27 11:28:01 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2024-11-27 11:28:02 +0100zenmov(~zenmov@user/zenmov) (Ping timeout: 248 seconds)
2024-11-27 11:28:25 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-11-27 11:31:11 +0100merijn(~merijn@77.242.116.146) merijn
2024-11-27 11:35:33 +0100housemate(~housemate@2a04:9dc0:0:162::5d91:d7ed) (Ping timeout: 248 seconds)
2024-11-27 11:37:04 +0100zenmov(~zenmov@user/zenmov) zenmov
2024-11-27 11:44:29 +0100 <tomsmeding> vpan: HLS works fine and is generally not scary
2024-11-27 11:44:58 +0100 <tomsmeding> it's not _perfect_: it sometimes gets confused, especially if you're working on multiple packages at the same time, switching back and forth between them
2024-11-27 11:45:12 +0100 <tomsmeding> but imperfect /= scary
2024-11-27 11:45:36 +0100 <tomsmeding> if you work on very large code bases it also eats all your RAM
2024-11-27 11:46:17 +0100 <tomsmeding> if you're scared of software that won't run on a raspberry pi, then you should be scared of HLS :)
2024-11-27 11:51:02 +0100housemate(~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate
2024-11-27 11:53:10 +0100tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2024-11-27 11:53:56 +0100talisman`(~user@2601:644:937c:ed10::ae5)
2024-11-27 11:54:20 +0100tabemann_(~tabemann@2600:1700:7990:24e0:dcfd:354f:7f87:b580)
2024-11-27 11:54:24 +0100sefidel_(~sefidel@user/sefidel) sefidel
2024-11-27 11:54:51 +0100Athas_(athas@sigkill.dk)
2024-11-27 11:54:55 +0100img_(~img@user/img) img
2024-11-27 11:54:55 +0100rembo10_(~rembo10@main.remulis.com)
2024-11-27 11:54:55 +0100nurupo_(~nurupo.ga@user/nurupo) nurupo
2024-11-27 11:55:28 +0100NiKaN_(sid385034@id-385034.helmsley.irccloud.com) NiKaN
2024-11-27 11:58:21 +0100rvalue-(~rvalue@user/rvalue) rvalue
2024-11-27 11:58:58 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 252 seconds)
2024-11-27 12:02:19 +0100merijn(~merijn@77.242.116.146) (*.net *.split)
2024-11-27 12:02:19 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (*.net *.split)
2024-11-27 12:02:19 +0100caconym(~caconym@user/caconym) (*.net *.split)
2024-11-27 12:02:19 +0100Athas(athas@2a01:7c8:aaac:1cf:f0e6:9623:a853:eea7) (*.net *.split)
2024-11-27 12:02:20 +0100tabemann(~tabemann@2600:1700:7990:24e0:994a:79ad:26a3:286b) (*.net *.split)
2024-11-27 12:02:20 +0100sefidel(~sefidel@user/sefidel) (*.net *.split)
2024-11-27 12:02:20 +0100ACuriousMoose(~ACuriousM@156.34.161.188) (*.net *.split)
2024-11-27 12:02:20 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (*.net *.split)
2024-11-27 12:02:20 +0100Jackneill(~Jackneill@91-83-15-152.pool.digikabel.hu) (*.net *.split)
2024-11-27 12:02:20 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (*.net *.split)
2024-11-27 12:02:21 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (*.net *.split)
2024-11-27 12:02:21 +0100dyniec(~dyniec@dybiec.info) (*.net *.split)
2024-11-27 12:02:21 +0100img(~img@user/img) (*.net *.split)
2024-11-27 12:02:21 +0100statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (*.net *.split)
2024-11-27 12:02:21 +0100talismanick(~user@2601:644:937c:ed10::ae5) (*.net *.split)
2024-11-27 12:02:21 +0100hiredman(~hiredman@frontier1.downey.family) (*.net *.split)
2024-11-27 12:02:21 +0100nurupo(~nurupo.ga@user/nurupo) (*.net *.split)
2024-11-27 12:02:21 +0100NiKaN(sid385034@id-385034.helmsley.irccloud.com) (*.net *.split)
2024-11-27 12:02:22 +0100jjhoo(~jahakala@user/jjhoo) (*.net *.split)
2024-11-27 12:02:22 +0100rembo10(~rembo10@main.remulis.com) (*.net *.split)
2024-11-27 12:02:22 +0100byte(~byte@149.28.222.189) (*.net *.split)
2024-11-27 12:02:23 +0100xacktm(xacktm@user/xacktm) (*.net *.split)
2024-11-27 12:02:23 +0100Adran(~adran@botters/adran) (*.net *.split)
2024-11-27 12:02:23 +0100hc(~hc@mail.hce.li) (*.net *.split)
2024-11-27 12:02:23 +0100rncwnd(~quassel@2a01:4f8:221:27c6::1) (*.net *.split)
2024-11-27 12:02:23 +0100lambdap2371(~lambdap@static.167.190.119.168.clients.your-server.de) (*.net *.split)
2024-11-27 12:02:23 +0100koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (*.net *.split)
2024-11-27 12:02:23 +0100opqdonut(opqdonut@pseudo.fixme.fi) (*.net *.split)
2024-11-27 12:02:24 +0100sefidel_sefidel
2024-11-27 12:02:24 +0100nurupo_nurupo
2024-11-27 12:02:25 +0100NiKaN_NiKaN
2024-11-27 12:03:37 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2024-11-27 12:05:30 +0100merijn(~merijn@77.242.116.146) merijn
2024-11-27 12:05:30 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2024-11-27 12:05:30 +0100caconym(~caconym@user/caconym) caconym
2024-11-27 12:05:30 +0100ACuriousMoose(~ACuriousM@156.34.161.188) ACuriousMoose
2024-11-27 12:05:30 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada
2024-11-27 12:05:30 +0100Jackneill(~Jackneill@91-83-15-152.pool.digikabel.hu) Jackneill
2024-11-27 12:05:30 +0100dyniec(~dyniec@dybiec.info) dyniec
2024-11-27 12:05:30 +0100statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot
2024-11-27 12:05:30 +0100hiredman(~hiredman@frontier1.downey.family) hiredman
2024-11-27 12:05:30 +0100jjhoo(~jahakala@user/jjhoo) jjhoo
2024-11-27 12:05:30 +0100byte(~byte@149.28.222.189)
2024-11-27 12:05:30 +0100Adran(~adran@botters/adran) Adran
2024-11-27 12:05:30 +0100hc(~hc@mail.hce.li) hc
2024-11-27 12:05:30 +0100rncwnd(~quassel@2a01:4f8:221:27c6::1) rncwnd
2024-11-27 12:05:30 +0100lambdap2371(~lambdap@static.167.190.119.168.clients.your-server.de)
2024-11-27 12:05:30 +0100koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2024-11-27 12:05:30 +0100opqdonut(opqdonut@pseudo.fixme.fi)
2024-11-27 12:06:20 +0100rvalue-rvalue
2024-11-27 12:10:03 +0100Athas_Athas
2024-11-27 12:12:50 +0100xff0x(~xff0x@2405:6580:b080:900:d064:c4df:1a7b:cf96)
2024-11-27 12:13:04 +0100zenmov(~zenmov@user/zenmov) (Ping timeout: 260 seconds)
2024-11-27 12:14:58 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
2024-11-27 12:15:33 +0100k_hachig_(~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) k_hachig
2024-11-27 12:16:18 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 276 seconds)
2024-11-27 12:17:22 +0100 <vpan> tomsmeding: right, RAM usage is the one thing I don't like about HLS. Right now it's hogging 1.3 GB on a trivial application. I don't know if no one cares, given laptops have tens of GBs of RAM these days, or is it actually very hard to rein in the memory use.
2024-11-27 12:18:48 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan
2024-11-27 12:20:18 +0100k_hachig_(~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) (Ping timeout: 248 seconds)
2024-11-27 12:23:57 +0100xacktm(xacktm@user/xacktm) xacktm
2024-11-27 12:25:48 +0100 <hellwolf> Having a computer with 32GB or even 64GB memory is a good investment, considering how much we invest in making our work environment better sometimes..
2024-11-27 12:26:41 +0100merijn(~merijn@77.242.116.146) merijn
2024-11-27 12:30:33 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
2024-11-27 12:31:56 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 272 seconds)
2024-11-27 12:33:31 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan
2024-11-27 12:34:50 +0100 <vpan> my previous laptop that I retired last year had 6 GB of RAM, so it was an actual problem. It's no longer a pressing problem on the current laptop, but I still hate anything that feels like a waste. It may well be that I'm hugely underestimating what HLS has to do memory-wise, but intuitively a reasonable memory usage would be several times lower than the actual HLS memory usage.
2024-11-27 12:35:30 +0100zlqrvx(~zlqrvx@user/zlqrvx) (Quit: %quit%)
2024-11-27 12:35:51 +0100zlqrvx(~zlqrvx@user/zlqrvx) zlqrvx
2024-11-27 12:39:29 +0100 <Leary> vpan: N.B. static-ls
2024-11-27 12:39:51 +0100merijn(~merijn@77.242.116.146) merijn
2024-11-27 12:41:05 +0100xff0x(~xff0x@2405:6580:b080:900:d064:c4df:1a7b:cf96) (Ping timeout: 248 seconds)
2024-11-27 12:42:37 +0100 <tomsmeding> vpan: HLS runs GHC as a library internally, and GHC is not known for frugality with memory
2024-11-27 12:42:45 +0100 <tomsmeding> that's where most of the memory use comes from
2024-11-27 12:54:33 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 265 seconds)
2024-11-27 12:56:02 +0100rvalue(~rvalue@user/rvalue) rvalue
2024-11-27 12:56:24 +0100talisman`(~user@2601:644:937c:ed10::ae5) (Read error: Connection reset by peer)
2024-11-27 12:56:38 +0100talisman`(~user@2601:644:937c:ed10::ae5)
2024-11-27 13:05:48 +0100notzmv(~umar@user/notzmv) (Ping timeout: 252 seconds)
2024-11-27 13:05:59 +0100zero(~z@user/zero) (Ping timeout: 260 seconds)
2024-11-27 13:14:29 +0100mari-estel(~mari-este@user/mari-estel) mari-estel
2024-11-27 13:15:39 +0100CiaoSen(~Jura@2a05:5800:2de:b900:ca4b:d6ff:fec1:99da) CiaoSen
2024-11-27 13:17:42 +0100k_hachig_(~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) k_hachig
2024-11-27 13:20:16 +0100Gabriel(~Gabriel@102.88.35.34)
2024-11-27 13:23:39 +0100euleritian(~euleritia@dynamic-176-006-132-155.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-11-27 13:23:54 +0100k_hachig_(~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) (Ping timeout: 276 seconds)
2024-11-27 13:23:56 +0100euleritian(~euleritia@ip2504f9cf.dynamic.kabel-deutschland.de)
2024-11-27 13:24:01 +0100xff0x(~xff0x@2405:6580:b080:900:e3:b85:1caf:7d34)
2024-11-27 13:34:24 +0100mari-estel(~mari-este@user/mari-estel) (Ping timeout: 252 seconds)
2024-11-27 13:36:58 +0100alioguzhan(~Thunderbi@78.173.69.189) (Remote host closed the connection)
2024-11-27 13:40:27 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2024-11-27 13:50:15 +0100CrunchyFlakes(~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer)
2024-11-27 13:52:26 +0100merijn(~merijn@77.242.116.146) merijn
2024-11-27 13:54:44 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-11-27 13:55:01 +0100pavonia(~user@user/siracusa) siracusa
2024-11-27 13:55:52 +0100xdminsy(~xdminsy@117.147.71.112) (Quit: Konversation terminated!)
2024-11-27 13:56:10 +0100CiaoSen(~Jura@2a05:5800:2de:b900:ca4b:d6ff:fec1:99da) (Ping timeout: 272 seconds)
2024-11-27 13:57:33 +0100notzmv(~umar@user/notzmv) notzmv
2024-11-27 14:01:28 +0100comerijn(~merijn@77.242.116.146) merijn
2024-11-27 14:04:28 +0100Gabriel(~Gabriel@102.88.35.34) (Quit: Client closed)
2024-11-27 14:04:51 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 276 seconds)
2024-11-27 14:06:18 +0100housemate(~housemate@2a04:9dc0:0:162::5d91:d7ed) (Quit: Nothing to see here. I wasn't there. https://files.catbox.moe/iasqur.odt)
2024-11-27 14:06:42 +0100housemate(~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate
2024-11-27 14:09:58 +0100weary-traveler(~user@user/user363627) user363627
2024-11-27 14:17:51 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 276 seconds)
2024-11-27 14:19:24 +0100euleritian(~euleritia@ip2504f9cf.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-11-27 14:19:52 +0100euleritian(~euleritia@dynamic-176-006-132-155.176.6.pool.telefonica.de)
2024-11-27 14:29:00 +0100Miroboru(~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru
2024-11-27 14:32:18 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-11-27 14:33:05 +0100housemate(~housemate@2a04:9dc0:0:162::5d91:d7ed) (Quit: Nothing to see here. I wasn't there. https://files.catbox.moe/4yru45.pdf)
2024-11-27 14:33:10 +0100alp_(~alp@2001:861:8ca0:4940:ff64:6760:9b85:ec74) (Remote host closed the connection)
2024-11-27 14:33:21 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-11-27 14:33:28 +0100alp_(~alp@2001:861:8ca0:4940:830:1e85:b6e0:5014)
2024-11-27 14:36:21 +0100vpan(~vpan@212.117.1.172) (Ping timeout: 248 seconds)
2024-11-27 14:42:00 +0100Jackneill_(~Jackneill@178-164-174-131.pool.digikabel.hu)
2024-11-27 14:42:13 +0100alp_(~alp@2001:861:8ca0:4940:830:1e85:b6e0:5014) (Remote host closed the connection)
2024-11-27 14:42:28 +0100alp_(~alp@2001:861:8ca0:4940:f20b:5004:c8bc:8638)
2024-11-27 14:42:28 +0100srk(~sorki@user/srk) (Ping timeout: 245 seconds)
2024-11-27 14:43:12 +0100Jackneill(~Jackneill@91-83-15-152.pool.digikabel.hu) (Ping timeout: 276 seconds)
2024-11-27 14:48:35 +0100housemate(~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate
2024-11-27 14:51:10 +0100alp_(~alp@2001:861:8ca0:4940:f20b:5004:c8bc:8638) (Remote host closed the connection)
2024-11-27 14:51:28 +0100alp_(~alp@2001:861:8ca0:4940:15f8:c280:6715:9168)
2024-11-27 14:54:39 +0100Jackneill_(~Jackneill@178-164-174-131.pool.digikabel.hu) (Ping timeout: 260 seconds)
2024-11-27 14:55:08 +0100Jackneill(~Jackneill@178-164-253-185.pool.digikabel.hu) Jackneill
2024-11-27 15:04:13 +0100vpan(~vpan@212.117.1.172)
2024-11-27 15:04:36 +0100vpanGuest8583
2024-11-27 15:07:11 +0100comerijn(~merijn@77.242.116.146) (Quit: leaving)
2024-11-27 15:12:16 +0100merijn(~merijn@77.242.116.146) merijn
2024-11-27 15:24:10 +0100alp_(~alp@2001:861:8ca0:4940:15f8:c280:6715:9168) (Remote host closed the connection)
2024-11-27 15:24:28 +0100alp_(~alp@2001:861:8ca0:4940:769b:df50:a743:f065)
2024-11-27 15:26:05 +0100alexherbo2(~alexherbo@2a02-8440-350b-dc16-f815-c051-db30-5d7a.rev.sfr.net) alexherbo2
2024-11-27 15:28:30 +0100alp__(~alp@2001:861:8ca0:4940:cda0:b848:4c21:79b0)
2024-11-27 15:30:53 +0100alp_(~alp@2001:861:8ca0:4940:769b:df50:a743:f065) (Ping timeout: 252 seconds)
2024-11-27 15:33:05 +0100dymenshen(zenmov@user/dymenshen) (Ping timeout: 265 seconds)
2024-11-27 15:34:54 +0100weary-traveler(~user@user/user363627) user363627
2024-11-27 15:38:33 +0100housemate(~housemate@2a04:9dc0:0:162::5d91:d7ed) (Quit: Nothing to see here. I wasn't there. https://files.catbox.moe/4yru45.pdf)
2024-11-27 15:47:24 +0100Square2(~Square4@user/square) Square
2024-11-27 15:55:20 +0100 <sshine> I recently got a ThinkStation desktop computer with 8 GB RAM. I haven't had less than 16 GB RAM in a work computer for a very long time, and I've regularly run out of memory with just compiling + firefox.
2024-11-27 15:55:52 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 272 seconds)
2024-11-27 15:56:56 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2024-11-27 16:00:17 +0100k_hachig_(~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-156.dsl.bell.ca) k_hachig
2024-11-27 16:00:26 +0100AlexNoo(~AlexNoo@178.34.162.156) (Read error: Connection reset by peer)
2024-11-27 16:00:45 +0100AlexNoo(~AlexNoo@178.34.162.156)
2024-11-27 16:03:06 +0100Guest8583(~vpan@212.117.1.172) (Quit: Leaving.)
2024-11-27 16:05:00 +0100k_hachig_(~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-156.dsl.bell.ca) (Ping timeout: 252 seconds)
2024-11-27 16:15:34 +0100mari-estel(~mari-este@user/mari-estel) mari-estel
2024-11-27 16:20:54 +0100ash3en(~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en
2024-11-27 16:21:34 +0100mari-estel(~mari-este@user/mari-estel) (Ping timeout: 260 seconds)
2024-11-27 16:23:29 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-11-27 16:26:59 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2024-11-27 16:39:51 +0100aforemny(~aforemny@i577B13BA.versanet.de) (Ping timeout: 246 seconds)
2024-11-27 16:42:54 +0100aforemny(~aforemny@2001:9e8:6ce2:4f00:247:abb5:ff11:88a7) aforemny
2024-11-27 16:54:33 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-11-27 16:59:07 +0100k_hachig_(~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-156.dsl.bell.ca) k_hachig
2024-11-27 17:06:33 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2)
2024-11-27 17:07:38 +0100alexherbo2(~alexherbo@2a02-8440-350b-dc16-f815-c051-db30-5d7a.rev.sfr.net) (Remote host closed the connection)
2024-11-27 17:07:58 +0100alexherbo2(~alexherbo@2a02-8440-350b-dc16-f815-c051-db30-5d7a.rev.sfr.net) alexherbo2
2024-11-27 17:18:00 +0100sprotte24(~sprotte24@p200300d16f063d0029f19ad0281f854e.dip0.t-ipconnect.de) (Quit: Leaving)
2024-11-27 17:18:42 +0100euleritian(~euleritia@dynamic-176-006-132-155.176.6.pool.telefonica.de) (Ping timeout: 252 seconds)
2024-11-27 17:18:51 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-11-27 17:21:38 +0100subjective51(~SN51@user/subjective51) (Ping timeout: 245 seconds)
2024-11-27 17:21:50 +0100chele(~chele@user/chele) (Remote host closed the connection)
2024-11-27 17:29:49 +0100 <geekosaur> fwiw I used to have an old 4GB laptop, I ran with 12GB swap to make things work (slooowly)
2024-11-27 17:31:47 +0100Guest12(~Guest12@35.66.249.5.rev.vodafone.pt)
2024-11-27 17:32:51 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 276 seconds)
2024-11-27 17:41:54 +0100subjective51(~SN51@user/subjective51) subjective51
2024-11-27 17:44:12 +0100 <hellwolf> I think I am bitten by unsafeCoerce. I used too liberally. I though unsafeCoerce between types who has type tag of different kinds and doesn't have any runtime data wouldn't bite... But I suspect it is.
2024-11-27 17:44:47 +0100euleritian(~euleritia@dynamic-176-007-150-216.176.7.pool.telefonica.de)
2024-11-27 17:45:33 +0100sprotte24(~sprotte24@p200300d16f063d0029f19ad0281f854e.dip0.t-ipconnect.de)
2024-11-27 17:46:03 +0100favalex(~favalex@176.200.204.244)
2024-11-27 17:48:23 +0100 <hellwolf> (need to understand more what can be unsafeCoerced...)
2024-11-27 17:49:04 +0100euleritian(~euleritia@dynamic-176-007-150-216.176.7.pool.telefonica.de) (Ping timeout: 260 seconds)
2024-11-27 17:49:09 +0100Guest12(~Guest12@35.66.249.5.rev.vodafone.pt) (Ping timeout: 256 seconds)
2024-11-27 17:57:23 +0100 <geekosaur> same payload types with same strictness (trivially satisfied if nullary) and you don't exceed the number of constructors in the target
2024-11-27 17:58:59 +0100euleritian(~euleritia@176.2.69.95)
2024-11-27 18:00:30 +0100 <hellwolf> Say, I have a type `T (eff : k) (a :: Type) (b :: Type)` where eff only exists in type level for type-level stufff. Can I coerce between T of (eff0: k1) (eff1: k2) ?
2024-11-27 18:00:36 +0100 <hellwolf> *unsafeCoerce
2024-11-27 18:00:53 +0100 <hellwolf> also, ofc, of the same a b
2024-11-27 18:02:03 +0100subjective51(~SN51@user/subjective51) (Quit: Leaving)
2024-11-27 18:03:25 +0100 <geekosaur> looks safe to me, assuming you made some typoes (if you didn't then you need to think about it more)
2024-11-27 18:05:27 +0100 <hellwolf> worrying ... let me rollback to a different version to see if I can restore to a working version before explore this assumption more.
2024-11-27 18:11:39 +0100 <hellwolf> rolling back didn't help, so it was a red herring... now I need to figure out what caused it.
2024-11-27 18:16:02 +0100euleritian(~euleritia@176.2.69.95) (Read error: Connection reset by peer)
2024-11-27 18:16:20 +0100euleritian(~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de)
2024-11-27 18:25:12 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds)
2024-11-27 18:25:28 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-11-27 18:32:44 +0100ft(~ft@p508db9c7.dip0.t-ipconnect.de) ft
2024-11-27 18:37:48 +0100hololeap(~quassel@user/hololeap) (Quit: Bye)
2024-11-27 18:40:03 +0100hololeap(~quassel@user/hololeap) hololeap
2024-11-27 18:46:57 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2024-11-27 18:47:46 +0100 <hellwolf> red herring, my error... need to think of a way to protect this stupid programming it from type-level. it is a very un-haskell thing to have such run-time error.
2024-11-27 18:49:57 +0100 <hellwolf> but I guess this case is not possible to prevent, it's a deadloop; so, a halting problem
2024-11-27 19:00:30 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-11-27 19:01:48 +0100alexherbo2(~alexherbo@2a02-8440-350b-dc16-f815-c051-db30-5d7a.rev.sfr.net) (Remote host closed the connection)
2024-11-27 19:02:00 +0100favalex(~favalex@176.200.204.244) (Quit: Client closed)
2024-11-27 19:02:07 +0100alexherbo2(~alexherbo@2a02-8440-350b-dc16-f815-c051-db30-5d7a.rev.sfr.net) alexherbo2
2024-11-27 19:07:01 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2024-11-27 19:07:49 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-11-27 19:12:00 +0100euleritian(~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-11-27 19:12:28 +0100euleritian(~euleritia@77.22.252.159)
2024-11-27 19:13:48 +0100alexherbo2(~alexherbo@2a02-8440-350b-dc16-f815-c051-db30-5d7a.rev.sfr.net) (Remote host closed the connection)
2024-11-27 19:17:24 +0100 <hellwolf> I usually like to write function signatures. My hlint warns about missing signature by default. But when it comes to name some small function aliases which simply composes other 2 or more functions together, it becomes tedious to write all their constraints. And I usually ignore that hlint warning by add an {-# ANN ... #-} for that function. Thoughts?
2024-11-27 19:23:57 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2024-11-27 19:24:45 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-11-27 19:28:05 +0100Alleria(~Alleria@user/alleria) (Remote host closed the connection)
2024-11-27 19:29:56 +0100 <yushyin> it is common that at least the top-level definitions all have type signatures. If you have a working HLS, you may also have it generate the type signatures
2024-11-27 19:29:56 +0100euleritian(~euleritia@77.22.252.159) (Ping timeout: 272 seconds)
2024-11-27 19:30:34 +0100euleritian(~euleritia@dynamic-176-002-069-095.176.2.pool.telefonica.de)
2024-11-27 19:37:40 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-11-27 19:39:30 +0100Alleria(~Alleria@user/alleria) Alleria
2024-11-27 19:42:32 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-11-27 19:44:17 +0100fluxit(~fluxit@192.241.192.75) (Quit: Bye!)
2024-11-27 19:46:54 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds)
2024-11-27 19:51:48 +0100euphores(~SASL_euph@user/euphores) euphores
2024-11-27 19:53:14 +0100CrunchyFlakes(~CrunchyFl@31.19.233.78)
2024-11-27 19:56:14 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-11-27 20:03:16 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-11-27 20:06:33 +0100housemate(~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate
2024-11-27 20:08:27 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-11-27 20:11:43 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-11-27 20:19:43 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-11-27 20:20:50 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2024-11-27 20:21:25 +0100euleritian(~euleritia@dynamic-176-002-069-095.176.2.pool.telefonica.de) (Read error: Connection reset by peer)
2024-11-27 20:21:51 +0100k_hachig_(~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-156.dsl.bell.ca) (Ping timeout: 276 seconds)
2024-11-27 20:21:57 +0100euleritian(~euleritia@77.22.252.159)
2024-11-27 20:24:07 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-11-27 20:27:41 +0100tcard__(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2024-11-27 20:27:57 +0100tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer)
2024-11-27 20:30:30 +0100k_hachig_(~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-156.dsl.bell.ca) k_hachig
2024-11-27 20:32:15 +0100sprotte24(~sprotte24@p200300d16f063d0029f19ad0281f854e.dip0.t-ipconnect.de) (Quit: Leaving)
2024-11-27 20:32:38 +0100sprotte24(~sprotte24@p200300d16f063d0029f19ad0281f854e.dip0.t-ipconnect.de)
2024-11-27 20:40:20 +0100 <hellwolf> "Record constructors in GADTs must use an ordinary, non-linear arrow." one more exotic error for the day :)
2024-11-27 20:43:18 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-11-27 20:44:06 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-11-27 20:44:41 +0100housemate(~housemate@2a04:9dc0:0:162::5d91:d7ed) (Quit: Nothing to see here. I wasn't there. https://files.catbox.moe/4yru45.pdf)
2024-11-27 20:44:59 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2024-11-27 20:47:30 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-11-27 20:49:11 +0100k_hachig_(~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-156.dsl.bell.ca) (Ping timeout: 265 seconds)
2024-11-27 20:51:59 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-11-27 20:53:18 +0100notzmv(~umar@user/notzmv) (Ping timeout: 245 seconds)
2024-11-27 20:53:49 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2024-11-27 20:57:16 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-11-27 21:00:02 +0100caconym(~caconym@user/caconym) (Quit: bye)
2024-11-27 21:00:41 +0100caconym(~caconym@user/caconym) caconym
2024-11-27 21:00:55 +0100werneta(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2024-11-27 21:01:26 +0100 <tomsmeding> hellwolf: I see you're combining interesting language extensions today :p
2024-11-27 21:02:51 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-11-27 21:04:12 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-11-27 21:07:11 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-11-27 21:07:33 +0100ljdarj(~Thunderbi@user/ljdarj) (Client Quit)
2024-11-27 21:12:56 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-11-27 21:15:08 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-11-27 21:15:12 +0100weary-traveler(~user@user/user363627) user363627
2024-11-27 21:15:58 +0100j1n37(j1n37@user/j1n37) (Read error: Connection reset by peer)
2024-11-27 21:22:16 +0100j1n37(j1n37@user/j1n37) j1n37
2024-11-27 21:30:11 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-11-27 21:30:44 +0100briandaed(~root@user/briandaed) (Remote host closed the connection)
2024-11-27 21:31:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 21:35:19 +0100troojg(~troojg@user/troojg) troojg
2024-11-27 21:39:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-11-27 21:39:40 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-11-27 21:41:09 +0100CrunchyFlakes(~CrunchyFl@31.19.233.78) (Ping timeout: 252 seconds)
2024-11-27 21:42:22 +0100CrunchyFlakes(~CrunchyFl@31.19.233.78)
2024-11-27 21:46:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 21:46:15 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2024-11-27 21:46:29 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 260 seconds)
2024-11-27 21:46:47 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2024-11-27 21:47:37 +0100drdo1(~drdo@bl9-110-63.dsl.telepac.pt) drdo
2024-11-27 21:48:18 +0100drdo(~drdo@bl9-110-63.dsl.telepac.pt) (Ping timeout: 245 seconds)
2024-11-27 21:48:19 +0100drdo1drdo
2024-11-27 21:51:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-11-27 21:53:21 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-11-27 21:56:07 +0100talisman`(~user@2601:644:937c:ed10::ae5) (Remote host closed the connection)
2024-11-27 21:56:20 +0100talisman`(~user@2601:644:937c:ed10::ae5)
2024-11-27 21:58:01 +0100 <haskellbridge> <hellwolf> i am having a blast
2024-11-27 22:01:26 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 22:02:01 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-11-27 22:06:14 +0100Square(~Square@user/square) Square
2024-11-27 22:08:07 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-11-27 22:09:28 +0100Square2(~Square4@user/square) (Ping timeout: 252 seconds)
2024-11-27 22:10:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-11-27 22:13:00 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2024-11-27 22:15:33 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-11-27 22:20:51 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-11-27 22:20:52 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 22:24:40 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-11-27 22:26:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-11-27 22:29:33 +0100troojg(~troojg@user/troojg) (Ping timeout: 252 seconds)
2024-11-27 22:36:14 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 22:39:46 +0100 <haskellbridge> <magic_rb> hellwolf: in regards to the function signatures, same, except that LSP insists on showing a codelens and i do not know how to disable it in Emacs :( so i tend to include them just to shut the thing up
2024-11-27 22:40:37 +0100Everything(~Everythin@46.211.105.44) Everything
2024-11-27 22:40:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-11-27 22:41:46 +0100codaraxis__(~codaraxis@user/codaraxis) Codaraxis
2024-11-27 22:43:17 +0100 <mauke> bullied by my dev tools
2024-11-27 22:43:30 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 246 seconds)
2024-11-27 22:43:58 +0100 <haskellbridge> <magic_rb> Still better than vscode
2024-11-27 22:45:49 +0100codaraxis(~codaraxis@user/codaraxis) (Ping timeout: 260 seconds)
2024-11-27 22:48:01 +0100ash3en(~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds)
2024-11-27 22:51:28 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-11-27 22:51:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 22:54:11 +0100ubert(~Thunderbi@91.141.67.185.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
2024-11-27 22:56:02 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-11-27 22:57:54 +0100 <hellwolf> :D yea, I have a tough relationsip with the code lens
2024-11-27 22:58:16 +0100 <hellwolf> And the fact it is bound to S-l still blows my mind, since on most WM that's locking your screen...
2024-11-27 22:59:01 +0100 <hellwolf> s-l T l <-- toggle code lens
2024-11-27 22:59:14 +0100 <hellwolf> I changed mine to s-c-l
2024-11-27 22:59:59 +0100 <hellwolf> but often I still don't like how code lens looks. My wish list for it: occupy less lines; unclickable.
2024-11-27 23:00:35 +0100 <hellwolf> anyways... I have a cabal question: if I list some internal modules in other-modules, there is no way I can access in another package, right?
2024-11-27 23:00:49 +0100 <hellwolf> (for example, in test of the same package)
2024-11-27 23:01:24 +0100 <geekosaur> I think you can but you must use PackageImports
2024-11-27 23:01:57 +0100 <geekosaur> unless I misunderstand your question
2024-11-27 23:02:03 +0100 <geekosaur> oh, right. no, if they're in other-modules, they can't be accessed
2024-11-27 23:02:55 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-11-27 23:02:59 +0100 <Leary> hellwolf: Put your internals in a private sublibrary.
2024-11-27 23:03:47 +0100 <hellwolf> :/ okay, but then I need to use a separate folders for it?
2024-11-27 23:03:56 +0100 <hellwolf> I just tried PackageImports, no luck.
2024-11-27 23:04:24 +0100 <Leary> Yes.
2024-11-27 23:04:42 +0100 <geekosaur> right, I realized I was answering the wrong question
2024-11-27 23:04:54 +0100 <hellwolf> yikes. perhaps I should just not use other-modules
2024-11-27 23:05:09 +0100 <hellwolf> I wonder if LSP supports sublibrary nowadays.
2024-11-27 23:05:16 +0100 <Leary> (in principle you shouldn't need separate source directories, but GHC gets weird if you don't)
2024-11-27 23:06:06 +0100 <geekosaur> HLS does if your cabal is recent enough
2024-11-27 23:06:14 +0100 <geekosaur> (3.12.1.0)
2024-11-27 23:06:25 +0100 <hellwolf> cabal-install version 3.12.1.0
2024-11-27 23:06:25 +0100 <hellwolf> compiled using version 3.12.1.0 of the Cabal library
2024-11-27 23:06:46 +0100 <hellwolf> I am the exemplar of using everything latest.
2024-11-27 23:07:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 23:07:03 +0100 <hellwolf> : not true, I don't use ghc 9.12
2024-11-27 23:07:11 +0100 <hellwolf> yet
2024-11-27 23:07:16 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-11-27 23:07:22 +0100 <c_wraith> well, it's not even in Release Candidate yet...
2024-11-27 23:09:29 +0100michalz(~michalz@185.246.207.197) (Remote host closed the connection)
2024-11-27 23:10:42 +0100 <hellwolf> I cave in. I just export it but with another layer of namespace to avoid having conflict with other package
2024-11-27 23:14:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-11-27 23:14:28 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-11-27 23:15:21 +0100 <geekosaur> re other-modules: have you considered that maybe you're designing your APIs wrong if the idea of hiding parts of it is problematic to you?
2024-11-27 23:16:42 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-11-27 23:19:41 +0100 <hellwolf> in this case, it is some small utility functions/type families that I didn't want to duplicate everywhere
2024-11-27 23:20:26 +0100 <hellwolf> but if it is from some well-known package, or some corner of base library, I could also use those instead.
2024-11-27 23:21:45 +0100 <hellwolf> e.g. Data.Type.Bool is one such dark corner.
2024-11-27 23:22:23 +0100 <hellwolf> but I don't have a `type family TypeEq a b :: Bool` there...
2024-11-27 23:22:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 23:22:42 +0100 <geekosaur> sounds like a reason for using a private sublibrary like Leary said, then
2024-11-27 23:23:14 +0100 <hellwolf> I shoudl try. private sublibrary will not be exposed to other packages of the same cabal project, right?
2024-11-27 23:26:21 +0100 <Leary> hellwolf: https://hackage.haskell.org/package/base-4.20.0.1/docs/Data-Type-Equality.html#g:4
2024-11-27 23:26:43 +0100 <hellwolf> awesome :)
2024-11-27 23:26:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-11-27 23:26:58 +0100 <hellwolf> I can you find, without knowing or asking here. Hoogle cannot search type families...
2024-11-27 23:27:03 +0100 <hellwolf> *how
2024-11-27 23:27:41 +0100 <Leary> Good question. In this case I just figured it might be in `Data.Type.Equality`.
2024-11-27 23:28:26 +0100 <geekosaur> they're not auto-exposed but you can depend on them
2024-11-27 23:29:31 +0100 <hellwolf> and chatgpt thinks there is none in base library.
2024-11-27 23:29:47 +0100 <hellwolf> I guess asking in IRC is the only empirically valid option left.
2024-11-27 23:30:23 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-11-27 23:31:10 +0100 <haskellbridge> <Morj> That's why you should always have base sources on hand to grep through
2024-11-27 23:33:25 +0100 <hellwolf> I guess I will have quite a battle to convince people to use Haskell :) I labeled it "fun", but I see scary error messages and relatively lack of support on the internet or from "LLM AI" ...
2024-11-27 23:36:56 +0100 <hellwolf> actually, in hoogle, type family appears
2024-11-27 23:37:28 +0100 <hellwolf> but not sure how to search. "(a :: k) == (b :: k)" didn't work
2024-11-27 23:37:43 +0100 <hellwolf> searching (==) worked, but I had to know it was called (==) in the first place.
2024-11-27 23:37:55 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 23:38:21 +0100sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 265 seconds)
2024-11-27 23:38:32 +0100 <jackdk> Yeah it's a big mental shift to recognise that error messages are useful and not just "program wrong. think harder human". And then you have to learn to see through the spam to the useful core. Someone posted the error from `maximum 2 3` the other day; that was "glorious"
2024-11-27 23:39:42 +0100notzmv(~umar@user/notzmv) notzmv
2024-11-27 23:42:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-11-27 23:44:55 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2024-11-27 23:45:45 +0100 <haskellbridge> <thirdofmay18081814goya> any compiler backends written in haskell that are nice to read or well documented?
2024-11-27 23:45:47 +0100Alleria_(~Alleria@user/alleria) Alleria
2024-11-27 23:47:30 +0100 <hellwolf> homework?
2024-11-27 23:49:02 +0100infinity0(~infinity0@pwned.gg) (Quit: WeeChat 4.3.1)
2024-11-27 23:49:29 +0100Alleria(~Alleria@user/alleria) (Ping timeout: 255 seconds)
2024-11-27 23:49:53 +0100j1n37(j1n37@user/j1n37) (Read error: Connection reset by peer)
2024-11-27 23:49:55 +0100 <haskellbridge> <thirdofmay18081814goya> no just want to make my own
2024-11-27 23:50:50 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2024-11-27 23:51:36 +0100 <hellwolf> I think people will say GHC itself.
2024-11-27 23:51:45 +0100foul_owl(~kerry@157.97.134.165) (Ping timeout: 252 seconds)
2024-11-27 23:53:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-27 23:53:59 +0100j1n37(j1n37@user/j1n37) j1n37
2024-11-27 23:56:24 +0100 <haskellbridge> <thirdofmay18081814goya> hm will take a look
2024-11-27 23:57:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-11-27 23:58:36 +0100 <haskellbridge> <thirdofmay18081814goya> ty!
2024-11-27 23:59:22 +0100 <hellwolf> just curious, what kind of compiler you are writing? Fwiw, I think there is a lot of experts here.