Search for "Linus" returned 2845 results

Is my system fast?
36 min

Is my system fast?

An introduction of some tools that help to answer this…

Who can you trust?
64 min

Who can you trust?

A trust metric for the openSUSE buildservice

Verified Firewall Ruleset Verification
32 min

Verified Firewall Ruleset Verification

Math, Functional Programming, Theorem Proving, and an…