Programming
  • Don't Bother With LLVM for Hobby Compilers

    by Vanessa McHale | Programming

    LLVM is widely used for compilers (rustc, Swift, Kitten), particularly in tutorials (kaleidoscope), but it need not be a default.

  • Finding Haskell Libraries Used in an Executable

    by Vanessa McHale | Programming

    We can find all (Haskell) libraries linked against the final executable with:

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