> DO NOT USE: Tag with the library you mean, [api-design], or something else appropriate instead. Questions asking us to recommend or find an API are off-topic.
@EriktheOutgolfer Yeah, I saw that, but my "job" was just fixing the typo. OP had clearly intended to use that tag despite the warning (they didn't see due to the typo).
@Adám still, if OP had intended to use that tag, you should've removed it with a comment like "the [api] shouldn't be used, regardless of the typo" and kill two birds with one stone
@Adám hm, I still haven't found documentation regarding the ⌶-beams
@Adám The problems themselves might be a too general to claim any intellectual property rights on them. But the paper might benefit from using shorter expressions, if some are found here on PPCG.
the Towers of Hanoi looks like it could be simplified too, but it will take me some time to do it
@Adám for the Gray code there's an obvious -2 in the subtitle: 1∘,∘⊖ -> 1,⊖ but he might have made it deliberately similar to 1∘, which generates binary words in their natural order
@ngn Yeah. Then it would apply equally to both. ! calculates how many with such a rule-set, and ? gives you one or more random ones using that rule-set.
@ngn I still don't like having count and generate on the same primitive when we already have a count and generate primitives. And the sorting is not really related to the problem at all.'
@EriktheOutgolfer right... but sorting a matrix so that every two consecutive rows differ by exactly 1 element is not so straightforward (the Gray code option)
@EriktheOutgolfer also, I'm guessing it might be more efficient to generate combinatorial structures in a certain order, not necessarily lexicographic
@ngn yeah me too, however that doesn't make the 2 option make more sense ;)
(also, the syntax is godawful, why don't the three parameters represented as the first element of the operator's left operand get represented as three separate elements instead‽)
@EriktheOutgolfer I mean, you have two-or-three flags (or ints) encoded as a single int in the left argument
@EriktheOutgolfer if you imagine a right triangle with two cathetes and a hypotenuse, ○'s left arg encodes what we know and what we are trying to find with the corresponding trig function
@EriktheOutgolfer Yeah, I really don't understand the syntax decision. Both M?N and M!N mean take/count M from N, so why didn't they let ‼ have the same sort of syntax? M(ReturnType‼LabelledBalls LabelledBoxes BallsPerBox)N, similar to the syntax of Rank ⍤. One could even make the return type optional by allowing a "diminutive" call M‼LabelledBalls LabelledBoxes BallsPerBox⊢N similar to how X@B⊢Y is the same as X⊣¨@B⊢Y.
No, wait, I forgot that that isn't even a shadow. The logo is flat and consists of a white D and two brown irregular shapes on a three-tone orange hexagonal background.
