2024/08/22

Newest at the top

2024-08-22 11:24:12 +0200ash3en(~Thunderbi@2a02:3100:7f16:9100:608a:f1cc:9baf:7491) (Quit: ash3en)
2024-08-22 11:24:10 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-08-22 11:23:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-08-22 11:16:00 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-08-22 11:15:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-22 11:12:16 +0200alexherbo2(~alexherbo@2a02-8440-330d-60ad-6486-5b77-842e-76f1.rev.sfr.net)
2024-08-22 11:12:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-08-22 11:11:56 +0200alexherbo2(~alexherbo@2a02-8440-330d-60ad-6486-5b77-842e-76f1.rev.sfr.net) (Remote host closed the connection)
2024-08-22 11:07:26 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-22 10:56:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-08-22 10:52:03 +0200merijn(~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 +0200merijn(~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 +0200cfricke(~cfricke@user/cfricke)
2024-08-22 10:40:13 +0200youthlic(~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 +0200youthlic(~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 +0200ash3en(~Thunderbi@2a02:3100:7f16:9100:608a:f1cc:9baf:7491)
2024-08-22 10:32:16 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-22 10:30:02 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-08-22 10:29:56 +0200ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se)
2024-08-22 10:29:23 +0200ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2024-08-22 10:27:33 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 248 seconds)
2024-08-22 10:24:28 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Quit: on the move)
2024-08-22 10:23:39 +0200CiaoSen(~Jura@2a05:5800:2d3:fb00:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds)
2024-08-22 10:21:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-08-22 10:16:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-22 10:13:29 +0200gmg(~user@user/gehmehgeh)
2024-08-22 10:12:43 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2024-08-22 10:08:17 +0200RedFlamingos(~RedFlamin@user/RedFlamingos) (Ping timeout: 248 seconds)
2024-08-22 10:05:20 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-08-22 10:00:44 +0200merijn(~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 +0200neuroevolutus(~neuroevol@206.217.205.48) (Quit: Client closed)
2024-08-22 09:55:50 +0200paddymahoney(~paddymaho@pool-99-250-30-88.cpe.net.cable.rogers.com)
2024-08-22 09:51:57 +0200tomku(~tomku@user/tomku)
2024-08-22 09:51:43 +0200tomku(~tomku@user/tomku) (Ping timeout: 264 seconds)
2024-08-22 09:51:27 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-08-22 09:49:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)