#unikernels — Public Fediverse posts

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!

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!

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!

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!

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!

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

🎉 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

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

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

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

🥱 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

Toro: Deploy Applications as Unikernels

https://github.com/torokernel/torokernel

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

StardustOS: Library operating system for building light-weight Unikernels

https://github.com/StardustOS

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

StardustOS: Library operating system for building light-weight Unikernels

https://github.com/StardustOS

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

StardustOS: Library operating system for building light-weight Unikernels

https://github.com/StardustOS

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

StardustOS: Library operating system for building light-weight Unikernels

https://github.com/StardustOS

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

StardustOS: Library operating system for building light-weight Unikernels

https://github.com/StardustOS

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

Unikernel Linux (UKL) (2023)

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

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

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

"Containers and Unikernels: Conceptually Similar, Fundamentally Different, and Inextricably Intertwined."

https://unikraft.io/blog/containers-and-unikernels/

🤔

#unikernels #containers #deployment

And, yes, this is the end of my vacation! After one year of doing some #OCaml stuff at http://robur.coop, I would like to synthesis what is going on about #unikernels and #MirageOS!

First Unikraft hackathon for 2023 to take place at the National Technical University of Athens, March 30-31. https://unikraft.org/community/hackathons/2023-03-athens/ #unikernels #virtualization #hackathon

Hab gerade zum ersten Mal von #Unikernels gehört (von dem arroganten Type, dem ihr nicht folgen solltet, war ein Boost: https://mastodon.ar.al/@aral/108389409189766613 )
Hier längere Erklärung, was Unikernels sind: https://www.cloudcomputing-insider.de/was-sind-unikernels-a-886192/

Jetzt bin ich verdutzt: Nachvollziehbar, dass Unikernels für z.B. Appliance-Hardware schlau sind. Aber sobald du Netzwerktechnik brauchst, brauchst du doch schon einen komplexen Netzwerkstack, Protokolllayer, etc.pp.? #Nodejs als Unikernel, hä?

"Unikernels"

https://unzip.dev/0x005-unikernels/

#unikernels

@bitkeks Do you know #unikernels?

"With unikernels-as-processes model, the problem disappears.

You want to tweak IP protocol implementation? Yeah, sure. Find an existing IP library on GitHub, patch it as needed and link it to your application. Done. Anyone can run it on their off-the-shelf OS."

http://250bpm.com/blog:138

#unikernels

Hi. I'm a long time (#ethernet/#IP) packet #networking nerd. I am easily excited by functional programming (#OCaml, F#), #unikernels (any kind!), ISAs that aren't x86 or ARM (PowerPC & MIPS), and domain specific languages for domains I'm interested in (think packet forwarding & control planes -- #P4, propane, cocoon, #NetKAT).

I'm working on affordable, alternative (to google, cloudflare, etc), turn-key infrastructure built exclusively on F/OSS with a focus on Mastodon instances.