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