| 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 |
| 2026-05-27 12:29:07 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2026-05-27 12:39:37 +0000 | crazazy | (crazazy@tilde.town) crazazy |
| 2026-05-27 12:44:07 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 2026-05-27 12:49:18 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-27 12:52:38 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2026-05-27 13:09:54 +0000 | bggd | (~bgg@2a01:e0a:fd5:f510:de44:8722:cabb:d935) |
| 2026-05-27 13:09:54 +0000 | bggd | (~bgg@2a01:e0a:fd5:f510:de44:8722:cabb:d935) (Changing host) |
| 2026-05-27 13:09:54 +0000 | bggd | (~bgg@user/bggd) bggd |
| 2026-05-27 13:13:27 +0000 | akegalj | (~akegalj@141-136-200-56.dsl.iskon.hr) (Quit: leaving) |
| 2026-05-27 13:21:59 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2026-05-27 13:23:19 +0000 | synchromesh | (~john@2406:5a00:247e:1500:e887:d028:4756:6802) (Read error: Connection reset by peer) |
| 2026-05-27 13:24:35 +0000 | synchromesh | (~john@2406:5a00:247e:1500:d530:488b:442c:8d03) synchromesh |
| 2026-05-27 13:26:49 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2026-05-27 13:44:18 +0000 | CiaoSen | (~Jura@dynamic-046-114-251-175.46.114.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2026-05-27 13:46:12 +0000 | CiaoSen | (~Jura@2a02:3030:ec:15d4:4e50:ddff:fe9b:8922) CiaoSen |
| 2026-05-27 13:52:15 +0000 | CiaoSen | (~Jura@2a02:3030:ec:15d4:4e50:ddff:fe9b:8922) (Ping timeout: 245 seconds) |
| 2026-05-27 13:54:32 +0000 | CiaoSen | (~Jura@2a02:3035:bec:a1b9:4e50:ddff:fe9b:8922) CiaoSen |
| 2026-05-27 13:58:30 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-27 14:02:40 +0000 | danza | (~danza@user/danza) danza |
| 2026-05-27 14:03:53 +0000 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-05-27 14:04:47 +0000 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2026-05-27 14:13:05 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-05-27 14:13:27 +0000 | Square3 | (~Square4@user/square) Square |
| 2026-05-27 14:13:33 +0000 | danza | (~danza@user/danza) danza |
| 2026-05-27 14:17:58 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-05-27 14:18:12 +0000 | danza | (~danza@user/danza) danza |
| 2026-05-27 14:45:35 +0000 | CiaoSen | (~Jura@2a02:3035:bec:a1b9:4e50:ddff:fe9b:8922) (Quit: CiaoSen) |
| 2026-05-27 14:54:53 +0000 | Googulator | (~Googulato@84-236-52-41.pool.digikabel.hu) (Quit: Client closed) |
| 2026-05-27 14:55:08 +0000 | Googulator | (~Googulato@84-236-52-41.pool.digikabel.hu) |
| 2026-05-27 15:00:58 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-27 15:04:33 +0000 | xff0x | (~xff0x@2405:6580:b080:900:b2b9:302e:b8cd:53cf) |
| 2026-05-27 15:06:47 +0000 | Googulator | (~Googulato@84-236-52-41.pool.digikabel.hu) (Quit: Client closed) |
| 2026-05-27 15:07:04 +0000 | Googulator | (~Googulato@84-236-52-41.pool.digikabel.hu) |
| 2026-05-27 15:23:35 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2026-05-27 15:25:52 +0000 | danza7296 | (~danza@user/danza) danza |
| 2026-05-27 15:27:36 +0000 | danza | (~danza@user/danza) (Read error: Connection reset by peer) |
| 2026-05-27 15:28:48 +0000 | Googulator | (~Googulato@84-236-52-41.pool.digikabel.hu) (Quit: Client closed) |
| 2026-05-27 15:29:03 +0000 | Googulator | (~Googulato@84-236-52-41.pool.digikabel.hu) |
| 2026-05-27 15:37:07 +0000 | <janus> | what's the difference between the nightly branch and the master branch of stackage? |
| 2026-05-27 15:43:48 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-27 15:46:17 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2026-05-27 16:00:54 +0000 | CiaoSen | (~Jura@46.114.152.196) CiaoSen |
| 2026-05-27 16:05:15 +0000 | CiaoSen | (~Jura@46.114.152.196) (Ping timeout: 252 seconds) |
| 2026-05-27 16:10:19 +0000 | danza7296 | (~danza@user/danza) (Remote host closed the connection) |
| 2026-05-27 16:11:22 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-05-27 16:15:19 +0000 | myme | (~myme@2a01:799:d5e:5f00:7465:8784:7b55:3048) (Ping timeout: 245 seconds) |
| 2026-05-27 16:16:23 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 272 seconds) |
| 2026-05-27 16:17:33 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-05-27 16:17:38 +0000 | myme | (~myme@2001:4656:2f1b:0:719f:bfdf:da25:d03a) myme |
| 2026-05-27 16:29:38 +0000 | nitrix_ | nitrix |
| 2026-05-27 16:35:12 +0000 | ft | (~ft@p4fc2aedc.dip0.t-ipconnect.de) ft |
| 2026-05-27 16:35:50 +0000 | <gentauro> | janus: the name? |
| 2026-05-27 16:36:49 +0000 | <gentauro> | on a serious note, master (or main) should most likely be latest LTS while nightly would be latest packages. |
| 2026-05-27 16:37:12 +0000 | <janus> | that's definitely not true as you can see the lts is in https://github.com/commercialhaskell/lts-haskell |
| 2026-05-27 16:37:49 +0000 | <janus> | i think nightly branch is just a bit behind because they do not always make the build. so if there for example is a week with no curator available, master can move forward without the full build being made |
| 2026-05-27 16:37:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 16:37:52 +0000 | <gentauro> | janus: and once again Haskell world follow no kind of "sane" guidelines … |
| 2026-05-27 16:37:57 +0000 | <gentauro> | xD |
| 2026-05-27 16:39:38 +0000 | <janus> | i suppose my guess does not fit reality since nightly has the latest commit from may 14th while there is a stackage nightly snap shot from today |
| 2026-05-27 16:42:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 270 seconds) |
| 2026-05-27 16:44:18 +0000 | <int-e> | some of the versions in nightly are determined by hackage, aren't they |
| 2026-05-27 16:45:07 +0000 | haritz | (~hrtz@140.228.70.141) |
| 2026-05-27 16:45:08 +0000 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2026-05-27 16:45:08 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-05-27 16:46:35 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-05-27 16:48:01 +0000 | dtman34 | (~dtman34@2601:447:d17d:eaf2:8123:c1ff:6dae:d26b) (Ping timeout: 268 seconds) |
| 2026-05-27 16:53:30 +0000 | dtman34 | (~dtman34@2601:447:d17d:eaf2:8123:c1ff:6dae:d26b) dtman34 |
| 2026-05-27 16:53:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 16:53:57 +0000 | <janus> | i think the newest version is picked unless a constraint has been set, that is what build-constraint.yaml is for |
| 2026-05-27 16:54:41 +0000 | <int-e> | sure but the point is that nightly snapshots can change without stackage's corresponding master branch being modified |
| 2026-05-27 16:57:24 +0000 | Square2 | (~Square@user/square) Square |
| 2026-05-27 16:58:31 +0000 | dtman34_ | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2026-05-27 16:58:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-27 16:58:44 +0000 | dtman34 | (~dtman34@2601:447:d17d:eaf2:8123:c1ff:6dae:d26b) (Ping timeout: 256 seconds) |
| 2026-05-27 17:00:48 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2026-05-27 17:09:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 17:14:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-27 17:18:07 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-05-27 17:25:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 17:30:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-27 17:38:02 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-27 17:40:13 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-05-27 17:41:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 17:44:39 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-05-27 17:44:41 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 248 seconds) |
| 2026-05-27 17:46:19 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 272 seconds) |
| 2026-05-27 17:48:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 257 seconds) |
| 2026-05-27 17:59:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 18:03:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-27 18:11:32 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-05-27 18:14:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 18:19:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-27 18:28:02 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 248 seconds) |
| 2026-05-27 18:30:11 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-27 18:35:19 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-05-27 18:35:24 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 252 seconds) |
| 2026-05-27 18:35:34 +0000 | urdh | (~urdh@user/urdh) (Ping timeout: 276 seconds) |
| 2026-05-27 18:41:16 +0000 | urdh | (~urdh@user/urdh) urdh |
| 2026-05-27 18:45:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 18:46:05 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-05-27 18:51:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-27 19:04:33 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 252 seconds) |
| 2026-05-27 19:07:21 +0000 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2026-05-27 19:19:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 19:21:40 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-05-27 19:23:10 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:e40e:ff6:cf10:666f) |
| 2026-05-27 19:25:31 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:e40e:ff6:cf10:666f) (Client Quit) |
| 2026-05-27 19:26:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 263 seconds) |
| 2026-05-27 19:28:23 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-05-27 19:32:55 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-05-27 19:33:00 +0000 | kaol | (~kaol@94-237-45-144.nl-ams1.upcloud.host) kaol |
| 2026-05-27 19:33:18 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-05-27 19:34:08 +0000 | <janus> | int-e: if you look at master right now, you can see that mmzk-typeid was merged, and you can also see it in https://www.stackage.org/diff/nightly-2026-05-26/nightly-2026-05-27 |
| 2026-05-27 19:34:18 +0000 | <janus> | so we know that master feeds into the nightly snapshot |
| 2026-05-27 19:34:19 +0000 | sabino | (~sabino@user/sabino) sabino |
| 2026-05-27 19:34:31 +0000 | <janus> | but what is the nightly branch for then? |
| 2026-05-27 19:35:03 +0000 | <janus> | you're probably right that the versions feed into the snapshot too, but that does not help clear up the difference between the two branches |
| 2026-05-27 19:37:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 19:38:02 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-05-27 19:42:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-27 19:53:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 19:58:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-27 19:58:07 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 276 seconds) |
| 2026-05-27 20:05:23 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-05-27 20:09:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-27 20:13:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |