Making software more functional
Essays on stack safety, production software, astrophotography, and hand-picked recipes. I hope that you find something that interests you!
Recent posts
All posts →-
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
-
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.
-
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?
Friends of the site
-
HARP Lab
High-assurance reasoning, program analysis, and systems research worth reading.
-
Henry Olson's site
Henry Olson's personal corner of the internet: OpenBSD, Haskell, Datalog, and journeys to the nerd kingdom.