Hacker News

1.		VigNAT: A Formally Verified Performant NAT (vignat.github.io)
		51 points by signa11 2 hours ago \| hide \| 6 comments
2.		How to Write Unmaintainable Code (github.com)
		20 points by mmoura11s 2 hours ago \| hide \| 2 comments
3.		Computational Duplo train track layouts (cr31.co.uk)
		105 points by amenghra 6 hours ago \| hide \| 5 comments
4.		Buttplug: an open-source standards and software project for intimate hardware (buttplug.io)
		42 points by andyonthewings 47 minutes ago \| hide \| 11 comments
5.		Schism: A library of CRDT implementations of Clojure’s core data types (github.com)
		70 points by tosh 8 hours ago \| hide \| 6 comments
6.		Ask HN: Simple, beginner friendly ETL / Data Engineering project ideas?
		16 points by zabana 1 hour ago \| hide \| 10 comments
7.		Pext: Python Extendable Tool (github.com)
		35 points by O_H_E 5 hours ago \| hide \| 4 comments
8.		NYU Makes Tuition Free for All Medical Students (wsj.com)
		842 points by mudil 19 hours ago \| hide \| 418 comments
9.		A Sound Card Before Its Time (os2museum.com)
		78 points by userbinator 10 hours ago \| hide \| 39 comments
10.		Beyond Sexual Orientation (2016) (nautil.us)
		31 points by dnetesn 4 hours ago \| hide \| 5 comments
11.		Alexa, be my friend: Children talk to technology, but how does it respond? (washington.edu)
		36 points by rbanffy 9 hours ago \| hide \| 33 comments
12.		DNA-based chemical compiler (arxiv.org)
		37 points by lainon 7 hours ago \| hide \| 7 comments
13.		Show HN: P2p IRC-inspired browser chat on WebTorrent (chr15m.github.io)
		16 points by chr15m 5 hours ago \| hide \| 3 comments
14.		Program Induction and Synthesis at ICML 18 (gfrison.com)
		13 points by gfrison1 4 hours ago \| hide \| discuss
15.		The Linux Documentation Project Guides (tldp.org)
		80 points by ghosthamlet 13 hours ago \| hide \| 11 comments
16.		Poland was shockingly liberal during the 1400s (smashcompany.com)
		88 points by jxub 2 hours ago \| hide \| 51 comments
17.		Walk Monster (2012) (caseymuratori.com)
		23 points by guildwriter 7 hours ago \| hide \| 3 comments
18.		How to deploy an app to production with an actual button (blog.github.com)
		69 points by guessmyname 14 hours ago \| hide \| 31 comments
19.		Who Left Open The Cookie Jar? (wholeftopenthecookiejar.eu)
		368 points by pmoriarty 18 hours ago \| hide \| 123 comments
20.		Blocking Compromised Passwords on PyPI (caremad.io)
		29 points by ingve 10 hours ago \| hide \| 5 comments
21.		Why Facebook is losing the war on hate speech in Myanmar (reuters.com)
		96 points by humantiy 9 hours ago \| hide \| 47 comments
22.		NetData: monitor your systems and applications, with interactive web dashboards (my-netdata.io)
		19 points by sandebert 7 hours ago \| hide \| 1 comment
23.		Elon Musk Confronts a Fateful Tweet and an ‘Excruciating’ Year (nytimes.com)
		151 points by tysone 8 hours ago \| hide \| 184 comments
24.		Introduction to A* (1997) (stanford.edu)
		296 points by tosh 18 hours ago \| hide \| 28 comments
25.		Microsoft Closes US Surface Factory, Moves Production to China (extremetech.com)
		90 points by duykhoa12t 9 hours ago \| hide \| 23 comments
26.		Show HN: I made wits.io where writers can earn money with book summaries (wits.io)
		6 points by zaheerbaloch 3 hours ago \| hide \| 3 comments
27.		24-core CPU and I can’t type an email (randomascii.wordpress.com)
		477 points by ghuntley 8 hours ago \| hide \| 225 comments
28.		Modern SAT solvers: fast, neat and underused – part 2 (codingnest.com)
		128 points by aw1621107 13 hours ago \| hide \| 15 comments
29.		The Math Required for Machine Learning (medium.com)
		27 points by hsikka 4 hours ago \| hide \| 3 comments
30.		Understanding Singapore’s Different Types of Street Suffixes (remembersingapore.org)
		29 points by sohkamyung 11 hours ago \| hide \| discuss
		More