Hacker News new | past | comments | ask | show | jobs | submit | pieceofpeace's favorites login
1.
Why I’m Writing a Book on Cryptography (cryptologie.net)
242 points by gedigi on July 5, 2020 | 32 comments
2.
A walkthrough tutorial of TLA+ and its tools: analyzing a blocking queue (github.com/lemmy)
213 points by pron on March 5, 2020 | 6 comments

Join us for AI Startup School this June 16-17 in San Francisco!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: