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