Programming
  • Dimension Is a Functor

    by Vanessa McHale | Programming

    Dimension is a functor. This is true for points in space as well as arrays (more concretely).

  • A Gloss for Linear Logic

    by Vanessa McHale | Programming

    Linear logic is often introduced with unintuitive and contrived examples involving food. For computer scientists, linear logic is well motivated by memory management à la C.

  • Laconic J

    by Vanessa McHale | Programming

    One of the virtues of J is its conciseness; I think this is underrated in exploratory programming. Here I present some J one-liners alongside samples of other languages.

  • Performant Perceptual Hashing Using HIP and Repa

    by Vanessa McHale | Programming

    The canonical way to get a perceptual hash is using the pHash library. In fact, we can get nearly the same performance in Haskell using hip and repa.

  • Computer Science Is a Superset of Mathematics

    by Vanessa McHale | Programming

    Here I'd like to show an example of runtime complexity, arising from a practical problem.