joko42

Recent Submissions

1. 1. ▲ Mass suicides in 1945 Nazi Germany (en.wikipedia.org) 4 points · 2 years ago · 0 comments
2. 2. ▲ Verification, the Key to AI [2001] (incompleteideas.net) 1 point · 2 years ago · 0 comments
3. 3. ▲ EasyCrypt: Computer-Aided Cryptographic Proofs (github.com) 36 points · 2 years ago · 5 comments
4. 4. ▲ Kindelia Manifesto (github.com) 1 point · 2 years ago · 0 comments
5. 5. ▲ What Is Backspace.ai? (backspace.ai) 3 points · 2 years ago · 2 comments
6. 6. ▲ A Beginner's Guide to Discworld (theconversation.com) 2 points · 3 years ago · 0 comments
7. 7. ▲ Gravedigging 101 (burialsandbeyond.com) 79 points · 3 years ago · 49 comments
8. 8. ▲ In Solidarity with Library Genesis and Sci-Hub (2015) (custodians.online) 2 points · 3 years ago · 1 comment
9. 9. ▲ Wolfgang Engels (en.wikipedia.org) 2 points · 3 years ago · 0 comments