| 14 Apr 2024 |
 brian_e | wonder how that works, docs time | 22:30:59 |
| brian_e | I couldn't find documentation on nested arrays as 𝕨 for ⊔. Could i get an explanation for [2‿3,4‿5]‿10⊔2‿2⥊"abcd" [BQN output](https://mlochbaum.github.io/BQN/try.html#code=4oqiIGEg4oaQICdhJyvipYrin5wo4oaVw5fCtCkz4oC/NQoKKCvijJzCtMK34oaVwqjiiaIp4oq44oqUIGE=)?
Seems like the 10 is deciding the size horizontally, meanwhile the array [2‿3,4‿5] is deciding the indecies of the values in the result, but the values are placed on the last collumn? | 22:52:55 |
 dzaima | first, ⟨[2‿3,4‿5], 10⟩ ⊔ 2‿2⥊"abcd" is ⟨2‿3‿4‿5, 10⟩ ⊔ "abcd" | 22:58:06 |
| dzaima | nested is described here | 22:58:43 |
| brian_e | oh missed it | 23:01:14 |
| dzaima | the shape requirements for nested 𝕨 𝕨⊔𝕩 are like s←∾≢¨𝕨 ⋄ ! (≠s) ≤ =𝕩 ⋄ ! s ≡ (≠s) ↑ ≢𝕩 or so | 23:08:17 |
| brian_e | docs said "If every element of 𝕨 is sorted ascending and has no ¯1s, we have 𝕩≡∾𝕨⊔𝕩, that is, Join is the inverse of partitioning" which is super cool, but isn't the following code a counterexample of that? or does that not include multidimensional args?
a←2‿2⥊"abcd"
a≡ •Show ∾[2‿3,4‿5]‿1⊔a # returns 0, and shows ["a"⋄"b"⋄"c"⋄"d"]
| 23:21:01 |
| dzaima | the matrix [2‿3,4‿5] presumably doesn't count as "sorted" here | 23:23:18 |
| dzaima | but even then I don't think that quote is particularly accurate | 23:24:27 |
| brian_e | o? | 23:24:40 |
| dzaima | oh wait no i tested wrong | 23:26:21 |
 Marshall | I probably wrote that before multidimensional elements were supported. | 23:41:43 |
| Marshall | "𝕨 must be a list of numeric lists" is wrong too isn't it. | 23:47:58 |
| 15 Apr 2024 |
| Marshall | All right, made some adjustments and added a little paragraph on how multidimensional elements of 𝕨 behave. A little vague but it's not a super important case. | 00:01:55 |
| Marshall | But this was a pretty bad gap in the documentation, thanks for reporting! | 00:02:15 |
| brian_e | I like the new version of it. quick request, can you split out the (10×↕4)+⌜↕7 and display it before the grouping? i think that would be nice | 00:29:11 |
| brian_e | especially since you can easily see what goes where at a glance | 00:32:21 |
| Marshall | Sure, added that. | 00:37:43 |
| brian_e | lovely, thanks :) | 00:38:01 |
|  gvolk0 changed their display name from pechkin to gvolk0. | 01:21:12 |
| 16 Apr 2024 |
|  @keshavhi:matrix.org left the room. | 12:51:22 |
|  andradefr8_26148 joined the room. | 17:32:04 |
|  tag_ferd11 joined the room. | 22:39:58 |
| dzaima banned  @thompson_plug:matrix.org. | 23:05:45 |
| 17 Apr 2024 |
|  elliottdonn joined the room. | 21:18:19 |
| elliottdonn | Redacted or Malformed Event | 21:19:33 |
| 18 Apr 2024 |
|  @ericwalter65:matrix.org joined the room. | 06:27:49 |
| @ericwalter65:matrix.org left the room. | 06:33:33 |
| 19 Apr 2024 |
|  mr_jamesrobert joined the room. | 01:52:56 |
| mr_jamesrobert | Redacted or Malformed Event | 01:53:25 |
