| 2026-04-20 00:01:00 +0000 | jartycujck38 | (~jartycujc@c-73-148-39-123.hsd1.va.comcast.net) |
| 2026-04-20 00:01:06 +0000 | jartycujck67 | (~jartycujc@c-73-148-39-123.hsd1.va.comcast.net) (Client Quit) |
| 2026-04-20 00:01:20 +0000 | jartycujck678 | (~jartycujc@c-73-148-39-123.hsd1.va.comcast.net) |
| 2026-04-20 00:01:28 +0000 | jartycujck38 | (~jartycujc@c-73-148-39-123.hsd1.va.comcast.net) (Write error: Broken pipe) |
| 2026-04-20 00:02:37 +0000 | jartycujck678 | (~jartycujc@c-73-148-39-123.hsd1.va.comcast.net) (Write error: Broken pipe) |
| 2026-04-20 00:03:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 00:04:53 +0000 | thaumavorio | (~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2026-04-20 00:06:14 +0000 | thaumavorio | (~thaumavor@thaumavor.io) thaumavorio |
| 2026-04-20 00:07:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-20 00:17:20 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-04-20 00:18:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 00:19:30 +0000 | redpotato | (~nick@c-76-152-12-168.hsd1.ma.comcast.net) |
| 2026-04-20 00:21:21 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-04-20 00:23:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-20 00:28:55 +0000 | <janus> | is anybody interested in swagger2/openapi3 packages? they are both abandoned and lts-25 is going to be released without them |
| 2026-04-20 00:30:42 +0000 | <haskellbridge> | <sm> I'd like to have that stuff all working, but not enough to work on it |
| 2026-04-20 00:31:15 +0000 | <haskellbridge> | <sm> I guess we don't have enough of an API builder community to maintain those ? |
| 2026-04-20 00:32:09 +0000 | <janus> | i know my former employer uses it a lot, but i have cried wolf too many times |
| 2026-04-20 00:33:19 +0000 | <haskellbridge> | <sm> last time I looked into that topic (API standards/builder/generators/checkers & haskell), it was so chaotic and complex I have been in no hurry to touch it again :) |
| 2026-04-20 00:33:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 00:34:17 +0000 | <janus> | rick owens seems to be quite invested |
| 2026-04-20 00:34:21 +0000 | <janus> | i will shoot him an e-mail |
| 2026-04-20 00:36:04 +0000 | <haskellbridge> | <sm> outside of haskell, are those currently both standard/stable/preferred, do you know ? |
| 2026-04-20 00:36:53 +0000 | haskellbridge | sm checks |
| 2026-04-20 00:37:28 +0000 | <haskellbridge> | <sm> > OpenAPI 3.x (and 3.1) is the current preferred standard for RESTful APIs, having replaced the outdated Swagger 2.0. |
| 2026-04-20 00:37:38 +0000 | <haskellbridge> | <sm> I see |
| 2026-04-20 00:37:45 +0000 | <janus> | they are pretty popular , i think |
| 2026-04-20 00:37:49 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-04-20 00:38:12 +0000 | <janus> | at my former employer we integrated with a lot of logistics companies any many of them would publish OpenAPI specs |
| 2026-04-20 00:38:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-20 00:39:59 +0000 | <haskellbridge> | <sm> so ideally https://hackage.haskell.org/package/openapi3 would be the one to focus on I guess (but it looks less maintained currently) |
| 2026-04-20 00:42:37 +0000 | <janus> | it is a fork of the other one, and it was minimally maintained by maksbotan from Biocad, a russian biotech company |
| 2026-04-20 00:43:01 +0000 | <janus> | and i think they have github notifications turned off because the updates do not come as response to pings |
| 2026-04-20 00:43:42 +0000 | <janus> | cma cgm uses open API, that's a large company: https://api-portal.cma-cgm.com/products/allocation?summaryId=commercial.allocation.route.v1 |
| 2026-04-20 00:46:29 +0000 | <haskellbridge> | <sm> oh I see, yes. Minimal activity since it was created in 2016 |
| 2026-04-20 00:47:05 +0000 | <haskellbridge> | <sm> but ongoing small updates to both since the fork in 2020 |
| 2026-04-20 00:47:41 +0000 | <haskellbridge> | <sm> (it looks like, but maybe I'm wrong) |
| 2026-04-20 00:47:46 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 276 seconds) |
| 2026-04-20 00:49:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 00:50:01 +0000 | <janus> | yeah, it's just so minimal. Oh well, someone might notice once build plans start failing. But if people use the Cabal solver, that might take a few more years :P |
| 2026-04-20 00:50:59 +0000 | Tuplanolla | (~Tuplanoll@85-156-32-112.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-04-20 00:56:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-20 01:07:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 01:11:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-20 01:13:28 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c26a:a1dc:fa20:1b1c) (Ping timeout: 244 seconds) |
| 2026-04-20 01:22:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 01:26:32 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-04-20 01:27:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-20 01:31:34 +0000 | <sclv> | janus: at work we use servant-swagger, which uses swagger2 |
| 2026-04-20 01:35:22 +0000 | <jackdk> | Yeah servant-openapi3 is good but has serious flaws in some of its type families. (certain uses will demand spurious instances for `NoContent`.) Needs a handover to a live maintainer or a fork. |
| 2026-04-20 01:38:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 01:41:35 +0000 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2026-04-20 01:42:29 +0000 | <haskellbridge> | <sm> there's also the https://matrix.to/#/#haskell-webdev:matrix.org room where more interested folks might be found |
| 2026-04-20 01:42:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-20 01:53:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 01:57:30 +0000 | <davean> | jackdk: I had real issues with servant-openapi3, I tried using it for a project a few years ago and I had to hand-write basicly all of it :/ |
| 2026-04-20 01:58:04 +0000 | zalo-rocky | (~flyingzal@186.19.88.142) (Remote host closed the connection) |
| 2026-04-20 01:58:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-20 01:58:34 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-20 01:58:44 +0000 | <davean> | So I pretty much gave up on the package as useless if I had to hand write the spec just via types and type classs. |
| 2026-04-20 02:02:19 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-20 02:04:39 +0000 | redpotato | (~nick@c-76-152-12-168.hsd1.ma.comcast.net) (Ping timeout: 255 seconds) |
| 2026-04-20 02:05:43 +0000 | <davean> | I was very frustrated. |
| 2026-04-20 02:06:33 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e5285317e8fcede52e1d.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2026-04-20 02:11:51 +0000 | craunts795335385 | (~craunts@152.32.99.2) (Ping timeout: 244 seconds) |
| 2026-04-20 02:14:17 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-04-20 02:15:10 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-04-20 02:22:15 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-04-20 02:24:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 02:29:49 +0000 | malte | (~malte@mal.tc) (Ping timeout: 276 seconds) |
| 2026-04-20 02:30:14 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 268 seconds) |
| 2026-04-20 02:30:27 +0000 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2026-04-20 02:30:47 +0000 | Square2 | (~Square@user/square) Square |
| 2026-04-20 02:31:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-20 02:34:33 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 268 seconds) |
| 2026-04-20 02:34:40 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2026-04-20 02:41:01 +0000 | Square3 | (~Square4@user/square) Square |
| 2026-04-20 02:42:17 +0000 | Square2 | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2026-04-20 02:42:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 02:48:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-20 02:50:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 02:55:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-20 02:57:17 +0000 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2026-04-20 02:57:34 +0000 | havochunter187 | (~havochunt@2a02-a467-ef2-0-f6c3-1c29-6870-3369.fixed6.kpn.net) |
| 2026-04-20 03:05:21 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-20 03:05:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 03:10:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-20 03:14:45 +0000 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2026-04-20 03:15:30 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2026-04-20 03:21:02 +0000 | havochunter187 | (~havochunt@2a02-a467-ef2-0-f6c3-1c29-6870-3369.fixed6.kpn.net) (Remote host closed the connection) |
| 2026-04-20 03:21:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 03:25:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-20 03:26:51 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2026-04-20 03:28:18 +0000 | user363627 | (~user@user/user363627) user363627 |
| 2026-04-20 03:29:07 +0000 | weary-traveler | (~user@user/user363627) (Ping timeout: 264 seconds) |
| 2026-04-20 03:35:19 +0000 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2026-04-20 03:36:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 03:37:48 +0000 | haritz | (~hrtz@140.228.70.141) |
| 2026-04-20 03:37:48 +0000 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2026-04-20 03:37:48 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-04-20 03:41:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-20 03:48:40 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-20 03:52:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 03:54:08 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-04-20 03:55:28 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-04-20 03:56:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-20 03:56:33 +0000 | havochunter187 | (~havochunt@2a02-a467-ef2-0-f6c3-1c29-6870-3369.fixed6.kpn.net) |
| 2026-04-20 03:56:45 +0000 | havochunter187 | (~havochunt@2a02-a467-ef2-0-f6c3-1c29-6870-3369.fixed6.kpn.net) (Remote host closed the connection) |
| 2026-04-20 03:56:52 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-04-20 03:57:11 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-04-20 03:57:11 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-04-20 04:01:15 +0000 | wickedjargon | (~user@184.69.139.242) wickedjargon |
| 2026-04-20 04:06:08 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-20 04:07:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 04:13:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-20 04:25:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 04:25:31 +0000 | alhazrod | (uid662262@user/alhazrod) (Quit: Connection closed for inactivity) |
| 2026-04-20 04:30:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-20 04:38:07 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-04-20 04:39:02 +0000 | spew | (~spew@user/spew) spew |
| 2026-04-20 04:40:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 04:48:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-20 04:59:53 +0000 | wickedjargon | (~user@184.69.139.242) (Remote host closed the connection) |
| 2026-04-20 05:00:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 05:05:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-20 05:06:14 +0000 | Guest98 | (~Guest98@2804:584:21a1:1e00:2d2d:ec17:1a6:17b3) |
| 2026-04-20 05:06:58 +0000 | Guest52 | (~Guest98@2804:584:21a1:1e00:2d2d:ec17:1a6:17b3) |
| 2026-04-20 05:09:56 +0000 | havochunter | (~havochunt@2a02-a467-ef2-0-f6c3-1c29-6870-3369.fixed6.kpn.net) |
| 2026-04-20 05:10:37 +0000 | Guest98 | (~Guest98@2804:584:21a1:1e00:2d2d:ec17:1a6:17b3) (Ping timeout: 245 seconds) |
| 2026-04-20 05:12:39 +0000 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-04-20 05:20:06 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-20 05:20:18 +0000 | marinelli | (~weechat@brrr.fr) (Quit: marinelli) |
| 2026-04-20 05:20:40 +0000 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2026-04-20 05:21:44 +0000 | michalz | (~michalz@185.246.207.217) |
| 2026-04-20 05:22:25 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-04-20 05:24:13 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-04-20 05:25:15 +0000 | Guest52 | (~Guest98@2804:584:21a1:1e00:2d2d:ec17:1a6:17b3) (Quit: Client closed) |
| 2026-04-20 05:27:31 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2026-04-20 05:27:40 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-04-20 05:29:07 +0000 | Enrico63 | (~Enrico63@host-95-249-71-165.retail.telecomitalia.it) Enrico63 |
| 2026-04-20 05:29:09 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-20 05:29:17 +0000 | <dibblego> | Does anything like this exist? class BiProfunctor p where dimapL :: (w -> w') -> (y' -> y) -> p w x y z -> p w' x y' z; dimapR :: (x -> x') -> (z' -> z) -> p w x y z -> p w x' y z' |
| 2026-04-20 05:29:22 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-20 05:31:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 05:36:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-20 05:45:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 05:46:23 +0000 | archking | (~archking@wlan-napt-001.u-aizu.ac.jp) |
| 2026-04-20 05:46:49 +0000 | archking | (~archking@wlan-napt-001.u-aizu.ac.jp) (Client Quit) |
| 2026-04-20 05:50:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-20 05:54:20 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-04-20 06:01:28 +0000 | archking1 | (~archking@wlan-napt-001.u-aizu.ac.jp) |
| 2026-04-20 06:01:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 06:05:06 +0000 | Enrico63 | (~Enrico63@host-95-249-71-165.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-04-20 06:06:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-20 06:11:13 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-20 06:17:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 06:20:24 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-04-20 06:21:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-20 06:25:51 +0000 | havochunter | (~havochunt@2a02-a467-ef2-0-f6c3-1c29-6870-3369.fixed6.kpn.net) (Remote host closed the connection) |
| 2026-04-20 06:32:07 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-20 06:32:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 06:36:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-20 06:41:04 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-20 06:42:42 +0000 | <jackdk> | dibblego: how is that different from holding a profunctor with tuples? |
| 2026-04-20 06:46:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 06:49:12 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-04-20 06:50:13 +0000 | chele | (~chele@user/chele) chele |
| 2026-04-20 06:50:22 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-20 06:54:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-20 06:57:13 +0000 | tromp | (~textual@2001:1c00:340e:2700:c9bc:b29c:36e3:d32a) |
| 2026-04-20 07:03:07 +0000 | havochunter | (~havochunt@2a02-a467-ef2-0-f6c3-1c29-6870-3369.fixed6.kpn.net) |
| 2026-04-20 07:04:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 07:09:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-20 07:15:40 +0000 | tromp | (~textual@2001:1c00:340e:2700:c9bc:b29c:36e3:d32a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-20 07:18:00 +0000 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2026-04-20 07:18:39 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-04-20 07:19:41 +0000 | tromp | (~textual@2001:1c00:340e:2700:c9bc:b29c:36e3:d32a) |
| 2026-04-20 07:20:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-20 07:24:01 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e528fc1f390accc80343.dip0.t-ipconnect.de) acidjnk |
| 2026-04-20 07:24:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-20 07:40:37 +0000 | doyoueee | (~duduonmy@2405:4803:c803:e7f0:f5ab:34e5:bb70:4792) |
| 2026-04-20 07:46:25 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 265 seconds) |
| 2026-04-20 07:53:55 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-04-20 07:56:04 +0000 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-04-20 07:56:24 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-04-20 07:56:48 +0000 | Ekho | (~Ekho@user/ekho) (Quit: CORE ERROR, SYSTEM HALTED.) |
| 2026-04-20 07:59:46 +0000 | ss4 | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-04-20 08:00:01 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-04-20 08:03:16 +0000 | archking1 | (~archking@wlan-napt-001.u-aizu.ac.jp) (Ping timeout: 276 seconds) |
| 2026-04-20 08:03:39 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-04-20 08:05:35 +0000 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-04-20 08:05:40 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-04-20 08:06:34 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:7c7a:8bee:35c7:3ab6) |
| 2026-04-20 08:06:34 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:7c7a:8bee:35c7:3ab6) (Changing host) |
| 2026-04-20 08:06:34 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-20 08:08:07 +0000 | Ekho | (~Ekho@user/ekho) Ekho |
| 2026-04-20 08:10:03 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-04-20 08:13:15 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-04-20 08:13:55 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-04-20 08:15:27 +0000 | xal | (~xal@mx1.xal.systems) (Read error: Connection reset by peer) |
| 2026-04-20 08:15:35 +0000 | ss4 | (~wootehfoo@user/wootehfoot) (Ping timeout: 244 seconds) |
| 2026-04-20 08:15:46 +0000 | xal | (~xal@mx1.xal.systems) xal |
| 2026-04-20 08:21:25 +0000 | archking1 | (~archking@2404:7a83:23e1:9700:f47e:47ff:fe8c:91f4) |
| 2026-04-20 08:22:49 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-20 08:24:12 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 268 seconds) |
| 2026-04-20 08:27:30 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-04-20 08:30:59 +0000 | ft | (~ft@p508db287.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-04-20 08:31:52 +0000 | archking1 | (~archking@2404:7a83:23e1:9700:f47e:47ff:fe8c:91f4) (Ping timeout: 276 seconds) |
| 2026-04-20 08:32:40 +0000 | <gentauro> | do we have a similar function like this one -> https://hackage-content.haskell.org/package/base-4.22.0.0/docs/Data-List.html#v:isPrefixOf that instead of returning a Bool, returns the index of the first occurence? |
| 2026-04-20 08:32:57 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Read error: Connection reset by peer) |
| 2026-04-20 08:33:09 +0000 | gentauro | if no occurence exists, the returned values should be -1 |
| 2026-04-20 08:33:20 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-04-20 08:34:18 +0000 | <gentauro> | oh, I guess it's this one -> https://hackage-content.haskell.org/package/MissingH-1.6.0.3/docs/Data-List-Utils.html#v:subIndex (Maybe type insted of Int) |
| 2026-04-20 08:43:34 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-20 08:43:59 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-20 08:44:08 +0000 | archking | (~archking@2404:7a83:23e1:9700:9c39:afff:feeb:79e) |
| 2026-04-20 08:49:45 +0000 | archking | (~archking@2404:7a83:23e1:9700:9c39:afff:feeb:79e) (Ping timeout: 248 seconds) |
| 2026-04-20 08:54:27 +0000 | koz_ | (~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2026-04-20 08:55:14 +0000 | koz | (~koz@121.99.240.58) |
| 2026-04-20 08:56:22 +0000 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2026-04-20 09:01:22 +0000 | kuribas | (~user@2a02-1810-2825-6000-8fe3-9553-464-1f7d.ip6.access.telenet.be) kuribas |
| 2026-04-20 09:08:50 +0000 | doyoueee | (~duduonmy@2405:4803:c803:e7f0:f5ab:34e5:bb70:4792) (Quit: Leaving) |
| 2026-04-20 09:11:00 +0000 | sa | (sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 245 seconds) |
| 2026-04-20 09:11:25 +0000 | jmct | (sid160793@2a03:5180:f::2:7419) (Ping timeout: 245 seconds) |
| 2026-04-20 09:12:04 +0000 | archking | (~archking@2404:7a83:23e1:9700:4417:bff:fe77:7fb8) |
| 2026-04-20 09:14:29 +0000 | jmct | (sid160793@id-160793.tinside.irccloud.com) |
| 2026-04-20 09:14:38 +0000 | sa | (sid1055@id-1055.tinside.irccloud.com) sa |
| 2026-04-20 09:19:14 +0000 | archking | (~archking@2404:7a83:23e1:9700:4417:bff:fe77:7fb8) (Ping timeout: 248 seconds) |
| 2026-04-20 09:27:33 +0000 | fp1 | (~Thunderbi@wireless-86-50-141-149.open.aalto.fi) fp |
| 2026-04-20 09:33:02 +0000 | archking | (~archking@2404:7a83:23e1:9700:1cc6:bff:fe8c:df07) |
| 2026-04-20 09:40:09 +0000 | archking | (~archking@2404:7a83:23e1:9700:1cc6:bff:fe8c:df07) (Ping timeout: 246 seconds) |
| 2026-04-20 09:43:37 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 248 seconds) |
| 2026-04-20 09:44:33 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2026-04-20 09:50:33 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e5655d8f1f6a4acafa55.dip0.t-ipconnect.de) acidjnk |
| 2026-04-20 09:50:35 +0000 | dpk | (~dpk@jains.nonceword.org) (Ping timeout: 245 seconds) |
| 2026-04-20 09:53:14 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e528fc1f390accc80343.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-04-20 09:53:36 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-04-20 09:54:05 +0000 | archking | (~archking@2404:7a83:23e1:9700:ec83:3ff:fe20:5a7e) |
| 2026-04-20 10:01:25 +0000 | archking | (~archking@2404:7a83:23e1:9700:ec83:3ff:fe20:5a7e) (Ping timeout: 245 seconds) |
| 2026-04-20 10:14:16 +0000 | archking | (~archking@2404:7a83:23e1:9700:a812:17ff:fe6e:b27) |
| 2026-04-20 10:16:59 +0000 | fp1 | (~Thunderbi@wireless-86-50-141-149.open.aalto.fi) (Ping timeout: 245 seconds) |
| 2026-04-20 10:21:38 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2026-04-20 10:22:22 +0000 | archking | (~archking@2404:7a83:23e1:9700:a812:17ff:fe6e:b27) (Ping timeout: 276 seconds) |
| 2026-04-20 10:23:19 +0000 | <probie> | gentauro: my intuition says you that you're probably doing the "wrong thing" if you want this function for lists (arrays, vectors, bytestrings and possibly text it makes some sense for) |
| 2026-04-20 10:23:48 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-20 10:31:13 +0000 | CloneOfNone | (~CloneOfNo@user/CloneOfNone) CloneOfNone |
| 2026-04-20 10:32:24 +0000 | CloneOfN- | (~CloneOfNo@user/CloneOfNone) (Ping timeout: 244 seconds) |
| 2026-04-20 10:34:12 +0000 | archking | (~archking@2404:7a83:23e1:9700:34ce:6eff:fea6:7b59) |
| 2026-04-20 10:41:24 +0000 | archking | (~archking@2404:7a83:23e1:9700:34ce:6eff:fea6:7b59) (Ping timeout: 246 seconds) |
| 2026-04-20 10:43:38 +0000 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-04-20 10:45:15 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 265 seconds) |
| 2026-04-20 10:45:29 +0000 | divlamir_ | divlamir |
| 2026-04-20 10:51:50 +0000 | <[exa]> | is there some nice way to have type-level marks on various events that come to a program? I |
| 2026-04-20 10:53:20 +0000 | <[exa]> | ...I'm writing a network app, each single thing has to manage like 10 different timeouts. I don't want to completely rely on green threads (instead I'd love to have actual event handlers etc.), so I'd have once somewhat central place where all timeouts and events would get processed and dispatched. Now, scheduled alarms to time-outs are the same "type" of event and I'd love to have them somehow |
| 2026-04-20 10:53:22 +0000 | <[exa]> | distinguished |
| 2026-04-20 10:53:49 +0000 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-04-20 10:54:06 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 244 seconds) |
| 2026-04-20 10:54:40 +0000 | divlamir_ | divlamir |
| 2026-04-20 10:55:28 +0000 | archking | (~archking@2404:7a83:23e1:9700:9c9e:3aff:fe7a:ed82) |
| 2026-04-20 11:02:45 +0000 | archking | (~archking@2404:7a83:23e1:9700:9c9e:3aff:fe7a:ed82) (Ping timeout: 246 seconds) |
| 2026-04-20 11:03:12 +0000 | Freakie | (~Freakie@185.45.22.133) |
| 2026-04-20 11:04:00 +0000 | <Freakie> | does anyone have suggestions for profiling compact regions? |
| 2026-04-20 11:08:20 +0000 | oats | (~oats@user/oats) (Read error: Connection reset by peer) |
| 2026-04-20 11:08:35 +0000 | oats | (~oats@user/oats) oats |
| 2026-04-20 11:16:48 +0000 | xff0x | (~xff0x@2405:6580:b080:900:e1c6:2577:bdda:cb20) |
| 2026-04-20 11:19:19 +0000 | jreicher | (~joelr@user/jreicher) (Quit: brb) |
| 2026-04-20 11:21:01 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-20 11:24:12 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-04-20 11:28:41 +0000 | jreicher | (~joelr@user/jreicher) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2026-04-20 11:29:36 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-20 11:31:48 +0000 | gawen | (~gawen@user/gawen) gawen |
| 2026-04-20 11:32:15 +0000 | gawen_ | (~gawen@user/gawen) (Ping timeout: 245 seconds) |
| 2026-04-20 11:34:09 +0000 | jreicher | (~joelr@user/jreicher) (Quit: brb) |
| 2026-04-20 11:35:03 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-20 11:44:41 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-04-20 11:45:38 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 252 seconds) |
| 2026-04-20 11:50:45 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Quit: CiaoSen) |
| 2026-04-20 11:52:24 +0000 | <merijn> | Freakie: Profiling in what way? |
| 2026-04-20 11:52:30 +0000 | <merijn> | Memory usage, you mean? |
| 2026-04-20 11:52:37 +0000 | socksbuny5 | (~socks@oberon.raccoon.fun) raccoonasdf |
| 2026-04-20 11:52:41 +0000 | socksbuny | (~socks@oberon.raccoon.fun) (Read error: Connection reset by peer) |
| 2026-04-20 11:52:41 +0000 | socksbuny5 | socksbuny |
| 2026-04-20 11:53:04 +0000 | <Freakie> | merijn more or less |
| 2026-04-20 11:53:10 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-20 11:53:16 +0000 | <merijn> | I'd suspect they just show as pinned memory? |
| 2026-04-20 11:53:20 +0000 | buhman | (sid411355@user/buhman) (Ping timeout: 252 seconds) |
| 2026-04-20 11:53:20 +0000 | astra | (sid289983@user/amish) (Ping timeout: 252 seconds) |
| 2026-04-20 11:53:30 +0000 | <Freakie> | I have some input cases where the garbage collection time wasn't lowered as much as they should when I switched to compacting them |
| 2026-04-20 11:53:39 +0000 | <Freakie> | the profiling just shows it as live NFDATA |
| 2026-04-20 11:53:45 +0000 | edm | (sid147314@id-147314.hampstead.irccloud.com) (Ping timeout: 272 seconds) |
| 2026-04-20 11:53:45 +0000 | gaze__ | (sid387101@id-387101.helmsley.irccloud.com) (Ping timeout: 248 seconds) |
| 2026-04-20 11:53:46 +0000 | edwardk | (sid47016@haskell/developer/edwardk) (Ping timeout: 248 seconds) |
| 2026-04-20 11:53:53 +0000 | <Freakie> | which makes it hard to tell if I have avoidable overhead or no |
| 2026-04-20 11:54:06 +0000 | <merijn> | Freakie: How sure are you that your assumption that they should significantly reduce GC time? :) |
| 2026-04-20 11:54:10 +0000 | carter | (sid14827@id-14827.helmsley.irccloud.com) (Ping timeout: 256 seconds) |
| 2026-04-20 11:54:21 +0000 | <Freakie> | well |
| 2026-04-20 11:54:23 +0000 | hiredman | (~hiredman@frontier1.downey.family) (Ping timeout: 272 seconds) |
| 2026-04-20 11:54:26 +0000 | idnar | (sid12240@debian/mithrandi) (Ping timeout: 252 seconds) |
| 2026-04-20 11:54:26 +0000 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 252 seconds) |
| 2026-04-20 11:54:30 +0000 | <gentauro> | probie: with `Data.List` you can do -> `findIndices (isPrefixOf "PATTERN_GOES_HERE") (tails "STRING_LOOKING_IN")` and you get a nice list of ints |
| 2026-04-20 11:54:44 +0000 | <Freakie> | let's say I have 4 to 8 gb gigabytes worth of accumulators in each of my algorithms |
| 2026-04-20 11:54:59 +0000 | haasn | (sid579015@id-579015.hampstead.irccloud.com) (Ping timeout: 252 seconds) |
| 2026-04-20 11:55:17 +0000 | <Freakie> | without compacting on that input size my program willl terminate in 30 minutes where about 28 of that is garbage collection |
| 2026-04-20 11:55:23 +0000 | <Freakie> | with compacting the gc time is reduced by about half |
| 2026-04-20 11:55:29 +0000 | mud | (~mud@user/kadoban) (Ping timeout: 268 seconds) |
| 2026-04-20 11:55:39 +0000 | degraafk | (sid71464@id-71464.lymington.irccloud.com) (Ping timeout: 272 seconds) |
| 2026-04-20 11:55:41 +0000 | edwardk | (sid47016@haskell/developer/edwardk) edwardk |
| 2026-04-20 11:55:47 +0000 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2026-04-20 11:55:53 +0000 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) (Ping timeout: 248 seconds) |
| 2026-04-20 11:55:57 +0000 | <merijn> | Freakie: Threaded runtime or non-threaded? Any GC options you're passing or just default? |
| 2026-04-20 11:55:58 +0000 | <Freakie> | but it still feels like GC is dominating more than it should when I look at the profiling since the graph is overwhelmingly just the compacted |
| 2026-04-20 11:56:06 +0000 | luke | (~luke@user/luke) (Ping timeout: 268 seconds) |
| 2026-04-20 11:56:18 +0000 | <Freakie> | just -O2 I believe and non-threaded |
| 2026-04-20 11:56:23 +0000 | <Freakie> | well that's not GC |
| 2026-04-20 11:56:26 +0000 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) (Ping timeout: 256 seconds) |
| 2026-04-20 11:56:34 +0000 | <Freakie> | so I guess none on these particular runs |
| 2026-04-20 11:56:38 +0000 | dy | (sid3438@user/dy) (Ping timeout: 252 seconds) |
| 2026-04-20 11:56:38 +0000 | caasih | (sid13241@id-13241.ilkley.irccloud.com) (Ping timeout: 252 seconds) |
| 2026-04-20 11:56:43 +0000 | hook54321 | (sid149355@user/hook54321) (Ping timeout: 268 seconds) |
| 2026-04-20 11:56:43 +0000 | edmundnoble_ | (sid229620@id-229620.helmsley.irccloud.com) (Ping timeout: 268 seconds) |
| 2026-04-20 11:56:45 +0000 | buhman | (sid411355@user/buhman) buhman |
| 2026-04-20 11:56:55 +0000 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) (Ping timeout: 272 seconds) |
| 2026-04-20 11:56:57 +0000 | integral | (sid296274@user/integral) (Ping timeout: 248 seconds) |
| 2026-04-20 11:57:01 +0000 | sclv | (sid39734@haskell/developer/sclv) (Ping timeout: 256 seconds) |
| 2026-04-20 11:57:11 +0000 | totbwf | (sid402332@user/totbwf) (Ping timeout: 252 seconds) |
| 2026-04-20 11:57:20 +0000 | T_S_____ | (sid501726@id-501726.uxbridge.irccloud.com) (Ping timeout: 268 seconds) |
| 2026-04-20 11:57:20 +0000 | mustafa | (sid502723@rockylinux/releng/mustafa) (Ping timeout: 268 seconds) |
| 2026-04-20 11:57:21 +0000 | <Freakie> | mind you I should still expect garbage collection to dominate over time because my priority queues aren't compacted (it's much easier to compact write-only data) |
| 2026-04-20 11:57:29 +0000 | weary-traveler | (~user@user/user363627) (Ping timeout: 248 seconds) |
| 2026-04-20 11:57:33 +0000 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (Ping timeout: 272 seconds) |
| 2026-04-20 11:57:33 +0000 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) (Ping timeout: 272 seconds) |
| 2026-04-20 11:57:34 +0000 | <Freakie> | but the scaling seems a bit excessive to me still |
| 2026-04-20 11:57:36 +0000 | <gentauro> | @pl let idxs pat cs = findIndices (isPrefixOf pat) (tails cs) |
| 2026-04-20 11:57:36 +0000 | <lambdabot> | (line 1, column 58): |
| 2026-04-20 11:57:36 +0000 | <lambdabot> | unexpected end of input |
| 2026-04-20 11:57:36 +0000 | <lambdabot> | expecting variable, "(", operator, ";" or "in" |
| 2026-04-20 11:57:54 +0000 | edm | (sid147314@id-147314.hampstead.irccloud.com) |
| 2026-04-20 11:57:55 +0000 | edm | (sid147314@id-147314.hampstead.irccloud.com) (Excess Flood) |
| 2026-04-20 11:57:56 +0000 | emergence | (emergence@vm0.max-p.me) (Read error: Connection reset by peer) |
| 2026-04-20 11:57:57 +0000 | meejah | (~meejah@rutas.meejah.ca) (Ping timeout: 268 seconds) |
| 2026-04-20 11:58:00 +0000 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) |
| 2026-04-20 11:58:01 +0000 | emergence1 | (~emergence@vm0.max-p.me) emergence |
| 2026-04-20 11:58:05 +0000 | idnar | (sid12240@debian/mithrandi) idnar |
| 2026-04-20 11:58:05 +0000 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2026-04-20 11:58:05 +0000 | luke | (~luke@user/luke) luke |
| 2026-04-20 11:58:05 +0000 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) taktoa[c] |
| 2026-04-20 11:58:06 +0000 | meejah | (~meejah@rutas.meejah.ca) meejah |
| 2026-04-20 11:58:06 +0000 | jonrh | (sid5185@2a03:5180:f:3::1441) jonrh |
| 2026-04-20 11:58:08 +0000 | astra | (sid289983@id-289983.hampstead.irccloud.com) |
| 2026-04-20 11:58:11 +0000 | degraafk | (sid71464@id-71464.lymington.irccloud.com) degraafk |
| 2026-04-20 11:58:12 +0000 | T_S_____ | (sid501726@id-501726.uxbridge.irccloud.com) |
| 2026-04-20 11:58:14 +0000 | gaze__ | (sid387101@id-387101.helmsley.irccloud.com) gaze__ |
| 2026-04-20 11:58:15 +0000 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) |
| 2026-04-20 11:58:21 +0000 | tromp | (~textual@2001:1c00:340e:2700:c9bc:b29c:36e3:d32a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-20 11:58:27 +0000 | <gentauro> | @pl f pat cs = findIndices (isPrefixOf pat) (tails cs) |
| 2026-04-20 11:58:28 +0000 | <lambdabot> | f = (. tails) . findIndices . isPrefixOf |
| 2026-04-20 11:58:29 +0000 | carter | (sid14827@id-14827.helmsley.irccloud.com) carter |
| 2026-04-20 11:58:30 +0000 | caasih | (sid13241@id-13241.ilkley.irccloud.com) caasih |
| 2026-04-20 11:58:33 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-04-20 11:58:34 +0000 | haasn | (sid579015@id-579015.hampstead.irccloud.com) haasn |
| 2026-04-20 11:58:34 +0000 | edmundnoble_ | (sid229620@id-229620.helmsley.irccloud.com) edmundnoble_ |
| 2026-04-20 11:58:48 +0000 | <merijn> | Freakie: I wonder how much of the reported GC time is you compacting. (Since building a compact region is literally just "GC this root into, but into a separate region, rathern than heap", so it could be that compacting is reported as GC time) |
| 2026-04-20 11:59:06 +0000 | integral | (sid296274@user/integral) integral |
| 2026-04-20 11:59:12 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-04-20 11:59:14 +0000 | Adeon | (sid418992@id-418992.lymington.irccloud.com) Adeon |
| 2026-04-20 11:59:35 +0000 | <Freakie> | I will admit that I just used an implementation of a package I found that I couldn't install through cabal because it was too old, so I haven't looked too much into how it works |
| 2026-04-20 12:00:09 +0000 | hook54321 | (sid149355@user/hook54321) hook54321 |
| 2026-04-20 12:00:23 +0000 | <Freakie> | all I know is that appending uses CompactAdd# which is a GHC primitive |
| 2026-04-20 12:01:09 +0000 | <merijn> | Freakie: Yeah, I just mean that the way GHC implements compacting is the exact same code as GC. i.e. starting from a root, traverse the memory and copy to new heap (except the heap is now a compact region instead of the normal heap) |
| 2026-04-20 12:01:10 +0000 | sclv | (sid39734@haskell/developer/sclv) sclv |
| 2026-04-20 12:01:16 +0000 | dy | (sid3438@user/dy) \\\\\ |
| 2026-04-20 12:01:18 +0000 | mustafa | (sid502723@rockylinux/releng/mustafa) mustafa |
| 2026-04-20 12:01:41 +0000 | <merijn> | So it might report that as GC time, I don't know :) |
| 2026-04-20 12:01:56 +0000 | <Freakie> | I would assume the profiler would report it differently since it's a using a public API though? |
| 2026-04-20 12:02:04 +0000 | <merijn> | Freakie: can you pastebin the GC report? |
| 2026-04-20 12:02:35 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-04-20 12:03:11 +0000 | <Freakie> | https://pastebin.com/CN8itK6R |
| 2026-04-20 12:03:22 +0000 | <Freakie> | or sorry what do you mean by report? |
| 2026-04-20 12:03:47 +0000 | <merijn> | That one was what I meant :p |
| 2026-04-20 12:04:05 +0000 | <merijn> | oof, productivity 12% is kinda abysmal xD |
| 2026-04-20 12:04:29 +0000 | <merijn> | And what was it without the compact regions? |
| 2026-04-20 12:04:34 +0000 | <Freakie> | my peeve is that the profiler only reports all the compacted data as having been allocated by the system instead of the modules |
| 2026-04-20 12:04:46 +0000 | <Freakie> | total time was about 30 minutes, MUT I believe was a little less |
| 2026-04-20 12:05:05 +0000 | <merijn> | Even less? o.O |
| 2026-04-20 12:05:16 +0000 | <merijn> | So even lower productivity? |
| 2026-04-20 12:05:41 +0000 | <Freakie> | I mean GC would continually traverse append-only data during the algorithms |
| 2026-04-20 12:06:28 +0000 | <Freakie> | I assume consing to compact regions is more expensive than a pure cons operation, all else equal |
| 2026-04-20 12:06:57 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-20 12:07:22 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-20 12:08:15 +0000 | <Freakie> | I have a smaller input where both compact and non-compact runs use about 20 seconds of mut time but the pure version uses about 4-5x as much GC time than the one compacted |
| 2026-04-20 12:08:39 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2026-04-20 12:09:09 +0000 | <Freakie> | but also I think the productivity reporting has seemed off sometimes |
| 2026-04-20 12:09:16 +0000 | totbwf | (sid402332@id-402332.uxbridge.irccloud.com) |