Hacker News

1.		Axiom Beta – Digital camera built around FOSS and open hardware (apertus.org)
		156 points by jarmitage 4 hours ago \| hide \| 47 comments
2.		Writing GUI Apps Using the Red Programming Language (wesleyhill.co.uk)
		86 points by stesch 3 hours ago \| hide \| 34 comments
3.		Undefined vs. Unsafe in Rust (manishearth.github.io)
		72 points by ingve 3 hours ago \| hide \| 12 comments
4.		Repairing a 1960s mainframe: Fixing the IBM 1401's core memory and power supply (righto.com)
		10 points by fernly 41 minutes ago \| hide \| discuss
5.		Earthworms can reproduce in Mars soil simulant (wur.nl)
		33 points by scadge 2 hours ago \| hide \| 7 comments
6.		The Only McLaren F1 Technician in North America (roadandtrack.com)
		26 points by iamben 1 hour ago \| hide \| 7 comments
7.		Bruce McCandless, First Astronaut to Fly Untethered in Space, Has Died (npr.org)
		28 points by lyk 2 hours ago \| hide \| 1 comment
8.		Fungi Saved the World (2014) (feedthedatamonster.com)
		41 points by bentaber 3 hours ago \| hide \| 7 comments
9.		Vue.js vs. React: what happened in 2017? (pixeljets.com)
		53 points by jetter 4 hours ago \| hide \| 26 comments
10.		Key compromise and root cert with exposed key in German lawyer software (beA) (groups.google.com)
		40 points by DyslexicAtheist 3 hours ago \| hide \| 9 comments
11.		Analyzing One Million Robots.txt Files (intoli.com)
		69 points by foob 5 hours ago \| hide \| 3 comments
12.		Academic success is either a crapshoot or a scam (grasshoppermouse.github.io)
		228 points by mpweiher 11 hours ago \| hide \| 69 comments
13.		Formal Verification: The Gap Between Perfect Code and Reality (raywang.tech)
		161 points by tom_mellior 7 hours ago \| hide \| 81 comments
14.		How I Got Paid $0 from the Uber Security Bug Bounty (medium.com)
		30 points by GregoryVPerry 43 minutes ago \| hide \| 5 comments
15.		Dubsmash: Scaling to 200M Users with 3 Engineers (stackshare.io)
		116 points by yarapavan 7 hours ago \| hide \| 24 comments
16.		Open Source .NET three years later (mattwarren.org)
		181 points by matthewwarren 9 hours ago \| hide \| 127 comments
17.		Deep Learning Hardware Limbo (timdettmers.com)
		60 points by TheAlchemist 7 hours ago \| hide \| 7 comments
18.		A bogus study on code review (wesleyac.com)
		57 points by luu 6 hours ago \| hide \| 36 comments
19.		Reasoning About Program Behavior Algebraically [pdf] (stephendiehl.com)
		77 points by rwosync 9 hours ago \| hide \| 9 comments
20.		A walkthrough of the internals of the Carp compiler (veitheller.de)
		12 points by eriksvedang 3 hours ago \| hide \| 1 comment
21.		Weird machines, exploitability, and provable unexploitability (ieee.org)
		5 points by tdullien 1 hour ago \| hide \| discuss
22.		Crash-Resilient Wayland Compositing (arcan-fe.com)
		23 points by crazyloglad 6 hours ago \| hide \| 3 comments
23.		Where to hide your nuclear missile submarine? (sattrackcam.blogspot.com)
		51 points by infosecrf 6 hours ago \| hide \| 28 comments
24.		Designing Fast and Programmable Routers [pdf] (mit.edu)
		15 points by lainon 4 hours ago \| hide \| discuss
25.		Delay-Tolerant Networks Might Be the Killer App Ham Radio Needs (faradayrf.com)
		59 points by DyslexicAtheist 10 hours ago \| hide \| 13 comments
26.		A preview of the U.S. without pensions (mercurynews.com)
		102 points by lnguyen 13 hours ago \| hide \| 137 comments
27.		Inferno OS for Raspberry Pi (bitbucket.org)
		113 points by rcarmo 14 hours ago \| hide \| 14 comments
28.		How the 18th-Century Gay Bar Survived and Thrived in a Deadly Environment (atlasobscura.com)
		82 points by apollinaire 14 hours ago \| hide \| 2 comments
29.		Learning Deep Learning with Keras – An Overview for Beginners (p.migdal.pl)
		42 points by stared 4 hours ago \| hide \| 2 comments
30.		New company called Eelo will give you de-Google-ized Android for your privacy (phonearena.com)
		33 points by nuand999 3 hours ago \| hide \| 22 comments
		More