Hacker News

1.		LisaOS to be open-sourced and donated to Computer History Museum (twitter.com)
		119 points by mpweiher 2 hours ago \| hide \| 27 comments
2.		Repairing a 1960s mainframe: Fixing the IBM 1401's core memory and power supply (righto.com)
		104 points by fernly 5 hours ago \| hide \| 14 comments
3.		LG Develops ‘Nano IPS’ LCD, Unveils 32“ 4K Display with DCI-P3, HDR600, TB3 (anandtech.com)
		20 points by jseliger 1 hour ago \| hide \| 8 comments
4.		The Only McLaren F1 Technician in North America (roadandtrack.com)
		141 points by iamben 6 hours ago \| hide \| 47 comments
5.		Axiom Beta – Digital cinema camera built around FOSS and open hardware (apertus.org)
		222 points by jarmitage 9 hours ago \| hide \| 76 comments
6.		The current state of kernel page-table isolation (lwn.net)
		22 points by jsnell 2 hours ago \| hide \| 4 comments
7.		Vue.js vs. React: what happened in 2017 (pixeljets.com)
		176 points by jetter 9 hours ago \| hide \| 104 comments
8.		Earthworms can reproduce in Mars soil simulant (wur.nl)
		113 points by scadge 7 hours ago \| hide \| 47 comments
9.		The Big Business of Prisoner Care Packages (themarshallproject.org)
		59 points by scarface74 5 hours ago \| hide \| 17 comments
10.		Electric currency could trash cash (1999) (theguardian.com)
		36 points by monort 3 hours ago \| hide \| 8 comments
11.		Bruce McCandless, First Astronaut to Fly Untethered in Space, Has Died (npr.org)
		92 points by lyk 7 hours ago \| hide \| 14 comments
12.		What Restaurants Know About You Before You Walk In (vogue.com)
		23 points by lnguyen 2 hours ago \| hide \| 18 comments
13.		Flaws in the clinical trials for Gardasil made it harder to assess safety (slate.com)
		13 points by ehudla 2 hours ago \| hide \| discuss
14.		Computer latency: 1977-2017 (danluu.com)
		19 points by kens 2 hours ago \| hide \| 1 comment
15.		Undefined vs. Unsafe in Rust (manishearth.github.io)
		127 points by ingve 8 hours ago \| hide \| 27 comments
16.		Writing GUI Apps Using the Red Programming Language (wesleyhill.co.uk)
		136 points by stesch 8 hours ago \| hide \| 70 comments
17.		Show HN: Solo – App for sharing loneliness and aloneness (sharesolo.com)
		8 points by wtsui 42 minutes ago \| hide \| 3 comments
18.		Negative binomial / binomial experiments: frequentist or Bayesian? (statwonk.com)
		25 points by RA_Fisher 5 hours ago \| hide \| 9 comments
19.		Analyzing One Million Robots.txt Files (intoli.com)
		107 points by foob 10 hours ago \| hide \| 14 comments
20.		Fungi Saved the World (2014) (feedthedatamonster.com)
		83 points by bentaber 8 hours ago \| hide \| 12 comments
21.		Fedora Modularity (pagure.org)
		29 points by rayascott 5 hours ago \| hide \| 4 comments
22.		Key compromise and root cert with exposed key in German lawyer software (beA) (groups.google.com)
		71 points by DyslexicAtheist 8 hours ago \| hide \| 14 comments
23.		Formal Verification: The Gap Between Perfect Code and Reality (raywang.tech)
		198 points by tom_mellior 12 hours ago \| hide \| 86 comments
24.		A Commercial Reuse License Can Be the Best of Both Worlds (2016) (kartick-log.blogspot.com)
		5 points by bshanks 1 hour ago \| hide \| discuss
25.		A Spare and Simple Life – Historic Environment Scotland (historicenvironment.scot)
		19 points by DanBC 4 hours ago \| hide \| 2 comments
26.		Weird machines, exploitability, and provable unexploitability (ieee.org)
		20 points by tdullien 6 hours ago \| hide \| 3 comments
27.		Dubsmash: Scaling to 200M Users with 3 Engineers (stackshare.io)
		160 points by yarapavan 12 hours ago \| hide \| 35 comments
28.		Reasoning About Program Behavior Algebraically [pdf] (stephendiehl.com)
		102 points by rwosync 14 hours ago \| hide \| 9 comments
29.		Designing Fast and Programmable Routers [pdf] (mit.edu)
		39 points by lainon 9 hours ago \| hide \| discuss
30.		Deep Learning Hardware Limbo (timdettmers.com)
		82 points by TheAlchemist 12 hours ago \| hide \| 13 comments
		More