Recent Posts

• Mass suicides in 1945 Nazi Germany
  by joko42on 9/30/2023, 5:17:36 AM with 0 comments
• Verification, the Key to AI [2001]
  by joko42on 3/23/2023, 6:35:57 AM with 0 comments
• EasyCrypt: Computer-Aided Cryptographic Proofs
  by joko42on 3/7/2023, 1:42:50 PM with 3 comments
• Kindelia Manifesto
  by joko42on 2/28/2023, 10:54:11 AM with 0 comments
• What Is Backspace.ai?
  by joko42on 2/26/2023, 2:14:58 AM with 1 comment
• A Beginner's Guide to Discworld
  by joko42on 12/4/2022, 12:19:19 PM with 0 comments
• Gravedigging 101
  by joko42on 11/17/2022, 11:14:09 AM with 10 comments
• In Solidarity with Library Genesis and Sci-Hub (2015)
  by joko42on 10/28/2022, 9:34:25 AM with 1 comment
• Wolfgang Engels
  by joko42on 2/15/2022, 12:35:05 AM with 0 comments
• Moving Forward
  by joko42on 9/1/2021, 9:33:24 AM with 1 comment