Logs: liberachat/#haskell
| 2026-02-02 07:03:49 | → | lieven joins (~mal@ns2.wyrd.be) |
| 2026-02-02 07:03:49 | × | Inline quits (~User@2a02:908:1246:26e0:bc9e:33d9:559f:3d82) (Ping timeout: 255 seconds) |
| 2026-02-02 07:04:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-02 07:05:59 | → | rekahsoft joins (~rekahsoft@59.26-246-81.adsl-static.isp.belgacom.be) |
| 2026-02-02 07:06:04 | → | haritz joins (~hrtz@140.228.70.141) |
| 2026-02-02 07:06:04 | × | haritz quits (~hrtz@140.228.70.141) (Changing host) |
| 2026-02-02 07:06:04 | → | haritz joins (~hrtz@user/haritz) |
| 2026-02-02 07:12:52 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2026-02-02 07:14:18 | × | Googulator40 quits (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-02 07:14:34 | → | Googulator40 joins (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) |
| 2026-02-02 07:15:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-02 07:16:45 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-02-02 07:17:08 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2026-02-02 07:17:22 | trickard_ | is now known as trickard |
| 2026-02-02 07:19:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-02 07:30:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-02 07:35:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-02 07:37:44 | → | Inline joins (~User@2a02:908:1246:26e0:e780:60f2:d5f3:ea13) |
| 2026-02-02 07:41:18 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-02-02 07:45:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-02 07:46:36 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 256 seconds) |
| 2026-02-02 07:49:49 | → | tromp joins (~textual@2001:1c00:3487:1b00:f98f:1dd0:f6a4:cb56) |
| 2026-02-02 07:49:56 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 2026-02-02 07:50:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-02 07:52:17 | → | chele joins (~chele@user/chele) |
| 2026-02-02 07:53:34 | × | cross quits (~cross@spitfire.i.gajendra.net) (Quit: Lost terminal) |
| 2026-02-02 08:01:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-02 08:05:34 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 2026-02-02 08:07:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-02 08:16:24 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-02 08:16:37 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-02 08:18:50 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-02 08:19:04 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2026-02-02 08:19:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-02 08:26:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-02 08:32:27 | → | w00ter_ joins (~w00ter@user/w00ter) |
| 2026-02-02 08:32:28 | × | rekahsoft quits (~rekahsoft@59.26-246-81.adsl-static.isp.belgacom.be) (Ping timeout: 255 seconds) |
| 2026-02-02 08:35:25 | × | w00ter quits (~w00ter@user/w00ter) (Ping timeout: 264 seconds) |
| 2026-02-02 08:41:00 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-02-02 08:43:10 | × | Googulator40 quits (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-02 08:43:23 | → | Googulator40 joins (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) |
| 2026-02-02 09:01:01 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-02-02 09:01:50 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-02 09:02:04 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-02 09:05:21 | trickard_ | is now known as trickard |
| 2026-02-02 09:06:51 | → | prdak joins (~Thunderbi@user/prdak) |
| 2026-02-02 09:07:15 | × | prdak quits (~Thunderbi@user/prdak) (Client Quit) |
| 2026-02-02 09:07:34 | → | prdak joins (~Thunderbi@user/prdak) |
| 2026-02-02 09:08:06 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-02-02 09:10:44 | → | bggd_ joins (~bgg@2a01:e0a:fd5:f510:e21d:e312:ab9e:fac6) |
| 2026-02-02 09:12:50 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2026-02-02 09:18:14 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 2026-02-02 09:18:25 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-02 09:22:50 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-02 09:27:16 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2026-02-02 09:27:48 | → | cyphase joins (~cyphase@user/cyphase) |
| 2026-02-02 09:33:08 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-02 09:34:56 | → | __monty__ joins (~toonn@user/toonn) |
| 2026-02-02 09:41:32 | × | Googulator40 quits (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-02 09:41:46 | → | Googulator40 joins (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) |
| 2026-02-02 09:49:43 | → | prdak1 joins (~Thunderbi@user/prdak) |
| 2026-02-02 09:52:43 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
| 2026-02-02 09:52:43 | prdak1 | is now known as prdak |
| 2026-02-02 09:57:39 | → | mange joins (~mange@user/mange) |
| 2026-02-02 10:09:41 | × | Googulator40 quits (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-02 10:09:56 | → | Googulator40 joins (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) |
| 2026-02-02 10:15:44 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 2026-02-02 10:22:13 | × | tromp quits (~textual@2001:1c00:3487:1b00:f98f:1dd0:f6a4:cb56) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-02 10:22:34 | × | yin quits (~zero@user/zero) (Ping timeout: 246 seconds) |
| 2026-02-02 10:25:19 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 240 seconds) |
| 2026-02-02 10:30:49 | × | traxex_ quits (traxex@otaku.sdf.org) (Remote host closed the connection) |
| 2026-02-02 10:32:18 | → | tromp joins (~textual@2001:1c00:3487:1b00:f98f:1dd0:f6a4:cb56) |
| 2026-02-02 10:35:10 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-02 10:35:23 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-02 10:40:52 | trickard_ | is now known as trickard |
| 2026-02-02 10:41:37 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-02-02 10:46:02 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-02-02 10:52:06 | → | Putonlalla joins (~Putonlall@it-cyan.it.jyu.fi) |
| 2026-02-02 10:57:43 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2026-02-02 10:59:32 | <[exa]> | Is there some nice abstraction for streaming that would allow to precompute various known pending work in parallel? E.g., I've got a stream of stuff that needs to ask queries (and it's not "static", result of a query kinda projects into how the rest of the stream is going to behave) and I'd love to have a few queries (already known to be required to finish) to start evaluating ahead, to avoid |
| 2026-02-02 10:59:34 | <[exa]> | waiting. |
| 2026-02-02 11:00:30 | <Axman6> | Can you be a bit more concrete about what you're after? what's the project doing? |
| 2026-02-02 11:02:20 | <[exa]> | Basically it gets a complicated query (think similar to SPARQL) and produces results slowly by asking a few other servers about stuff and sourcing data |
| 2026-02-02 11:02:36 | <Axman6> | like, there's plenty of things I can think of that might be useful, async + STM + Map query (Async a) |
| 2026-02-02 11:02:53 | <Axman6> | That sounds a lot like Haxl |
| 2026-02-02 11:03:40 | <[exa]> | now the thing would model like streams very nicely, because I'm doing lots of ordered joins and unions etc, but if I go streaming then the possibility to do stuff in parallel will kinda get lost in the interface |
| 2026-02-02 11:03:42 | <Axman6> | So, definitely go look at Haxl, and Simon Marlow's talks on it and how it's used at Facebook |
| 2026-02-02 11:04:01 | <[exa]> | yeah might be very close to haxl actually, will have a look, thanks |
| 2026-02-02 11:04:28 | <Axman6> | I'm not sure how well steaming fits into it, but parallel queries ot multiple services is its bread and butter |
| 2026-02-02 11:06:23 | <[exa]> | simpler case of the same is: I have N streams and I want a combined round-robin stream, is there a nice helper that would start the effects of the "other" streams sufficiently early (with some sensible limit to avoid spamming queries etc) |
| 2026-02-02 11:06:50 | <Axman6> | have a look at streamly too, it'sd all about streams and concurrency |
| 2026-02-02 11:10:30 | <Axman6> | Whether you can do something cool with the combination of streamly and haxl, I'm not sure, but I'd love to see it |
| 2026-02-02 11:18:18 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2026-02-02 11:21:39 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-02-02 11:25:57 | → | Enrico63 joins (~Enrico63@148.252.128.12) |
| 2026-02-02 11:27:41 | → | xff0x joins (~xff0x@2405:6580:b080:900:4221:11e4:ea41:78f) |
| 2026-02-02 11:41:22 | × | Enrico63 quits (~Enrico63@148.252.128.12) (Quit: Client closed) |
| 2026-02-02 11:47:15 | Digitteknohippie | is now known as Digit |
| 2026-02-02 11:48:46 | × | tromp quits (~textual@2001:1c00:3487:1b00:f98f:1dd0:f6a4:cb56) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-02 11:50:31 | × | _JusSx_ quits (~jussx@78.213.239.238) (Ping timeout: 240 seconds) |
All times are in UTC.