| 1. | | The letters that convinced Google and Apple to keep TikTok online (theverge.com) |
| 6 points by stong1 6 months ago | past |
|
| 2. | | Playing Minesweeper with a SMT Solver (github.com/stong) |
| 3 points by stong1 6 months ago | past |
|
| 3. | | A Google Shareholder Is Suing the Company over the TikTok Ban (wired.com) |
| 3 points by stong1 7 months ago | past |
|
| 4. | | Secure Multiparty Computation from Scratch (zellic.io) |
| 2 points by stong1 on Feb 7, 2024 | past |
|
| 5. | | Formally verifying a popular Ethereum smart contract library (twitter.com/zellic_io) |
| 2 points by stong1 on April 3, 2022 | past |
|
| 6. | | The Auditor Grindset: A crash course on crypto hacking while keeping your sanity (zellic.io) |
| 4 points by stong1 on Feb 15, 2022 | past |
|
| 7. | | A bug that doesn’t exist on x86: Exploiting an ARM-only race condition (github.com/stong) |
| 291 points by stong1 on Oct 26, 2021 | past | 134 comments |
|