Events

Formal Verification in Rocq, an Exhaustive Testing [641f197e-8082-5b3d-8271-8515455c4342]

Guillaume Claret

FreeCAD - state of affairs [3c4a712c-9183-5e65-968b-31ff5590b6c6]

Yorik van Havre

FreeSewing: How to buy less, create more, and feel great about it [e0fc2dc3-88ae-56d5-9fc3-5ca1c77950a4]

Joost De Cock

Friendica - Hidden in plain sight since 2025 [59adaffc-7a28-57f4-8b6a-090d239fbb60]

Tobias Diekershoff

From C to Rust on the ESP32: A Developer’s Journey into no_std [a7c9fdc5-49e4-5610-9e01-5cc8b0afba6e]

Alexis Lothoré

From Code to Models-as-Data: GEMS, a High-Level Language for Energy System Modelling [976a88d7-3924-5c9b-b530-be650bf491bf]

Antoine Oustry

From Disks to Distributed: Our Journey of Database Evolution in the Cloud [08c89b16-aabe-5c14-9467-2cbbc411104e]

Thor

From Drones to Data: Building an Open Mapping Ecosystem for All [1001363a-4d96-54be-a1a0-b1c9e99b9da9]

Petya Kangalova

From HAR to OpenTelemetry Trace: Redefining Browser Observability [1b451b49-0fe1-50e0-9246-ede9bd364aa2]

Antonio Jimenez

From Infrastructure to Production: A Year of Self-Hosted LLMs [f710e0be-e49c-54af-aeb6-4c3ff819c805]

Mateusz Charytoniuk