| 1. | | Open Logic Project: An Open-Source, Collaborative Logic Text (openlogicproject.org) |
| 60 points by markhkim on Aug 11, 2018 | past | 8 comments |
|
| 2. | | Fundamentals of Fully Homomorphic Encryption – A Survey (weizmann.ac.il) |
| 2 points by markhkim on July 8, 2018 | past |
|
| 3. | | One-Way Salesman Finds Fast Path Home (quantamagazine.org) |
| 3 points by markhkim on Oct 5, 2017 | past |
|
| 4. | | How Not to Lie with Statistics: Averages (markhkim.com) |
| 1 point by markhkim on Sept 22, 2017 | past |
|
| 5. | | Program that repairs programs: how to achieve 78.3% precision (microsoft.com) |
| 3 points by markhkim on Aug 4, 2017 | past | 1 comment |
|
| 6. | | Learning Cross-Modal Embeddings for Cooking Recipes and Food Images (csail.mit.edu) |
| 3 points by markhkim on July 21, 2017 | past |
|
| 7. | | A Coq-based synthesis of Scala programs which are correct-by-construction (arxiv.org) |
| 2 points by markhkim on June 19, 2017 | past |
|
| 8. | | Why Quantum Computers Might Not Break Cryptography (quantamagazine.org) |
| 52 points by markhkim on May 15, 2017 | past | 23 comments |
|
| 9. | | Split-second data mapping (news.mit.edu) |
| 1 point by markhkim on Jan 13, 2017 | past |
|
| 10. | | Butter doesn’t increase risk of heart disease after all (statnews.com) |
| 1 point by markhkim on Nov 28, 2016 | past |
|
| 11. | | Mining of Massive Datasets (mmds.org) |
| 109 points by markhkim on Nov 15, 2016 | past | 7 comments |
|
| 12. | | 24/7 Stream: Earth from Space (youtube.com) |
| 2 points by markhkim on Nov 3, 2016 | past |
|
| 13. | | SQL, NoSQL, Spark How to Choose Your Tech-Stack (youtube.com) |
| 4 points by markhkim on Oct 10, 2016 | past |
|
| 14. | | Subhash Khot wins the MacArthur fellowship (macfound.org) |
| 1 point by markhkim on Sept 22, 2016 | past |
|
| 15. | | Reporting on the libreboot controversy, in tweets (twitter.com/markhkim) |
| 4 points by markhkim on Sept 18, 2016 | past |
|
| 16. | | A Cow with No Name: Google Blurs Bovine Face for Privacy (npr.org) |
| 3 points by markhkim on Sept 16, 2016 | past | 2 comments |
|
| 17. | | Tray Tables Stowed, Seat Backs Upright – And Galaxy Note 7s Off, Please (npr.org) |
| 2 points by markhkim on Sept 9, 2016 | past |
|
| 18. | | Research: Inbreeding linked to off-key singing in birds (birdguides.com) |
| 1 point by markhkim on Aug 19, 2016 | past |
|
| 19. | | Let's 'Cook' the Film: The Recipe of Film Soup (lomography.com) |
| 1 point by markhkim on July 21, 2016 | past | 1 comment |
|
| 20. | | Visually Indicated Sounds (csail.mit.edu) |
| 50 points by markhkim on July 6, 2016 | past | 8 comments |
|
| 21. | | Neural Networs in MySQL (itdxer.com) |
| 2 points by markhkim on July 5, 2016 | past |
|
| 22. | | Your interests, according to Facebook (facebook.com) |
| 7 points by markhkim on July 2, 2016 | past | 1 comment |
|
| 23. | | A tronc is born (techcrunch.com) |
| 2 points by markhkim on June 22, 2016 | past |
|
| 24. | | Data Journalism Handbook (datajournalismhandbook.org) |
| 2 points by markhkim on June 21, 2016 | past |
|
| 25. | | In an Age of Online Sharing, of Course the Monsters Do It Too (npr.org) |
| 1 point by markhkim on June 20, 2016 | past |
|
