Posts

RSS feed

Exploring functional programming, programming languages, static analysis, and software engineering.

  1. Instruction Fusion in Virtual Machines

    Stack-based virtual machines usually leave a lot to be desired in terms of optimization - we can begin to bridge that gap with instruction fusion

    14 min readinstruction-fusionvirtual-machinesprogramming-languagesbackends

  2. M81 and M82 After Twenty-One Hours

    A wide-field look at Bode's Galaxy and the Cigar Galaxy after roughly twenty-one hours of integration across three nights.

    2 min readastrophotographygalaxiesdeep-skyhdr-processingm81m82

  3. Stack Safety for Free

    Functions over lists, in general, are quite easy to make stack safe. However, how does one make stack safe computations over a tree, or a computation that builds up a tree?

    6 min readpurescriptstack-safetytail-recursioncontinuation-passing-style