Newest at the top
| 2025-03-26 13:37:01 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-03-26 13:36:48 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 268 seconds) |
| 2025-03-26 13:36:48 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-03-26 13:35:20 +0100 | <Athas> | Bowuigi: not directly, they are an orthogonal issue. And they certainly have somewhat bad error messages, even with the tricks Jeremy pulls in that paper. |
| 2025-03-26 13:34:41 +0100 | <tomsmeding> | note that the Acc-nap.pdf link also cheats with OverloadedLists in section 3 |
| 2025-03-26 13:33:08 +0100 | <tomsmeding> | but as we're talking about a user-facing API here, and I don't think users will ever need to be polymorphic over arrays and tuples in numeric code, I'm not sure that particular generality is very valuable here |
| 2025-03-26 13:32:28 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-26 13:32:05 +0100 | <tomsmeding> | I guess it also allows putting tuples on the same footing as vectors |
| 2025-03-26 13:31:26 +0100 | <tomsmeding> | Bowuigi: looking at that first link, and reading section 1.3 plus the definition of Naperian at the bottom of page 9, it seems to me that this is "just" saying "make your API nested single-dimensional arrays"? |
| 2025-03-26 13:26:39 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 2025-03-26 13:23:30 +0100 | Shsl-Junko-POSER | (~Shsl-Junk@50.235.208.178) |
| 2025-03-26 13:22:13 +0100 | alp | (~alp@2001:861:8ca0:4940:dd1f:b4e6:4fbb:e5d8) (Ping timeout: 248 seconds) |
| 2025-03-26 13:22:01 +0100 | xff0x | (~xff0x@2405:6580:b080:900:d2df:bcfa:d5c3:4ebd) |
| 2025-03-26 13:21:17 +0100 | <haskellbridge> | <Bowuigi> Do naperian functors help with shapes? https://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/aplicative.pdf https://nickx.hu/Acc-nap.pdf |
| 2025-03-26 13:18:03 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-26 13:17:39 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 260 seconds) |
| 2025-03-26 13:14:51 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-26 13:13:58 +0100 | ash3en | (~Thunderbi@149.222.157.169) (Ping timeout: 252 seconds) |
| 2025-03-26 13:12:24 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2025-03-26 13:07:31 +0100 | ethantwardy | (user@user/ethantwardy) ethantwardy |
| 2025-03-26 13:07:20 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-26 13:06:09 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-03-26 13:05:34 +0100 | ethantwardy | (user@user/ethantwardy) (Quit: WeeChat 4.4.2) |
| 2025-03-26 13:05:21 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 268 seconds) |
| 2025-03-26 13:02:38 +0100 | cross | (~cross@spitfire.i.gajendra.net) cross |
| 2025-03-26 13:01:57 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-03-26 12:55:27 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-03-26 12:55:03 +0100 | sprotte24 | (~sprotte24@p200300d16f097d0088a61901ba3f264c.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-03-26 12:50:53 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-26 12:47:29 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-03-26 12:46:44 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-26 12:44:34 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-03-26 12:43:09 +0100 | <tomsmeding> | I guess you could put $o + \sum_{k=1}^n s_k * i_k$ in the title in lieu of a name, but that won't go over very well, I fear |
| 2025-03-26 12:42:08 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-03-26 12:42:03 +0100 | <tomsmeding> | Athas: the title of that half-page paper has a chicken-and-egg problem though |
| 2025-03-26 12:39:39 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:586:19c0:87cb:b0ff) |
| 2025-03-26 12:33:22 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-03-26 12:33:22 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host) |
| 2025-03-26 12:32:56 +0100 | saimazoon | (~hrtz@user/haritz) (Ping timeout: 272 seconds) |
| 2025-03-26 12:32:27 +0100 | <tomsmeding> | I don't think orthotope tries to give it _any_ name. I didn't know "LMAD" so I use "orthotope-style strides" in my code whenever it comes up. |
| 2025-03-26 12:32:09 +0100 | <Athas> | Someone needs to write a half page paper titled "this is what this thing is called". |
| 2025-03-26 12:31:49 +0100 | <Athas> | tomsmeding: too bad everyone has their own name for this representation. LMAD is also somewhat of a misnomer; it's from autoparallelisation papers that try to analyse the intended multidimensional structure based on flat index arithmetic. |
| 2025-03-26 12:31:31 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) |
| 2025-03-26 12:30:21 +0100 | alp | (~alp@2001:861:8ca0:4940:dd1f:b4e6:4fbb:e5d8) |
| 2025-03-26 12:29:29 +0100 | <tomsmeding> | Athas: section 3.1 of the FunMem paper is very unsurprising to me, so I guess that's a good thing |
| 2025-03-26 12:29:24 +0100 | xff0x | (~xff0x@2405:6580:b080:900:6185:acb4:363b:5fd3) (Ping timeout: 260 seconds) |
| 2025-03-26 12:28:49 +0100 | ash3en | (~Thunderbi@149.222.157.169) ash3en |
| 2025-03-26 12:26:05 +0100 | <tomsmeding> | and yes, these things have IsList instances, but that's cheating |
| 2025-03-26 12:25:17 +0100 | <tomsmeding> | I think you get the point. :) |
| 2025-03-26 12:25:08 +0100 | <tomsmeding> | the (:$$) and ZSS are for shaped shapes, not for mixed shapes |