| 2025-06-24 00:02:49 +0200 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) (Read error: Connection reset by peer) |
| 2025-06-24 00:02:53 +0200 | ThePenguin0 | (~ThePengui@cust-95-80-31-242.csbnet.se) ThePenguin |
| 2025-06-24 00:03:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-24 00:06:37 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-06-24 00:13:21 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-24 00:14:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 00:17:12 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-06-24 00:18:03 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-06-24 00:18:50 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 244 seconds) |
| 2025-06-24 00:19:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-06-24 00:21:25 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-06-24 00:23:18 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-06-24 00:25:14 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-06-24 00:26:36 +0200 | <ski> | @djinn ((a -> s) -> a) -> (a -> (b -> s) -> b) -> (b -> s) -> b |
| 2025-06-24 00:26:36 +0200 | <lambdabot> | f a b c = b (a (\ d -> c (b d c))) c |
| 2025-06-24 00:27:01 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-06-24 00:30:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 00:32:04 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2025-06-24 00:37:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-24 00:48:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 00:52:12 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-24 00:53:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-24 01:01:31 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-06-24 01:02:52 +0200 | <haskellbridge> | <magic_rb> What am i even looking at |
| 2025-06-24 01:02:55 +0200 | <haskellbridge> | <magic_rb> Im so confuswd |
| 2025-06-24 01:04:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 01:04:28 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-24 01:04:59 +0200 | <ski> | @where impossible |
| 2025-06-24 01:05:00 +0200 | <lambdabot> | <http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/>,<http://math.andrej.com/2008/11/21/a-haskell-monad-for-infinite-search-in-finite-time/> |
| 2025-06-24 01:07:09 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-24 01:08:44 +0200 | jespada | (~jespada@r179-25-124-186.dialup.adsl.anteldata.net.uy) (Ping timeout: 245 seconds) |
| 2025-06-24 01:09:05 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
| 2025-06-24 01:09:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-24 01:11:47 +0200 | jespada | (~jespada@r179-25-200-182.dialup.adsl.anteldata.net.uy) jespada |
| 2025-06-24 01:15:30 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-06-24 01:20:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 01:25:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-06-24 01:28:01 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-06-24 01:29:45 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-06-24 01:30:49 +0200 | acidjnk | (~acidjnk@p200300d6e70b6636cdb308402753529f.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-06-24 01:31:36 +0200 | trickard__ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-24 01:33:06 +0200 | trickard__ | trickard |
| 2025-06-24 01:33:24 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Ping timeout: 276 seconds) |
| 2025-06-24 01:36:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 01:41:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-24 01:46:44 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-06-24 01:51:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 01:54:38 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 272 seconds) |
| 2025-06-24 01:55:06 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-06-24 01:56:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-24 02:02:25 +0200 | jespada | (~jespada@r179-25-200-182.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds) |
| 2025-06-24 02:04:37 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-24 02:04:50 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-24 02:06:12 +0200 | Nosrep | (~jimothy@user/nosrep) Nosrep |
| 2025-06-24 02:06:24 +0200 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2025-06-24 02:07:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 02:12:37 +0200 | <Nosrep> | anyone notice IntMap being noticeably slower than HashMap Int? |
| 2025-06-24 02:13:14 +0200 | <Nosrep> | for context i've got a very large (maxes out at a million but i dont actually know how big it is) being added (and removed from if it hits a million) and looked up constantly |
| 2025-06-24 02:13:25 +0200 | <Nosrep> | very large map* |
| 2025-06-24 02:13:34 +0200 | <Nosrep> | seems weird because i'd expect intmap to be more specialized |
| 2025-06-24 02:14:18 +0200 | <EvanR> | noticeably slower |
| 2025-06-24 02:14:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-24 02:14:51 +0200 | <EvanR> | in the sense that 999999 is noticably less than a million, or what |
| 2025-06-24 02:15:22 +0200 | <EvanR> | 10% slower? |
| 2025-06-24 02:16:22 +0200 | <EvanR> | the cool part of IntMap is the theoretical constant costs |
| 2025-06-24 02:17:19 +0200 | <Nosrep> | uhhh |
| 2025-06-24 02:17:22 +0200 | <Nosrep> | let me check |
| 2025-06-24 02:17:54 +0200 | <Nosrep> | 16% slower if using the hashmap int as a baseline |
| 2025-06-24 02:18:56 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-24 02:19:01 +0200 | <geekosaur> | I've heard that claim a few times and I think the docs warn of it as well. IntMap is actually a different tree structure as well as having the key specialization, and for some (many?) use cases it may work out slower; you're supposed to benchmark both as needed |
| 2025-06-24 02:19:28 +0200 | <geekosaur> | oh, yuou're comparing to HashMap. IntMap is a fingertree. hashing will usually be faster |
| 2025-06-24 02:19:59 +0200 | <geekosaur> | you use IntMap when you want things a tree can do but hashes can't, specifically ordered access |
| 2025-06-24 02:20:46 +0200 | <Nosrep> | oh ok |
| 2025-06-24 02:22:11 +0200 | <Nosrep> | i guess ill stick with hashmaps then ordered isnt really a factor |
| 2025-06-24 02:22:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-24 02:23:10 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-24 02:25:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 02:26:06 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-06-24 02:30:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-06-24 02:41:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 02:46:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-24 02:46:41 +0200 | kadobanana | (~mud@user/kadoban) kadoban |
| 2025-06-24 02:47:13 +0200 | mud | (~mud@user/kadoban) (Ping timeout: 248 seconds) |
| 2025-06-24 02:48:35 +0200 | RageD | (~unk@user/RageD) RageD |
| 2025-06-24 02:53:09 +0200 | xff0x | (~xff0x@2405:6580:b080:900:55ec:c9f:e8b1:7eb5) (Ping timeout: 252 seconds) |
| 2025-06-24 02:55:44 +0200 | RageD | (~unk@user/RageD) () |
| 2025-06-24 02:56:10 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-24 02:56:24 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-24 02:57:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 02:59:13 +0200 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) (Ping timeout: 252 seconds) |
| 2025-06-24 03:00:34 +0200 | RageD | (~unk@user/RageD) RageD |
| 2025-06-24 03:00:46 +0200 | RageD | (~unk@user/RageD) (Client Quit) |
| 2025-06-24 03:02:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-06-24 03:02:11 +0200 | <EvanR> | .oO( patricia / radix tree is also a finger tree ?) |
| 2025-06-24 03:03:00 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-24 03:03:12 +0200 | mud | (~mud@user/kadoban) kadoban |
| 2025-06-24 03:03:45 +0200 | kadobanana | (~mud@user/kadoban) (Ping timeout: 276 seconds) |
| 2025-06-24 03:05:04 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-24 03:06:07 +0200 | RageD | (~unk@user/RageD) RageD |
| 2025-06-24 03:06:46 +0200 | RageD | (~unk@user/RageD) (Client Quit) |
| 2025-06-24 03:07:58 +0200 | RageD | (~unk@2600:8800:b4c0:1c:7125:4d80:491c:152a) |
| 2025-06-24 03:08:34 +0200 | RageD | (~unk@2600:8800:b4c0:1c:7125:4d80:491c:152a) (Client Quit) |
| 2025-06-24 03:09:10 +0200 | RageD | (~unk@user/RageD) RageD |
| 2025-06-24 03:10:50 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-06-24 03:12:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 03:14:48 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 276 seconds) |
| 2025-06-24 03:15:29 +0200 | RageD | (~unk@user/RageD) (Ping timeout: 248 seconds) |
| 2025-06-24 03:17:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-24 03:18:38 +0200 | FANTOM | (~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds) |
| 2025-06-24 03:19:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-06-24 03:23:00 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-06-24 03:25:09 +0200 | mange | (~mange@user/mange) mange |
| 2025-06-24 03:27:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2025-06-24 03:28:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 03:28:58 +0200 | FANTOM | (~fantom@33be818f.skybroadband.com) |
| 2025-06-24 03:29:49 +0200 | FANTOM | (~fantom@33be818f.skybroadband.com) (Read error: No route to host) |
| 2025-06-24 03:33:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-06-24 03:35:04 +0200 | FANTOM | (~fantom@33be818f.skybroadband.com) |
| 2025-06-24 03:35:30 +0200 | mud | (~mud@user/kadoban) (Ping timeout: 252 seconds) |
| 2025-06-24 03:35:35 +0200 | kadobanana | (~mud@user/kadoban) kadoban |
| 2025-06-24 03:39:33 +0200 | <int-e> | EvanR: yeah that was wrong |
| 2025-06-24 03:41:03 +0200 | <int-e> | tries do have digits though |
| 2025-06-24 03:44:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 03:50:37 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-24 03:50:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-24 03:51:26 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-06-24 03:54:58 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-24 03:58:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-24 03:59:13 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
| 2025-06-24 04:02:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 04:07:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-24 04:11:33 +0200 | ft | (~ft@p3e9bcab0.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-06-24 04:13:24 +0200 | ft | (~ft@p3e9bc4ba.dip0.t-ipconnect.de) ft |
| 2025-06-24 04:17:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 04:23:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-06-24 04:23:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-06-24 04:23:50 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-06-24 04:29:19 +0200 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2025-06-24 04:33:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 04:34:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-24 04:35:04 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-24 04:35:17 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-24 04:37:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-24 04:38:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-06-24 04:49:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 04:54:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-24 04:56:17 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 248 seconds) |
| 2025-06-24 05:05:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 05:10:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-24 05:16:21 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc0:300:cecc:24db:2c1b:968d) aforemny |
| 2025-06-24 05:18:00 +0200 | aforemny | (~aforemny@i577B12AC.versanet.de) (Ping timeout: 268 seconds) |
| 2025-06-24 05:18:27 +0200 | trickard_ | trickard |
| 2025-06-24 05:20:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 05:25:03 +0200 | lol_ | (~lol@2603:3016:1e01:b960:bc51:80a4:4f7b:b6fb) |
| 2025-06-24 05:27:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-06-24 05:29:16 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b960:99e3:ef0a:3cb8:6763) (Ping timeout: 276 seconds) |
| 2025-06-24 05:30:49 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-24 05:31:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 05:33:36 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-24 05:33:50 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-24 05:36:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-24 05:40:06 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-06-24 05:40:24 +0200 | califax | (~califax@user/califx) califx |
| 2025-06-24 05:42:21 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-06-24 05:43:25 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-06-24 05:44:39 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-06-24 05:45:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-06-24 05:45:23 +0200 | sim590 | (~simon@2001:18c0:a82:2400::9fb) (Quit: WeeChat 4.6.3) |
| 2025-06-24 05:47:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 05:49:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-24 05:50:29 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-24 05:52:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-06-24 05:58:07 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-06-24 05:58:22 +0200 | Bad_K4rMa | (uid452915@user/Bad-K4rMa:28376) Bad_K4rMa |
| 2025-06-24 05:59:32 +0200 | dutchie | (~dutchie@user/dutchie) (Ping timeout: 265 seconds) |
| 2025-06-24 05:59:51 +0200 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2025-06-24 06:00:41 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-24 06:00:56 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-24 06:02:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 06:07:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-06-24 06:10:10 +0200 | lol_ | jcarpenter2 |
| 2025-06-24 06:11:18 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-06-24 06:12:39 +0200 | img | (~img@user/img) img |
| 2025-06-24 06:18:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 06:23:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-24 06:27:46 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-24 06:33:23 +0200 | Bad_K4rMa | (uid452915@user/Bad-K4rMa:28376) () |
| 2025-06-24 06:34:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 06:37:15 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-06-24 06:37:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-06-24 06:38:48 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-24 06:39:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-24 06:41:59 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-24 06:50:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 06:50:16 +0200 | michalz | (~michalz@185.246.207.201) |
| 2025-06-24 06:52:44 +0200 | puke | (~puke@user/puke) (Quit: puke) |
| 2025-06-24 06:54:18 +0200 | puke | (~puke@user/puke) puke |
| 2025-06-24 06:55:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-06-24 06:58:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-24 07:05:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 07:07:39 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-06-24 07:10:09 +0200 | Nosrep | (~jimothy@user/nosrep) (Ping timeout: 248 seconds) |
| 2025-06-24 07:17:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-24 07:21:13 +0200 | soverysour | (~soverysou@84.232.150.142) |
| 2025-06-24 07:21:14 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
| 2025-06-24 07:21:14 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
| 2025-06-24 07:28:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 07:31:29 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 248 seconds) |
| 2025-06-24 07:33:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-06-24 07:37:55 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-06-24 07:46:56 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-24 07:51:13 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
| 2025-06-24 07:57:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-06-24 08:05:25 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 2025-06-24 08:20:26 +0200 | shaeto | (~Shaeto@94.25.234.84) |
| 2025-06-24 08:22:41 +0200 | <[exa]> | is there a common pattern/recommendation for the "usual" concurrent haskell on how to communicate with a worker thread that is processing&answering requests asynchronously? |
| 2025-06-24 08:23:16 +0200 | <[exa]> | I thought I'd make some kind of a Chan as an input, and people would also push in an empty MVar (or such) into the request as a channel for the answer. |
| 2025-06-24 08:31:44 +0200 | <Leary> | [exa]: I have this lying around: https://gist.github.com/LSLeary/e139dfe025e2ed5a47040106b321dbc3 |
| 2025-06-24 08:32:40 +0200 | <[exa]> | Leary: you're best, thanks! |
| 2025-06-24 08:33:08 +0200 | <[exa]> | any particular reason for choosing TMVar for sending the results back? |
| 2025-06-24 08:34:19 +0200 | <[exa]> | (I assume that's for stm capability + put semantics?) |
| 2025-06-24 08:35:05 +0200 | <Leary> | Just so you can leverage STM when waiting on multiple results. You can replace it with `MVar` and `Chan` if you prefer. |
| 2025-06-24 08:35:52 +0200 | <[exa]> | ok perfect, thanks for confirm! |
| 2025-06-24 08:51:19 +0200 | soverysour | (~soverysou@84.232.150.142) soverysour |
| 2025-06-24 08:51:19 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
| 2025-06-24 08:51:19 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
| 2025-06-24 08:54:50 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-24 08:55:36 +0200 | <[exa]> | Leary: the "try work" part is underrated |
| 2025-06-24 08:56:18 +0200 | hsw_ | hsw |
| 2025-06-24 08:56:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 09:00:01 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-06-24 09:00:41 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-06-24 09:01:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-06-24 09:02:07 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-06-24 09:03:53 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-06-24 09:04:39 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-06-24 09:06:27 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-24 09:08:29 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-06-24 09:21:27 +0200 | Square2 | (~Square@user/square) Square |
| 2025-06-24 09:22:27 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-06-24 09:24:28 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-06-24 09:27:29 +0200 | acidjnk | (~acidjnk@p200300d6e70b6636cdb308402753529f.dip0.t-ipconnect.de) acidjnk |
| 2025-06-24 09:29:41 +0200 | trickard_ | trickard |
| 2025-06-24 09:33:47 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-06-24 09:35:04 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-24 09:35:43 +0200 | <tomsmeding> | magic_rb: this Thursday I'll be here, sorry https://conf.researchr.org/home/dfdm-2025 |
| 2025-06-24 09:36:01 +0200 | <tomsmeding> | same city though |
| 2025-06-24 09:37:19 +0200 | <tomsmeding> | magic_rb: what time and where? If it's close by I may sneak out (if you want to send that privately, my email is here https://tomsmeding.com/ ) |
| 2025-06-24 09:37:29 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 245 seconds) |
| 2025-06-24 09:40:29 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: Leaving) |