1. | | Cracking Minesweeper with Z3 SMT Solver (yurichev.com) |
|
70 points by iou 2 hours ago | hide | 16 comments |
2. | | The Story of a Lucky Economist (allegedwisdom.blogspot.com) |
|
38 points by apsec112 1 hour ago | hide | 4 comments |
3. | | AMA: Explaining my 750 line compiler+runtime designed to GPU self-host APL (youtube.com) |
|
41 points by arcfide 1 hour ago | hide | 11 comments |
4. | | Tool of Hope: A Sober Alchemy to End My Helplessness (matthewcauble.com) |
|
33 points by caublestone 1 hour ago | hide | 1 comment |
5. | | NASA proposes a magnetic shield to protect Mars' atmosphere (phys.org) |
|
139 points by cyanbane 5 hours ago | hide | 52 comments |
6. | | Secure Computing for Journalists (cryptographyengineering.com) |
|
30 points by _pius 1 hour ago | hide | 22 comments |
7. | | Aheui: Esoteric programming language designed for Hangul (aheui.github.io) |
|
123 points by networked 5 hours ago | hide | 48 comments |
8. | | Major Experiments That Still Haven’t Found What They’re Looking For (nautil.us) |
|
5 points by dnetesn 38 minutes ago | hide | discuss |
9. | | Cloud Hosting Showdown: DO vs. Linode vs. Vultr vs. OVH vs. Scaleway (webstack.de) |
|
62 points by nik736 1 hour ago | hide | 20 comments |
10. | | 'Once Upon A Time In America': A Butchered Film Rising Up As A Phoenix (cinephiliabeyond.org) |
|
11 points by yurisagalov 1 hour ago | hide | discuss |
11. | | Uncertainty in Deep Learning (2016) (cam.ac.uk) |
|
170 points by mannigfaltig 7 hours ago | hide | 5 comments |
12. | | Ask HN: What's the actual fallout been from the Cloudflare bug? |
|
41 points by anon456 3 hours ago | hide | 8 comments |
13. | | Vultr introduces $2.50/month plan (vultr.com) |
|
106 points by misframer 2 hours ago | hide | 47 comments |
14. | | Comcast-Owned Vox Runs Commercial for Comcast’s $500M Snapchat Investment (fair.org) |
|
188 points by Sujan 7 hours ago | hide | 36 comments |
15. | | Show HN: A new hobby OS from “scratch” in C# (github.com) |
|
278 points by amaneureka 14 hours ago | hide | 50 comments |
16. | | Vacant Homes Are a Global Epidemic, and Paris Is Fighting It with a 60% Tax (betterdwelling.com) |
|
155 points by paulpauper 11 hours ago | hide | 133 comments |
17. | | Akiyoshi's Illusion Pages (ritsumei.ac.jp) |
|
6 points by mabynogy 1 hour ago | hide | discuss |
18. | | Why I left Mac for Windows: Apple has given up (char.gd) |
|
255 points by shlema 3 hours ago | hide | 284 comments |
19. | | Show HN: Ffscreencast – CLI-based screencasts for OS X, Linux, BSD (github.com) |
|
20 points by everythingcli 5 hours ago | hide | 2 comments |
20. | | Auctioneer to sell off Pink Floyd recording console (goldminemag.com) |
|
51 points by teh_klev 8 hours ago | hide | 43 comments |
21. | | Toronto Is in a Housing Bubble (greaterfool.ca) |
|
64 points by kspaans 3 hours ago | hide | 39 comments |
22. | | 5 March 1981: The ZX81 home computer launches with 1kb memory (wikipedia.org) |
|
87 points by open-source-ux 10 hours ago | hide | 57 comments |
23. | | R Passes SAS, but Python Leaves Them Both Behind (r4stats.com) |
|
88 points by sonabinu 6 hours ago | hide | 24 comments |
24. | | Smog in Western U.S. Starts Out as Pollution in Asia, Researchers Say (npr.org) |
|
65 points by reirob 10 hours ago | hide | 12 comments |
25. | | Refurbishing a classic microphone – the Electro-Voice RE20 (jeffgeerling.com) |
|
13 points by geerlingguy 4 hours ago | hide | 4 comments |
26. | | Security 101 for SaaS startups (github.com) |
|
25 points by dpaluy 1 hour ago | hide | 11 comments |
27. | | My adventures in digital history (moreorlessbunk.net) |
|
16 points by microtherion 7 hours ago | hide | 1 comment |
28. | | The Sodium crypto library (libsodium.org) |
|
48 points by remx 5 hours ago | hide | 9 comments |
29. | | How do cats survive falls from great heights? (2012) (bbc.com) |
|
6 points by iou 2 hours ago | hide | 1 comment |
30. | | Electronic meters’ false readings up to six times higher than actual consumption (sciencebulletin.org) |
|
376 points by rwbhn 20 hours ago | hide | 128 comments |
|
| More |