Search for "Math" returned 1258 results
86 min
Certified programming with dependent types
Because the future of defense is liberal application of math
36 min
Mier – failure attempt to CC license as mass market consume good
A creative drink for the commons
14 min
"Public Money? Public Code!"
Europe's path to digital sovereignty!
41 min
Our Time in a Product Review Cabal
And the malware and backdoors that came with it.
43 min
a FrOSCon Map
mach dir deine eigene karte
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
24 min
Hacking the Quincy Drawing Robot
(and possible win one!)
55 min
How to make your software build reproducibly
Get a verifiable path from source to binary
55 min
Moving Beyond Infrastructure as Code
: Why Event-Driven Infrastructure is the Path Forward for…
52 min
Besser leben für Geeks
Richtig essen, richtig schlafen, und: lasst die Mate weg.
29 min