Search for "MaTu"

Our Time in a Product Review Cabal
41 min

Our Time in a Product Review Cabal

And the malware and backdoors that came with it.

Besser leben für Geeks
52 min

Besser leben für Geeks

Richtig essen, richtig schlafen, und: lasst die Mate weg.

Verified Firewall Ruleset Verification
32 min

Verified Firewall Ruleset Verification

Math, Functional Programming, Theorem Proving, and an…

Certified programming with dependent types
86 min

Certified programming with dependent types

Because the future of defense is liberal application of math

Gamification und Crowdsourcing
42 min

Gamification und Crowdsourcing

Aus Spielen werden Daten, aus Daten werden Spiele