Search for "mwarning"

Watching the changing Earth
33 min

Watching the changing Earth

warning: gravity ahead

Verified Firewall Ruleset Verification
32 min

Verified Firewall Ruleset Verification

Math, Functional Programming, Theorem Proving, and an…

Teaching machines new tricks
53 min

Teaching machines new tricks

Machine learning: Silver bullet or route to evil?

ARMore: Pushing Love Back Into Binaries
38 min

ARMore: Pushing Love Back Into Binaries

Aarch64 binary rewriting adventures but mostly pains

DG74: Bitcoin
73 min

DG74: Bitcoin

Privacy and Censorship Resistance Beyond the Web

How to teach programming to your loved ones
59 min

How to teach programming to your loved ones

Enabling students over example-driven teaching