2025/11/08

Newest at the top

2025-11-08 18:05:51 +0100Googulator99(~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed)
2025-11-08 18:05:46 +0100 <int-e> mmap being O(1) should be questioned also
2025-11-08 18:05:39 +0100Googulator19(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-08 18:05:13 +0100 <int-e> EvanR: for that use case you can start out with an empty map.
2025-11-08 18:02:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-08 17:57:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-08 17:47:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-11-08 17:46:08 +0100trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-11-08 17:45:55 +0100trickard(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-08 17:45:49 +0100talismanick(~user@2601:644:937c:ed10::b832) (Ping timeout: 260 seconds)
2025-11-08 17:45:45 +0100Googulator99(~Googulato@77-234-89-36.pool.digikabel.hu)
2025-11-08 17:45:30 +0100Googulator99(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-08 17:43:43 +0100Square2(~Square4@user/square) Square
2025-11-08 17:42:29 +0100 <acarrico> In emacs, in the dante minor-mode source code, C-c C-c is bound to 'dante-exec, but in my buffer it is bound to haskell-process-cabal-build (from haskell-mode). I thought that the minor mode binding should trump the major mode, no?
2025-11-08 17:41:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-08 17:40:19 +0100acarrico(~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) acarrico
2025-11-08 17:40:10 +0100annamalai(~annamalai@157.33.220.201) annamalai
2025-11-08 17:37:59 +0100 <EvanR> not sure how IntMap has "O(1)" initialization
2025-11-08 17:37:17 +0100 <EvanR> SrPx, off the top of my head, if you stored an array in a compact region, serialized it and static linked it into the exe, then used FFI to get it and restore it as a region
2025-11-08 17:31:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-08 17:30:49 +0100Googulator99(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-08 17:30:44 +0100Googulator77(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-08 17:28:25 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-11-08 17:27:37 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
2025-11-08 17:26:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-08 17:19:09 +0100 <SrPx> it is really annoying that there is no way in Haskell to create a map from Int to a user-defined ADT that 1. indexing is O(1) and as fast as array, 2. has O(1) initialization. in C, we can mmap an array of pointers and achieve that just fine. in Haskell, native arrays have O(N) initialization and O(1) indexing, and IntMap has O(1) initialization but O(log(N)) indexing...
2025-11-08 17:16:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-11-08 17:10:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-08 17:04:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-11-08 17:02:39 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
2025-11-08 17:01:37 +0100annamalai(~annamalai@157.33.208.56) (Ping timeout: 250 seconds)
2025-11-08 17:00:17 +0100Pozyomka(~pyon@user/pyon) (Quit: WeeChat 4.7.1)
2025-11-08 16:58:13 +0100talismanick(~user@2601:644:937c:ed10::b832) talismanick
2025-11-08 16:57:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-08 16:48:19 +0100Square3(~Square@user/square) Square
2025-11-08 16:46:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-08 16:41:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-08 16:39:29 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-11-08 16:39:24 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-11-08 16:30:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-11-08 16:26:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-08 16:26:01 +0100 <EvanR> so the text version of the value appears like a legitimate expression which would compute it
2025-11-08 16:25:02 +0100 <EvanR> to the rest
2025-11-08 16:24:49 +0100 <EvanR> requires "fromList" then applies fromList
2025-11-08 16:24:03 +0100 <EvanR> "skip" ?
2025-11-08 16:19:49 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-11-08 16:16:29 +0100 <haskellbridge> <Morj> *the case in the past
2025-11-08 16:16:25 +0100 <tomsmeding> that would've been a bug then :p
2025-11-08 16:16:16 +0100 <haskellbridge> <Morj> Oh it does skip fromList? I'm almost sure this wasn't the case =)
2025-11-08 16:15:42 +0100Googulator72(~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed)