Get Started with Open Source Formal Verification [Sunday, 13967]
Fabien Chouteau
5 bookmarks
Grottocenter [Sunday, 15045]
Christopher Peeters | An open source database for cavers
Hackathon HaskellKatas style [Sunday, 14467]
Reynaldo Cordero | Install a complete hackable haskell katas environment for a new hackathon concept
Heads - status update! [Sunday, 14812]
Thierry Laurion
Hedy: A gradual and multi-lingual programming language for education [Sunday, 13590]
Mark Giesen
How Replicant, a 100% free software Android distribution, uses (or doesn't use) Guix [Saturday, 14445]
Denis Carikli (GNUtoo)
How to Build your own MLIR Dialect [Saturday, 14267]
Marius Brehler
How to Give Your Postgres Blog Posts an Outsize Impact [Sunday, 14967]
Claire Giordano
How we created a Documentation Framework that works across a group of vendors in the sovereign cloud stack community [Saturday, 14823]
Max Wolfs
Hybrid Public Key Encryption in PQ world? [Saturday, 14084]
Norbert Pócs | Converting HPKE to be PQ
Showing 501 to 510 of 775 events