Helgaella

joined 9 months ago

The Dafny Programming and Verification Language in c/formal_methods@programming.dev

Detecting Vulnerability Scanning Traffic From Underground Tools Using Machine Learning in c/infosec_news

Canonical Moves To Shipping Very Latest Upstream Kernel Code For Ubuntu Releases in c/ubuntu@programming.dev