About the service
I develop applied and research software in Limbo — the concurrent language of the Inferno operating system, executed by the Dis virtual machine. Over the years I have built device drivers, network services, file servers delivered over the Styx protocol, and small distributed utilities that remain readable precisely because parallelism is expressed through channels and the CSP model rather than locks and shared memory. Usually the work starts with a short project note: I decompose the task into communicating processes, decide which messages flow over which channels, and sketch how work parallelizes and assembles back together. Then — careful modules in Limbo with small interfaces and verification of Dis bytecode both under hosted Inferno and on the target platform where the code will live. I am familiar with the awkward places: garbage-collected references crossing process boundaries, alt constructs without starvation, correct timeouts and cancellation, and the quirks of building Dis tooling on modern systems. I also restore old Limbo code that stopped compiling, document it and leave a reproducible build. If you have an embedded task, a distributed prototype, a retro or educational project around Inferno, or just need someone who reads the language fluently — I can help. The deliverable includes commented source code, module signatures, a build recipe, a test bench and explanations of how channels connect. I explain tradeoffs in plain language and keep the design compact enough for your team to maintain it themselves.
