Hacker News new | comments | show | ask | jobs | submit login
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

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact

Search: