joko42

Mass suicides in 1945 Nazi Germany

4 points by joko42 1 year ago | 0 comments

Verification, the Key to AI [2001]

1 point by joko42 2 years ago | 0 comments

EasyCrypt: Computer-Aided Cryptographic Proofs

36 points by joko42 2 years ago | 5 comments

Kindelia Manifesto

1 point by joko42 2 years ago | 0 comments

What Is Backspace.ai?

3 points by joko42 2 years ago | 2 comments

A Beginner's Guide to Discworld

2 points by joko42 2 years ago | 0 comments

Gravedigging 101

79 points by joko42 2 years ago | 49 comments

In Solidarity with Library Genesis and Sci-Hub (2015)

2 points by joko42 2 years ago | 1 comment

Wolfgang Engels

2 points by joko42 3 years ago | 0 comments