Hacker News

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