joko42 on Hacker News

1

Mass suicides in 1945 Nazi Germany (opens in new tab)

(en.wikipedia.org)

4joko422y ago0

2

Verification, the Key to AI [2001] (opens in new tab)

(incompleteideas.net)

1joko423y ago0

3

EasyCrypt: Computer-Aided Cryptographic Proofs (opens in new tab)

(github.com)

36joko423y ago5

4

Kindelia Manifesto (opens in new tab)

(github.com)

1joko423y ago0

5

What Is Backspace.ai? (opens in new tab)

(backspace.ai)

3joko423y ago2

6

A Beginner's Guide to Discworld (opens in new tab)

(theconversation.com)

2joko423y ago0

7

Gravedigging 101 (opens in new tab)

(burialsandbeyond.com)

79joko423y ago49

8

In Solidarity with Library Genesis and Sci-Hub (2015) (opens in new tab)

(custodians.online)

2joko423y ago1

9

Wolfgang Engels (opens in new tab)

(en.wikipedia.org)

2joko424y ago0

joko42

Recent submissions

Mass suicides in 1945 Nazi Germany (opens in new tab)

Verification, the Key to AI [2001] (opens in new tab)

EasyCrypt: Computer-Aided Cryptographic Proofs (opens in new tab)

Kindelia Manifesto (opens in new tab)

What Is Backspace.ai? (opens in new tab)

A Beginner's Guide to Discworld (opens in new tab)

Gravedigging 101 (opens in new tab)

In Solidarity with Library Genesis and Sci-Hub (2015) (opens in new tab)

Wolfgang Engels (opens in new tab)

Recent submissions

Mass suicides in 1945 Nazi Germany (opens in new tab)

Verification, the Key to AI [2001] (opens in new tab)

EasyCrypt: Computer-Aided Cryptographic Proofs (opens in new tab)

Kindelia Manifesto (opens in new tab)

What Is Backspace.ai? (opens in new tab)

A Beginner's Guide to Discworld (opens in new tab)

Gravedigging 101 (opens in new tab)

In Solidarity with Library Genesis and Sci-Hub (2015) (opens in new tab)

Wolfgang Engels (opens in new tab)