Newest stories submitted by nadim.

  1. -1
    The Rise and Fall of ChatGPT-4 ai philosophy nadim.computer
    nadim avatar authored by nadim 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 6
    DuckyZip: Provably Honest Global Linking Service cryptography eprint.iacr.org
    nadim avatar authored by nadim 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 10 comments
  3. 1
    Goodwrite: a satirical thought experiment on AI-powered writing style suggestions ai satire goodwrite.app
    nadim avatar authored by nadim 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 9
    Rust on iOS and Mac Catalyst: A Simple, Updated Guide ios mac rust swift nadim.computer
    nadim avatar authored by nadim 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  5. 3
    On Paying Open Source Maintainers programming nadim.computer
    nadim avatar authored by nadim 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 19
    Adventures in Writing Othello Software for iOS and macOS ai games ios mac nadim.computer
    nadim avatar authored by nadim 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  7. 13
    On the Feasibility of Secure Traceability in End-to-End Encrypted Messaging cryptography security nadim.computer
    nadim avatar authored by nadim 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  8. 38
    On the Apple Silicon M1 MacBook Pro hardware mac nadim.computer
    nadim avatar authored by nadim 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 59 comments
  9. -1
    Fear and Loathing in Protocol Analysis cryptography culture formalmethods nadim.computer
    nadim avatar authored by nadim 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  10. 12
    One Year of Verifpal: Understanding Verifpal’s Relationship With Cryptographic Protocol Security cryptography formalmethods blog.symbolic.software
    nadim avatar authored by nadim 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  11. 10
    Piccolo: Strong Othello AI With GUI Written in Go and Published in WASM games go wasm web piccolo.click
    nadim avatar authored by nadim 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  12. 2
    Kyber-K2SO: Go Implementation of the Kyber v2 Post-Quantum KEM cryptography go github.com
    nadim avatar authored by nadim 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 9
    Why StopCOVID Fails as a Privacy-Preserving Design cryptography privacy nadim.computer
    nadim avatar authored by nadim 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  14. 26
    iPhone SE and the Commodification of the Pocket Computer ios practices nadim.computer
    nadim avatar authored by nadim 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 31 comments
  15. 3
    Towards Freshness Queries, Unlinkability Queries, Automated Model Translation and Formalized Semantics in Verifpal cryptography formalmethods blog.symbolic.software
    nadim avatar authored by nadim 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  16. 9
    How Verifpal Dramatically Sped Up the Formal Modeling Efforts for a New Pandemic-Tracing Protocol cryptography formalmethods privacy blog.symbolic.software
    nadim avatar authored by nadim 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 4
    Getting Started with Verifpal video cryptography formalmethods youtube.com
    nadim avatar authored by nadim 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 19
    Verifpal: Cryptographic Protocol Analysis for Students and Engineers cryptography formalmethods verifpal.com
    nadim avatar authored by nadim 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 12 comments
  19. 15
    Selfie's Reflections on Formal Verification for TLS 1.3: Largely Opaque cryptography formalmethods nadim.micro.blog
    nadim avatar authored by nadim 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  20. 7
    Noise Explorer Now Generates Rust Implementations with Formally Verified Primitives cryptography formalmethods rust moderncrypto.org
    nadim avatar via nadim 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 9
    Dreaming Is the Inverse of Anxious Mind-Wandering cogsci science psyarxiv.com
    nadim avatar via nadim 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  22. 8
    Zero-Knowledge Proofs in WebAssembly cryptography rust wasm zkwasm.kobi.one
    nadim avatar via nadim 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  23. 9
    Noise Explorer: Design and Explore Noise Handshake Patterns cryptography formalmethods security noiseexplorer.com
    nadim avatar authored by nadim 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  24. 7
    Scoop: A command-line installer for Windows windows scoop.sh
    nadim avatar via nadim 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 12 comments
  25. 21
    An Analysis of the ProtonMail Cryptographic Architecture cryptography security eprint.iacr.org
    nadim avatar authored by nadim 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
Page 2 >>