| 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) |