Hacker News

1.		Formal Verification: The Gap Between Perfect Code and Reality (raywang.tech)
		97 points by tom_mellior 3 hours ago \| hide \| 22 comments
2.		Open Source .NET – 3 years later (mattwarren.org)
		118 points by matthewwarren 5 hours ago \| hide \| 61 comments
3.		Academic success is either a crapshoot or a scam (grasshoppermouse.github.io)
		133 points by mpweiher 7 hours ago \| hide \| 45 comments
4.		Dubsmash: Scaling to 200M Users with 3 Engineers (stackshare.io)
		46 points by yarapavan 3 hours ago \| hide \| 2 comments
5.		Show HN: A list of software that turns your database into a REST/GraphQL API (github.com)
		46 points by networked 4 hours ago \| hide \| 2 comments
6.		AXIOM Beta professional digital camera built around FOSS and open hardware (apertus.org)
		4 points by jarmitage 43 minutes ago \| hide \| discuss
7.		Deep Learning Hardware Limbo (timdettmers.com)
		22 points by TheAlchemist 3 hours ago \| hide \| 1 comment
8.		Papercraft with Blender (matiasmorant.wordpress.com)
		286 points by wvlia5 14 hours ago \| hide \| 39 comments
9.		The Effect of Atmospheric Nuclear Testing on American Mortality Patterns [pdf] (keithameyers.com)
		191 points by stablemap 13 hours ago \| hide \| 83 comments
10.		Reasoning About Program Behavior Algebraically [pdf] (stephendiehl.com)
		47 points by rwosync 5 hours ago \| hide \| 7 comments
11.		Where to hide your nuclear missile submarine? (sattrackcam.blogspot.com)
		9 points by infosecrf 2 hours ago \| hide \| 3 comments
12.		Live CO2 emissions of electricity consumption (electricitymap.org)
		122 points by corradio 6 hours ago \| hide \| 113 comments
13.		VA’s foray into Internet of Things faced ‘catastrophic failure’ (mystatesman.com)
		34 points by us0r 7 hours ago \| hide \| 20 comments
14.		How to Print Integers Really Fast (pvk.ca)
		131 points by signa11 11 hours ago \| hide \| 26 comments
15.		Inferno OS for Raspberry Pi (bitbucket.org)
		76 points by rcarmo 10 hours ago \| hide \| 10 comments
16.		How the 18th-Century Gay Bar Survived and Thrived in a Deadly Environment (atlasobscura.com)
		56 points by apollinaire 10 hours ago \| hide \| 1 comment
17.		Delay-Tolerant Networks Might Be the Killer App Ham Radio Needs (faradayrf.com)
		29 points by DyslexicAtheist 6 hours ago \| hide \| 3 comments
18.		UK Cops Want to Use AI to Spot Porn, But It Mistakes Desert Pics for Nudes (gizmodo.com)
		52 points by zeristor 9 hours ago \| hide \| 44 comments
19.		A bogus study on code review (wesleyac.com)
		15 points by luu 2 hours ago \| hide \| discuss
20.		Ruby 2.0 Works Hard So You Can Be Lazy (2013) (patshaughnessy.net)
		44 points by thibaut_barrere 4 hours ago \| hide \| 6 comments
21.		Devcards aims to provide a visual REPL experience for ClojureScript (github.com)
		27 points by tosh 6 hours ago \| hide \| 2 comments
22.		A Backlash Against Piped Music (citylab.com)
		39 points by evolve2k 9 hours ago \| hide \| 27 comments
23.		“Let’s, Like, Demolish Laundry” (2014) (nymag.com)
		18 points by rabidrat 4 hours ago \| hide \| 4 comments
24.		Control Flow Visualizer (CFViz): an rr / gdb plugin (botondballo.wordpress.com)
		12 points by ingve 5 hours ago \| hide \| 1 comment
25.		Carve your own spoon (2014) (theguardian.com)
		19 points by Tomte 6 hours ago \| hide \| 4 comments
26.		Text-only news sites are slowly making a comeback (poynter.org)
		203 points by georgecmu 13 hours ago \| hide \| 83 comments
27.		Energy Efficiency: A New Concern for Application Software Developers (acm.org)
		34 points by mpweiher 8 hours ago \| hide \| 4 comments
28.		Apple Autocorrects Names of Some Medications to Names of Different Medications (twitter.com)
		219 points by Houshalter 12 hours ago \| hide \| 106 comments
29.		Algorithmic Solution to My Insomnia (sukhar.com)
		205 points by csmajorfive 15 hours ago \| hide \| 66 comments
30.		Karnaugh map (wikipedia.org)
		50 points by lainon 9 hours ago \| hide \| 18 comments
		More