Hacker News

1.		LisaOS to be open-sourced and donated to Computer History Museum (twitter.com)
		90 points by mpweiher 1 hour ago \| hide \| 25 comments
2.		Repairing a 1960s mainframe: Fixing the IBM 1401's core memory and power supply (righto.com)
		90 points by fernly 4 hours ago \| hide \| 13 comments
3.		The Only McLaren F1 Technician in North America (roadandtrack.com)
		130 points by iamben 5 hours ago \| hide \| 41 comments
4.		Axiom Beta – Digital cinema camera built around FOSS and open hardware (apertus.org)
		211 points by jarmitage 8 hours ago \| hide \| 73 comments
5.		The current state of kernel page-table isolation (lwn.net)
		7 points by jsnell 1 hour ago \| hide \| discuss
6.		Bruce McCandless, First Astronaut to Fly Untethered in Space, Has Died (npr.org)
		86 points by lyk 6 hours ago \| hide \| 11 comments
7.		Earthworms can reproduce in Mars soil simulant (wur.nl)
		98 points by scadge 6 hours ago \| hide \| 42 comments
8.		Vue.js vs. React: what happened in 2017 (pixeljets.com)
		152 points by jetter 8 hours ago \| hide \| 89 comments
9.		Electric currency could trash cash (1999) (theguardian.com)
		24 points by monort 2 hours ago \| hide \| 1 comment
10.		The Big Business of Prisoner Care Packages (themarshallproject.org)
		48 points by scarface74 4 hours ago \| hide \| 13 comments
11.		Undefined vs. Unsafe in Rust (manishearth.github.io)
		119 points by ingve 7 hours ago \| hide \| 25 comments
12.		What Restaurants Know About You Before You Walk In (vogue.com)
		9 points by lnguyen 1 hour ago \| hide \| 7 comments
13.		Writing GUI Apps Using the Red Programming Language (wesleyhill.co.uk)
		129 points by stesch 7 hours ago \| hide \| 70 comments
14.		Fungi Saved the World (2014) (feedthedatamonster.com)
		78 points by bentaber 7 hours ago \| hide \| 10 comments
15.		Negative binomial / binomial experiments: frequentist or Bayesian? (statwonk.com)
		20 points by RA_Fisher 4 hours ago \| hide \| 9 comments
16.		Fedora Modularity (pagure.org)
		23 points by rayascott 4 hours ago \| hide \| 2 comments
17.		Analyzing One Million Robots.txt Files (intoli.com)
		100 points by foob 9 hours ago \| hide \| 12 comments
18.		Key compromise and root cert with exposed key in German lawyer software (beA) (groups.google.com)
		64 points by DyslexicAtheist 7 hours ago \| hide \| 12 comments
19.		Formal Verification: The Gap Between Perfect Code and Reality (raywang.tech)
		192 points by tom_mellior 11 hours ago \| hide \| 86 comments
20.		Flaws in the clinical trials for Gardasil made it harder to assess safety (slate.com)
		3 points by ehudla 1 hour ago \| hide \| discuss
21.		Which Python operations are atomic? (2016) (qqrs.us)
		18 points by luu 3 hours ago \| hide \| 3 comments
22.		Dubsmash: Scaling to 200M Users with 3 Engineers (stackshare.io)
		153 points by yarapavan 11 hours ago \| hide \| 34 comments
23.		Weird machines, exploitability, and provable unexploitability (ieee.org)
		17 points by tdullien 5 hours ago \| hide \| 2 comments
24.		Reasoning About Program Behavior Algebraically [pdf] (stephendiehl.com)
		95 points by rwosync 13 hours ago \| hide \| 9 comments
25.		Designing Fast and Programmable Routers [pdf] (mit.edu)
		36 points by lainon 8 hours ago \| hide \| discuss
26.		I Got Paid $0 from the Uber Security Bug Bounty (medium.com)
		389 points by GregoryVPerry 4 hours ago \| hide \| 105 comments
27.		Deep Learning Hardware Limbo (timdettmers.com)
		80 points by TheAlchemist 11 hours ago \| hide \| 13 comments
28.		Molly Houses: Gay Bars in 18th-Century Britain (atlasobscura.com)
		99 points by apollinaire 15 hours ago \| hide \| 9 comments
29.		A walkthrough of the internals of the Carp compiler (veitheller.de)
		21 points by eriksvedang 7 hours ago \| hide \| 1 comment
30.		Crash-Resilient Wayland Compositing (arcan-fe.com)
		33 points by crazyloglad 10 hours ago \| hide \| 4 comments
		More