Search for "Math" returned 1239 results
14 min
"Public Money? Public Code!"
Europe's path to digital sovereignty!
53 min
Cryptography demystified
An introduction without maths
36 min
Mier – failure attempt to CC license as mass market consume good
A creative drink for the commons
86 min
Certified programming with dependent types
Because the future of defense is liberal application of math
43 min
a FrOSCon Map
mach dir deine eigene karte
41 min
Our Time in a Product Review Cabal
And the malware and backdoors that came with it.
44 min
GNU Radio & the Universal Software Radio Peripheral
Current Capabilities and Future Directions
32 min
Verified Firewall Ruleset Verification
Math, Functional Programming, Theorem Proving, and an…
41 min
Ten Years of Rowhammer:
A Retrospect (and Path to the Future)
37 min
(e)BGP Fundamentals
Route selection, AS path, prefix, metrics and state machine
55 min
How to make your software build reproducibly
Get a verifiable path from source to binary
24 min