Creează un cont pentru a te abona la acest blog și a-i urmări articolele pe pagina Lectură.
-
I really like Tailwind CSS.
-
OCaml is a pragmatic functional language.
-
As discussed in a previous post, I have been working for a while on running Tailwind CSS without a Node.js dependency.
-
On 23 April, our pure-OCaml CCSDS protocol stack booted up in low Earth orbit!
-
On 15 April, the Cambridge Ring, the alumni society of the University of Cambridge Computer Laboratory, named our paper "Functional Networking for Millions of Docker Desktops" its Publication of the Year.
-
Tailwind CSS introduced a clever way to manage the HTML/CSS split: encode CSS properties as class names.
-
A satellite link is a radio signal between a ground station and a spacecraft moving at 7.5 km/s, visible for 10 minutes at a time, over a channel measured in kilobits per second.
-
In January 2026, two things happened that changed how satellite operators think about collision risk.
-
I have rewritten my website in OCaml more times than I can count (from ocaml-cow to Canopy to custom MirageOS unikernels).
-
Satellites are becoming software platforms.
-
Four years ago, Thales Alenia Space invited me into their integration hall in Cannes.
-
Back in 2012, Anil Madhavapeddy and I were building MirageOS as a library OS, and we started to accumulate a lot of libraries to manage manually.
-
The same conversation keeps happening.
-
Our 2013 ASPLOS paper, "Unikernels: Library Operating Systems for the Cloud", received a test-of-time award in March 2025.
-
Last week I attended the F Prime workshop at JPL, over 100 people, from CubeSat student teams to flagship mission engineers.
-
Hello world, finally this is live :-) The last couple of weeks have been pretty intense as I've been moving to LA with my family.