Formal Verification in Rocq, an Exhaustive Testing [Sunday, 641f197e-8082-5b3d-8271-8515455c4342]
Guillaume Claret
8 bookmarks
GStreamer 1.28 and beyond [Sunday, f9418298-a6e1-516e-aa7f-80cd86475f6f]
Tim-Philipp Müller
Get your docs in a row with Docling [Saturday, 2dacd687-bbe7-51b2-9037-4e5f9f2e47ed]
Carol Chen
How the public sector can sustainably work with open source communities [Saturday, 6903f7cc-85cb-5cd8-aff8-3857216f8c13]
Jos Poortvliet
Inside ProConnect: Building a Modern Federated Identity Provider for Government Services [Sunday, 087bf59f-05e4-52a4-b1ae-3edb46b38d5e]
Gaétan Darquié
Intro to the Decentralized Internet & Privacy devroom [Sunday, d9de8728-e6a1-5c57-878f-fc003a3ec40d]
Kevin Schulmeister
It's a gaas! Translating bad grammar into good. [Sunday, 05d7b50f-e2b3-5a38-bff1-61942a7e2bb9]
Steven Goodwin
Keeping Legislative Data Accessible [Sunday, f3822a6f-83b2-56a4-9d86-1e9273c7473b]
Florin Hasler
Kick off browser and web platform devroom [Saturday, cbd74f83-d516-59c9-885a-c9b1ef0afb52]
Sylvestre Ledru, Pranshu Khanna, Benoit Chauvet
Kubernetes on RISC-V: An Open Hardware Odyssey [Saturday, a2c5b939-9eff-52c4-a1c0-6bf7cc173f82]
Tom Wieczorek
Showing 521 to 530 of 1079 events