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