Saying Goodbye to one line of APL

(homewithinnowhere.com)

87 points | by tosh 4 days ago

8 comments

  • harperlee 1 day ago
    APL was designed to be written on a chalkboard (if I remember the story right). It is quite dense, and programs are quite small. Reading is slow and requires you to ponder about what was written. You can hold a lot of content in a small amount of 'ink'.

    Now, an idea: HN is always complaining that an ipad (or any other tablet) is a consumption device, as it is not designed to be used with keyboard/mouse. Do any of you know if there is an app where you can write APL with a stylus, and has the ability to evaluate expression on the fly, similar to a repl? That would be an awesome thing to do.

  • NetMageSCW 1 day ago
    My favorite APL one liner reduces spans of consecutive spaces in a string to one space by doing boolean algebra on the vector of which characters are spaces. APL provided me with a whole different perspective on vector style operation (it was my second language to be familiar with after Basic due to finding an APL introductory book at a discount shop). I find that way of thinking has been very helpful in developing with LINQ in C# and my personal library has many methods inspired by APL operators.
    • icen 1 day ago
      Do you remember what it was? This is how I would spell that in BQN, and you could write something very similar in APL (you don't have shift, so you'd have to write 1 drop 0 cat swap instead)

          ((«¬∘∧⊢)' '=⊢)⊸/
      
      This works by building a boolean mask of spaces, and converting it to a mask of 'is a space, preceded by a space', negates that, and replicates out by that inverted mask (i.e. is not a space preceded by a space):

      Here's stepping through it with some input.

             (' '=⊢)  "this  is a  sentence with       many   spaces"
          ⟨ 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 ⟩
             («' '=⊢)  "this  is a  sentence with       many   spaces"
          ⟨ 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 ⟩
             ((«∧⊢)' '=⊢)  "this  is a  sentence with       many   spaces"
          ⟨ 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 ⟩
             ((«¬∘∧⊢)' '=⊢)  "this  is a  sentence with       many   spaces"
          ⟨ 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 ⟩
             ((«¬∘∧⊢)' '=⊢)⊸/  "this  is a  sentence with       many   spaces"
          "this is a sentence with many spaces"
      • xelxebar 10 hours ago
        With an OR 2-scan, you can avoid the negation. Here's how I'd do it in APL: {⍵⌿⍨2∨⌿0⍪' '≠⍵}. In general, I find that boolean 2-scans pop up quite a bit in real-world APL usage. It's worth working through them. I have a short article [0] on the subject, if you're interested.

        It's also worth thinking through how all 16 boolean operators work on boolean masks. E.g. what do msk≠msk2, msk<msk2, msk≤msk2 etc. mean? In my experience, the important part is to find crisp domain-specific meanings for these patterns. In general, really, that's how you gain APL fluency. In the same way that reading fluency requires chunking so that letters "disappear", APL fluency requires familiarity with semantic phrases, so you stop thinking in the individual symbols.

        [0]:https://blog.wilsonb.com/posts/2023-07-24-suggestivity-and-i...

        • kcroarkin 6 hours ago
          (crossing fingers I one shot formatting correctly) I use 2-wise for figuring out which water surfaces to draw: ⍉l⊤⍸∊(chunk=¯1)(2>⌿⍤2⍪⍤2)⊢0⍴⍨⊃l

          - ⍪⍤2 add padding on top of surface of bit mask of water

          - 2>⌿⍤2 identify where surface is exposed by seeing if air comes after water vertically

          - ⍉l⊤⍸∊ collapse and get where water is in chunk position format row-by-row

      • dzaima 1 day ago
        Some alternative spellings:

            (¬∘∧⟜«' '=⊢)⊸/
            (¬·«⊸∧' '=⊢)⊸/
            {¬«⊸∧' '=x}⊸/ # should have double-struck x here (U+1D569), but hn removes it
        • icen 23 hours ago
          There's also the much less vector oriented spelling:

              (1 ∾˜ "  "⊸(¬∘⍷))⊸/
          
          which removes the first space of each occurrence of double spacing
      • tosh 23 hours ago
        in k:

          s:"this  is a  sentence with       many   spaces"
          
          s@&~0&':s=" "
        • pillmillipedes 19 hours ago
          s@&~&':^s would be a bit shorter. is-null(^) also works on spaces
  • brudgers 2 days ago
    • tosh 1 day ago
      ty, I accidentally submitted the url with anchor
  • tosh 1 day ago
    The youtube channel has a few videos of the voxel game in action: https://www.youtube.com/@namgyaaal
  • i_don_t_know 23 hours ago
    Here’s some helpful background information on the project: https://news.ycombinator.com/item?id=47872891

    In particular, it has diagrams of the data structures and how the algorithm operates on them.

  • TruffleLabs 1 day ago
    FYI Page certificate is bad (expired, wrong, etc.).
    • kcroarkin 1 day ago
      Author here. D’oh! Thanks for catching that. I have no idea what I’m doing web dev wise and made this site to talk about my APL experience. Will try to fix this when time permits.
    • CodesInChaos 1 day ago
      Qualys doesn't find any problems (though it's possible OP fixed them since your comment). The only clients that fail are Windows XP and 10 year old Mac OS/iOS.

      https://www.ssllabs.com/ssltest/analyze.html?d=homewithinnow...

    • TacticalCoder 1 day ago
      I see nothing wrong here: Firefox and Chromium are both happy.

          Issued On Saturday, May 2, 2026 at 2:44:13 AM
          Expires On Friday, July 31, 2026 at 2:44:12 AM
          Certificate d87df94f5e922e0637aaff31768405813764ca7dadcafbd051bf48898860fb8f
          Public Key a9bd7eee0bb4f1e12431ca8fab0a70591b8966dad8226db84f53791e2d81c9e3
  • kimjune01 20 hours ago
    numpy is the APL reincarnate
    • icen 20 hours ago
      Numpy doesn’t quite get it. It covers the core verbs, but it opts for specialised names instead of using adverbs (you can apply your own, but it’s much more laborious).

      Once you see +/, you understand ,/ or fn/ - whereas you have to remember that it’s written sum, concatenate, or np.ufunc.accumulate in numpy. The same goes for +\ vs cumsum etc (and you don’t get all of these pre defined).

      The difference here means that whilst numpy gets the core array operations down, it’s much less convenient and less self explanatory than the apl system.

  • LoganDark 1 day ago
    > The core what it does seems ridiculously simple. So much so that when I initially considered this I didn’t think it would even be close to being performant. I mean, an interpreted language and all of these movements on large shapes at once!–doesn’t feel like it would be a good idea!!! I guess I was wrong? Doing this on a chunk sized `16 128 16` is pretty fast and I’m able to fly around the map at high speeds (TBA: me demoing this live in a presentation). This kind of boggled my mind and broke my intuitions of what I considered good patterns, at least in the domain of APL.

    I wonder what makes it so fast? Is it similar to how GHC can fuse/inline ops and such?

    • i_don_t_know 20 hours ago
      Iirc, the interpreter recognizes common idioms (sequences of 2-4 operations) and has optimized fused implementations for those idioms that avoid intermediate results.

      It can also avoid creating intermediate results for quite a few operations, because for example reverse, transpose, etc only change how the arrays are traversed (order in which elements are accessed). You can reuse the original data and change the indexing information. That’s known as beating and dragging.