Newest at the top
2024-08-22 11:30:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2024-08-22 11:24:12 +0200 | ash3en | (~Thunderbi@2a02:3100:7f16:9100:608a:f1cc:9baf:7491) (Quit: ash3en) |
2024-08-22 11:24:10 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-08-22 11:23:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-08-22 11:16:00 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
2024-08-22 11:15:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-22 11:12:16 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330d-60ad-6486-5b77-842e-76f1.rev.sfr.net) |
2024-08-22 11:12:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-08-22 11:11:56 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330d-60ad-6486-5b77-842e-76f1.rev.sfr.net) (Remote host closed the connection) |
2024-08-22 11:07:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-22 10:56:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-08-22 10:52:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-22 10:51:16 +0200 | __monty__ | (~toonn@user/toonn) |
2024-08-22 10:42:17 +0200 | <dminuoso> | Oh I see, file. |
2024-08-22 10:41:57 +0200 | <dminuoso> | Why not just realloc? |
2024-08-22 10:41:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-08-22 10:41:17 +0200 | <[exa]> | yeah I've got a generic reverse writer, write the whole thing into a dummy one to measure the size, then actually allocate (mmap) a file and write it for the reals |
2024-08-22 10:41:05 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-08-22 10:40:13 +0200 | youthlic | (~Thunderbi@user/youthlic) |
2024-08-22 10:40:12 +0200 | <dminuoso> | That sounds like something I would have told you about. |
2024-08-22 10:40:03 +0200 | <dminuoso> | Oh you mean with a reverse writer? |
2024-08-22 10:39:53 +0200 | <[exa]> | and sometimes there's a small binary blob in the skiplist, which is in bytestring before serialization |
2024-08-22 10:39:28 +0200 | <[exa]> | I'm writing a huge skiplist where the integer sizes vary, so I have to build it from "behind" to know how much to skip (thus knowing how much to allocate for the skips) |
2024-08-22 10:38:46 +0200 | <[exa]> | np :] |
2024-08-22 10:38:45 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
2024-08-22 10:38:32 +0200 | <dminuoso> | I cant quite recall, I'm sorry. |
2024-08-22 10:38:12 +0200 | <[exa]> | dminuoso: actually still working on that data structure I was asking about last time... I recall it was you sending me the custom binary writer, right? :] |
2024-08-22 10:35:27 +0200 | ash3en | (~Thunderbi@2a02:3100:7f16:9100:608a:f1cc:9baf:7491) |
2024-08-22 10:32:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-22 10:30:02 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-08-22 10:29:56 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) |
2024-08-22 10:29:23 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
2024-08-22 10:27:33 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 248 seconds) |
2024-08-22 10:24:28 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: on the move) |
2024-08-22 10:23:39 +0200 | CiaoSen | (~Jura@2a05:5800:2d3:fb00:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
2024-08-22 10:21:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-08-22 10:16:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-22 10:13:29 +0200 | gmg | (~user@user/gehmehgeh) |
2024-08-22 10:12:43 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2024-08-22 10:08:17 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) (Ping timeout: 248 seconds) |
2024-08-22 10:05:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-08-22 10:00:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-22 09:59:11 +0200 | <dminuoso> | Is there any chance you could perhaps just use the ForeignPtr itself? |
2024-08-22 09:59:05 +0200 | <dminuoso> | data ByteString = BS {-# UNPACK #-} !(ForeignPtr Word8) {-# UNPACK #-} !Int |
2024-08-22 09:58:19 +0200 | <dminuoso> | [exa]: Mind my asking, what is the context? |
2024-08-22 09:58:16 +0200 | neuroevolutus | (~neuroevol@206.217.205.48) (Quit: Client closed) |
2024-08-22 09:55:50 +0200 | paddymahoney | (~paddymaho@pool-99-250-30-88.cpe.net.cable.rogers.com) |
2024-08-22 09:51:57 +0200 | tomku | (~tomku@user/tomku) |
2024-08-22 09:51:43 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 264 seconds) |
2024-08-22 09:51:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |