Hacker News

1.		Axiom Beta – Digital camera built around FOSS and open hardware (apertus.org)
		128 points by jarmitage 3 hours ago \| hide \| 34 comments
2.		Writing GUI Apps Using the Red Programming Language (wesleyhill.co.uk)
		58 points by stesch 2 hours ago \| hide \| 15 comments
3.		Undefined vs. Unsafe in Rust (manishearth.github.io)
		58 points by ingve 2 hours ago \| hide \| 6 comments
4.		Fungi Saved the World (2014) (feedthedatamonster.com)
		30 points by bentaber 2 hours ago \| hide \| 5 comments
5.		Key compromise and root cert with exposed key in German lawyer software (beA) (groups.google.com)
		33 points by DyslexicAtheist 2 hours ago \| hide \| 6 comments
6.		Formal Verification: The Gap Between Perfect Code and Reality (raywang.tech)
		152 points by tom_mellior 6 hours ago \| hide \| 70 comments
7.		Analyzing One Million Robots.txt Files (intoli.com)
		44 points by foob 4 hours ago \| hide \| 1 comment
8.		Academic success is either a crapshoot or a scam (grasshoppermouse.github.io)
		213 points by mpweiher 10 hours ago \| hide \| 67 comments
9.		Open Source .NET three years later (mattwarren.org)
		171 points by matthewwarren 8 hours ago \| hide \| 114 comments
10.		Bruce McCandless, First Astronaut to Fly Untethered in Space, Has Died (npr.org)
		6 points by lyk 1 hour ago \| hide \| discuss
11.		Dubsmash: Scaling to 200M Users with 3 Engineers (stackshare.io)
		107 points by yarapavan 6 hours ago \| hide \| 21 comments
12.		Earthworms can reproduce in Mars soil simulant (wur.nl)
		5 points by scadge 1 hour ago \| hide \| discuss
13.		Vue.js vs. React: what happened in 2017? (pixeljets.com)
		23 points by jetter 3 hours ago \| hide \| 4 comments
14.		Deep Learning Hardware Limbo (timdettmers.com)
		57 points by TheAlchemist 6 hours ago \| hide \| 7 comments
15.		Crash-Resilient Wayland Compositing (arcan-fe.com)
		22 points by crazyloglad 5 hours ago \| hide \| 2 comments
16.		Reasoning About Program Behavior Algebraically [pdf] (stephendiehl.com)
		73 points by rwosync 8 hours ago \| hide \| 8 comments
17.		A walkthrough of the internals of the Carp compiler (veitheller.de)
		5 points by eriksvedang 2 hours ago \| hide \| 1 comment
18.		Where to hide your nuclear missile submarine? (sattrackcam.blogspot.com)
		45 points by infosecrf 5 hours ago \| hide \| 21 comments
19.		A bogus study on code review (wesleyac.com)
		44 points by luu 5 hours ago \| hide \| 27 comments
20.		Designing Fast and Programmable Routers [pdf] (mit.edu)
		13 points by lainon 3 hours ago \| hide \| discuss
21.		Delay-Tolerant Networks Might Be the Killer App Ham Radio Needs (faradayrf.com)
		51 points by DyslexicAtheist 9 hours ago \| hide \| 6 comments
22.		How the 18th-Century Gay Bar Survived and Thrived in a Deadly Environment (atlasobscura.com)
		78 points by apollinaire 13 hours ago \| hide \| 2 comments
23.		A preview of the U.S. without pensions (mercurynews.com)
		89 points by lnguyen 12 hours ago \| hide \| 121 comments
24.		Learning Deep Learning with Keras – An Overview for Beginners (p.migdal.pl)
		34 points by stared 3 hours ago \| hide \| 2 comments
25.		Inferno OS for Raspberry Pi (bitbucket.org)
		105 points by rcarmo 13 hours ago \| hide \| 14 comments
26.		New company called Eelo will give you de-Google-ized Android for your privacy (phonearena.com)
		25 points by nuand999 2 hours ago \| hide \| 16 comments
27.		VA’s foray into Internet of Things faced ‘catastrophic failure’ (mystatesman.com)
		46 points by us0r 10 hours ago \| hide \| 28 comments
28.		Devcards aims to provide a visual REPL experience for ClojureScript (github.com)
		45 points by tosh 9 hours ago \| hide \| 4 comments
29.		How to Print Integers Really Fast (pvk.ca)
		149 points by signa11 14 hours ago \| hide \| 41 comments
30.		A Backlash Against Piped Music (citylab.com)
		55 points by evolve2k 12 hours ago \| hide \| 40 comments
		More