2024-11-27 00:01:20 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-11-27 00:01:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-11-27 00:13:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 00:18:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-11-27 00:23:39 +0100 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
2024-11-27 00:24:41 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2024-11-27 00:30:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 00:32:29 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2024-11-27 00:33:07 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
2024-11-27 00:34:39 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-11-27 00:35:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-11-27 00:42:53 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2024-11-27 00:43:07 +0100 | falafel | (~falafel@2600:1700:99f4:2050:9f1c:ee0a:fb1:55f5) falafel |
2024-11-27 00:45:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 00:46:47 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2024-11-27 00:48:20 +0100 | Square | (~Square@user/square) Square |
2024-11-27 00:49:18 +0100 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
2024-11-27 00:50:34 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f15c18c09329fdf1ca2.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2024-11-27 00:51:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-11-27 00:51:31 +0100 | troojg | (~troojg@user/troojg) troojg |
2024-11-27 00:52:31 +0100 | j1n37 | (j1n37@user/j1n37) j1n37 |
2024-11-27 00:53:12 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
2024-11-27 00:56:48 +0100 | mange | (~user@user/mange) (Ping timeout: 265 seconds) |
2024-11-27 01:01:41 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) k_hachig |
2024-11-27 01:01:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 01:02:04 +0100 | athan | (~athan@syn-173-042-095-241.biz.spectrum.com) (Quit: Konversation terminated!) |
2024-11-27 01:05:34 +0100 | krei-se | (~krei-se@p57af2af4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2024-11-27 01:06:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-11-27 01:16:41 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-11-27 01:17:08 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2024-11-27 01:17:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 01:22:04 +0100 | zenmov | (~zenmov@user/zenmov) (Ping timeout: 260 seconds) |
2024-11-27 01:22:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-11-27 01:23:17 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
2024-11-27 01:23:29 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
2024-11-27 01:24:18 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-11-27 01:25:25 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:7888:564d:32b6:f964) (Ping timeout: 248 seconds) |
2024-11-27 01:27:26 +0100 | Alleria_ | (~Alleria@user/alleria) Alleria |
2024-11-27 01:28:37 +0100 | Alleria | (~Alleria@user/alleria) (Ping timeout: 248 seconds) |
2024-11-27 01:30:24 +0100 | krei-se | (~krei-se@p57af2af4.dip0.t-ipconnect.de) krei-se |
2024-11-27 01:33:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 01:35:21 +0100 | falafel | (~falafel@2600:1700:99f4:2050:9f1c:ee0a:fb1:55f5) (Remote host closed the connection) |
2024-11-27 01:35:40 +0100 | falafel | (~falafel@2600:1700:99f4:2050:69a:bb56:b8a7:d92f) falafel |
2024-11-27 01:37:12 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) (Ping timeout: 252 seconds) |
2024-11-27 01:40:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-27 01:42:00 +0100 | joeyadams | (~joeyadams@syn-184-054-105-097.res.spectrum.com) |
2024-11-27 01:44:07 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) k_hachig |
2024-11-27 01:51:33 +0100 | merijn | (~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 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2024-11-27 01:55:13 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
2024-11-27 01:55:42 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2024-11-27 01:55:58 +0100 | sprotte24 | (~sprotte24@p200300d16f2c240070a0b46ff834a68c.dip0.t-ipconnect.de) (Quit: Leaving) |
2024-11-27 01:55:58 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
2024-11-27 01:56:44 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2024-11-27 01:56:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-11-27 01:57:02 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
2024-11-27 01:57:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 01:58:14 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2024-11-27 01:58:32 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
2024-11-27 02:00:37 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-11-27 02:02:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-11-27 02:06:35 +0100 | zenmov | (~zenmov@user/zenmov) (Read error: Connection reset by peer) |
2024-11-27 02:10:55 +0100 | bliminse | (~bliminse@user/bliminse) (Ping timeout: 264 seconds) |
2024-11-27 02:12:25 +0100 | bliminse | (~bliminse@user/bliminse) bliminse |
2024-11-27 02:12:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 02:17:36 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2024-11-27 02:17:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-27 02:18:24 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-11-27 02:25:41 +0100 | Alleria_ | (~Alleria@user/alleria) (Ping timeout: 248 seconds) |
2024-11-27 02:28:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 02:33:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-11-27 02:37:46 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
2024-11-27 02:37:48 +0100 | troojg | (~troojg@user/troojg) (Ping timeout: 276 seconds) |
2024-11-27 02:38:37 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-11-27 02:39:07 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2024-11-27 02:44:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 02:47:41 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 255 seconds) |
2024-11-27 02:48:35 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-11-27 02:48:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-11-27 02:59:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 03:00:07 +0100 | Everything | (~Everythin@46-133-48-209.mobile.vf-ua.net) (Quit: leaving) |
2024-11-27 03:01:56 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-11-27 03:05:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-11-27 03:15:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 03:15:39 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-11-27 03:16:29 +0100 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 265 seconds) |
2024-11-27 03:22:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-11-27 03:27:47 +0100 | Alleria | (~Alleria@user/alleria) (Remote host closed the connection) |
2024-11-27 03:28:33 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
2024-11-27 03:34:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 03:34:29 +0100 | n3t | (~n3t@user/n3t) (Ping timeout: 248 seconds) |
2024-11-27 03:39:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-11-27 03:39:32 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-11-27 03:42:16 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2024-11-27 03:44:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 03:45:54 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-11-27 03:47:25 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
2024-11-27 03:48:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-11-27 03:52:53 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 245 seconds) |
2024-11-27 03:57:59 +0100 | n3t | (~n3t@user/n3t) n3t |
2024-11-27 03:59:30 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2024-11-27 04:00:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 04:06:07 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-11-27 04:06:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-11-27 04:08:00 +0100 | jackdu56 | (~jackdu56@2406:3003:2004:64e7:68e8:374c:7f6e:b9e7) |
2024-11-27 04:09:16 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
2024-11-27 04:11:04 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-11-27 04:13:11 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-11-27 04:13:38 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2024-11-27 04:14:26 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-11-27 04:14:32 +0100 | jackdu56 | (~jackdu56@2406:3003:2004:64e7:68e8:374c:7f6e:b9e7) (Quit: Client closed) |
2024-11-27 04:14:52 +0100 | jackdu56 | (~jackdu56@2406:3003:2004:64e7:68e8:374c:7f6e:b9e7) |
2024-11-27 04:14:52 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2024-11-27 04:16:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 04:16:51 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-11-27 04:17:15 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2024-11-27 04:17:17 +0100 | ephemient | (uid407513@user/ephemient) ephemient |
2024-11-27 04:17:38 +0100 | jackdu56 | (~jackdu56@2406:3003:2004:64e7:68e8:374c:7f6e:b9e7) (Client Quit) |
2024-11-27 04:18:21 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-11-27 04:18:45 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2024-11-27 04:21:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-11-27 04:23:36 +0100 | joeyadams | (~joeyadams@syn-184-054-105-097.res.spectrum.com) (Quit: Leaving) |
2024-11-27 04:27:07 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds) |
2024-11-27 04:27:09 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-11-27 04:32:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 04:32:51 +0100 | foul_owl | (~kerry@157.97.134.167) (Ping timeout: 265 seconds) |
2024-11-27 04:33:31 +0100 | califax_ | (~califax@user/califx) califx |
2024-11-27 04:34:21 +0100 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
2024-11-27 04:34:36 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
2024-11-27 04:34:45 +0100 | califax_ | califax |
2024-11-27 04:37:24 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-11-27 04:37:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-11-27 04:38:04 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2024-11-27 04:45:48 +0100 | foul_owl | (~kerry@174-21-134-89.tukw.qwest.net) foul_owl |
2024-11-27 04:48:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 04:53:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-27 04:56:36 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-11-27 04:57:07 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2024-11-27 04:57:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 05:02:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-11-27 05:03:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 05:04:13 +0100 | aforemny_ | (~aforemny@i59F4C5C8.versanet.de) aforemny |
2024-11-27 05:04:56 +0100 | Alleria | (~Alleria@user/alleria) (Remote host closed the connection) |
2024-11-27 05:05:19 +0100 | aforemny | (~aforemny@2001:9e8:6cf9:ec00:2244:25c5:1fd9:5632) (Ping timeout: 260 seconds) |
2024-11-27 05:05:53 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
2024-11-27 05:08:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-11-27 05:08:08 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-11-27 05:10:27 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2024-11-27 05:10:51 +0100 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
2024-11-27 05:13:39 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) (Ping timeout: 260 seconds) |
2024-11-27 05:18:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 05:20:48 +0100 | ethantwardy | (user@user/ethantwardy) (Quit: WeeChat 4.3.2) |
2024-11-27 05:22:17 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-11-27 05:24:20 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2024-11-27 05:25:10 +0100 | foul_owl | (~kerry@174-21-134-89.tukw.qwest.net) (Ping timeout: 252 seconds) |
2024-11-27 05:25:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-11-27 05:27:08 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) k_hachig |
2024-11-27 05:31:34 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-11-27 05:33:27 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) (Ping timeout: 246 seconds) |
2024-11-27 05:37:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 05:39:20 +0100 | foul_owl | (~kerry@157.97.134.165) foul_owl |
2024-11-27 05:42:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-11-27 05:52:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 05:55:27 +0100 | RedNifre | (~RedNifre@dslb-002-206-121-010.002.206.pools.vodafone-ip.de) (Ping timeout: 244 seconds) |
2024-11-27 05:55:50 +0100 | ethantwardy | (user@user/ethantwardy) ethantwardy |
2024-11-27 05:57:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-11-27 06:01:44 +0100 | aforemny | (~aforemny@i577B13BA.versanet.de) aforemny |
2024-11-27 06:02:59 +0100 | aforemny_ | (~aforemny@i59F4C5C8.versanet.de) (Ping timeout: 255 seconds) |
2024-11-27 06:03:17 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
2024-11-27 06:05:27 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2024-11-27 06:08:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 06:08:34 +0100 | RedNifre | (~RedNifre@dslb-002-206-109-199.002.206.pools.vodafone-ip.de) RedNifre |
2024-11-27 06:10:38 +0100 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
2024-11-27 06:13:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-11-27 06:13:50 +0100 | j1n37 | (j1n37@user/j1n37) j1n37 |
2024-11-27 06:23:14 +0100 | philopsos | (~caecilius@user/philopsos) (Quit: Lost terminal) |
2024-11-27 06:24:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 06:24:28 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) k_hachig |
2024-11-27 06:29:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-11-27 06:29:51 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) (Ping timeout: 276 seconds) |
2024-11-27 06:35:48 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) k_hachig |
2024-11-27 06:36:38 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 245 seconds) |
2024-11-27 06:40:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 06:40:54 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) (Ping timeout: 276 seconds) |
2024-11-27 06:44:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-11-27 06:55:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 07:00:38 +0100 | zenmov | (~zenmov@user/zenmov) (Remote host closed the connection) |
2024-11-27 07:00:55 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
2024-11-27 07:02:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-11-27 07:06:45 +0100 | michalz | (~michalz@185.246.207.197) |
2024-11-27 07:07:02 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
2024-11-27 07:07:39 +0100 | euleritian | (~euleritia@dynamic-176-006-132-155.176.6.pool.telefonica.de) |
2024-11-27 07:08:09 +0100 | Athas | (athas@2a01:7c8:aaac:1cf:1953:5ca8:4562:ea33) (Quit: ZNC 1.9.1 - https://znc.in) |
2024-11-27 07:08:22 +0100 | Athas | (athas@2a01:7c8:aaac:1cf:f0e6:9623:a853:eea7) |
2024-11-27 07:10:23 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) k_hachig |
2024-11-27 07:14:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 07:15:09 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) (Ping timeout: 252 seconds) |
2024-11-27 07:17:30 +0100 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
2024-11-27 07:19:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-11-27 07:23:03 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
2024-11-27 07:25:08 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
2024-11-27 07:29:54 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) k_hachig |
2024-11-27 07:30:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 07:33:21 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
2024-11-27 07:34:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-27 07:35:57 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) (Ping timeout: 246 seconds) |
2024-11-27 07:38:24 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-11-27 07:45:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 07:51:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-11-27 07:55:08 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f45e92259293d368009.dip0.t-ipconnect.de) |
2024-11-27 07:56:13 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) k_hachig |
2024-11-27 07:58:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 08:00:48 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) (Ping timeout: 245 seconds) |
2024-11-27 08:03:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-11-27 08:08:29 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-11-27 08:14:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 08:15:34 +0100 | olivial | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
2024-11-27 08:18:05 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
2024-11-27 08:18:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-27 08:29:04 +0100 | zenmov | (~zenmov@user/zenmov) (Ping timeout: 260 seconds) |
2024-11-27 08:29:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 08:31:29 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2024-11-27 08:32:35 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
2024-11-27 08:34:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-27 08:45:12 +0100 | notzmv | (~umar@user/notzmv) notzmv |
2024-11-27 08:45:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 08:48:06 +0100 | ubert | (~Thunderbi@91.141.67.185.wireless.dyn.drei.com) ubert |
2024-11-27 08:50:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-27 08:52:49 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2024-11-27 08:57:56 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-11-27 08:59:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 09:00:02 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-11-27 09:00:39 +0100 | caconym | (~caconym@user/caconym) caconym |
2024-11-27 09:04:29 +0100 | merijn | (~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 +0100 | zenmov | (~zenmov@user/zenmov) (Remote host closed the connection) |
2024-11-27 09:13:42 +0100 | k_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 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
2024-11-27 09:19:12 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) (Ping timeout: 252 seconds) |
2024-11-27 09:22:13 +0100 | ft | (~ft@p508db9c7.dip0.t-ipconnect.de) (Quit: leaving) |
2024-11-27 09:23:12 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
2024-11-27 09:27:16 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-11-27 09:31:26 +0100 | vpan | (~vpan@212.117.1.172) |
2024-11-27 09:31:43 +0100 | vpan | Guest544 |
2024-11-27 09:31:57 +0100 | Guest544 | vpan |
2024-11-27 09:32:39 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 260 seconds) |
2024-11-27 09:32:52 +0100 | chele | (~chele@user/chele) chele |
2024-11-27 09:34:04 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-11-27 09:35:41 +0100 | tromp | (~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 +0100 | falafel | (~falafel@2600:1700:99f4:2050:69a:bb56:b8a7:d92f) (Ping timeout: 252 seconds) |
2024-11-27 09:40:44 +0100 | zenmov | (~zenmov@user/zenmov) (Ping timeout: 265 seconds) |
2024-11-27 09:42:45 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-11-27 09:44:18 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
2024-11-27 09:45:40 +0100 | zenmov | (~zenmov@user/zenmov) (Client Quit) |
2024-11-27 09:46:42 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
2024-11-27 09:47:32 +0100 | zenmov | (~zenmov@user/zenmov) (Client Quit) |
2024-11-27 09:47:57 +0100 | zenmov | (~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 +0100 | machinedgod | (~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 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
2024-11-27 10:02:21 +0100 | sprotte24 | (~sprotte24@p200300d16f063d0029f19ad0281f854e.dip0.t-ipconnect.de) |
2024-11-27 10:05:14 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2024-11-27 10:09:03 +0100 | zenmov | (~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 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) k_hachig |
2024-11-27 10:16:07 +0100 | housemate | (~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 +0100 | k_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 +0100 | AlexZenon | (~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 +0100 | AlexZenon | (~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 +0100 | merijn | (~merijn@77.242.116.146) (Quit: leaving) |
2024-11-27 10:31:02 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2024-11-27 10:31:53 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
2024-11-27 10:32:18 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
2024-11-27 10:33:30 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
2024-11-27 10:34:41 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
2024-11-27 10:36:28 +0100 | notzmv | (~umar@user/notzmv) notzmv |
2024-11-27 10:38:39 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
2024-11-27 10:39:30 +0100 | rvalue- | 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 +0100 | zenmov | (~zenmov@user/zenmov) (Ping timeout: 252 seconds) |
2024-11-27 10:50:16 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
2024-11-27 10:50:25 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2024-11-27 11:05:10 +0100 | raym | (~ray@user/raym) (Ping timeout: 272 seconds) |
2024-11-27 11:08:08 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-11-27 11:10:04 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
2024-11-27 11:10:55 +0100 | raym | (~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 +0100 | malte | (~malte@mal.tc) (Remote host closed the connection) |
2024-11-27 11:13:30 +0100 | mari-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 +0100 | malte | (~malte@mal.tc) malte |
2024-11-27 11:15:42 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) k_hachig |
2024-11-27 11:21:34 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) (Ping timeout: 260 seconds) |
2024-11-27 11:28:01 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
2024-11-27 11:28:02 +0100 | zenmov | (~zenmov@user/zenmov) (Ping timeout: 248 seconds) |
2024-11-27 11:28:25 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-11-27 11:31:11 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2024-11-27 11:35:33 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Ping timeout: 248 seconds) |
2024-11-27 11:37:04 +0100 | zenmov | (~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 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
2024-11-27 11:53:10 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
2024-11-27 11:53:56 +0100 | talisman` | (~user@2601:644:937c:ed10::ae5) |
2024-11-27 11:54:20 +0100 | tabemann_ | (~tabemann@2600:1700:7990:24e0:dcfd:354f:7f87:b580) |
2024-11-27 11:54:24 +0100 | sefidel_ | (~sefidel@user/sefidel) sefidel |
2024-11-27 11:54:51 +0100 | Athas_ | (athas@sigkill.dk) |
2024-11-27 11:54:55 +0100 | img_ | (~img@user/img) img |
2024-11-27 11:54:55 +0100 | rembo10_ | (~rembo10@main.remulis.com) |
2024-11-27 11:54:55 +0100 | nurupo_ | (~nurupo.ga@user/nurupo) nurupo |
2024-11-27 11:55:28 +0100 | NiKaN_ | (sid385034@id-385034.helmsley.irccloud.com) NiKaN |
2024-11-27 11:58:21 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
2024-11-27 11:58:58 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
2024-11-27 12:02:19 +0100 | merijn | (~merijn@77.242.116.146) (*.net *.split) |
2024-11-27 12:02:19 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (*.net *.split) |
2024-11-27 12:02:19 +0100 | caconym | (~caconym@user/caconym) (*.net *.split) |
2024-11-27 12:02:19 +0100 | Athas | (athas@2a01:7c8:aaac:1cf:f0e6:9623:a853:eea7) (*.net *.split) |
2024-11-27 12:02:20 +0100 | tabemann | (~tabemann@2600:1700:7990:24e0:994a:79ad:26a3:286b) (*.net *.split) |
2024-11-27 12:02:20 +0100 | sefidel | (~sefidel@user/sefidel) (*.net *.split) |
2024-11-27 12:02:20 +0100 | ACuriousMoose | (~ACuriousM@156.34.161.188) (*.net *.split) |
2024-11-27 12:02:20 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (*.net *.split) |
2024-11-27 12:02:20 +0100 | Jackneill | (~Jackneill@91-83-15-152.pool.digikabel.hu) (*.net *.split) |
2024-11-27 12:02:20 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (*.net *.split) |
2024-11-27 12:02:21 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (*.net *.split) |
2024-11-27 12:02:21 +0100 | dyniec | (~dyniec@dybiec.info) (*.net *.split) |
2024-11-27 12:02:21 +0100 | img | (~img@user/img) (*.net *.split) |
2024-11-27 12:02:21 +0100 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (*.net *.split) |
2024-11-27 12:02:21 +0100 | talismanick | (~user@2601:644:937c:ed10::ae5) (*.net *.split) |
2024-11-27 12:02:21 +0100 | hiredman | (~hiredman@frontier1.downey.family) (*.net *.split) |
2024-11-27 12:02:21 +0100 | nurupo | (~nurupo.ga@user/nurupo) (*.net *.split) |
2024-11-27 12:02:21 +0100 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (*.net *.split) |
2024-11-27 12:02:22 +0100 | jjhoo | (~jahakala@user/jjhoo) (*.net *.split) |
2024-11-27 12:02:22 +0100 | rembo10 | (~rembo10@main.remulis.com) (*.net *.split) |
2024-11-27 12:02:22 +0100 | byte | (~byte@149.28.222.189) (*.net *.split) |
2024-11-27 12:02:23 +0100 | xacktm | (xacktm@user/xacktm) (*.net *.split) |
2024-11-27 12:02:23 +0100 | Adran | (~adran@botters/adran) (*.net *.split) |
2024-11-27 12:02:23 +0100 | hc | (~hc@mail.hce.li) (*.net *.split) |
2024-11-27 12:02:23 +0100 | rncwnd | (~quassel@2a01:4f8:221:27c6::1) (*.net *.split) |
2024-11-27 12:02:23 +0100 | lambdap2371 | (~lambdap@static.167.190.119.168.clients.your-server.de) (*.net *.split) |
2024-11-27 12:02:23 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (*.net *.split) |
2024-11-27 12:02:23 +0100 | opqdonut | (opqdonut@pseudo.fixme.fi) (*.net *.split) |
2024-11-27 12:02:24 +0100 | sefidel_ | sefidel |
2024-11-27 12:02:24 +0100 | nurupo_ | nurupo |
2024-11-27 12:02:25 +0100 | NiKaN_ | NiKaN |
2024-11-27 12:03:37 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2024-11-27 12:05:30 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2024-11-27 12:05:30 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
2024-11-27 12:05:30 +0100 | caconym | (~caconym@user/caconym) caconym |
2024-11-27 12:05:30 +0100 | ACuriousMoose | (~ACuriousM@156.34.161.188) ACuriousMoose |
2024-11-27 12:05:30 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada |
2024-11-27 12:05:30 +0100 | Jackneill | (~Jackneill@91-83-15-152.pool.digikabel.hu) Jackneill |
2024-11-27 12:05:30 +0100 | dyniec | (~dyniec@dybiec.info) dyniec |
2024-11-27 12:05:30 +0100 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot |
2024-11-27 12:05:30 +0100 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
2024-11-27 12:05:30 +0100 | jjhoo | (~jahakala@user/jjhoo) jjhoo |
2024-11-27 12:05:30 +0100 | byte | (~byte@149.28.222.189) |
2024-11-27 12:05:30 +0100 | Adran | (~adran@botters/adran) Adran |
2024-11-27 12:05:30 +0100 | hc | (~hc@mail.hce.li) hc |
2024-11-27 12:05:30 +0100 | rncwnd | (~quassel@2a01:4f8:221:27c6::1) rncwnd |
2024-11-27 12:05:30 +0100 | lambdap2371 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
2024-11-27 12:05:30 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
2024-11-27 12:05:30 +0100 | opqdonut | (opqdonut@pseudo.fixme.fi) |
2024-11-27 12:06:20 +0100 | rvalue- | rvalue |
2024-11-27 12:10:03 +0100 | Athas_ | Athas |
2024-11-27 12:12:50 +0100 | xff0x | (~xff0x@2405:6580:b080:900:d064:c4df:1a7b:cf96) |
2024-11-27 12:13:04 +0100 | zenmov | (~zenmov@user/zenmov) (Ping timeout: 260 seconds) |
2024-11-27 12:14:58 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
2024-11-27 12:15:33 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) k_hachig |
2024-11-27 12:16:18 +0100 | merijn | (~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 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
2024-11-27 12:20:18 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) (Ping timeout: 248 seconds) |
2024-11-27 12:23:57 +0100 | xacktm | (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 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2024-11-27 12:30:33 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
2024-11-27 12:31:56 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
2024-11-27 12:33:31 +0100 | remedan | (~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 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) (Quit: %quit%) |
2024-11-27 12:35:51 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
2024-11-27 12:39:29 +0100 | <Leary> | vpan: N.B. static-ls |
2024-11-27 12:39:51 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2024-11-27 12:41:05 +0100 | xff0x | (~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 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 265 seconds) |
2024-11-27 12:56:02 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
2024-11-27 12:56:24 +0100 | talisman` | (~user@2601:644:937c:ed10::ae5) (Read error: Connection reset by peer) |
2024-11-27 12:56:38 +0100 | talisman` | (~user@2601:644:937c:ed10::ae5) |
2024-11-27 13:05:48 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 252 seconds) |
2024-11-27 13:05:59 +0100 | zero | (~z@user/zero) (Ping timeout: 260 seconds) |
2024-11-27 13:14:29 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
2024-11-27 13:15:39 +0100 | CiaoSen | (~Jura@2a05:5800:2de:b900:ca4b:d6ff:fec1:99da) CiaoSen |
2024-11-27 13:17:42 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) k_hachig |
2024-11-27 13:20:16 +0100 | Gabriel | (~Gabriel@102.88.35.34) |
2024-11-27 13:23:39 +0100 | euleritian | (~euleritia@dynamic-176-006-132-155.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-11-27 13:23:54 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:cca6:2e48:4178:8d14) (Ping timeout: 276 seconds) |
2024-11-27 13:23:56 +0100 | euleritian | (~euleritia@ip2504f9cf.dynamic.kabel-deutschland.de) |
2024-11-27 13:24:01 +0100 | xff0x | (~xff0x@2405:6580:b080:900:e3:b85:1caf:7d34) |
2024-11-27 13:34:24 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
2024-11-27 13:36:58 +0100 | alioguzhan | (~Thunderbi@78.173.69.189) (Remote host closed the connection) |
2024-11-27 13:40:27 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
2024-11-27 13:50:15 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer) |
2024-11-27 13:52:26 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2024-11-27 13:54:44 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-11-27 13:55:01 +0100 | pavonia | (~user@user/siracusa) siracusa |
2024-11-27 13:55:52 +0100 | xdminsy | (~xdminsy@117.147.71.112) (Quit: Konversation terminated!) |
2024-11-27 13:56:10 +0100 | CiaoSen | (~Jura@2a05:5800:2de:b900:ca4b:d6ff:fec1:99da) (Ping timeout: 272 seconds) |
2024-11-27 13:57:33 +0100 | notzmv | (~umar@user/notzmv) notzmv |
2024-11-27 14:01:28 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
2024-11-27 14:04:28 +0100 | Gabriel | (~Gabriel@102.88.35.34) (Quit: Client closed) |
2024-11-27 14:04:51 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
2024-11-27 14:06:18 +0100 | housemate | (~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 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
2024-11-27 14:09:58 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2024-11-27 14:17:51 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 276 seconds) |
2024-11-27 14:19:24 +0100 | euleritian | (~euleritia@ip2504f9cf.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-11-27 14:19:52 +0100 | euleritian | (~euleritia@dynamic-176-006-132-155.176.6.pool.telefonica.de) |
2024-11-27 14:29:00 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru |
2024-11-27 14:32:18 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-11-27 14:33:05 +0100 | housemate | (~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 +0100 | alp_ | (~alp@2001:861:8ca0:4940:ff64:6760:9b85:ec74) (Remote host closed the connection) |
2024-11-27 14:33:21 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-11-27 14:33:28 +0100 | alp_ | (~alp@2001:861:8ca0:4940:830:1e85:b6e0:5014) |
2024-11-27 14:36:21 +0100 | vpan | (~vpan@212.117.1.172) (Ping timeout: 248 seconds) |
2024-11-27 14:42:00 +0100 | Jackneill_ | (~Jackneill@178-164-174-131.pool.digikabel.hu) |
2024-11-27 14:42:13 +0100 | alp_ | (~alp@2001:861:8ca0:4940:830:1e85:b6e0:5014) (Remote host closed the connection) |
2024-11-27 14:42:28 +0100 | alp_ | (~alp@2001:861:8ca0:4940:f20b:5004:c8bc:8638) |
2024-11-27 14:42:28 +0100 | srk | (~sorki@user/srk) (Ping timeout: 245 seconds) |
2024-11-27 14:43:12 +0100 | Jackneill | (~Jackneill@91-83-15-152.pool.digikabel.hu) (Ping timeout: 276 seconds) |
2024-11-27 14:48:35 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
2024-11-27 14:51:10 +0100 | alp_ | (~alp@2001:861:8ca0:4940:f20b:5004:c8bc:8638) (Remote host closed the connection) |
2024-11-27 14:51:28 +0100 | alp_ | (~alp@2001:861:8ca0:4940:15f8:c280:6715:9168) |
2024-11-27 14:54:39 +0100 | Jackneill_ | (~Jackneill@178-164-174-131.pool.digikabel.hu) (Ping timeout: 260 seconds) |
2024-11-27 14:55:08 +0100 | Jackneill | (~Jackneill@178-164-253-185.pool.digikabel.hu) Jackneill |
2024-11-27 15:04:13 +0100 | vpan | (~vpan@212.117.1.172) |
2024-11-27 15:04:36 +0100 | vpan | Guest8583 |
2024-11-27 15:07:11 +0100 | comerijn | (~merijn@77.242.116.146) (Quit: leaving) |
2024-11-27 15:12:16 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2024-11-27 15:24:10 +0100 | alp_ | (~alp@2001:861:8ca0:4940:15f8:c280:6715:9168) (Remote host closed the connection) |
2024-11-27 15:24:28 +0100 | alp_ | (~alp@2001:861:8ca0:4940:769b:df50:a743:f065) |
2024-11-27 15:26:05 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350b-dc16-f815-c051-db30-5d7a.rev.sfr.net) alexherbo2 |
2024-11-27 15:28:30 +0100 | alp__ | (~alp@2001:861:8ca0:4940:cda0:b848:4c21:79b0) |
2024-11-27 15:30:53 +0100 | alp_ | (~alp@2001:861:8ca0:4940:769b:df50:a743:f065) (Ping timeout: 252 seconds) |
2024-11-27 15:33:05 +0100 | dymenshen | (zenmov@user/dymenshen) (Ping timeout: 265 seconds) |
2024-11-27 15:34:54 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2024-11-27 15:38:33 +0100 | housemate | (~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 +0100 | Square2 | (~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 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
2024-11-27 15:56:56 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2024-11-27 16:00:17 +0100 | k_hachig_ | (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-156.dsl.bell.ca) k_hachig |
2024-11-27 16:00:26 +0100 | AlexNoo | (~AlexNoo@178.34.162.156) (Read error: Connection reset by peer) |
2024-11-27 16:00:45 +0100 | AlexNoo | (~AlexNoo@178.34.162.156) |
2024-11-27 16:03:06 +0100 | Guest8583 | (~vpan@212.117.1.172) (Quit: Leaving.) |
2024-11-27 16:05:00 +0100 | k_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 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
2024-11-27 16:20:54 +0100 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
2024-11-27 16:21:34 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
2024-11-27 16:23:29 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-11-27 16:26:59 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2024-11-27 16:39:51 +0100 | aforemny | (~aforemny@i577B13BA.versanet.de) (Ping timeout: 246 seconds) |
2024-11-27 16:42:54 +0100 | aforemny | (~aforemny@2001:9e8:6ce2:4f00:247:abb5:ff11:88a7) aforemny |
2024-11-27 16:54:33 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-11-27 16:59:07 +0100 | k_hachig_ | (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-156.dsl.bell.ca) k_hachig |
2024-11-27 17:06:33 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
2024-11-27 17:07:38 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350b-dc16-f815-c051-db30-5d7a.rev.sfr.net) (Remote host closed the connection) |
2024-11-27 17:07:58 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350b-dc16-f815-c051-db30-5d7a.rev.sfr.net) alexherbo2 |
2024-11-27 17:18:00 +0100 | sprotte24 | (~sprotte24@p200300d16f063d0029f19ad0281f854e.dip0.t-ipconnect.de) (Quit: Leaving) |
2024-11-27 17:18:42 +0100 | euleritian | (~euleritia@dynamic-176-006-132-155.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
2024-11-27 17:18:51 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-11-27 17:21:38 +0100 | subjective51 | (~SN51@user/subjective51) (Ping timeout: 245 seconds) |
2024-11-27 17:21:50 +0100 | chele | (~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 +0100 | Guest12 | (~Guest12@35.66.249.5.rev.vodafone.pt) |
2024-11-27 17:32:51 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
2024-11-27 17:41:54 +0100 | subjective51 | (~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 +0100 | euleritian | (~euleritia@dynamic-176-007-150-216.176.7.pool.telefonica.de) |
2024-11-27 17:45:33 +0100 | sprotte24 | (~sprotte24@p200300d16f063d0029f19ad0281f854e.dip0.t-ipconnect.de) |
2024-11-27 17:46:03 +0100 | favalex | (~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 +0100 | euleritian | (~euleritia@dynamic-176-007-150-216.176.7.pool.telefonica.de) (Ping timeout: 260 seconds) |
2024-11-27 17:49:09 +0100 | Guest12 | (~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 +0100 | euleritian | (~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 +0100 | subjective51 | (~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 +0100 | euleritian | (~euleritia@176.2.69.95) (Read error: Connection reset by peer) |
2024-11-27 18:16:20 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
2024-11-27 18:25:12 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
2024-11-27 18:25:28 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-11-27 18:32:44 +0100 | ft | (~ft@p508db9c7.dip0.t-ipconnect.de) ft |
2024-11-27 18:37:48 +0100 | hololeap | (~quassel@user/hololeap) (Quit: Bye) |
2024-11-27 18:40:03 +0100 | hololeap | (~quassel@user/hololeap) hololeap |
2024-11-27 18:46:57 +0100 | wootehfoot | (~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 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2024-11-27 19:01:48 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350b-dc16-f815-c051-db30-5d7a.rev.sfr.net) (Remote host closed the connection) |
2024-11-27 19:02:00 +0100 | favalex | (~favalex@176.200.204.244) (Quit: Client closed) |
2024-11-27 19:02:07 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350b-dc16-f815-c051-db30-5d7a.rev.sfr.net) alexherbo2 |
2024-11-27 19:07:01 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2024-11-27 19:07:49 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-11-27 19:12:00 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-11-27 19:12:28 +0100 | euleritian | (~euleritia@77.22.252.159) |
2024-11-27 19:13:48 +0100 | alexherbo2 | (~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 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2024-11-27 19:24:45 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-11-27 19:28:05 +0100 | Alleria | (~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 +0100 | euleritian | (~euleritia@77.22.252.159) (Ping timeout: 272 seconds) |
2024-11-27 19:30:34 +0100 | euleritian | (~euleritia@dynamic-176-002-069-095.176.2.pool.telefonica.de) |
2024-11-27 19:37:40 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-11-27 19:39:30 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
2024-11-27 19:42:32 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-11-27 19:44:17 +0100 | fluxit | (~fluxit@192.241.192.75) (Quit: Bye!) |
2024-11-27 19:46:54 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds) |
2024-11-27 19:51:48 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
2024-11-27 19:53:14 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
2024-11-27 19:56:14 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-11-27 20:03:16 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-11-27 20:06:33 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
2024-11-27 20:08:27 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-11-27 20:11:43 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-11-27 20:19:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-11-27 20:20:50 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2024-11-27 20:21:25 +0100 | euleritian | (~euleritia@dynamic-176-002-069-095.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-11-27 20:21:51 +0100 | k_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 +0100 | euleritian | (~euleritia@77.22.252.159) |
2024-11-27 20:24:07 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-11-27 20:27:41 +0100 | tcard__ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
2024-11-27 20:27:57 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
2024-11-27 20:30:30 +0100 | k_hachig_ | (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-156.dsl.bell.ca) k_hachig |
2024-11-27 20:32:15 +0100 | sprotte24 | (~sprotte24@p200300d16f063d0029f19ad0281f854e.dip0.t-ipconnect.de) (Quit: Leaving) |
2024-11-27 20:32:38 +0100 | sprotte24 | (~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 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-11-27 20:44:06 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-11-27 20:44:41 +0100 | housemate | (~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 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2024-11-27 20:47:30 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-11-27 20:49:11 +0100 | k_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 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-11-27 20:53:18 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 245 seconds) |
2024-11-27 20:53:49 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
2024-11-27 20:57:16 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-11-27 21:00:02 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-11-27 21:00:41 +0100 | caconym | (~caconym@user/caconym) caconym |
2024-11-27 21:00:55 +0100 | werneta | (~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 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-11-27 21:04:12 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-11-27 21:07:11 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-11-27 21:07:33 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Client Quit) |
2024-11-27 21:12:56 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-11-27 21:15:08 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-11-27 21:15:12 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2024-11-27 21:15:58 +0100 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
2024-11-27 21:22:16 +0100 | j1n37 | (j1n37@user/j1n37) j1n37 |
2024-11-27 21:30:11 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-11-27 21:30:44 +0100 | briandaed | (~root@user/briandaed) (Remote host closed the connection) |
2024-11-27 21:31:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 21:35:19 +0100 | troojg | (~troojg@user/troojg) troojg |
2024-11-27 21:39:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-11-27 21:39:40 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-11-27 21:41:09 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Ping timeout: 252 seconds) |
2024-11-27 21:42:22 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
2024-11-27 21:46:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 21:46:15 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2024-11-27 21:46:29 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
2024-11-27 21:46:47 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2024-11-27 21:47:37 +0100 | drdo1 | (~drdo@bl9-110-63.dsl.telepac.pt) drdo |
2024-11-27 21:48:18 +0100 | drdo | (~drdo@bl9-110-63.dsl.telepac.pt) (Ping timeout: 245 seconds) |
2024-11-27 21:48:19 +0100 | drdo1 | drdo |
2024-11-27 21:51:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-11-27 21:53:21 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-11-27 21:56:07 +0100 | talisman` | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
2024-11-27 21:56:20 +0100 | talisman` | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 22:02:01 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-11-27 22:06:14 +0100 | Square | (~Square@user/square) Square |
2024-11-27 22:08:07 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-11-27 22:09:28 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
2024-11-27 22:10:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-27 22:13:00 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
2024-11-27 22:15:33 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2024-11-27 22:20:51 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-11-27 22:20:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 22:24:40 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-11-27 22:26:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-11-27 22:29:33 +0100 | troojg | (~troojg@user/troojg) (Ping timeout: 252 seconds) |
2024-11-27 22:36:14 +0100 | merijn | (~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 +0100 | Everything | (~Everythin@46.211.105.44) Everything |
2024-11-27 22:40:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-11-27 22:41:46 +0100 | codaraxis__ | (~codaraxis@user/codaraxis) Codaraxis |
2024-11-27 22:43:17 +0100 | <mauke> | bullied by my dev tools |
2024-11-27 22:43:30 +0100 | takuan | (~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 +0100 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 260 seconds) |
2024-11-27 22:48:01 +0100 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
2024-11-27 22:51:28 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-11-27 22:51:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 22:54:11 +0100 | ubert | (~Thunderbi@91.141.67.185.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
2024-11-27 22:56:02 +0100 | merijn | (~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 +0100 | tromp | (~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 +0100 | merijn | (~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 +0100 | Smiles | (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 +0100 | michalz | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-11-27 23:14:28 +0100 | tromp | (~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 +0100 | JuanDaugherty | (~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 +0100 | merijn | (~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 +0100 | merijn | (~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 +0100 | peterbecich | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 23:38:21 +0100 | sawilagar | (~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 +0100 | notzmv | (~umar@user/notzmv) notzmv |
2024-11-27 23:42:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-11-27 23:44:55 +0100 | L29Ah | (~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 +0100 | Alleria_ | (~Alleria@user/alleria) Alleria |
2024-11-27 23:47:30 +0100 | <hellwolf> | homework? |
2024-11-27 23:49:02 +0100 | infinity0 | (~infinity0@pwned.gg) (Quit: WeeChat 4.3.1) |
2024-11-27 23:49:29 +0100 | Alleria | (~Alleria@user/alleria) (Ping timeout: 255 seconds) |
2024-11-27 23:49:53 +0100 | j1n37 | (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 +0100 | foul_owl | (~kerry@157.97.134.165) (Ping timeout: 252 seconds) |
2024-11-27 23:53:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-27 23:53:59 +0100 | j1n37 | (j1n37@user/j1n37) j1n37 |
2024-11-27 23:56:24 +0100 | <haskellbridge> | <thirdofmay18081814goya> hm will take a look |
2024-11-27 23:57:38 +0100 | merijn | (~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. |