| 1. | | Zellic's and V12's Work on x86 Binary Formal Verification (v12.sh) |
| 2 points by drdrey 5 days ago | past | discuss |
|
| 2. | | Ask HN: Good Microscope for Curious Kid? |
| 3 points by drdrey on Dec 5, 2024 | past |
|
| 3. | | A deep dive into the paranoid world of extreme privacy (joinreboot.org) |
| 3 points by drdrey on Dec 7, 2023 | past |
|
| 4. | | Relieving your Python packaging pain (bitecode.dev) |
| 4 points by drdrey on June 29, 2023 | past | 1 comment |
|
| 5. | | Missing line in a smart contract leads to $10M hack (rekt.news) |
| 328 points by drdrey on May 16, 2021 | past | 322 comments |
|
| 6. | | Composer: Create custom automated investing strategies (investcomposer.com) |
| 2 points by drdrey on May 12, 2021 | past |
|
| 7. | | Apple to build battery-based solar energy storage project in California (reuters.com) |
| 154 points by drdrey on March 31, 2021 | past | 85 comments |
|
| 8. | | Sol 200 Anomaly (nasa.gov) |
| 2 points by drdrey on Sept 6, 2020 | past |
|
| 9. | | Borsuk Ulam Theorem (wikipedia.org) |
| 1 point by drdrey on June 28, 2020 | past |
|
| 10. | | Two Hundred and Fifty Things an Architect Should Know (readingdesign.org) |
| 1 point by drdrey on May 1, 2020 | past | 2 comments |
|
| 11. | | Error Handling in Practice for Java Services (gist.github.com) |
| 2 points by drdrey on Feb 16, 2020 | past |
|
| 12. | | How to Return a Farm to the Wild (time.com) |
| 6 points by drdrey on Oct 10, 2019 | past | 1 comment |
|
| 13. | | Exploring TLA+ with two-phase commit (2013) (brooker.co.za) |
| 3 points by drdrey on Sept 7, 2018 | past |
|
| 14. | | Ask HN: What happened to the semantic web? |
| 109 points by drdrey on April 10, 2018 | past | 68 comments |
|
| 15. | | Ultra-processed foods 'linked to cancer' (bbc.com) |
| 1 point by drdrey on Feb 15, 2018 | past | 1 comment |
|
| 16. | | Iraq's Highway of Death (wikipedia.org) |
| 1 point by drdrey on Feb 12, 2018 | past |
|
| 17. | | Canary Releases in Practice (dreynaud.fail) |
| 72 points by drdrey on Jan 21, 2018 | past | 19 comments |
|
| 18. | | Nuclear War Survival Skills [pdf] (1987) (madisoncountyema.com) |
| 3 points by drdrey on Jan 14, 2018 | past |
|
| 19. | | Ask HN: Do you pay interest on your kid's piggybank? |
| 2 points by drdrey on Jan 5, 2018 | past |
|
| 20. | | Ask HN: What is the most nonsensical crypto currency you have seen? |
| 6 points by drdrey on Jan 5, 2018 | past | 11 comments |
|
| 21. | | Canaries in Practice (dreynaud.fail) |
| 2 points by drdrey on Jan 4, 2018 | past |
|
| 22. | | Ask HN: Do you reply to recruiter emails? |
| 24 points by drdrey on Dec 20, 2017 | past | 24 comments |
|
| 23. | | The Problem with Using HackerRank as a Programmer Screening Tool (dreynaud.fail) |
| 48 points by drdrey on Dec 19, 2017 | past | 51 comments |
|
| 24. | | Timelapse of Bacteria Invading Antibiotics and Evolving into Superbugs (npr.org) |
| 4 points by drdrey on Sept 9, 2016 | past |
|
| 25. | | League of Legends studio is now completely owned by China’s Tencent (venturebeat.com) |
| 2 points by drdrey on Dec 17, 2015 | past |
|
| 26. | | Inside Netflix’s Plan to Boost Streaming Quality (variety.com) |
| 3 points by drdrey on Dec 15, 2015 | past | 1 comment |
|
