Santhosh Raju

I do Open Source & FreeBSD/NetBSD systems work by night and enterprise backend engineering by day. Easily distracted by technology, video games and craft beers. Originally from Kerala, India, based in Berlin, Germany.

Currently taking care of Supply Chain and Finance systems pipelines and integrations at HelloFresh SE. If you are interested in the details of my work you can find my resume at https://resume.port0.in/.

Earlier

Kernel work — co-authored uvm_hotplug(9), a portable memory hotplug API for NetBSD.
Formal verification of distributed protocols — TLA+ proofs and Erlang implementations.
- An introduction to formal verification on the Moritz Systems blog.
- Voucher system verification using TLA+ on the Moritz Systems blog.
Secure messaging in Go — CoyIM / OTRv4.

I write occasionally at blog.port0.in — mostly opinionated notes on BSD, debugging, and engineering culture.

Off-hours

BSD / Nix / pkgsrc / packages / hardware hacking.
A love of porting top(1)-like tools to NetBSD — btop, htop, gotop, bottom, glances, psutil, gopsutil.
Way too many video games — gave a World of Warcraft talk on software discipline.
- Archive of the Interview by Gamer District for Foresight's 100th Lich King 25 Heroic kill.
Co-founded and helped run KeK, a community hackerspace in Kovalam.
- Fixing up the dreaded Error 003 in a Wii.
- One Lock to Unlock Them All — the electronic door lock project at KeK.

Open Source

NetBSD — core committer & pkgsrc developer; co-authored uvm_hotplug(9), 15+ pkgsrc packages.
FreeBSD — ports committer; 15+ ports (babashka, opengist, headscale, pdfrip).
- Featured in the FreeBSD Journal Nov/Dec 2019 — New Faces of FreeBSD interview.
Annot — Linux/NixOS port maintainer; human-in-the-loop annotation tool for AI workflows.
SICvm — SIC/XE virtual machine in C. B.Tech thesis (2005), BSD-licensed in 2014.
decant — Android notification filter framework using JavaScript via Rhino. JSFoo 2016.

Earlier

Off-hours

Open Source

Elsewhere