Hacker News

1.		Formal Verification: The Gap Between Perfect Code and Reality (raywang.tech)
		64 points by tom_mellior 2 hours ago \| hide \| 13 comments
2.		Open Source .NET – 3 years later (mattwarren.org)
		95 points by matthewwarren 4 hours ago \| hide \| 43 comments
3.		Academic success is either a crapshoot or a scam (grasshoppermouse.github.io)
		107 points by mpweiher 6 hours ago \| hide \| 36 comments
4.		Show HN: A list of software that turns your database into a REST/GraphQL API (github.com)
		28 points by networked 3 hours ago \| hide \| discuss
5.		Reasoning About Program Behavior Algebraically [pdf] (stephendiehl.com)
		36 points by rwosync 4 hours ago \| hide \| 7 comments
6.		Papercraft with Blender (matiasmorant.wordpress.com)
		272 points by wvlia5 13 hours ago \| hide \| 38 comments
7.		The Effect of Atmospheric Nuclear Testing on American Mortality Patterns [pdf] (keithameyers.com)
		184 points by stablemap 12 hours ago \| hide \| 77 comments
8.		Dubsmash: Scaling to 200M Users with 3 Engineers (stackshare.io)
		17 points by yarapavan 2 hours ago \| hide \| discuss
9.		Algorithmic Solution to My Insomnia (sukhar.com)
		187 points by csmajorfive 14 hours ago \| hide \| 65 comments
10.		How to Print Integers Really Fast (pvk.ca)
		122 points by signa11 10 hours ago \| hide \| 22 comments
11.		Live CO2 emissions of electricity consumption (electricitymap.org)
		106 points by corradio 5 hours ago \| hide \| 99 comments
12.		Inferno OS for Raspberry Pi (bitbucket.org)
		68 points by rcarmo 9 hours ago \| hide \| 8 comments
13.		Devcards aims to provide a visual REPL experience for ClojureScript (github.com)
		21 points by tosh 5 hours ago \| hide \| 2 comments
14.		Morgan Stanley says the true price of Bitcoin might be zero (businessinsider.com)
		14 points by SirLJ 52 minutes ago \| hide \| 10 comments
15.		How the 18th-Century Gay Bar Survived and Thrived in a Deadly Environment (atlasobscura.com)
		47 points by apollinaire 9 hours ago \| hide \| 1 comment
16.		UK Cops Want to Use AI to Spot Porn, But It Mistakes Desert Pics for Nudes (gizmodo.com)
		41 points by zeristor 8 hours ago \| hide \| 35 comments
17.		Ruby 2.0 Works Hard So You Can Be Lazy (2013) (patshaughnessy.net)
		36 points by thibaut_barrere 3 hours ago \| hide \| 5 comments
18.		VA’s foray into Internet of Things faced ‘catastrophic failure’ (mystatesman.com)
		25 points by us0r 6 hours ago \| hide \| 14 comments
19.		Delay-Tolerant Networks Might Be the Killer App Ham Radio Needs (faradayrf.com)
		19 points by DyslexicAtheist 5 hours ago \| hide \| 3 comments
20.		“Let’s, Like, Demolish Laundry” (2014) (nymag.com)
		11 points by rabidrat 3 hours ago \| hide \| 4 comments
21.		A Backlash Against Piped Music (citylab.com)
		28 points by evolve2k 8 hours ago \| hide \| 23 comments
22.		Deep Learning Hardware Limbo (timdettmers.com)
		3 points by TheAlchemist 2 hours ago \| hide \| discuss
23.		Carve your own spoon (2014) (theguardian.com)
		12 points by Tomte 5 hours ago \| hide \| 3 comments
24.		Net Neutrality: Time to Use Mesh Networks to Build Your Own Internet? (inverse.com)
		63 points by ohjeez 14 hours ago \| hide \| 11 comments
25.		Energy Efficiency: A New Concern for Application Software Developers (acm.org)
		27 points by mpweiher 7 hours ago \| hide \| 4 comments
26.		Text-only news sites are slowly making a comeback (poynter.org)
		189 points by georgecmu 12 hours ago \| hide \| 77 comments
27.		Control Flow Visualizer (CFViz): an rr / gdb plugin (botondballo.wordpress.com)
		9 points by ingve 4 hours ago \| hide \| discuss
28.		Apple Autocorrects Names of Some Medications to Names of Different Medications (twitter.com)
		203 points by Houshalter 11 hours ago \| hide \| 101 comments
29.		Cicero's Periodic Sentence (2012) (catskill-merino.com)
		21 points by cribbles 8 hours ago \| hide \| 2 comments
30.		Russian submarine activity increases around Atlantic internet cables: report (thehill.com)
		99 points by erowtom 13 hours ago \| hide \| 55 comments
		More