2026/05/27

Newest at the top

2026-05-27 11:38:24 +0000Inline(~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline
2026-05-27 11:36:00 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 245 seconds)
2026-05-27 11:34:24 +0000Googulator(~Googulato@84-236-52-41.pool.digikabel.hu)
2026-05-27 11:34:18 +0000rekahsoft(~rekahsoft@70.51.99.119) rekahsoft
2026-05-27 11:31:38 +0000emilym(~Thunderbi@user/emilym) emilym
2026-05-27 11:28:43 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-05-27 11:28:18 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2026-05-27 11:27:04 +0000fgarcia(~lei@user/fgarcia) (Ping timeout: 252 seconds)
2026-05-27 11:25:16 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-05-27 11:24:48 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds)
2026-05-27 11:24:04 +0000Inline(~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 245 seconds)
2026-05-27 11:20:04 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-05-27 11:17:24 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds)
2026-05-27 11:14:27 +0000Googulator(~Googulato@84-236-52-41.pool.digikabel.hu) (Quit: Client closed)
2026-05-27 11:08:55 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-05-27 11:07:04 +0000tristanC(~tristanC@user/tristanc) (Ping timeout: 276 seconds)
2026-05-27 11:05:47 +0000rainbyte(~rainbyte@181.47.219.31) rainbyte
2026-05-27 11:05:34 +0000tristanC_(~tristanC@2602:61:719c:2a00:79ae:b4c0:259b:64c7)
2026-05-27 11:04:49 +0000rainbyte(~rainbyte@181.47.219.31) (Read error: Connection reset by peer)
2026-05-27 11:02:30 +0000CiaoSen(~Jura@dynamic-046-114-251-175.46.114.pool.telefonica.de) CiaoSen
2026-05-27 10:59:02 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 265 seconds)
2026-05-27 10:55:17 +0000danza(~danza@user/danza) (Remote host closed the connection)
2026-05-27 10:49:23 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2026-05-27 10:43:17 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2026-05-27 10:41:03 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-05-27 10:33:27 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2026-05-27 10:30:34 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-05-27 10:27:22 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2026-05-27 10:26:49 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds)
2026-05-27 10:26:15 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-05-27 10:22:03 +0000 <Axman6> yeah absolutely
2026-05-27 10:21:25 +0000nattkyrro(~serenity@user/nattkyrro) (Ping timeout: 269 seconds)
2026-05-27 10:13:30 +0000 <tomsmeding> those two cases probably need to be distinct on the heap representation level, because one contains pointers and the other does not
2026-05-27 10:12:50 +0000 <Axman6> there's possibly two cases here, an inline array of boxed values, and an inline array of unboxed values all stored in the same object
2026-05-27 10:12:20 +0000 <tomsmeding> and re auto-generating projection functions using TH: that would generate stupid core with a conditional instead of simply dereferencing (heap object) + index * (sizeof element), right?
2026-05-27 10:11:15 +0000 <tomsmeding> with some typeclassconstraint on `rep`, presumably?
2026-05-27 10:02:14 +0000CiaoSen(~Jura@dynamic-046-114-251-175.46.114.pool.telefonica.de) (Ping timeout: 257 seconds)
2026-05-27 10:01:57 +0000 <mangoiv> which is the same as (# Int#, Int#, Int# #)
2026-05-27 10:01:28 +0000 <mangoiv> and then `UnboxArr# 3 Int#`
2026-05-27 10:01:03 +0000 <mangoiv> what you really want is have `a :: TYPE rep`
2026-05-27 10:00:44 +0000 <mangoiv> also mind that in general a datatype like `UnboxedVec# n a` isn't possible because `a` can't always be stored inline. that's why we have the `Unbox` class.
2026-05-27 09:56:59 +0000 <mangoiv> also you could trivially auto generate these functions with e.g. TH.
2026-05-27 09:56:33 +0000 <mangoiv> that function doesn't have the right type...
2026-05-27 09:55:31 +0000danza(~danza@user/danza) danza
2026-05-27 09:38:14 +0000xff0x(~xff0x@182.169.73.28) (Ping timeout: 254 seconds)
2026-05-27 09:34:22 +0000nitrix(~nitrix@user/meow/nitrix) (Ping timeout: 246 seconds)
2026-05-27 09:34:02 +0000nitrix_(~nitrix@user/meow/nitrix) nitrix
2026-05-27 09:32:50 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-05-27 09:30:47 +0000akegalj(~akegalj@141-136-200-56.dsl.iskon.hr) akegalj
2026-05-27 09:30:39 +0000michalz(~michalz@185.246.207.222)