whoami
Heya, I'm whoami (she/they)!
Apart from the usual stuff - I'm a big fan of Rust and a NixOS maintainer - I'm also interested in electronics, a bit of formal verification, coffee and lots of other nerdy things I forgot to list here.
Sessions
Same as my 39C3 talk: https://events.ccc.de/congress/2025/hub/en/event/detail/yes-even-you-can-harden-your-systemd-services
Wir haben Spaß mit ESPHome (oder wir weinen gemeinsam)!
Wir spielen bei ausreichend Interesse eine Runde DEFCON
Viele Regeln und Gesetze sind eher schwammig formuliert, doch im Bereich Verkehrsregeln gibt es tatsächlich die Möglichkeit, mittels Temporallogik einen Teil der StVO zu formalisieren. Ich zeige euch einige interessante Anwendungsfälle formalisierter Verkehrsregeln.
Mesh protocols based on LoRa such as Meshtastic and Meshcore are increasingly popular, and many hackers have started to dabble in running their own nodes or even repeaters.
I'm first going to briefly present the protocols and explain their basics.
There are some ongoing discussions in the communities, the big one being the decision between Meshtastic vs Meshcore. In recent weeks, there is increasing resentment regarding the open use of LLMs in the development of both projects. I'd like to pose the question of whether there is a future of LoRa-based mesh networks without LLMs.
Afterwards, I'd like to do some hardware hacking, perhaps building a Meshcore node as a workshop, probably in a separate session.
Let's talk about flashlights! I'll bring my collection of lots of different lithium cell-powered high end flashlights. Throwers, flood lights, head-mounted lights, everything that makes the world a bit brighter!
Benchmarking used to be a very annoying activity, requiring intricate knowledge of framework- and language-specific tools and build-time instrumentation. Meanwhile, the perf suite allows accurate, real-world measurements with only a tiny bit of effort. I'll show you how you can benchmark programs or even whole systems with perf!