| 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) |