Hacker News

1.		tla+rust: writing correct lock-free and distributed stateful systems in Rust (github.com)
		24 points by guifortaine 47 minutes ago \| hide \| 1 comment
2.		Google Bug Bounty – The $5k Error Page (slashcrypto.org)
		340 points by Artemis2 11 hours ago \| hide \| 103 comments
3.		New paint colors invented by neural network (lewisandquark.tumblr.com)
		109 points by CPLX 6 hours ago \| hide \| 25 comments
4.		What's New in Create React App (facebook.github.io)
		63 points by taejavu 1 hour ago \| hide \| 13 comments
5.		America’s Cars Are Getting Faster and More Efficient (bloomberg.com)
		209 points by JumpCrisscross 11 hours ago \| hide \| 327 comments
6.		An Indian village addicted to chess (bbc.com)
		223 points by sonabinu 14 hours ago \| hide \| 107 comments
7.		A web-based roguelike written in Dart (github.com)
		58 points by tosh 6 hours ago \| hide \| 2 comments
8.		Biology needs more staff scientists (nature.com)
		120 points by kungfudoi 11 hours ago \| hide \| 57 comments
9.		The Nimble Type Inferencer for Common Lisp-84 (1990) (pipeline.com)
		52 points by Tomte 10 hours ago \| hide \| discuss
10.		Writing a Lisp: Continuations (reinvanderwoerd.nl)
		103 points by reinvdwoerd 13 hours ago \| hide \| 40 comments
11.		Triplebyte (YC S15) looking for remote engineers
		55 minutes ago \| hide
12.		What Does the Met’s New Online Collection Mean for Art Students? (medium.com)
		69 points by Tomte 11 hours ago \| hide \| 20 comments
13.		Learn Kotlin in Y Minutes (learnxinyminutes.com)
		328 points by jakub_g 13 hours ago \| hide \| 199 comments
14.		Startup School 13: How to Find Product Market Fit – Peter Reinhardt [video] (startupschool.org)
		130 points by sama 14 hours ago \| hide \| 13 comments
15.		Heroku CI Is Now Generally Available (heroku.com)
		102 points by petercooper 13 hours ago \| hide \| 47 comments
16.		Building Auto-Tuners with Structured Bayesian Optimization [pdf] (cam.ac.uk)
		58 points by blacksmythe 12 hours ago \| hide \| 1 comment
17.		How we invented a new way to teach one of the most difficult languages to learn (duolingo.com)
		17 points by jrehor 1 hour ago \| hide \| 3 comments
18.		Boost – Your personal advisor and career coach (getboost.io)
		131 points by neat0-ninj4 9 hours ago \| hide \| 68 comments
19.		One Step Closer to a Closed Internet (mozilla.org)
		437 points by Vinnl 13 hours ago \| hide \| 181 comments
20.		Fidget Spinners: Why Being Interesting Can Do More for You Than Being Useful (betterthansure.com)
		74 points by lunaru 8 hours ago \| hide \| 84 comments
21.		To Become a Better Investor, Think Like Darwin (nautil.us)
		96 points by t23 14 hours ago \| hide \| 22 comments
22.		Microsoft to Deliver Microsoft Cloud from Datacenters in Africa (microsoft.com)
		168 points by el_duderino 17 hours ago \| hide \| 87 comments
23.		Breaking a large AWS spend into understandable pieces (segment.com)
		213 points by fullung 17 hours ago \| hide \| 62 comments
24.		Etsy is under pressure to start acting more like a conventional company (bloomberg.com)
		213 points by marvinpinto 17 hours ago \| hide \| 205 comments
25.		Google releases dataset of 50M vector drawings, open sources Sketch-RNN model (tensorflow.org)
		5 points by wei_jok 4 hours ago \| hide \| 1 comment
26.		Flang – A Fortran compiler targeting LLVM (github.com)
		146 points by swills 16 hours ago \| hide \| 95 comments
27.		Let them paste passwords (ncsc.gov.uk)
		612 points by matthewbadeau 17 hours ago \| hide \| 319 comments
28.		Ask HN: Is Hackernews still using the file system as database?
		209 points by tosh 9 hours ago \| hide \| 55 comments
29.		PostgreSQL 10 Beta 1 Released (postgresql.org)
		446 points by ahachete 16 hours ago \| hide \| 137 comments
30.		Get Started with Kotlin on Android (android.com)
		8 points by ing33k 2 hours ago \| hide \| discuss
		More