Hacker News

1.		Taking control of all .io domains with a targeted registration (thehackerblog.com)
		282 points by koenrh 1 hour ago \| hide \| 54 comments
2.		Automated Verification of a Type-Safe Operating System [pdf] (microsoft.com)
		43 points by muraiki 1 hour ago \| hide \| 5 comments
3.		Unikernels are secure (unikernel.org)
		73 points by ingve 2 hours ago \| hide \| 57 comments
4.		Show HN: Seashells – Pipe output from CLI apps to the web in real time (seashells.io)
		74 points by anishathalye 1 hour ago \| hide \| 16 comments
5.		How Rust is tested (brson.github.io)
		29 points by brson 50 minutes ago \| hide \| 1 comment
6.		Awk driven IoT (astier.eu)
		119 points by Aissen 4 hours ago \| hide \| 21 comments
7.		Launch HN: Guilded (YC S17) – Power-Ups for Gaming Teams (guilded.gg)
		18 points by iEchoic 1 hour ago \| hide \| 6 comments
8.		Librarian: Get links to references and Bibtex for papers on arXiv (fermatslibrary.com)
		22 points by mgdo 1 hour ago \| hide \| 1 comment
9.		Bitcoin, Explained on a Napkin (napkinbooks.com)
		8 points by mmvvaa 40 minutes ago \| hide \| 1 comment
10.		Semiconductor CEO trying to make the world's best Pinot Noir (bbc.com)
		19 points by malchow 2 hours ago \| hide \| 10 comments
11.		Soti – A $1B firm built in a basement (bbc.com)
		294 points by ghosh 9 hours ago \| hide \| 133 comments
12.		TileMill – An open source map design studio (tilemill-project.github.io)
		30 points by susi22 4 hours ago \| hide \| 10 comments
13.		60 FPS Animations with CSS3 (medium.com)
		71 points by ritadias 5 hours ago \| hide \| 22 comments
14.		JMAP – an IMAP replacement (jmap.io)
		26 points by _e 5 hours ago \| hide \| 2 comments
15.		Charlotte Brontë’s Teaching Career (laphamsquarterly.org)
		19 points by pepys 4 hours ago \| hide \| discuss
16.		Bitcoin mining the hard way: the algorithms, protocols, and bytes (righto.com)
		35 points by bemmu 5 hours ago \| hide \| discuss
17.		Darpa Wants Brain Implants That Record from 1M Neurons (ieee.org)
		97 points by kungfudoi 3 hours ago \| hide \| 57 comments
18.		Government Data Requests 2017 (eff.org)
		38 points by kartD 1 hour ago \| hide \| 1 comment
19.		24-core CPU and I can’t move my mouse (randomascii.wordpress.com)
		849 points by joebaf 11 hours ago \| hide \| 401 comments
20.		Show HN: Routerless (163.172.181.149)
		6 points by madmaniak 1 hour ago \| hide \| 6 comments
21.		EU Prepares "Right to Repair" Legislation to Fight Short Product Lifespans (bleepingcomputer.com)
		321 points by SwellJoe 10 hours ago \| hide \| 257 comments
22.		Datomic: this is not the history you're looking for (vvvvalvalval.github.io)
		121 points by mpweiher 13 hours ago \| hide \| 13 comments
23.		Two-factor authentication is a mess (theverge.com)
		73 points by stanleydrew 4 hours ago \| hide \| 72 comments
24.		Remembering Piper Alpha (blogs.bl.uk)
		24 points by Thevet 5 hours ago \| hide \| 2 comments
25.		Jupyter Dashboards Layout Extension (readthedocs.io)
		21 points by stared 3 hours ago \| hide \| 3 comments
26.		The Uninhabitable Earth (nymag.com)
		168 points by yuvadam 6 hours ago \| hide \| 128 comments
27.		Do You Even Ship? – EasyPost Hiring (easypost.com)
		4 hours ago \| hide
28.		GitHubDocs – Open source SPA built using Markdown docs in your GitHub repo (npmjs.com)
		34 points by mrvautin 9 hours ago \| hide \| 31 comments
29.		Half-price Ebooks for Day Against DRM (nostarch.com)
		143 points by dabber 6 hours ago \| hide \| 52 comments
30.		How to make a friend fast (happyturtlethings.net)
		663 points by trurl42 22 hours ago \| hide \| 206 comments
		More