| 2026-05-27 00:01:15 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-27 00:06:03 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 252 seconds) |
| 2026-05-27 00:09:54 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 252 seconds) |
| 2026-05-27 00:10:19 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
| 2026-05-27 00:31:27 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e54697d0770b7a8197d0.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2026-05-27 00:34:46 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-05-27 00:35:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 00:39:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-27 00:47:47 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-27 00:50:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 00:55:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-27 01:03:14 +0000 | xff0x | (~xff0x@2405:6580:b080:900:1cb7:6abf:b094:9cb2) (Ping timeout: 245 seconds) |
| 2026-05-27 01:05:49 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-27 01:07:10 +0000 | ChanServ | +o litharge |
| 2026-05-27 01:07:10 +0000 | litharge | -bo *!*@2600:387:f:a15::8 litharge |
| 2026-05-27 01:10:57 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 252 seconds) |
| 2026-05-27 01:15:23 +0000 | vfork | (~UID0_to_J@user/UID0-to-JSON:37295) UID0_to_JSON |
| 2026-05-27 01:21:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 01:26:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-27 01:34:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 01:37:40 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 245 seconds) |
| 2026-05-27 01:39:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 259 seconds) |
| 2026-05-27 01:40:20 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-27 01:45:13 +0000 | rainbyte | (~rainbyte@181.47.219.31) (Read error: Connection reset by peer) |
| 2026-05-27 01:47:16 +0000 | rainbyte | (~rainbyte@181.47.219.31) rainbyte |
| 2026-05-27 01:49:49 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-27 01:53:20 +0000 | sp1ff | (~user@2601:1c2:4080:14c0:5df2:f2f4:8a07:70ec) (Read error: Connection reset by peer) |
| 2026-05-27 01:53:35 +0000 | sp1ff | (~user@2601:1c2:4080:14c0:5df2:f2f4:8a07:70ec) sp1ff |
| 2026-05-27 01:54:57 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 252 seconds) |
| 2026-05-27 01:56:22 +0000 | ryou | (~haze@user/ryou) ryou |
| 2026-05-27 01:57:57 +0000 | sp1ff | (~user@2601:1c2:4080:14c0:5df2:f2f4:8a07:70ec) (Ping timeout: 246 seconds) |
| 2026-05-27 01:59:48 +0000 | UrbanNorminal | (~urbannorm@user/UrbanNorminal) UrbanNorminal |
| 2026-05-27 02:04:12 +0000 | sp1ff | (~user@2601:1c2:4080:14c0:5df2:f2f4:8a07:70ec) sp1ff |
| 2026-05-27 02:04:42 +0000 | UrbanNorminal | (~urbannorm@user/UrbanNorminal) (Ping timeout: 241 seconds) |
| 2026-05-27 02:05:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 02:05:50 +0000 | xff0x | (~xff0x@182.169.73.28) |
| 2026-05-27 02:08:42 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-05-27 02:08:59 +0000 | sp1ff | (~user@2601:1c2:4080:14c0:5df2:f2f4:8a07:70ec) (Ping timeout: 272 seconds) |
| 2026-05-27 02:12:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-27 02:14:33 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-27 02:17:53 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-05-27 02:18:24 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-27 02:23:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 02:28:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2026-05-27 02:39:26 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-27 02:44:27 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 252 seconds) |
| 2026-05-27 02:53:48 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 252 seconds) |
| 2026-05-27 02:55:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 02:56:32 +0000 | Katarushisu65 | (~Katarushi@81.99.103.8) |
| 2026-05-27 02:58:30 +0000 | Katarushisu6 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2026-05-27 02:58:30 +0000 | Katarushisu65 | Katarushisu6 |
| 2026-05-27 02:59:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-27 03:00:49 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-05-27 03:01:20 +0000 | UrbanNorminal | (~urbannorm@user/UrbanNorminal) UrbanNorminal |
| 2026-05-27 03:01:56 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-05-27 03:06:05 +0000 | UrbanNorminal | (~urbannorm@user/UrbanNorminal) (Read error: Connection reset by peer) |
| 2026-05-27 03:10:17 +0000 | UrbanNorminal | (~urbannorm@user/UrbanNorminal) UrbanNorminal |
| 2026-05-27 03:11:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 03:15:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-27 03:16:35 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-05-27 03:17:27 +0000 | UrbanNorminal | (~urbannorm@user/UrbanNorminal) (Ping timeout: 265 seconds) |
| 2026-05-27 03:19:41 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 243 seconds) |
| 2026-05-27 03:21:48 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 265 seconds) |
| 2026-05-27 03:27:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 03:32:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-27 03:33:34 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-27 03:35:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 03:37:59 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 267 seconds) |
| 2026-05-27 03:40:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-27 03:41:23 +0000 | UrbanNorminal | (~urbannorm@user/UrbanNorminal) UrbanNorminal |
| 2026-05-27 03:49:21 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-05-27 03:51:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 03:58:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 269 seconds) |
| 2026-05-27 04:02:38 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-05-27 04:09:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 04:13:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 257 seconds) |
| 2026-05-27 04:22:41 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-220-130.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2026-05-27 04:24:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 04:29:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-27 04:37:12 +0000 | CiaoSen | (~Jura@dynamic-046-114-251-175.46.114.pool.telefonica.de) CiaoSen |
| 2026-05-27 04:51:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 04:56:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-27 04:59:45 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2026-05-27 05:00:00 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-27 05:01:01 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-05-27 05:03:00 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-27 05:05:49 +0000 | bedbedbde | (~bedbedbde@user/bedbedbde) bedbedbde |
| 2026-05-27 05:07:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 05:12:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-05-27 05:13:26 +0000 | michalz | (~michalz@185.246.207.201) |
| 2026-05-27 05:23:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 05:27:15 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2026-05-27 05:28:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-05-27 05:31:40 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-27 05:32:40 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e54698efeb37c7e2227b.dip0.t-ipconnect.de) |
| 2026-05-27 05:37:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 05:38:10 +0000 | gadoevalex | (~gadoevale@185.241.7.178) |
| 2026-05-27 05:38:44 +0000 | gadoevalex | (~gadoevale@185.241.7.178) (Client Quit) |
| 2026-05-27 05:41:58 +0000 | CiaoSen | (~Jura@dynamic-046-114-251-175.46.114.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2026-05-27 05:44:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-27 05:51:50 +0000 | UrbanNorminal | (~urbannorm@user/UrbanNorminal) (Quit: WeeChat 4.8.1) |
| 2026-05-27 05:53:51 +0000 | CiaoSen | (~Jura@dynamic-046-114-251-175.46.114.pool.telefonica.de) CiaoSen |
| 2026-05-27 05:55:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 06:00:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-27 06:01:54 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds) |
| 2026-05-27 06:01:59 +0000 | tusko_ | (~uwu@user/tusko) tusko |
| 2026-05-27 06:04:27 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2026-05-27 06:05:19 +0000 | tusko | (~uwu@user/tusko) (Ping timeout: 252 seconds) |
| 2026-05-27 06:10:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 06:15:33 +0000 | oats | (~oats@user/oats) (Read error: Connection reset by peer) |
| 2026-05-27 06:15:48 +0000 | oats | (~oats@user/oats) oats |
| 2026-05-27 06:15:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-27 06:23:25 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-27 06:23:29 +0000 | Pozyomka | (~pyon@user/pyon) (Client Quit) |
| 2026-05-27 06:25:46 +0000 | Rakua | (~Rakua@dynamic-176-005-209-000.176.5.pool.telefonica.de) |
| 2026-05-27 06:26:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 06:28:30 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-27 06:31:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 249 seconds) |
| 2026-05-27 06:38:26 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-05-27 06:40:09 +0000 | Rakua | (~Rakua@dynamic-176-005-209-000.176.5.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2026-05-27 07:01:12 +0000 | bedbedbde | (~bedbedbde@user/bedbedbde) (Quit: bedbedbde) |
| 2026-05-27 07:03:43 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-05-27 07:11:34 +0000 | <Axman6> | Is there a good reason why we couldn't have unboxed arrays of statically known length in data types in GHC? So, something like data MyRGB = MyRGB {someFlags :: !Int, theChannels :: !(UnboxedVec# 3 Float)} where thefloats are stored inline? Basically equivalent to data MyRGB = MyRGB {flags :: !Int, red, blue, green :: !Float}, but indexable |
| 2026-05-27 07:14:13 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2026-05-27 07:14:18 +0000 | <Axman6> | I can see why allowing the length to be part of the type would cause issues, but in the case of statically known length it feels like it should work? Mostly wondering if we can do something at all akin to flexible array members (without the flexible, but also without the extra indirection a SmallArray or something would add) |
| 2026-05-27 07:15:07 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-05-27 07:18:37 +0000 | <Axman6> | jaror: this question was inspired by your vector-simple package btw. RE: that package, I would recommend against using widely used module names like Data.Vector, maybe something like Data.Vector.Small or Data.Vector.Simple would be more appropriate. (you also need to update the metadata at the top of the modules, I'm pretty sure the Haskell Libraries Team isn't the maintainer right?) |
| 2026-05-27 07:18:38 +0000 | michalz | (~michalz@185.246.207.201) (Read error: Connection reset by peer) |
| 2026-05-27 07:18:51 +0000 | michalz | (~michalz@185.246.207.217) |
| 2026-05-27 07:22:46 +0000 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-05-27 07:24:10 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-27 07:36:58 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-27 07:37:50 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-05-27 07:40:14 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-05-27 07:49:40 +0000 | <jaror> | Axman6: I've already changed the module name to Data.Array.Simple (and the package name to array-simple) I will still update the module metadata before publishing. |
| 2026-05-27 07:52:05 +0000 | <jaror> | Regarding your other question: the linear package provides V0,V1,V2,V3,V4, which you can use for that purpose, for example: `data MyRGB = MyRGB {someFlags :: !Int, theChannels :: {-# UNPACK #-} !(V3 Float)}` |
| 2026-05-27 07:54:11 +0000 | chele | (~chele@user/chele) chele |
| 2026-05-27 07:54:37 +0000 | <jaror> | Although you probably want to define `_r, _g, _b` lenses rather than the standard `_x`, `_y`, `_z`. |
| 2026-05-27 08:03:30 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Quit: KVIrc 5.2.8 Quasar http://www.kvirc.net/) |
| 2026-05-27 08:07:42 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-27 08:10:57 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Client Quit) |
| 2026-05-27 08:11:31 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-27 08:16:05 +0000 | ft | (~ft@p4fc2aedc.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-05-27 08:17:19 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2026-05-27 08:17:49 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-05-27 08:28:20 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 266 seconds) |
| 2026-05-27 08:37:10 +0000 | <mangoiv> | Axman6 isn't that just an unboxed tuple. |
| 2026-05-27 08:41:26 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-27 08:41:55 +0000 | <Axman6> | jaror: yeah, I guess I'm following the path that lead Ed to the birth of lens in the first place |
| 2026-05-27 08:42:29 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Client Quit) |
| 2026-05-27 08:42:47 +0000 | <Axman6> | mangoiv: eh, in one way, but that doesn't give you index :: UnboxedArr# n a -> Int -> a, for all n |
| 2026-05-27 08:43:06 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-27 08:44:39 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-05-27 08:44:55 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-05-27 08:46:13 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Client Quit) |
| 2026-05-27 08:50:29 +0000 | jonnie | (~jonnie@user/jonnie) (Read error: Connection reset by peer) |
| 2026-05-27 08:50:43 +0000 | jonnie | (~jonnie@user/jonnie) jonnie |
| 2026-05-27 08:54:42 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e53288db76fae8cf16d1.dip0.t-ipconnect.de) |
| 2026-05-27 08:57:24 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e54698efeb37c7e2227b.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-05-27 09:02:03 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-27 09:05:05 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-27 09:08:14 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-05-27 09:14:51 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in) |
| 2026-05-27 09:17:05 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2026-05-27 09:26:09 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2026-05-27 09:28:18 +0000 | michalz | (~michalz@185.246.207.217) (Ping timeout: 248 seconds) |
| 2026-05-27 09:30:39 +0000 | michalz | (~michalz@185.246.207.222) |
| 2026-05-27 09:30:47 +0000 | akegalj | (~akegalj@141-136-200-56.dsl.iskon.hr) akegalj |
| 2026-05-27 09:32:50 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-27 09:34:02 +0000 | nitrix_ | (~nitrix@user/meow/nitrix) nitrix |
| 2026-05-27 09:34:22 +0000 | nitrix | (~nitrix@user/meow/nitrix) (Ping timeout: 246 seconds) |
| 2026-05-27 09:38:14 +0000 | xff0x | (~xff0x@182.169.73.28) (Ping timeout: 254 seconds) |
| 2026-05-27 09:55:31 +0000 | danza | (~danza@user/danza) danza |
| 2026-05-27 09:56:33 +0000 | <mangoiv> | that function doesn't have the right type... |
| 2026-05-27 09:56:59 +0000 | <mangoiv> | also you could trivially auto generate these functions with e.g. TH. |
| 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 10:01:03 +0000 | <mangoiv> | what you really want is have `a :: TYPE rep` |
| 2026-05-27 10:01:28 +0000 | <mangoiv> | and then `UnboxArr# 3 Int#` |
| 2026-05-27 10:01:57 +0000 | <mangoiv> | which is the same as (# Int#, Int#, Int# #) |
| 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:11:15 +0000 | <tomsmeding> | with some typeclassconstraint on `rep`, presumably? |
| 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: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: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:21:25 +0000 | nattkyrro | (~serenity@user/nattkyrro) (Ping timeout: 269 seconds) |
| 2026-05-27 10:22:03 +0000 | <Axman6> | yeah absolutely |
| 2026-05-27 10:26:15 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 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:27:22 +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:33:27 +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:43:17 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-05-27 10:49:23 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2026-05-27 10:55:17 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-05-27 10:59:02 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2026-05-27 11:02:30 +0000 | CiaoSen | (~Jura@dynamic-046-114-251-175.46.114.pool.telefonica.de) CiaoSen |
| 2026-05-27 11:04:49 +0000 | rainbyte | (~rainbyte@181.47.219.31) (Read error: Connection reset by peer) |
| 2026-05-27 11:05:34 +0000 | tristanC_ | (~tristanC@2602:61:719c:2a00:79ae:b4c0:259b:64c7) |
| 2026-05-27 11:05:47 +0000 | rainbyte | (~rainbyte@181.47.219.31) rainbyte |
| 2026-05-27 11:07:04 +0000 | tristanC | (~tristanC@user/tristanc) (Ping timeout: 276 seconds) |
| 2026-05-27 11:08:55 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-27 11:14:27 +0000 | Googulator | (~Googulato@84-236-52-41.pool.digikabel.hu) (Quit: Client closed) |
| 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:20:04 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 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:24:48 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 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:27:04 +0000 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 252 seconds) |
| 2026-05-27 11:28:18 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-05-27 11:28:43 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-27 11:31:38 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-05-27 11:34:18 +0000 | rekahsoft | (~rekahsoft@70.51.99.119) rekahsoft |
| 2026-05-27 11:34:24 +0000 | Googulator | (~Googulato@84-236-52-41.pool.digikabel.hu) |
| 2026-05-27 11:36:00 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 245 seconds) |
| 2026-05-27 11:38:24 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-27 12:09:43 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |