| 1. | | Formal Methods in Practice: Using TLA+ at ESpark (medium.com) |
|
46 points by luu 1 hour ago | hide | 1 comment |
|
| 2. | | Getting Closer to Mass Production of Bones, Organs, and Implants (bloomberg.com) |
|
223 points by jgrahamc 5 hours ago | hide | 47 comments |
|
| 3. | | N.S.A Halts Collection of Americans’ Emails About Foreign Targets (nytimes.com) |
|
73 points by sashk 2 hours ago | hide | 41 comments |
|
| 4. | | OfflineIMAP: sync and backup tool for IMAP (github.com) |
|
52 points by TobyGiacometti 2 hours ago | hide | 32 comments |
|
| 5. | | A Trillion Edge Graph on a Single Commodity Node (nextplatform.com) |
|
46 points by jcbeard 3 hours ago | hide | 10 comments |
|
| 6. | | How to talk about yourself in a developer interview (stackoverflow.blog) |
|
339 points by NickLarsen 8 hours ago | hide | 154 comments |
|
| 7. | | On the Road with Aristotle: Zen and the Art of Motorcycle Maintenance (1974) (the-tls.co.uk) |
|
16 points by samclemens 1 hour ago | hide | discuss |
|
| 8. | | Comments on Consolidated Tape Association Plan/Consolidated Quotation Plan (sec.gov) |
|
11 points by walterbell 28 minutes ago | hide | 1 comment |
|
| 9. | | Wendelstein 7-X stellarator getting ready for the next phase of operation [pdf] (mpg.de) |
|
77 points by clon 5 hours ago | hide | 30 comments |
|
| 10. | | Limits of computation (wikipedia.org) |
|
44 points by diziet 3 hours ago | hide | 7 comments |
|
| 11. | | A dive into spatial search algorithms (medium.com) |
|
80 points by signa11 5 hours ago | hide | 12 comments |
|
| 12. | | The Arctic as it is known today is almost certainly gone (economist.com) |
|
5 points by qubitcoder 31 minutes ago | hide | discuss |
|
| 13. | | Just Say No (jacquesmattheij.com) |
|
433 points by janvdberg 6 hours ago | hide | 263 comments |
|
| 14. | | People Who Train the Robots to Do Their Own Jobs (nytimes.com) |
|
89 points by daschaefer 7 hours ago | hide | 61 comments |
|
| 15. | | Facebook and Google were conned out of $100m in phishing scheme (theguardian.com) |
|
120 points by mattmanser 8 hours ago | hide | 45 comments |
|
| 16. | | Baking with the Bread Whisperers of Paris (saveur.com) |
|
14 points by bootload 2 hours ago | hide | 4 comments |
|
| 17. | | VM Escape: QEMU Case Study (phrack.org) |
|
78 points by 0xFFC 8 hours ago | hide | 18 comments |
|
| 18. | | Stupid security things (troyhunt.com) |
|
422 points by troyhunt 9 hours ago | hide | 97 comments |
|
| 19. | | A Geometric Algebra Implementation Using Binary Tree (archives-ouvertes.fr) |
|
46 points by grondilu 4 hours ago | hide | 4 comments |
|
| 20. | | Invisible ripples in wireless spectrum tell Aura if someone’s in your house (cbc.ca) |
|
124 points by rhschan 5 hours ago | hide | 112 comments |
|
| 21. | | Europe’s Famed Bog Bodies Are Starting to Reveal Their Secrets (smithsonianmag.com) |
|
4 points by diodorus 1 hour ago | hide | discuss |
|
| 22. | | So you think you know what a number is (improbable.org) |
|
47 points by DamonHD 5 hours ago | hide | 22 comments |
|
| 23. | | Basic Type-Level Programming in Haskell (parsonsmatt.org) |
|
77 points by runeks 7 hours ago | hide | 13 comments |
|
| 24. | | Citus (YC S11) is hiring a technical writer (citusdata.com) |
|
2 hours ago | hide |
|
| 25. | | A History of Starcraft AI Competitions (mun.ca) |
|
11 points by jonbaer 1 hour ago | hide | 2 comments |
|
| 26. | | Lab-grown ‘mini-brains’ do mimic human brain development (spectrumnews.org) |
|
61 points by chc2149 6 hours ago | hide | 30 comments |
|
| 27. | | Rethinking Design Tools in the Age of Machine Learning (medium.com) |
|
17 points by mayava 2 hours ago | hide | 1 comment |
|
| 28. | | How to Use Responsive Images (ycombinator.com) |
|
67 points by yoav 3 hours ago | hide | 25 comments |
|
| 29. | | Show HN: Tweeple Search – Find relevant audience and influencers on Twitter (tweeplesearch.com) |
|
52 points by shuss 6 hours ago | hide | 19 comments |
|
| 30. | | Why My Handwriting Sucks: A Typographical Analysis (medium.com) |
|
57 points by hellomaggiema 6 hours ago | hide | 22 comments |
|
|
| More |
