Search for "Math" returned 1247 results
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
14 min
"Public Money? Public Code!"
Europe's path to digital sovereignty!
43 min
a FrOSCon Map
mach dir deine eigene karte
44 min
GNU Radio & the Universal Software Radio Peripheral
Current Capabilities and Future Directions
41 min
Our Time in a Product Review Cabal
And the malware and backdoors that came with it.
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
55 min