Dinosaure3d ago
I am pleased to announce the launch of our mailing list [email protected]. You can view the announcement here: https://discuss.ocaml.org/t/ann-ptt-a-mailing-list-system-as-unikernel/17987. It brings to fruition all the work we have done on #unikernels and email, all in #OCaml!
[ANN] `ptt`, a mailing list system as unikernel

Hey! We just launched a new mailing list powered entirely by OCaml unikernels. The website (itself a unikernel) is at https://mailingl.st. You can subscribe to [email protected] by sending an email to [email protected] if you’re interested in the development and deployment of SMTP-related unikernels. Fair warning: this is still a public test mailing list for now. In the long run, it will focus on our ptt project. The SMTP protocol: a long and winding road! In the beginning, email It all ...

OCaml
n0tooseFeb 8

In case you're interested in #LibOS'es and #unikernels: Microsoft has seemingly published their own work-in-progress library operating system, which contains cool binary translation techniques as well as what seems to be an open-sourced implementation of Hyper-V fast hypercalls.

https://github.com/microsoft/litebox

GitHub - microsoft/litebox: A security-focused library OS supporting kernel- and user-mode execution

A security-focused library OS supporting kernel- and user-mode execution - microsoft/litebox

GitHub
N-gated Hacker NewsJan 22
🎉 Welcome to "Unikernels #for Dummies" - because who doesn't want to spend their #weekend #learning about the world's most exciting #tech buzzwords? 🤖 Dive into this community-reviewed, best-effort opus on how to build a kernel, because *everyone* needs more #compiler #errors in their life! 🛠️
https://labs.iximiuz.com/tutorials/unikernels-intro-93976514 #Unikernels #Dummies #Buzzwords #HackerNews #ngated
Hands-On Introduction to Unikernels | iximiuz Labs

Learn what a unikernel is and how it compares to a Linux container. Build and run your first unikernel inside a playground box.

iximiuz Labs
Hacker NewsJan 22

Hands-On Introduction to Unikernels

https://labs.iximiuz.com/tutorials/unikernels-intro-93976514

#HackerNews #Unikernels #Introduction #Hands-On #Tutorial #Tech #Innovation

Hands-On Introduction to Unikernels | iximiuz Labs

Learn what a unikernel is and how it compares to a Linux container. Build and run your first unikernel inside a playground box.

iximiuz Labs
Christian DietrichJan 14

Hiring: PhD Student / PostDoc in Systems Research

Join our team at TU Braunschweig to work on "Cumulus": OS/DBMS Co-Design for the Cloud. We are exploring Unikernels, novel OS abstractions, and Rust/C++ to eliminate overheads.

If you love low-level systems and compiler magic, this is for you!

📍 Braunschweig, Germany
💰 Full Position (TV-L E13)

Boosts appreciated! 🚀

https://www.ibr.cs.tu-bs.de/theses/vss/phd-vss-cumulus.html

#SystemsResearch #OSDev #RustLang #Cpp #PhDPosition #AcademicJobs #Germany #Unikernels

PhD Student/PostDoc for OS/DBMS Co-Design for the Cloud

Institute of Operating Systems and Computer Networks
N-gated Hacker NewsDec 30
🥱 Oh joy, another revolutionary way to make your life miserable with "unikernels" – because regular applications weren't complex enough. Just scroll past the endless GitHub jargon and pretend you understand developer workflows like a pro. 🚀 Spoiler: you probably won't use this, but feel smarter for reading about it. 😏
https://github.com/torokernel/torokernel #unikernels #developerworkflows #techhumor #complexapplications #gitjargon #softwaredevelopment #HackerNews #ngated
GitHub - torokernel/torokernel: This repository contains the source code of toro unikernel

This repository contains the source code of toro unikernel - torokernel/torokernel

GitHub
Hacker NewsDec 30

Toro: Deploy Applications as Unikernels

https://github.com/torokernel/torokernel

#HackerNews #Toro #Unikernels #Deployment #Applications #Technology #Innovation

GitHub - torokernel/torokernel: This repository contains the source code of toro unikernel

This repository contains the source code of toro unikernel - torokernel/torokernel

GitHub
Hacker NewsDec 5

StardustOS: Library operating system for building light-weight Unikernels

https://github.com/StardustOS

#HackerNews #StardustOS #Unikernels #LibraryOS #LightweightTech #CloudComputing

StardustOS

Stardust is a library operating system for building light-weight Unikernels - StardustOS

GitHub
Hacker NewsApr 18, 2025

Unikernel Linux (UKL) (2023)

https://dl.acm.org/doi/10.1145/3552326.3587458

#HackerNews #Unikernel #Linux #UKL #2023 #virtualization #unikernels #techinnovation

DinosaureMar 24, 2025
I'm really glad to share my last work about μTCP, #unikernels, effects and #OCaml 5. I talk about TCP/IP, #GADTs, and some useful data-structures. https://blog.robur.coop/articles/utcp_and_effects.html
Robur's blog - μTCP, Miou and unikernels

My experiment about the TCP/IP stack, effects and unikernels