Vanessa McHale's blog (13)
  • 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.

  • Compiler Performance in Haskell

    by Vanessa McHale | Haskell

    I stumbled across a comment by András Kovács on compiler performance, which brought up some of the difficulties writing adequate compilers in lower-level languages such as C++ or Rust.

  • Keto Is Terrible for Weight Loss

    by Vanessa McHale | Anorexia

    Recently, a preprint by Hall et al. was published: a comparison of keto and plant-based diets. The gist of it is that a low-fat plant-based diet is more satiating than keto; those eating an unlimited plant-based diet will eat less than those eating an unlimited keto diet.

  • Strict Data Structures Do Not Improve Performance

    by Vanessa McHale | Haskell

    I have seen "strict data structures, lazy functions" bandied about among Haskellers. This is bad advice. Preferable is "know what you are doing."

    |