| 1. | | The Multimillion-Dollar Plan to Make Mobile Voting Happen (wired.com) |
| 2 points by shpat 82 days ago | past |
|
| 2. | | Ossa: Towards the Next Generation Web (jamesparker.me) |
| 3 points by shpat 86 days ago | past |
|
| 3. | | Whimsical Animations (joshwcomeau.com) |
| 1 point by shpat 4 months ago | past | 1 comment |
|
| 4. | | The Replication Engine (ifp.org) |
| 1 point by shpat 5 months ago | past |
|
| 5. | | Glass bottles found to contain more microplastics than plastic bottles (phys.org) |
| 3 points by shpat 6 months ago | past | 1 comment |
|
| 6. | | How I Beat Repetitive Stress Injury (henrikwarne.com) |
| 2 points by shpat on Sept 4, 2023 | past |
|
| 7. | | Formal methods and AI: Where does Galois fit in? (galois.com) |
| 2 points by shpat on April 17, 2023 | past |
|
| 8. | | Mathematical trick lets hackers shame people into fixing software bugs (newscientist.com) |
| 4 points by shpat on Jan 19, 2023 | past |
|
| 9. | | Mate: Interactive Program Analysis with Code Property Graphs (galois.com) |
| 13 points by shpat on Aug 24, 2022 | past | 2 comments |
|
| 10. | | Azure’s Neural Text-to-Speech (azure.microsoft.com) |
| 2 points by shpat on July 21, 2022 | past |
|
| 11. | | Should It Be Easier to Trust Machines or Harder to Trust Humans? (galois.com) |
| 2 points by shpat on Dec 16, 2021 | past |
|
| 12. | | Room for Disagreement (galois.com) |
| 2 points by shpat on Nov 9, 2021 | past |
|
| 13. | | Actually, You Are Rolling Your Own Crypto (galois.com) |
| 1 point by shpat on March 16, 2021 | past |
|
| 14. | | Proofs Should Repair Themselves (galois.com) |
| 2 points by shpat on Dec 9, 2020 | past |
|
| 15. | | Hackers Take on Darpa's $10M Voting Machine (wired.com) |
| 2 points by shpat on Aug 10, 2019 | past |
|
| 16. | | DARPA Is Building a $10M, Open-Source, Secure Voting System (vice.com) |
| 649 points by shpat on March 14, 2019 | past | 288 comments |
|
| 17. | | A Forward-Looking, Transparent Approach to Pay (lifeatgalois.com) |
| 1 point by shpat on Aug 30, 2018 | past |
|
| 18. | | Continuous Formal Verification of Amazon S2n (springer.com) |
| 6 points by shpat on July 23, 2018 | past | 1 comment |
|
| 19. | | Formal verification and the KRACK vulnerability (galois.com) |
| 2 points by shpat on Oct 19, 2017 | past |
|
| 20. | | Formally verifying HMAC in Amazon's s2n library (galois.com) |
| 8 points by shpat on Sept 6, 2016 | past |
|
| 21. | | Qubie is an open hardware solution for tracking wait times at voting places (techcrunch.com) |
| 1 point by shpat on Aug 16, 2016 | past |
|
| 22. | | FBI vs. Apple: how did we get here? (medium.com/syntaxpolice) |
| 4 points by shpat on March 23, 2016 | past |
|
| 23. | | The ICFP Programming Contest happening this weekend (icfpcontest.org) |
| 9 points by shpat on Aug 6, 2015 | past |
|
