Keyboard Mashings

Of a human being with opinions about things

Hi, I'm David. Sometimes when I have an idea I mash my keyboard and then post the result. Here you can find keyboard mashings about my life, computers, and other stuff.


GSoC Update: Week 6

  Tags: mirage ocaml unikernel gsoc

This week in GSoC: REST APIs and their specifications!


GSoC Update: Week 5

  Tags: mirage ocaml unikernel gsoc

Notes on some blockers I encountered over my family vacation.


GSoC Update: Weeks 3 and 4

  Tags: mirage ocaml unikernel gsoc

The first month of GSoC is already over! Time for some updates on my progress.


GSoC Update: Weeks 1 and 2

  Tags: mirage ocaml unikernel gsoc

It’s already week 3 of Google’s Summer of Code! Time for an update on what I accomplished in the first two weeks and what I’m looking to get done with the rest of this week.


Hosting Static Websites as Unikernels on Amazon Web Services

  Tags: mirage ocaml unikernel

Since being accepted as an intern with the Mirage OS project, I’ve been doing a lot of tinkering with unikernels. In particular, I’ve become convinced that hosting a static site as a unikernel has a lot of benefits over traditional methods. A unikernel is a secure way to self-host your site, which means you have control over your own content. But because unikernels are a relatively new technology and are still largely experimental, building your own with zero prior knowledge is hard. I’m hoping to lower that barrier to entry with this guide.


David Udelson
Cornell University '18
Ithaca, NY
My linkedin profile My github profile Contact me on twitter