from Hacker News

joko42

joined 6/24/21, 7:45 AM has 102 karma

• Mass suicides in 1945 Nazi Germany

  by joko42 on 9/30/23, 5:17 AM, with 0 comments

• Verification, the Key to AI [2001]

  by joko42 on 3/23/23, 6:35 AM, with 0 comments

• EasyCrypt: Computer-Aided Cryptographic Proofs

  by joko42 on 3/7/23, 1:42 PM, with 5 comments

• Kindelia Manifesto

  by joko42 on 2/28/23, 10:54 AM, with 0 comments

• What Is Backspace.ai?

  by joko42 on 2/26/23, 2:14 AM, with 2 comments

• A Beginner's Guide to Discworld

  by joko42 on 12/4/22, 12:19 PM, with 0 comments

• Gravedigging 101

  by joko42 on 11/17/22, 11:14 AM, with 49 comments

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

  by joko42 on 10/28/22, 9:34 AM, with 1 comments

• Wolfgang Engels

  by joko42 on 2/15/22, 12:35 AM, with 0 comments

• Moving Forward

  by joko42 on 9/1/21, 9:33 AM, with 1 comments