I’ve been working on Thymis, a platform for managing fleets of IoT and edge devices declaratively using NixOS. After a lot of iteration, the open source core is ready, and we’ve just launched Thymis Cloud, now available to businesses globally (and private individuals in Germany).

Problem: Managing IoT devices at scale is usually painful:

- Manual SSH into devices

- Configuration drift across fleets

- Risk of bricking devices during updates

Approach: Thymis applies infra‑as‑code principles (via NixOS) to embedded and edge systems:

- Declarative configs for reproducible fleets

- Over‑the‑air provisioning and updates

- Open source runtime + hosted SaaS

- Web-based Dashboard for better UX

Links:

Website: https://thymis.io

Pricing / availability: https://thymis.io/pricing

GitHub: https://github.com/thymis-io/thymis

This project grew out of my own frustration deploying Raspberry Pis and IoT devices in both hobbyist setups and production systems. I work as a systems engineer and built Thymis to bring reproducibility to this tricky domain.

I’d love feedback from HN — especially from anyone managing device fleets today. Does this solve real pain points, or are there features that would make it more useful?

Thanks for taking a look.