| 2024-12-16 00:00:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-16 00:02:01 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-16 00:04:12 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2024-12-16 00:04:15 +0100 | ljdarj1 | ljdarj |
| 2024-12-16 00:04:28 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) (Quit: cyanteeth) |
| 2024-12-16 00:10:11 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 244 seconds) |
| 2024-12-16 00:13:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 00:15:54 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-12-16 00:16:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-16 00:18:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-16 00:29:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 00:35:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-16 00:41:41 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 248 seconds) |
| 2024-12-16 00:47:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 00:49:54 +0100 | son0p | (~ff@186.119.81.227) (Remote host closed the connection) |
| 2024-12-16 00:52:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-16 00:59:16 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 244 seconds) |
| 2024-12-16 00:59:17 +0100 | qaotsap | (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 2024-12-16 01:04:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 01:08:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-16 01:09:12 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-12-16 01:12:49 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f7859b2d190edf183b0.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-12-16 01:20:31 +0100 | xff0x | (~xff0x@2405:6580:b080:900:b4b:daf:7b8e:aa3a) (Ping timeout: 252 seconds) |
| 2024-12-16 01:21:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 01:25:45 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-12-16 01:27:34 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-12-16 01:27:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-16 01:33:07 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-12-16 01:36:21 +0100 | sprotte24 | (~sprotte24@p200300d16f1ba800a9c9867bbfc8fdf5.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-12-16 01:41:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 01:45:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-16 01:52:15 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-12-16 01:57:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 02:01:47 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 244 seconds) |
| 2024-12-16 02:02:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-16 02:13:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 02:17:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-16 02:18:24 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-12-16 02:23:37 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-12-16 02:31:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 02:34:58 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-16 02:35:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-16 02:48:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 02:53:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-16 03:01:50 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-12-16 03:04:17 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-12-16 03:04:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 03:06:48 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 2024-12-16 03:08:36 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-12-16 03:11:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-16 03:12:41 +0100 | Square | (~Square@user/square) (Ping timeout: 265 seconds) |
| 2024-12-16 03:18:32 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2024-12-16 03:24:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 03:29:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-16 03:38:24 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 244 seconds) |
| 2024-12-16 03:40:14 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2024-12-16 03:42:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 03:46:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-16 03:58:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 04:02:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-16 04:11:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 04:15:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-16 04:23:59 +0100 | fun-safe-math | (~fun-safe-@24.21.106.247) fun-safe-math |
| 2024-12-16 04:24:36 +0100 | housemate | (~housemate@246.224.218.139.sta.wbroadband.net.au) housemate |
| 2024-12-16 04:28:13 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:201:47cf:ca1:a674:8042) billchenchina |
| 2024-12-16 04:28:16 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:201:47cf:ca1:a674:8042) (Remote host closed the connection) |
| 2024-12-16 04:29:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 04:33:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-16 04:34:00 +0100 | housemate | (~housemate@246.224.218.139.sta.wbroadband.net.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously. https://files.catbox.moe/4e9k81.pdf) |
| 2024-12-16 04:37:40 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 2024-12-16 04:39:19 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-16 04:39:45 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-12-16 04:39:57 +0100 | housemate | (~housemate@246.224.218.139.sta.wbroadband.net.au) housemate |
| 2024-12-16 04:42:17 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-16 04:45:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 04:48:20 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-12-16 04:50:34 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-16 04:50:37 +0100 | td_ | (~td@i53870925.versanet.de) (Ping timeout: 252 seconds) |
| 2024-12-16 04:52:20 +0100 | td_ | (~td@i5387091E.versanet.de) td_ |
| 2024-12-16 04:52:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-16 04:56:31 +0100 | fmira | (~user@user/fmira) (Quit: fmira) |
| 2024-12-16 05:04:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 05:08:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-16 05:21:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 05:22:17 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 2024-12-16 05:25:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-16 05:32:47 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-12-16 05:33:16 +0100 | aforemny_ | (~aforemny@2001:9e8:6cd5:9100:5928:27f0:185:b6b7) aforemny |
| 2024-12-16 05:34:34 +0100 | aforemny | (~aforemny@2001:9e8:6cf4:9b00:6c82:23a1:fd0e:a39) (Ping timeout: 272 seconds) |
| 2024-12-16 05:35:39 +0100 | housemate | (~housemate@246.224.218.139.sta.wbroadband.net.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously. https://files.catbox.moe/4e9k81.pdf) |
| 2024-12-16 05:37:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 05:42:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-16 05:46:00 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-12-16 05:53:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 05:58:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-16 06:09:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 06:13:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-16 06:27:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 06:34:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-16 06:45:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 06:49:16 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-16 06:50:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-16 06:50:37 +0100 | michalz | (~michalz@185.246.207.201) |
| 2024-12-16 06:56:41 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-12-16 06:58:03 +0100 | housemate | (~housemate@246.224.218.139.sta.wbroadband.net.au) housemate |
| 2024-12-16 06:58:26 +0100 | <Axman6> | hellwolf: I seem to remember Aeson having some support for json-in-json, let me see if Ic an find it |
| 2024-12-16 06:59:04 +0100 | <Axman6> | https://hackage.haskell.org/package/aeson-2.2.3.0/docs/Data-Aeson-Decoding.html#v:unescapeText might get you close to what you want... |
| 2024-12-16 07:02:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 07:02:38 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-12-16 07:04:46 +0100 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2024-12-16 07:07:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-16 07:09:53 +0100 | Digitteknohippie | Digit |
| 2024-12-16 07:10:03 +0100 | alp | (~alp@2001:861:8ca0:4940:4885:27cf:5cc4:648f) |
| 2024-12-16 07:11:28 +0100 | cyphase | (~cyphase@user/cyphase) (Remote host closed the connection) |
| 2024-12-16 07:14:51 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2024-12-16 07:15:05 +0100 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2024-12-16 07:17:35 +0100 | Digit | (~user@user/digit) Digit |
| 2024-12-16 07:18:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 07:21:46 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-12-16 07:23:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-16 07:23:54 +0100 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2024-12-16 07:26:00 +0100 | Digitteknohippie | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2024-12-16 07:27:49 +0100 | Digit | (~user@user/digit) Digit |
| 2024-12-16 07:31:15 +0100 | housemate | (~housemate@246.224.218.139.sta.wbroadband.net.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously. https://files.catbox.moe/4e9k81.pdf) |
| 2024-12-16 07:34:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 07:35:32 +0100 | Digit | (~user@user/digit) (Ping timeout: 272 seconds) |
| 2024-12-16 07:39:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-16 07:39:47 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-12-16 07:40:08 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-12-16 07:48:53 +0100 | sroso | (~sroso@user/SrOso) SrOso |
| 2024-12-16 07:50:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 07:55:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-16 08:04:46 +0100 | CiaoSen | (~Jura@2a05:5800:2e8:cd00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-12-16 08:04:51 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 2024-12-16 08:06:54 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-12-16 08:10:37 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f963c166856aff88625.dip0.t-ipconnect.de) acidjnk |
| 2024-12-16 08:14:35 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-12-16 08:14:42 +0100 | Digit | (~user@user/digit) Digit |
| 2024-12-16 08:15:28 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-12-16 08:29:10 +0100 | OftenFaded | (OftenFaded@user/tisktisk) (Ping timeout: 240 seconds) |
| 2024-12-16 08:42:15 +0100 | briandaed | (~root@user/briandaed) briandaed |
| 2024-12-16 08:44:55 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-12-16 08:54:16 +0100 | housemate | (~housemate@2001:8004:51c0:10a3:f911:183a:1420:68f6) housemate |
| 2024-12-16 09:00:05 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-12-16 09:00:43 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-12-16 09:04:45 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-12-16 09:04:47 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-16 09:09:37 +0100 | myme | (~myme@40.51-175-185.customer.lyse.net) (Ping timeout: 252 seconds) |
| 2024-12-16 09:09:41 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-12-16 09:11:30 +0100 | Digit | (~user@user/digit) (Ping timeout: 276 seconds) |
| 2024-12-16 09:11:51 +0100 | califax | (~califax@user/califx) califx |
| 2024-12-16 09:16:49 +0100 | <haskellbridge> | <hellwolf> ah, though it is |
| 2024-12-16 09:16:49 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/CuiKjchKdsWeFkCpJglxNsna/LBtYyTunxY4 (6 lines) |
| 2024-12-16 09:18:46 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-12-16 09:19:08 +0100 | <jackdk> | doesn't parseJSON, the function from class FromJSON, accept a Value? |
| 2024-12-16 09:29:42 +0100 | CiaoSen | (~Jura@2a05:5800:2e8:cd00:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
| 2024-12-16 09:34:21 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-16 09:41:14 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-12-16 09:43:00 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-16 09:47:03 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 2024-12-16 09:47:21 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-12-16 09:55:28 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-12-16 09:56:12 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-12-16 09:57:43 +0100 | califax | (~califax@user/califx) califx |
| 2024-12-16 09:58:32 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-12-16 09:59:51 +0100 | califax | (~califax@user/califx) califx |
| 2024-12-16 10:04:30 +0100 | CiaoSen | (~Jura@2a05:5800:2e8:cd00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-12-16 10:04:39 +0100 | leah2 | (~leah@vuxu.org) (Ping timeout: 260 seconds) |
| 2024-12-16 10:09:53 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-12-16 10:16:22 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2024-12-16 10:23:10 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-12-16 10:25:44 +0100 | ywgrit | (~ywgrit@156.251.183.148) |
| 2024-12-16 10:30:40 +0100 | kuribas | (~user@ptr-17d51em7zy1bip59cqa.18120a2.ip6.access.telenet.be) kuribas |
| 2024-12-16 10:35:27 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-16 10:39:06 +0100 | mari51523 | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-16 10:40:24 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 245 seconds) |
| 2024-12-16 10:41:41 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2024-12-16 10:42:30 +0100 | mari51523 | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2024-12-16 10:43:57 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-16 10:47:11 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-16 10:48:07 +0100 | mari24314 | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-16 10:48:16 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 244 seconds) |
| 2024-12-16 10:53:16 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-12-16 10:57:34 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2024-12-16 11:01:10 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-12-16 11:06:51 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-12-16 11:09:44 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-12-16 11:10:08 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2024-12-16 11:10:08 +0100 | jmcantrell_ | jmcantrell |
| 2024-12-16 11:15:18 +0100 | briandaed | (~root@user/briandaed) (Ping timeout: 272 seconds) |
| 2024-12-16 11:18:45 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-16 11:18:56 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2024-12-16 11:19:45 +0100 | housemate | (~housemate@2001:8004:51c0:10a3:f911:183a:1420:68f6) (Read error: Connection reset by peer) |
| 2024-12-16 11:20:51 +0100 | leah2 | (~leah@vuxu.org) leah2 |
| 2024-12-16 11:21:09 +0100 | mari24314 | (~mari-este@user/mari-estel) (Ping timeout: 248 seconds) |
| 2024-12-16 11:23:40 +0100 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) |
| 2024-12-16 11:34:50 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-12-16 11:37:01 +0100 | CiaoSen | (~Jura@2a05:5800:2e8:cd00:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2024-12-16 11:38:17 +0100 | <hellwolf> | you are right, I should try "parseMaybe parseJSON" |
| 2024-12-16 11:38:25 +0100 | <hellwolf> | I am just not very proficient in Aeson. |
| 2024-12-16 11:39:25 +0100 | mari59436 | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-16 11:39:56 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-12-16 11:40:27 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-12-16 11:41:29 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 244 seconds) |
| 2024-12-16 11:41:59 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2024-12-16 11:48:44 +0100 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-12-16 11:50:09 +0100 | kimiamania | (~65804703@user/kimiamania) kimiamania |
| 2024-12-16 12:05:23 +0100 | zenmov | (~zenmov@user/zenmov) (Quit: Lost terminal) |
| 2024-12-16 12:07:22 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2024-12-16 12:08:06 +0100 | kuribas | (~user@ptr-17d51em7zy1bip59cqa.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2024-12-16 12:12:35 +0100 | Digit | (~user@user/digit) Digit |
| 2024-12-16 12:17:54 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2024-12-16 12:23:00 +0100 | xff0x | (~xff0x@2405:6580:b080:900:b5b8:77a6:6aa6:d757) |
| 2024-12-16 12:29:04 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-16 12:30:29 +0100 | mari59436 | (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
| 2024-12-16 12:30:45 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-12-16 12:31:05 +0100 | <jackdk> | Yeah, it seems like `parse`/`parseEither`/`parseMaybe` will get you a useful output type, depending on how you want to consume your errors |
| 2024-12-16 12:31:49 +0100 | <jackdk> | hellwolf: but also https://hackage.haskell.org/package/aeson-2.2.3.0/docs/Data-Aeson-Types.html#v:fromJSON if the type you're deserialising into has a `FromJSON` instance. `Result` is a type you can pattern-match on |
| 2024-12-16 12:33:39 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-12-16 12:35:16 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2024-12-16 12:36:44 +0100 | mari64808 | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-16 12:39:14 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
| 2024-12-16 12:39:23 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-16 12:41:10 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-12-16 12:42:09 +0100 | mari64808 | (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
| 2024-12-16 12:47:29 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2024-12-16 12:49:17 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-16 12:55:43 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-12-16 12:57:27 +0100 | dostoevsky | (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
| 2024-12-16 13:00:37 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-12-16 13:00:45 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2024-12-16 13:01:28 +0100 | CiaoSen | (~Jura@2a05:5800:2e8:cd00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-12-16 13:05:16 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-16 13:08:21 +0100 | zzz | (~z@user/zero) (Quit: quit) |
| 2024-12-16 13:09:19 +0100 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2024-12-16 13:13:09 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-12-16 13:15:22 +0100 | mari-estel | (~mari-este@user/mari-estel) () |
| 2024-12-16 13:16:42 +0100 | zero | (~z@user/zero) zero |
| 2024-12-16 13:17:44 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-12-16 13:19:07 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-12-16 13:24:17 +0100 | housemate | (~housemate@246.224.218.139.sta.wbroadband.net.au) housemate |
| 2024-12-16 13:27:07 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-12-16 13:29:24 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-12-16 13:30:55 +0100 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-12-16 13:31:01 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-16 13:38:28 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2024-12-16 13:46:13 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-12-16 13:50:22 +0100 | homo | (~homo@user/homo) (Ping timeout: 252 seconds) |
| 2024-12-16 13:51:22 +0100 | homo | (~homo@84-253-192-194.bb.dnainternet.fi) |
| 2024-12-16 13:51:52 +0100 | homo | (~homo@84-253-192-194.bb.dnainternet.fi) (Changing host) |
| 2024-12-16 13:51:52 +0100 | homo | (~homo@user/homo) homo |
| 2024-12-16 13:57:08 +0100 | Square3 | (~Square4@user/square) Square |
| 2024-12-16 13:59:49 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-16 14:22:46 +0100 | ywgrit | (~ywgrit@156.251.183.148) (Quit: Client closed) |
| 2024-12-16 14:27:40 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2024-12-16 14:37:10 +0100 | AlexNoo_ | (~AlexNoo@5.139.233.0) |
| 2024-12-16 14:37:12 +0100 | AlexZenon | (~alzenon@5.139.233.0) (Ping timeout: 246 seconds) |
| 2024-12-16 14:37:39 +0100 | AlexNoo | (~AlexNoo@5.139.233.0) (Ping timeout: 260 seconds) |
| 2024-12-16 14:41:52 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-12-16 14:43:44 +0100 | AlexZenon | (~alzenon@5.139.233.0) |
| 2024-12-16 14:50:49 +0100 | housemate | (~housemate@246.224.218.139.sta.wbroadband.net.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously. https://files.catbox.moe/4e9k81.pdf) |
| 2024-12-16 14:56:18 +0100 | housemate | (~housemate@246.224.218.139.sta.wbroadband.net.au) housemate |
| 2024-12-16 14:56:18 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2024-12-16 14:56:45 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-16 14:56:49 +0100 | housemate | (~housemate@246.224.218.139.sta.wbroadband.net.au) (Remote host closed the connection) |
| 2024-12-16 14:58:11 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-16 15:00:53 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-16 15:03:19 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2024-12-16 15:21:39 +0100 | CiaoSen | (~Jura@2a05:5800:2e8:cd00:ca4b:d6ff:fec1:99da) (Ping timeout: 245 seconds) |
| 2024-12-16 15:26:33 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2024-12-16 15:31:19 +0100 | Square3 | Square |
| 2024-12-16 15:32:02 +0100 | sprotte24 | (~sprotte24@p200300d16f23d000c5cbca0a81fcdc83.dip0.t-ipconnect.de) |
| 2024-12-16 15:32:57 +0100 | zenmov | (~zenmov@user/zenmov) (Ping timeout: 244 seconds) |
| 2024-12-16 15:34:54 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2024-12-16 15:40:42 +0100 | billchenchina | (~billchenc@2408:824e:d26:18f1:98a0:1e45:78d8:dfaa) billchenchina |
| 2024-12-16 15:46:05 +0100 | billchenchina | (~billchenc@2408:824e:d26:18f1:98a0:1e45:78d8:dfaa) (Ping timeout: 260 seconds) |
| 2024-12-16 15:47:50 +0100 | housemate | (~housemate@246.224.218.139.sta.wbroadband.net.au) housemate |
| 2024-12-16 15:49:37 +0100 | billchenchina | (~billchenc@103.118.42.229) billchenchina |
| 2024-12-16 15:50:49 +0100 | billchenchina | (~billchenc@103.118.42.229) (Max SendQ exceeded) |
| 2024-12-16 15:58:38 +0100 | billchenchina | (~billchenc@103.118.42.229) billchenchina |
| 2024-12-16 15:59:47 +0100 | billchenchina | (~billchenc@103.118.42.229) (Max SendQ exceeded) |
| 2024-12-16 16:01:37 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-16 16:03:24 +0100 | alecs | (~alecs@nat16.software.imdea.org) (Quit: alecs) |
| 2024-12-16 16:03:39 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2024-12-16 16:07:36 +0100 | billchenchina | (~billchenc@103.118.42.229) billchenchina |
| 2024-12-16 16:12:54 +0100 | mari91060 | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-16 16:14:45 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 2024-12-16 16:17:19 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-16 16:18:10 +0100 | mari91060 | (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
| 2024-12-16 16:24:25 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-16 16:25:34 +0100 | sprotte24 | (~sprotte24@p200300d16f23d000c5cbca0a81fcdc83.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-12-16 16:29:57 +0100 | mari71161 | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-16 16:32:10 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
| 2024-12-16 16:34:13 +0100 | dostoevsky | (~dostoevsk@user/dostoevsky) dostoevsky |
| 2024-12-16 16:34:17 +0100 | dostoevsky_ | (~dostoevsk@user/dostoevsky) dostoevsky |
| 2024-12-16 16:34:24 +0100 | dostoevsky_ | (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
| 2024-12-16 16:34:24 +0100 | dostoevsky | (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
| 2024-12-16 16:34:29 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-12-16 16:34:32 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2024-12-16 16:34:36 +0100 | dostoevsky | (~dostoevsk@user/dostoevsky) dostoevsky |
| 2024-12-16 16:37:34 +0100 | mari71161 | (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 2024-12-16 16:48:58 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2024-12-16 16:53:00 +0100 | anpad | (~pandeyan@user/anpad) (Client Quit) |
| 2024-12-16 16:57:23 +0100 | housemate | (~housemate@246.224.218.139.sta.wbroadband.net.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2024-12-16 16:57:47 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2024-12-16 16:59:04 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-16 17:00:54 +0100 | fmira | (~user@user/fmira) fmira |
| 2024-12-16 17:02:58 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-12-16 17:05:17 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-16 17:08:21 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2024-12-16 17:15:18 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-16 17:15:56 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2024-12-16 17:16:19 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 272 seconds) |
| 2024-12-16 17:21:14 +0100 | Square2 | (~Square@user/square) Square |
| 2024-12-16 17:22:29 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius |
| 2024-12-16 17:24:53 +0100 | Square | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2024-12-16 17:32:34 +0100 | dpratt | (~dpratt@71.168.111.215) dpratt |
| 2024-12-16 17:34:09 +0100 | mari-estel | (~mari-este@user/mari-estel) () |
| 2024-12-16 17:39:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-16 17:41:44 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-12-16 17:42:38 +0100 | dpratt | (~dpratt@71.168.111.215) (Quit: Client closed) |
| 2024-12-16 17:44:29 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-12-16 17:45:30 +0100 | Digit | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2024-12-16 17:47:24 +0100 | billchenchina- | (~billchenc@2408:824e:d26:18f1:98a0:1e45:78d8:dfaa) billchenchina |
| 2024-12-16 17:47:56 +0100 | Digitteknohippie | Digit |
| 2024-12-16 17:48:41 +0100 | alp | (~alp@2001:861:8ca0:4940:4885:27cf:5cc4:648f) (Ping timeout: 252 seconds) |
| 2024-12-16 17:49:48 +0100 | billchenchina | (~billchenc@103.118.42.229) (Ping timeout: 252 seconds) |
| 2024-12-16 17:55:58 +0100 | billchenchina- | (~billchenc@2408:824e:d26:18f1:98a0:1e45:78d8:dfaa) (Ping timeout: 252 seconds) |
| 2024-12-16 17:57:11 +0100 | AlexNoo_ | AlexNoo |
| 2024-12-16 18:00:05 +0100 | billchenchina- | (~billchenc@103.118.42.229) billchenchina |
| 2024-12-16 18:00:12 +0100 | qaotsap | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 244 seconds) |
| 2024-12-16 18:01:18 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 2024-12-16 18:07:26 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2024-12-16 18:14:07 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-12-16 18:17:46 +0100 | ftzm | (~ftzm@085081049156.dynamic.telenor.dk) (Ping timeout: 244 seconds) |
| 2024-12-16 18:19:04 +0100 | nobby | (~nobby@2a01:e0a:5ac:f330:989c:c442:6df:e183) |
| 2024-12-16 18:21:06 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-16 18:27:34 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2024-12-16 18:28:48 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-16 18:36:58 +0100 | <briandaed> | where are the docs abowt how to produce bindists for desired platform/arch (hadrian) and how to turn them into ready to install package? |
| 2024-12-16 18:37:10 +0100 | <briandaed> | s/abowt/about |
| 2024-12-16 18:38:34 +0100 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2024-12-16 18:38:49 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2024-12-16 18:45:02 +0100 | sam113102 | (~sam@modemcable220.199-203-24.mc.videotron.ca) sam113101 |
| 2024-12-16 18:45:37 +0100 | nek03 | (~nek0@user/nek0) nek0 |
| 2024-12-16 18:45:37 +0100 | migas9778 | (~migas@static.140.65.63.178.clients.your-server.de) |
| 2024-12-16 18:45:38 +0100 | drdo6 | (~drdo@bl9-110-63.dsl.telepac.pt) drdo |
| 2024-12-16 18:45:40 +0100 | cayley53 | (~cayley5@user/phileasfogg) phileasfogg |
| 2024-12-16 18:45:55 +0100 | tritlo_ | (sid58727@id-58727.hampstead.irccloud.com) |
| 2024-12-16 18:46:06 +0100 | _d0t_ | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2024-12-16 18:46:07 +0100 | sefidel_ | (~sefidel@user/sefidel) sefidel |
| 2024-12-16 18:46:18 +0100 | terrorjack40 | (~terrorjac@2a01:4f8:c17:dc9f::) terrorjack |
| 2024-12-16 18:46:32 +0100 | snek_ | (sid280155@id-280155.lymington.irccloud.com) snek |
| 2024-12-16 18:46:34 +0100 | Guest22 | (~Guest22@2401:4900:9012:60db:5052:1b33:bdcf:b383) |
| 2024-12-16 18:46:35 +0100 | wryishly | (~wryish@2605:4c40:119:efa3:0:727d:19eb:1) |
| 2024-12-16 18:46:37 +0100 | firesquidwao | (~a@put.gay) |
| 2024-12-16 18:46:38 +0100 | michalz_ | (~michalz@185.246.207.200) |
| 2024-12-16 18:46:40 +0100 | Pent_ | (sid313808@id-313808.lymington.irccloud.com) Pent____ |
| 2024-12-16 18:46:40 +0100 | YoungFrawg | (~youngfrog@2a02:a03f:c9db:fc00:540c:c3f1:d127:c67e) youngfrog |
| 2024-12-16 18:46:40 +0100 | zlqrvx_ | (~zlqrvx@2001:8003:8c8b:e00:3df5:7de2:8bca:3b13) |
| 2024-12-16 18:46:41 +0100 | yuuta | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW |
| 2024-12-16 18:46:56 +0100 | dobblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
| 2024-12-16 18:46:56 +0100 | dobblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 2024-12-16 18:46:56 +0100 | dobblego | (~dibblego@haskell/developer/dibblego) dibblego |
| 2024-12-16 18:47:04 +0100 | Yumemi_ | (~Yumemi@chamoin.net) Yumemi |
| 2024-12-16 18:47:36 +0100 | <Guest22> | Any documentation for uninstalling cabal packages properly ? |
| 2024-12-16 18:48:06 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2024-12-16 18:48:07 +0100 | carbolymer_ | (~carbolyme@dropacid.net) carbolymer |
| 2024-12-16 18:48:51 +0100 | _koolazer | (~koo@user/koolazer) koolazer |
| 2024-12-16 18:48:58 +0100 | haveo_ | (~weechat@pacamara.iuwt.fr) haveo |
| 2024-12-16 18:49:11 +0100 | inedia_ | (~irc@2600:3c00:e000:287::1) |
| 2024-12-16 18:49:15 +0100 | xdej_ | (~xdej@quatramaran.salle-s.org) |
| 2024-12-16 18:49:23 +0100 | df_ | (~ben@justworks.xyz) |
| 2024-12-16 18:53:47 +0100 | <tomsmeding> | Guest22: you can remove the executable symlink from ~/.cabal/bin safely, but you can't really free up the disk space easily |
| 2024-12-16 18:53:59 +0100 | michalz | (~michalz@185.246.207.201) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | Pent | (sid313808@id-313808.lymington.irccloud.com) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | Flow | (~none@gentoo/developer/flow) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | drdo | (~drdo@bl9-110-63.dsl.telepac.pt) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | typedfern_ | (~Typedfern@83.37.42.247) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | dolio | (~dolio@130.44.140.168) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | koolazer | (~koo@user/koolazer) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | tuxpaint | (~a@put.gay) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | Yumemi | (~Yumemi@chamoin.net) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | nek0 | (~nek0@user/nek0) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | ent | (entgod@kapsi.fi) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | inedia | (~irc@2600:3c00:e000:287::1) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | sefidel | (~sefidel@user/sefidel) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | xdej | (~xdej@quatramaran.salle-s.org) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | carbolymer | (~carbolyme@dropacid.net) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | tritlo | (sid58727@id-58727.hampstead.irccloud.com) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | snek | (sid280155@id-280155.lymington.irccloud.com) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | wryish | (~wryish@216.246.119.62) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | migas977 | (~migas@static.140.65.63.178.clients.your-server.de) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | haveo | (~weechat@pacamara.iuwt.fr) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | cayley5 | (~cayley5@user/phileasfogg) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | df | (~ben@justworks.xyz) (*.net *.split) |
| 2024-12-16 18:53:59 +0100 | nek03 | nek0 |
| 2024-12-16 18:53:59 +0100 | cayley53 | cayley5 |
| 2024-12-16 18:54:02 +0100 | Pent_ | Pent |
| 2024-12-16 18:54:02 +0100 | terrorjack40 | terrorjack4 |
| 2024-12-16 18:54:02 +0100 | dobblego | dibblego |
| 2024-12-16 18:54:02 +0100 | sefidel_ | sefidel |
| 2024-12-16 18:54:02 +0100 | YoungFrawg | YoungFrog |
| 2024-12-16 18:54:03 +0100 | migas9778 | migas977 |
| 2024-12-16 18:54:03 +0100 | _d0t_ | _d0t |
| 2024-12-16 18:54:03 +0100 | drdo6 | drdo |
| 2024-12-16 18:54:52 +0100 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) yahb2 |
| 2024-12-16 18:54:52 +0100 | ChanServ | +v yahb2 |
| 2024-12-16 18:55:23 +0100 | <Guest22> | tomsmeding: Anywhere written how to do that manually ? |
| 2024-12-16 18:55:56 +0100 | <tomsmeding> | freeing up disk space? |
| 2024-12-16 18:56:18 +0100 | <tomsmeding> | no one really tries because it's easy to corrupt the cabal store |
| 2024-12-16 18:56:44 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-16 18:56:46 +0100 | <c_wraith> | I usually delete everything in ~/.cabal except for config |
| 2024-12-16 18:56:51 +0100 | <tomsmeding> | but ~/.cabal/store/ghc-* can be deleted safely |
| 2024-12-16 18:57:06 +0100 | <tomsmeding> | (with the caveat that, of course, symlinks to built executables in ~/.cabal/bin will break) |
| 2024-12-16 18:57:22 +0100 | <geekosaur> | you can remove the whole store or the store for specific ghc versions, otherwise you want something like |
| 2024-12-16 18:57:25 +0100 | <geekosaur> | @where cabalgc |
| 2024-12-16 18:57:33 +0100 | <tomsmeding> | clearing _everything_ for a certain GHC version is easy and safe, but clearing selectively is very difficult |
| 2024-12-16 18:57:39 +0100 | <lambdabot> | https://github.com/treblacy/cabalgc |
| 2024-12-16 18:58:10 +0100 | <tomsmeding> | oh I looked for that but couldn't find it, Guest22 ^ |
| 2024-12-16 18:58:24 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2024-12-16 18:58:46 +0100 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2024-12-16 18:59:13 +0100 | ent- | (entgod@kapsi.fi) ent |
| 2024-12-16 18:59:28 +0100 | <geekosaur> | and yes, beware of installed binaries |
| 2024-12-16 19:00:46 +0100 | <Guest22> | Even if I delete ~/.cabal/store/ghc-*, there are files in ~/.cabal/packages |
| 2024-12-16 19:00:51 +0100 | Flow | (~none@gentoo/developer/flow) flow |
| 2024-12-16 19:01:02 +0100 | typedfern_ | (~Typedfern@247.red-83-37-42.dynamicip.rima-tde.net) typedfern |
| 2024-12-16 19:01:06 +0100 | <tomsmeding> | that is what `cabal update` puts there |
| 2024-12-16 19:01:16 +0100 | <tomsmeding> | you can remove ~/.cabal/packages, but a single `cabal update` will put it all back |
| 2024-12-16 19:01:38 +0100 | <tomsmeding> | hm, perhaps not _all_ |
| 2024-12-16 19:01:40 +0100 | <Guest22> | oh ok |
| 2024-12-16 19:01:49 +0100 | <tomsmeding> | certainly the largest ones |
| 2024-12-16 19:02:08 +0100 | <Guest22> | https://www.reddit.com/r/haskell/comments/lrc39/why_is_there_no_cabal_uninstall_option/ is 13 years old. |
| 2024-12-16 19:02:15 +0100 | <Guest22> | Why there is still no uninstall option ? |
| 2024-12-16 19:02:23 +0100 | <geekosaur> | it'll put back the index, but downloaded package files can be removed |
| 2024-12-16 19:02:33 +0100 | <geekosaur> | because it's hard to do right |
| 2024-12-16 19:02:33 +0100 | <tomsmeding> | because people are generally content with just nuking it out once in a while, and rebuilding what needs to be rebuilt |
| 2024-12-16 19:02:42 +0100 | <tomsmeding> | see also the cabalgc link by geekosaur |
| 2024-12-16 19:03:13 +0100 | <tomsmeding> | the difficulty is that cabal doesn't know what projects you have elsewhere on your disk, and maybe those depend on stuff you've built in the store |
| 2024-12-16 19:03:32 +0100 | <geekosaur> | also packages in the store have links to each other |
| 2024-12-16 19:03:51 +0100 | <tomsmeding> | that problem is solved by cabalgc, isn't it? |
| 2024-12-16 19:04:01 +0100 | <geekosaur> | so removing something that turns out to be a transitive dependency to a library you do use will break that library and require you to reinstall it |
| 2024-12-16 19:04:05 +0100 | <geekosaur> | yes |
| 2024-12-16 19:04:13 +0100 | <tomsmeding> | that's the easy part, every package manager does that |
| 2024-12-16 19:04:23 +0100 | <geekosaur> | I'm talking about why you can;t just uninstall random packages |
| 2024-12-16 19:04:30 +0100 | <tomsmeding> | the hard part is that _unlike_ a normal package manager, not every user of these packages is known to the package manager |
| 2024-12-16 19:04:56 +0100 | <geekosaur> | unfortunately there's no record of those dependencies, they're buried in the binary artifacts |
| 2024-12-16 19:05:13 +0100 | <tomsmeding> | how does cabalgc do that then? |
| 2024-12-16 19:05:29 +0100 | <geekosaur> | I'm considering taking ownership of a semi-automatic gc mechanism that was submitted and abandoned |
| 2024-12-16 19:05:49 +0100 | <geekosaur> | computing dependencies as if it were going to build it, I think |
| 2024-12-16 19:06:14 +0100 | <geekosaur> | which makes it slow compared to a packager manager that can consult a database of dependencies |
| 2024-12-16 19:06:26 +0100 | <tomsmeding> | seems it's using `ghc-pkg dump` |
| 2024-12-16 19:06:40 +0100 | <tomsmeding> | https://github.com/treblacy/cabalgc/blob/main/src-exe/GetDeps.hs#L27 |
| 2024-12-16 19:06:52 +0100 | <geekosaur> | oh, hm, right, it does keep a package db |
| 2024-12-16 19:06:59 +0100 | <geekosaur> | ghc-style |
| 2024-12-16 19:07:26 +0100 | <geekosaur> | not sure how much that contains since it's intended for consumption by ghc, not cabal or other tools |
| 2024-12-16 19:09:47 +0100 | <Guest22> | ok thank you |
| 2024-12-16 19:12:48 +0100 | drdo1 | (~drdo@bl9-110-63.dsl.telepac.pt) drdo |
| 2024-12-16 19:13:19 +0100 | drdo | (~drdo@bl9-110-63.dsl.telepac.pt) (Ping timeout: 245 seconds) |
| 2024-12-16 19:13:19 +0100 | drdo1 | drdo |
| 2024-12-16 19:13:42 +0100 | Guest22 | (~Guest22@2401:4900:9012:60db:5052:1b33:bdcf:b383) (Quit: Client closed) |
| 2024-12-16 19:15:45 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-12-16 19:16:49 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-12-16 19:18:43 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2024-12-16 19:24:08 +0100 | alp | (~alp@2001:861:8ca0:4940:b325:ba7a:69b3:494a) |
| 2024-12-16 19:29:36 +0100 | ephilalethes | (~noumenon@202.186.203.84) noumenon |
| 2024-12-16 19:33:17 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-16 19:33:34 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-16 19:36:38 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) (Remote host closed the connection) |
| 2024-12-16 19:39:43 +0100 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2024-12-16 19:40:23 +0100 | fmira | (~user@user/fmira) fmira |
| 2024-12-16 19:47:44 +0100 | housemate | (~housemate@246.224.218.139.sta.wbroadband.net.au) housemate |
| 2024-12-16 19:47:44 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Read error: Connection reset by peer) |
| 2024-12-16 19:48:07 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-16 19:52:06 +0100 | housemate | (~housemate@246.224.218.139.sta.wbroadband.net.au) (Read error: Connection reset by peer) |
| 2024-12-16 19:52:09 +0100 | housemate_ | (~housemate@246.224.218.139.sta.wbroadband.net.au) housemate |
| 2024-12-16 19:53:17 +0100 | housemate_ | (~housemate@246.224.218.139.sta.wbroadband.net.au) (Max SendQ exceeded) |
| 2024-12-16 19:54:45 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2024-12-16 19:56:55 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-12-16 19:57:56 +0100 | nobby | (~nobby@2a01:e0a:5ac:f330:989c:c442:6df:e183) (Quit: Leaving) |
| 2024-12-16 20:01:47 +0100 | <monochrom> | Oh wow GHC 9.12.1 already. |
| 2024-12-16 20:03:09 +0100 | <monochrom> | Finally we can answer positively about "can I write `f (Ctor1 | Ctor2) = True` please please please?" :) |
| 2024-12-16 20:04:00 +0100 | <monochrom> | ("Yes you can use GHC 9.12 which is bleeding edge and is expected to be buggy for the next half year" >:) ) |
| 2024-12-16 20:05:42 +0100 | <briandaed> | master is bleeding edge, 9.12.1 is at least several hours old so should be depreciated soon (in js frameworks terms) |
| 2024-12-16 20:05:53 +0100 | <monochrom> | haha |
| 2024-12-16 20:12:03 +0100 | <[exa]> | monochrom: somehow I still parse that as a guard, yet a weird one on a single pattern only |
| 2024-12-16 20:13:28 +0100 | <monochrom> | I don't actually know the syntax. :) |
| 2024-12-16 20:14:42 +0100 | <mauke> | f x@Ctor1 | Ctor2 <- x = |
| 2024-12-16 20:14:48 +0100 | housemate | (~housemate@246.224.218.139.sta.wbroadband.net.au) housemate |
| 2024-12-16 20:14:53 +0100 | <monochrom> | Oh, it's semicolon. f (Ctor1 ; Ctor2) = True. Understandably, | is already taken for guards. |
| 2024-12-16 20:17:36 +0100 | <mauke> | s/.*// |
| 2024-12-16 20:18:45 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 248 seconds) |
| 2024-12-16 20:18:53 +0100 | housemate | (~housemate@246.224.218.139.sta.wbroadband.net.au) (Remote host closed the connection) |
| 2024-12-16 20:19:10 +0100 | housemate | (~housemate@246.224.218.139.sta.wbroadband.net.au) housemate |
| 2024-12-16 20:22:11 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-12-16 20:22:24 +0100 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2024-12-16 20:22:53 +0100 | fmira | (~user@user/fmira) fmira |
| 2024-12-16 20:25:47 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-16 20:28:46 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-12-16 20:30:24 +0100 | hellwolf | (~user@6af3-8a03-f6ad-0507-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 245 seconds) |
| 2024-12-16 20:32:44 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-12-16 20:34:26 +0100 | mzg | (~mzg@abusers.hu) (Ping timeout: 252 seconds) |
| 2024-12-16 20:36:13 +0100 | hellwolf | (~user@384c-9f11-ae01-0420-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2024-12-16 20:38:25 +0100 | myme | (~myme@40.51-175-185.customer.lyse.net) myme |
| 2024-12-16 20:43:18 +0100 | <[exa]> | ah wow my zero-knowledge parse was correct |
| 2024-12-16 20:43:46 +0100 | <[exa]> | monochrom: cool though, didn't even think about this as a possibility :D |
| 2024-12-16 20:45:55 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-12-16 20:46:57 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-12-16 20:47:22 +0100 | mzg | (mzg@abusers.hu) |
| 2024-12-16 20:49:42 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-12-16 20:51:00 +0100 | <c_wraith> | Huh. I tried an experiment with today's AoC problem, stuffing all 40k or so entries into the queue at the start and just removing from and updating it, never inserting new entries. And it was *slow*. |
| 2024-12-16 20:51:46 +0100 | <c_wraith> | Is there a better-performing priority search queue package than psqueues? |
| 2024-12-16 20:52:39 +0100 | <c_wraith> | Or did I hit a pessimal case by inserting tens of thousands of keys at the same priority? |
| 2024-12-16 20:52:47 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-16 20:52:51 +0100 | <geekosaur> | I've used pqueue for a couple of things, but didn't benchmark it |
| 2024-12-16 20:52:53 +0100 | <monochrom> | Relatedly, the way I memorize that pattern guard is "pat <- expr", not "pat -> expr" or "expr -> pat", by recalling that "->" is already taken by case-of. I.e., "case foo of Just x | [] <- f x -> show x" is less bad than "case foo of Just x | f x -> [] -> show x". |
| 2024-12-16 20:53:11 +0100 | <geekosaur> | ^ |
| 2024-12-16 20:55:24 +0100 | <monochrom> | In the OS course at my school, they need a priority queue, but since priorities are only [0..63], they just code up an array of 64 queues and be done with it. >:) |
| 2024-12-16 20:55:44 +0100 | <monochrom> | (This is even the official starter code for their assignments and projects.) |
| 2024-12-16 20:56:57 +0100 | firesquidwao | tuxpaint |
| 2024-12-16 20:58:00 +0100 | billchenchina- | (~billchenc@103.118.42.229) (Remote host closed the connection) |
| 2024-12-16 21:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-12-16 21:00:38 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-12-16 21:01:22 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-12-16 21:02:25 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2024-12-16 21:06:47 +0100 | <tomsmeding> | monochrom: I don't like it much though, because it only works for zero-field constructors |
| 2024-12-16 21:07:02 +0100 | <tomsmeding> | or, well, more accurately: for patterns that bind zero variables |
| 2024-12-16 21:07:47 +0100 | <tomsmeding> | (the OrPatterns thing, that is) |
| 2024-12-16 21:08:16 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 244 seconds) |
| 2024-12-16 21:15:26 +0100 | vgtw_ | (~vgtw@user/vgtw) vgtw |
| 2024-12-16 21:15:37 +0100 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 252 seconds) |
| 2024-12-16 21:21:49 +0100 | sprotte24 | (~sprotte24@p200300d16f23d00014aa71923fddd774.dip0.t-ipconnect.de) |
| 2024-12-16 21:21:59 +0100 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2024-12-16 21:23:03 +0100 | <c_wraith> | well, turns out that tens of thousands of keys at the same priority isn't a pessimal case. It's just... really slow. |
| 2024-12-16 21:23:43 +0100 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2024-12-16 21:24:14 +0100 | fmira | (~user@user/fmira) fmira |
| 2024-12-16 21:24:48 +0100 | <briandaed> | any profiling hints about slowness source? |
| 2024-12-16 21:25:48 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2024-12-16 21:28:47 +0100 | <EvanR> | Data.Map is a servicable priority queue? |
| 2024-12-16 21:31:46 +0100 | <c_wraith> | Oh, I see. It's Data.OrdPSQ that's super slow. I see comments saying Data.OrdPSQ was just an afterthought in their library. I had to change my key type to make it Hashable, then Data.HashPSQ performs the way I'd expect |
| 2024-12-16 21:34:01 +0100 | <hellwolf> | 12-16 13:31 <jackdk> hellwolf: but also https://hackage.haskell.org/package/aeson-2.2.3.0/docs/Data-Aeson-Types.html#v:fromJSON if the type you're deserialising into has a `FromJSON` instance. `Result` is a type you can pattern-match on |
| 2024-12-16 21:34:01 +0100 | <hellwolf> | foldr ((<>) . fromJust . AesonTypes.parseMaybe AesonTypes.parseJSON . fromMaybe (fromString "(empty error message)")) |
| 2024-12-16 21:34:17 +0100 | <hellwolf> | a late update to this, but it should be fin enow. |
| 2024-12-16 21:43:08 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) Natch |
| 2024-12-16 21:49:14 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-12-16 21:55:28 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-16 21:58:35 +0100 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2024-12-16 21:59:39 +0100 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2024-12-16 21:59:41 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) (Remote host closed the connection) |
| 2024-12-16 22:03:23 +0100 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) (Remote host closed the connection) |
| 2024-12-16 22:08:06 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) |
| 2024-12-16 22:08:43 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-12-16 22:21:51 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2024-12-16 22:27:19 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-12-16 22:37:18 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-16 22:40:14 +0100 | OftenFaded | (~OftenFade@user/tisktisk) () |
| 2024-12-16 22:42:03 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 276 seconds) |
| 2024-12-16 22:49:36 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 265 seconds) |
| 2024-12-16 22:50:34 +0100 | michalz_ | (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2024-12-16 23:04:25 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-16 23:06:21 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-12-16 23:11:15 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-12-16 23:12:37 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-16 23:15:45 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-12-16 23:16:24 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2024-12-16 23:16:55 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 244 seconds) |
| 2024-12-16 23:20:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 23:21:03 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2024-12-16 23:24:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-16 23:27:36 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2024-12-16 23:30:04 +0100 | juri_ | (~juri@implicitcad.org) (Ping timeout: 252 seconds) |
| 2024-12-16 23:30:07 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 2024-12-16 23:31:30 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-16 23:31:54 +0100 | juri_ | (~juri@implicitcad.org) juri_ |
| 2024-12-16 23:35:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 23:38:25 +0100 | <hellwolf> | what would you use to store a prefix-matching "map" |
| 2024-12-16 23:38:26 +0100 | <hellwolf> | say, I have a family of code that can be generated and prefixed to "__checked_mul_t_*", but I'd like to store |
| 2024-12-16 23:38:26 +0100 | <hellwolf> | such a generator in a map, and use prefix-matching to search for the generator. |
| 2024-12-16 23:38:26 +0100 | <hellwolf> | I could, of course, explicitly call out such a prefix as keys, then just use regular containers package. |
| 2024-12-16 23:39:11 +0100 | <Rembane> | hellwolf: Roughly how many keys per prefix? |
| 2024-12-16 23:39:53 +0100 | <hellwolf> | Can be a lot, I was thinking on using lazy map and a list comprehension |
| 2024-12-16 23:40:20 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-12-16 23:40:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-16 23:40:27 +0100 | <Rembane> | Sounds like a decent solution. I would try it until the performance becomes too bad. |
| 2024-12-16 23:40:27 +0100 | <hellwolf> | but comparing many keys can still be a bit overhead; actually now that I think about it, the combination is theoretically infinite. |
| 2024-12-16 23:41:06 +0100 | <hellwolf> | you are right, laziness can be advantageous and sexy :) I am not too much worried about performance at this stage. |
| 2024-12-16 23:41:35 +0100 | <Rembane> | Sweet! :D |
| 2024-12-16 23:42:57 +0100 | <hellwolf> | Hmm, not sure I can do that, I'd have to insert all the keys, that wouldn't work for infinite list comprehension |
| 2024-12-16 23:43:03 +0100 | <hellwolf> | unless I am missing something |
| 2024-12-16 23:44:09 +0100 | <hellwolf> | geekosaur suggested lookupLE etc., but that also assuming I have inserted all keys. |
| 2024-12-16 23:44:14 +0100 | <Rembane> | Can you wait with inserting all the keys? |
| 2024-12-16 23:44:31 +0100 | <hellwolf> | oh, not, actually he meant searching prefixes using lookup* |
| 2024-12-16 23:47:35 +0100 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-12-16 23:47:37 +0100 | <hellwolf> | 12-17 00:44 <Rembane> Can you wait with inserting all the keys? |
| 2024-12-16 23:47:37 +0100 | <hellwolf> | what do you mean? |
| 2024-12-16 23:47:41 +0100 | <jackdk> | hellwolf: https://www.youtube.com/watch?v=cT8G6FS2v94 perhaps? |
| 2024-12-16 23:47:42 +0100 | youthlic1 | (~Thunderbi@user/youthlic) youthlic |
| 2024-12-16 23:47:49 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2024-12-16 23:48:28 +0100 | <Rembane> | hellwolf: More laziness, that is, evaluating as little of the program as possible until it absolutely must be evaluated |
| 2024-12-16 23:49:59 +0100 | youthlic1 | youthlic |
| 2024-12-16 23:51:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-16 23:51:22 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-16 23:51:32 +0100 | <hellwolf> | Not sure. Map is lazy in its values, not its keys. |
| 2024-12-16 23:52:02 +0100 | <hellwolf> | 12-17 00:47 <jackdk> hellwolf: https://www.youtube.com/watch?v=cT8G6FS2v94 perhaps? |
| 2024-12-16 23:52:02 +0100 | <hellwolf> | Okay, I watched that video before... I didn't fully get it. I would watch it again. But not sure I would be able to use it in time. |
| 2024-12-16 23:52:10 +0100 | philopsos | (~caecilius@user/philopsos) philopsos |
| 2024-12-16 23:52:50 +0100 | <Rembane> | hellwolf: yeah, so some other part of the program needs to not insert the keys until absolutely needed |
| 2024-12-16 23:53:21 +0100 | <hellwolf> | but I am searching by matching prefix, so I got to insert keys to do matching, isn't it. |
| 2024-12-16 23:53:50 +0100 | housemate | (~housemate@246.224.218.139.sta.wbroadband.net.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2024-12-16 23:54:40 +0100 | Everything | (~Everythin@195.138.86.118) Everything |
| 2024-12-16 23:55:39 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2024-12-16 23:56:03 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-16 23:56:42 +0100 | <Rembane> | Yeah :/ |
| 2024-12-16 23:58:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |