1
My First Unikernel
I wanted to make a simple REST service for queuing file uploads, deployable as a virtual machine. The traditional way to do this is to download a …
Thomas Leonard
- Popular posts
- 9
- Total points
- 1,384
- HN comments
- 555
- Rank
- #1,406 personal
Visit roscidus.com → On Hacker News Sep 2013 – Dec 2021
Software Engineering 6Systems & Performance 5Programming Languages 3Security & Privacy 2Open Source 1
2
Python to OCaml: Retrospective
In 2013, I spent 6 months converting 0install's 29,215 lines of Python to OCaml (learning OCaml along the way). In this post, I'll describe the …
3
OCaml: what you gain
Way back in June, in Replacing Python: second round, I wrote: The big surprise for me in these tests was how little you lose going from Python to …
4
Replacing Python
In the first post, I took a brief look at the programming languages ATS, C#, Go, Haskell, OCaml, Python and Rust to try to decide which would be the …
5
Using TLA+ to Understand Xen Vchan
The vchan protocol is used to stream data between virtual machines on a Xen host without needing any locks. It is largely undocumented. The TLA …
6
Replacing Python: candidates
This post evaluates the programming languages ATS, C#, Go, Haskell, OCaml, Python and Rust to try to decide which would be the best language in which …