The Threat of Privacy (2017) [pdf]
2020-07-26
Programming rules to develop secure applications with Rust [pdf]
2020-07-26
Ask HN: Is anyone using KeYmaera X for Cyber-Physical Systems?
2020-07-26
A Surprising Connection: Neural Networks and Polynomial Regression [pdf]
2020-07-26
Corecursion and coinduction: how they relate to recursion and induction [pdf]
2020-07-26
The Concorde accident: a case study [pdf]
2020-07-25
Illumination via Pickles (1989) [pdf]
2020-07-25
A Distributed Architecture for Interactive Multiplayer Games [pdf]
2020-07-25
Why Google Stores Billions of Lines of Code in a Single Repository (2016) [pdf]
2020-07-25
Andrea Fioraldi andreafioraldi released WEIZZ fuzzer [pdf]
2020-07-25