Hacker News

1.		VigNAT: A Formally Verified Performant NAT (vignat.github.io)
		23 points by signa11 1 hour ago \| hide \| 3 comments
2.		Computational Duplo train track layouts (cr31.co.uk)
		80 points by amenghra 5 hours ago \| hide \| 5 comments
3.		Schism: A library of CRDT implementations of Clojure’s core data types (github.com)
		61 points by tosh 7 hours ago \| hide \| 6 comments
4.		Poland was shockingly liberal during the 1400s (smashcompany.com)
		60 points by jxub 1 hour ago \| hide \| 34 comments
5.		NYU Makes Tuition Free for All Medical Students (wsj.com)
		831 points by mudil 18 hours ago \| hide \| 409 comments
6.		A Sound Card Before Its Time (os2museum.com)
		74 points by userbinator 9 hours ago \| hide \| 36 comments
7.		Solo – Open-source FIDO2 security key (solokeys.com)
		151 points by fabiofederici 14 hours ago \| hide \| 43 comments
8.		Alexa, be my friend: Children talk to technology, but how does it respond? (washington.edu)
		30 points by rbanffy 8 hours ago \| hide \| 29 comments
9.		Pext: Python Extendable Tool (github.com)
		24 points by O_H_E 4 hours ago \| hide \| 4 comments
10.		DNA-based chemical compiler (arxiv.org)
		31 points by lainon 6 hours ago \| hide \| 5 comments
11.		Beyond Sexual Orientation (2016) (nautil.us)
		6 points by dnetesn 3 hours ago \| hide \| discuss
12.		The Linux Documentation Project Guides (tldp.org)
		71 points by ghosthamlet 11 hours ago \| hide \| 9 comments
13.		Show HN: P2p IRC-inspired browser chat on WebTorrent (chr15m.github.io)
		10 points by chr15m 4 hours ago \| hide \| 1 comment
14.		Who Left Open The Cookie Jar? (wholeftopenthecookiejar.eu)
		361 points by pmoriarty 17 hours ago \| hide \| 119 comments
15.		Walk Monster (2012) (caseymuratori.com)
		20 points by guildwriter 6 hours ago \| hide \| discuss
16.		Program Induction and Synthesis at ICML 18 (gfrison.com)
		8 points by gfrison1 3 hours ago \| hide \| discuss
17.		How to deploy an app to production with an actual button (blog.github.com)
		65 points by guessmyname 13 hours ago \| hide \| 29 comments
18.		Why Facebook is losing the war on hate speech in Myanmar (reuters.com)
		91 points by humantiy 8 hours ago \| hide \| 45 comments
19.		Elon Musk Confronts a Fateful Tweet and an ‘Excruciating’ Year (nytimes.com)
		139 points by tysone 7 hours ago \| hide \| 155 comments
20.		Traveling the World on a Third World Passport (bucketlistly.blog)
		300 points by cirrus-clouds 14 hours ago \| hide \| 256 comments
21.		Microsoft Closes US Surface Factory, Moves Production to China (extremetech.com)
		86 points by duykhoa12t 8 hours ago \| hide \| 19 comments
22.		The Math Required for Machine Learning (medium.com)
		19 points by hsikka 3 hours ago \| hide \| 1 comment
23.		Introduction to A* (1997) (stanford.edu)
		289 points by tosh 17 hours ago \| hide \| 28 comments
24.		Blocking Compromised Passwords on PyPI (caremad.io)
		24 points by ingve 9 hours ago \| hide \| 3 comments
25.		24-core CPU and I can’t type an email (randomascii.wordpress.com)
		459 points by ghuntley 7 hours ago \| hide \| 220 comments
26.		Modern SAT solvers: fast, neat and underused – part 2 (codingnest.com)
		124 points by aw1621107 12 hours ago \| hide \| 14 comments
27.		DoorDash Valuation Nearly Triples to $4B in Six Months (bloomberg.com)
		59 points by adventured 10 hours ago \| hide \| 83 comments
28.		Understanding Singapore’s Different Types of Street Suffixes (remembersingapore.org)
		26 points by sohkamyung 10 hours ago \| hide \| discuss
29.		Battery breakthrough: Double performance lithium battery that doesn’t catch fire (umich.edu)
		207 points by vezycash 20 hours ago \| hide \| 74 comments
30.		OpenPGPjs has passed an independent security audit (protonmail.com)
		223 points by testloop 20 hours ago \| hide \| 109 comments
		More