5 years ago|discuss
user: itsspring
582 karma | created 5 years ago
recent submissions
5 years ago|discuss
5 years ago|discuss
5 years ago|discuss
5 years ago|discuss
5 years ago|discuss
Inter-Parliamentary Alliance on China
(ipac.global)
3 pts|5 years ago|discuss
5 years ago|discuss
Łukasiewicz's Parenthesis-Free or Polish Notation
(plato.stanford.edu)
1 pts|5 years ago|discuss
5 years ago|discuss
Fact: A Flexible, Constant-Time Programming Language [pdf]
(cseweb.ucsd.edu)
2 pts|5 years ago|discuss
6 pts|5 years ago|2 comments
Comprehensive Formal Verification of an OS Microkernel [pdf]
(courses.cs.washington.edu)
1 pts|5 years ago|discuss
Ruth Belville
(en.wikipedia.org)
5 pts|5 years ago|discuss
DuckDuckGo Privacy Crash Course
(spreadprivacy.com)
3 pts|5 years ago|discuss
The Guide to DuckDuckGo
(brettterpstra.com)
1 pts|5 years ago|discuss
Windows 95 is now an app for macOS/Windows/Linux [2018]
(theverge.com)
1 pts|5 years ago|discuss
5 years ago|discuss
5 years ago|discuss
5 years ago|discuss