Hacker News

1.		AXIOM Beta – A professional digital camera built around FOSS and open hardware (apertus.org)
		40 points by jarmitage 1 hour ago \| hide \| 8 comments
2.		Formal Verification: The Gap Between Perfect Code and Reality (raywang.tech)
		116 points by tom_mellior 4 hours ago \| hide \| 44 comments
3.		Open Source .NET three years later (mattwarren.org)
		137 points by matthewwarren 6 hours ago \| hide \| 75 comments
4.		Academic success is either a crapshoot or a scam (grasshoppermouse.github.io)
		161 points by mpweiher 8 hours ago \| hide \| 54 comments
5.		Undefined vs. Unsafe in Rust (manishearth.github.io)
		6 points by ingve 31 minutes ago \| hide \| discuss
6.		Dubsmash: Scaling to 200M Users with 3 Engineers (stackshare.io)
		73 points by yarapavan 4 hours ago \| hide \| 8 comments
7.		Where to hide your nuclear missile submarine? (sattrackcam.blogspot.com)
		26 points by infosecrf 3 hours ago \| hide \| 13 comments
8.		Deep Learning Hardware Limbo (timdettmers.com)
		32 points by TheAlchemist 4 hours ago \| hide \| 3 comments
9.		Reasoning About Program Behavior Algebraically [pdf] (stephendiehl.com)
		57 points by rwosync 6 hours ago \| hide \| 7 comments
10.		Crash-Resilient Wayland Compositing (arcan-fe.com)
		10 points by crazyloglad 3 hours ago \| hide \| discuss
11.		The Effect of Atmospheric Nuclear Testing on American Mortality Patterns [pdf] (keithameyers.com)
		195 points by stablemap 14 hours ago \| hide \| 87 comments
12.		A bogus study on code review (wesleyac.com)
		30 points by luu 3 hours ago \| hide \| discuss
13.		Delay-Tolerant Networks Might Be the Killer App Ham Radio Needs (faradayrf.com)
		36 points by DyslexicAtheist 7 hours ago \| hide \| 3 comments
14.		VA’s foray into Internet of Things faced ‘catastrophic failure’ (mystatesman.com)
		40 points by us0r 8 hours ago \| hide \| 23 comments
15.		Inferno OS for Raspberry Pi (bitbucket.org)
		81 points by rcarmo 11 hours ago \| hide \| 11 comments
16.		How the 18th-Century Gay Bar Survived and Thrived in a Deadly Environment (atlasobscura.com)
		64 points by apollinaire 11 hours ago \| hide \| 1 comment
17.		How to Print Integers Really Fast (pvk.ca)
		137 points by signa11 12 hours ago \| hide \| 31 comments
18.		Learning Deep Learning with Keras – An Overview for Beginners (p.migdal.pl)
		3 points by stared 1 hour ago \| hide \| discuss
19.		Live CO2 emissions of electricity consumption (electricitymap.org)
		130 points by corradio 7 hours ago \| hide \| 116 comments
20.		New company called eelo will give you de-Google-ized Android for your privacy (phonearena.com)
		5 points by nuand999 33 minutes ago \| hide \| 2 comments
21.		A list of software that turns your database into a REST/GraphQL API (github.com)
		59 points by networked 5 hours ago \| hide \| 8 comments
22.		Analyzing One Million Robots.txt Files (intoli.com)
		4 points by foob 2 hours ago \| hide \| discuss
23.		Apple Maps thinks the Ferry Building in SF is six miles inland
		5 points by alasdair_ 58 minutes ago \| hide \| 1 comment
24.		Devcards aims to provide a visual REPL experience for ClojureScript (github.com)
		31 points by tosh 7 hours ago \| hide \| 4 comments
25.		UK Cops Want to Use AI to Spot Porn, But It Mistakes Desert Pics for Nudes (gizmodo.com)
		59 points by zeristor 10 hours ago \| hide \| 53 comments
26.		A Backlash Against Piped Music (citylab.com)
		43 points by evolve2k 10 hours ago \| hide \| 33 comments
27.		Ruby 2.0 Works Hard So You Can Be Lazy (2013) (patshaughnessy.net)
		47 points by thibaut_barrere 5 hours ago \| hide \| 7 comments
28.		Happy Eyeballs Version 2: Better Connectivity Using Concurrency (ietf.org)
		4 points by okket 2 hours ago \| hide \| discuss
29.		Energy Efficiency: A New Concern for Application Software Developers (acm.org)
		39 points by mpweiher 9 hours ago \| hide \| 5 comments
30.		Control Flow Visualizer (CFViz): an rr / gdb plugin (botondballo.wordpress.com)
		14 points by ingve 6 hours ago \| hide \| 2 comments
		More