Programming
  • 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.

  • Compiler Optimizations for Functional Languages

    by Vanessa McHale | Programming

    A question in compiler design is: what optimizations should a given compiler perform? Optimizations for functional languages in particular are not well-known; it is not obvious which optimizations will provide the greatest speedup on user code.

  • Termination Checking Is Theorem Proving

    by Vanessa McHale | Programming

    The totient function is defined for positive integers as:

  • Polyglot Is the Fastest Code-counting Tool Available

    by Vanessa McHale | Programming

    As you may know, I have been working on polyglot for some time now. It is now the second-most popular ATS project on github0 and it has reached a state of relative maturity.