Newest at the top
| 2026-05-27 11:38:24 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-27 11:36:00 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 245 seconds) |
| 2026-05-27 11:34:24 +0000 | Googulator | (~Googulato@84-236-52-41.pool.digikabel.hu) |
| 2026-05-27 11:34:18 +0000 | rekahsoft | (~rekahsoft@70.51.99.119) rekahsoft |
| 2026-05-27 11:31:38 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-05-27 11:28:43 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-27 11:28:18 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-05-27 11:27:04 +0000 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 252 seconds) |
| 2026-05-27 11:25:16 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-27 11:24:48 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2026-05-27 11:24:04 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 245 seconds) |
| 2026-05-27 11:20:04 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-27 11:17:24 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2026-05-27 11:14:27 +0000 | Googulator | (~Googulato@84-236-52-41.pool.digikabel.hu) (Quit: Client closed) |
| 2026-05-27 11:08:55 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-27 11:07:04 +0000 | tristanC | (~tristanC@user/tristanc) (Ping timeout: 276 seconds) |
| 2026-05-27 11:05:47 +0000 | rainbyte | (~rainbyte@181.47.219.31) rainbyte |
| 2026-05-27 11:05:34 +0000 | tristanC_ | (~tristanC@2602:61:719c:2a00:79ae:b4c0:259b:64c7) |
| 2026-05-27 11:04:49 +0000 | rainbyte | (~rainbyte@181.47.219.31) (Read error: Connection reset by peer) |
| 2026-05-27 11:02:30 +0000 | CiaoSen | (~Jura@dynamic-046-114-251-175.46.114.pool.telefonica.de) CiaoSen |
| 2026-05-27 10:59:02 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2026-05-27 10:55:17 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-05-27 10:49:23 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2026-05-27 10:43:17 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-05-27 10:41:03 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-27 10:33:27 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-05-27 10:30:34 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-27 10:27:22 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-05-27 10:26:49 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2026-05-27 10:26:15 +0000 | Lord_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 +0000 | nattkyrro | (~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 +0000 | CiaoSen | (~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 +0000 | danza | (~danza@user/danza) danza |
| 2026-05-27 09:38:14 +0000 | xff0x | (~xff0x@182.169.73.28) (Ping timeout: 254 seconds) |
| 2026-05-27 09:34:22 +0000 | nitrix | (~nitrix@user/meow/nitrix) (Ping timeout: 246 seconds) |
| 2026-05-27 09:34:02 +0000 | nitrix_ | (~nitrix@user/meow/nitrix) nitrix |
| 2026-05-27 09:32:50 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-27 09:30:47 +0000 | akegalj | (~akegalj@141-136-200-56.dsl.iskon.hr) akegalj |
| 2026-05-27 09:30:39 +0000 | michalz | (~michalz@185.246.207.222) |