Viewing profile — crux

I strongly agree with the premise of this article, which is why I am surprised that the author moved away from Haskell to Python. For some time now it’s felt clear (or at least ext…

Hi HN! Seven years ago I posted the very first version of PANTAGRUEL (my phone has started autocorrecting to all-caps; I have no idea why but I like it), a “lightweight formal meth…

Thank you - I wrote that! Happy to discuss further if anyone has any thoughts.

I came away with the exact same conclusion as you. The article describes a rather commonplace career of fraud; more or less every industry has them. There’s nothing unique to class…

Hi all—I'm the EM for the Search team at Notion, and I want to chime in to clear up one unfortunate misconception I've seen a few times in this thread. Notion does not sell its use…

Tarot (tarock, tarok, tarokk, tarocchi) games are all played with five suits.

Teach your kids Tarock, not Bridge. Ok, that phrasing is mostly just to keep the pattern going. But I do want to bring to light the fact that there are actually a larger class of g…

Here’s the home page for my static site generator, generated, of course, by the static site generator: https://bagatto.co/

I’ve written a fairly long literate program in Literate: https://blog.zdsmith.com/whist.html I really enjoyed the experience. It came out well and it was relatively painless to com…