Active
Recent
Comments
Search
Login
Login
Newest
Top
Newest stories submitted by
nadim
.
6
Verified post-quantum cryptography on the web
cryptography
formalmethods
web
pq.cryspen.com
via
nadim
1 month ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
5
An Internet of Desperate Protagonists
culture
privacy
rant
nadim.computer
authored by
nadim
3 months ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
5
Critique of the TechCrunch Article on Google's Call-Scanning AI
privacy
nadim.computer
authored by
nadim
10 months ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
16 comments
16
55
We Need to Talk About the State of Calendar Software on Desktop
linux
rant
windows
nadim.computer
authored by
nadim
10 months ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
58 comments
58
9
enclave: Command-line secure encrypted deniable cloud-synchronized notebook
cryptography
privacy
release
github.com/symbolicsoft
authored by
nadim
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
7 comments
7
9
BinkyBox: Improved keyboard shortcuts for virtual desktops on Windows
release
windows
github.com/nadimkobeissi
authored by
nadim
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
-1
The Rise and Fall of ChatGPT-4
ai
philosophy
nadim.computer
authored by
nadim
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
6
DuckyZip: Provably Honest Global Linking Service
cryptography
eprint.iacr.org
authored by
nadim
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
10 comments
10
1
Goodwrite: a satirical thought experiment on AI-powered writing style suggestions
ai
satire
goodwrite.app
authored by
nadim
2 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
9
Rust on iOS and Mac Catalyst: A Simple, Updated Guide
ios
mac
rust
swift
nadim.computer
authored by
nadim
3 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
3
On Paying Open Source Maintainers
programming
nadim.computer
authored by
nadim
3 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
19
Adventures in Writing Othello Software for iOS and macOS
ai
games
ios
mac
nadim.computer
authored by
nadim
3 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
13
On the Feasibility of Secure Traceability in End-to-End Encrypted Messaging
cryptography
security
nadim.computer
authored by
nadim
3 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
4 comments
4
38
On the Apple Silicon M1 MacBook Pro
2
hardware
mac
nadim.computer
authored by
nadim
4 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
59 comments
59
-1
Fear and Loathing in Protocol Analysis
cryptography
culture
formalmethods
nadim.computer
authored by
nadim
4 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
12
One Year of Verifpal: Understanding Verifpal’s Relationship With Cryptographic Protocol Security
cryptography
formalmethods
blog.symbolic.software
authored by
nadim
4 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
10
Piccolo: Strong Othello AI With GUI Written in Go and Published in WASM
games
go
wasm
web
piccolo.click
authored by
nadim
4 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
5 comments
5
2
Kyber-K2SO: Go Implementation of the Kyber v2 Post-Quantum KEM
cryptography
go
github.com/symbolicsoft
authored by
nadim
4 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
9
Why StopCOVID Fails as a Privacy-Preserving Design
cryptography
privacy
nadim.computer
authored by
nadim
4 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
7 comments
7
26
iPhone SE and the Commodification of the Pocket Computer
ios
practices
nadim.computer
authored by
nadim
4 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
31 comments
31
3
Towards Freshness Queries, Unlinkability Queries, Automated Model Translation and Formalized Semantics in Verifpal
cryptography
formalmethods
blog.symbolic.software
authored by
nadim
4 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
9
How Verifpal Dramatically Sped Up the Formal Modeling Efforts for a New Pandemic-Tracing Protocol
cryptography
formalmethods
privacy
blog.symbolic.software
authored by
nadim
4 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
4
Getting Started with Verifpal
video
cryptography
formalmethods
youtube.com
authored by
nadim
5 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
19
Verifpal: Cryptographic Protocol Analysis for Students and Engineers
cryptography
formalmethods
verifpal.com
authored by
nadim
5 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
12 comments
12
15
Selfie's Reflections on Formal Verification for TLS 1.3: Largely Opaque
cryptography
formalmethods
nadim.micro.blog
authored by
nadim
5 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
4 comments
4
Page 2 >>