Hacker News

1.		Cracking Minesweeper with Z3 SMT Solver (yurichev.com)
		44 points by iou 1 hour ago \| hide \| 9 comments
2.		Secure Computing for Journalists (cryptographyengineering.com)
		13 points by _pius 55 minutes ago \| hide \| discuss
3.		Aheui: Esoteric programming language designed for Hangul (aheui.github.io)
		118 points by networked 4 hours ago \| hide \| 48 comments
4.		AMA: Explaining my 750 line compiler+runtime designed to GPU self-host APL (youtube.com)
		13 points by arcfide 57 minutes ago \| hide \| 6 comments
5.		The Story of a Lucky Economist (allegedwisdom.blogspot.com)
		10 points by apsec112 43 minutes ago \| hide \| discuss
6.		Uncertainty in Deep Learning (2016) (cam.ac.uk)
		162 points by mannigfaltig 6 hours ago \| hide \| 5 comments
7.		Cloud Hosting Showdown: DO vs. Linode vs. Vultr vs. OVH vs. Scaleway (webstack.de)
		12 points by nik736 23 minutes ago \| hide \| discuss
8.		Tool of Hope: A Sober Alchemy to End My Helplessness (matthewcauble.com)
		4 points by caublestone 50 minutes ago \| hide \| discuss
9.		Why I left Mac for Windows: Apple has given up (char.gd)
		196 points by shlema 2 hours ago \| hide \| 213 comments
10.		Vacant Homes Are a Global Epidemic, and Paris Is Fighting It with a 60% Tax (betterdwelling.com)
		139 points by paulpauper 10 hours ago \| hide \| 107 comments
11.		Comcast-Owned Vox Runs Commercial for Comcast’s $500M Snapchat Investment (fair.org)
		177 points by Sujan 6 hours ago \| hide \| 34 comments
12.		Vultr introduces $2.50/mo plan (vultr.com)
		69 points by misframer 1 hour ago \| hide \| 30 comments
13.		Show HN: A new hobby OS from “scratch” in C# (github.com)
		272 points by amaneureka 13 hours ago \| hide \| 47 comments
14.		Toronto Is in a Housing Bubble (greaterfool.ca)
		49 points by kspaans 2 hours ago \| hide \| 27 comments
15.		“When we do mathematics, we touch immortality.” (quantamagazine.org)
		97 points by nature24 5 hours ago \| hide \| 69 comments
16.		R Passes SAS, but Python Leaves Them Both Behind (r4stats.com)
		80 points by sonabinu 5 hours ago \| hide \| 21 comments
17.		NASA proposes a magnetic shield to protect Mars' atmosphere (phys.org)
		114 points by cyanbane 4 hours ago \| hide \| 40 comments
18.		Smog in Western U.S. Starts Out as Pollution in Asia, Researchers Say (npr.org)
		57 points by reirob 9 hours ago \| hide \| 10 comments
19.		How do cats survive falls from great heights? (2012) (bbc.com)
		3 points by iou 1 hour ago \| hide \| discuss
20.		The Tragedy of Newcomb Mott, Who Thought He Could Walk into Soviet Russia (atlasobscura.com)
		124 points by scapecast 14 hours ago \| hide \| 104 comments
21.		Show HN: Ffscreencast – cli-based screencasts (OS X, Linux, BSD) (github.com)
		10 points by everythingcli 4 hours ago \| hide \| 2 comments
22.		The Sodium crypto library (libsodium.org)
		42 points by remx 4 hours ago \| hide \| 9 comments
23.		People have no idea which sciences are robust (arstechnica.com)
		68 points by frostmatthew 4 hours ago \| hide \| 40 comments
24.		Security 101 for SaaS startups (github.com)
		5 points by dpaluy 51 minutes ago \| hide \| discuss
25.		Refurbishing a classic microphone – the Electro-Voice RE20 (jeffgeerling.com)
		8 points by geerlingguy 3 hours ago \| hide \| 1 comment
26.		Electronic meters’ false readings up to six times higher than actual consumption (sciencebulletin.org)
		370 points by rwbhn 19 hours ago \| hide \| 125 comments
27.		My adventures in digital history (moreorlessbunk.net)
		15 points by microtherion 9 hours ago \| hide \| discuss
28.		A plane so good it's still in production after 60 years (bbc.com)
		448 points by nairteashop 1 day ago \| hide \| 169 comments
29.		A Cross-Platform String Library Written in Swift (github.com)
		25 points by febin 8 hours ago \| hide \| 7 comments
30.		Men not at work: Why so many men aged 25 to 54 are not working (2016) (brookings.edu)
		94 points by paulpauper 9 hours ago \| hide \| 116 comments
		More