2025/11/08

Newest at the top

2025-11-08 18:32:09 +0100Square2(~Square4@user/square) (Ping timeout: 252 seconds)
2025-11-08 18:27:32 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-08 18:25:44 +0100Googulator19(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-08 18:25:39 +0100Googulator90(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-08 18:24:37 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds)
2025-11-08 18:16:26 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-08 18:11:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-08 18:09:13 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-11-08 18:08:06 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Client Quit)
2025-11-08 18:08:03 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-11-08 18:07:43 +0100 <EvanR> O(1) program start time
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)