#unikernels — Public Fediverse posts

Then, two years after developing this scheduler, the next step was to build a library on top of it for #unikernels. We followed the same pattern:
- we sat down to think very hard
- and we talked with others to broaden our perspective

And so, two years ago, we developed mkernel (https://github.com/robur-coop/mkernel) and presented it at the last #MirageOS retreat.

Then, two years after developing this scheduler, the next step was to build a library on top of it for #unikernels. We followed the same pattern:
- we sat down to think very hard
- and we talked with others to broaden our perspective

And so, two years ago, we developed mkernel (https://github.com/robur-coop/mkernel) and presented it at the last #MirageOS retreat.

Then, two years after developing this scheduler, the next step was to build a library on top of it for #unikernels. We followed the same pattern:
- we sat down to think very hard
- and we talked with others to broaden our perspective

And so, two years ago, we developed mkernel (https://github.com/robur-coop/mkernel) and presented it at the last #MirageOS retreat.

Then, two years after developing this scheduler, the next step was to build a library on top of it for #unikernels. We followed the same pattern:
- we sat down to think very hard
- and we talked with others to broaden our perspective

And so, two years ago, we developed mkernel (https://github.com/robur-coop/mkernel) and presented it at the last #MirageOS retreat.

Then, two years after developing this scheduler, the next step was to build a library on top of it for #unikernels. We followed the same pattern:
- we sat down to think very hard
- and we talked with others to broaden our perspective

And so, two years ago, we developed mkernel (https://github.com/robur-coop/mkernel) and presented it at the last #MirageOS retreat.

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

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

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

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

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

🎉 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

🎉 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

🎉 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

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

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

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

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

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

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

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

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

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

🥱 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

🥱 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

🥱 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

Toro: Deploy Applications as Unikernels

https://github.com/torokernel/torokernel

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

Toro: Deploy Applications as Unikernels

https://github.com/torokernel/torokernel

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

Toro: Deploy Applications as Unikernels

https://github.com/torokernel/torokernel

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

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

Unikernel Linux (UKL) (2023)

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

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

Unikernel Linux (UKL) (2023)

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

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

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

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

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

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

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

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

🤔

#unikernels #containers #deployment

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

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

🤔

#unikernels #containers #deployment

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

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

🤔

#unikernels #containers #deployment

"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!

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!

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!

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!