Jacek's Blog

Software Engineering Consultant

NixOS Community Oceansprint late 2022 Report

November 26, 2022 nix

This is my trip report from the late 2022 Oceansprint hackathon on Lanzarote. For more information please also have a look on the website: https://oceansprint.org


Oceansprint is a regular hackathon event in the NixOS community (i wrote a bit about the community and event location in the last article) that is planned to happen twice a year. From 21.11. to 25.11.2022 it happened for the third time. This time we were roughly ~20 participants.

After i was at the first oceansprint, skipped the second, and participated in the third one again, i have experienced quite an increment in the overall event’s quality and the group activities. Big kudos to Neyts Zupan, Domen Kozar and Florian Friesdorf for the great organization!

The Oceansprint location


During the hacking sessions over the day, we all typically sat in groups based on who worked together on something. At breakfast and lunch there was typically some random regrouping involved, and over the day there were also many sporadic discussions at the coffee machine. This, combined with the fact that 99% of the time everyone was disciplined in speaking english, it was very nice to catch some interesting insights in random topics when walking by.

The catering Original Tweet

Events that really lifted the interaction to a more fun level away from just work-related discussions were the big grill party and the catamaran sailing event (there was also wind surfing and hiking), as well as the regular strandings at the cocktail bar “el kiosko”. We even went into the sauna together that Domen has on his balcony. This way it was possible to get to talk to everyone in more detail over the week without any hassle and simply having a great time.

Sprint Projects

I will only describe the topics where i either participated or that i followed more closely out of personal interest. There were many more projects, and i am pretty sure they are covered by other blog articles.

Secure Boot on NixOS

Julian Stecklina (works at Cyberus Technology), Niklas Sturm (works at Secunet), and Raito Bezarius worked together to support Secure Boot on NixOS. They were very successful this week: We have seen laptops booting with activated Secureboot and the Gnome Device Security dialogue displaying a green Secureboot entry:

Activated Secureboot on NixOS Original Tweet

There is already a pull request on github that introduces this work for at least developer setups. For secure and easy production use, some work on key management etc. is still left to be done. See the code and more details on github: github.com/blitz/lanzaboote

Multiple aspects of this make this project remarkable:

Dream2nix enhancements

Johannes Kirschbauer and David Hauer worked together on improving the dream2nix project.

From my perspective this is another remarkable collaboration between open source maintainers and companies, as Johannes aims to push nix for frontend/UI projects at secunet. The Oceansprint has been the perfect chance to talk to David about how to get the most value out of this for all parties over a beer in person.


Another thing that Johannes and David came up with, is Noogle: A search machine for nix and nixpkgs library functions.

Noogle Alpha Original Tweet

All Haskellers immediately cheered for this as this is like hoogle, a great tool for finding the right function in all available packages.


The sponsors are a very important topic, as such events would not be possible without them.

The sponsored Oceansprint Shirt Original Tweet

As one of the founders of Cyberus, i was interested in the company growing into the Nix(OS) open source community, hence it was natural to become a sponsor of this event. In addition to that, i put some effort into convincing secunet to sponsor the oceansprint, too, as we do work together with this awesome technology and they are also interested having their colleagues to grow into the community.

After having spoken with the organizers Neyts and Domen at the NixCon 2022 in Paris about the topic of sponsoring, i learned that they found it easier to motivate small businesses to participate in sponsoring than the very big ones.

It seems like the pressure to be able to explain the value proposition of a sponsoring is bigger for large company management. So far i personally see the following reasons why companies should sponsor/invest in conferences and hackathons like this: