Hacker News

1.		The SeL4 Foundation: What and Why (microkerneldude.wordpress.com)
		19 points by ingve 51 minutes ago \| hide \| 1 comment
2.		Implementing Forth in Assembly (annexia.org)
		23 points by kalium-xyz 2 hours ago \| hide \| 4 comments
3.		A new weapon in arbitration: sheer volume (nytimes.com)
		457 points by jseliger 13 hours ago \| hide \| 191 comments
4.		Ask HN: What is your blog and why should I read it?
		194 points by jppope 7 hours ago \| hide \| 208 comments
5.		OK Soda (wikipedia.org)
		90 points by velmu 6 hours ago \| hide \| 50 comments
6.		Gadgets That Refuse to Die (engadget.com)
		109 points by davewongillies 5 hours ago \| hide \| 122 comments
7.		Universities forced to face addiction to foreign students’ money (bloomberg.com)
		123 points by hhs 9 hours ago \| hide \| 63 comments
8.		Some auto insurers are sending refunds to customers as crash rate falls (npr.org)
		135 points by prostoalex 10 hours ago \| hide \| 101 comments
9.		Containers vs. Zones vs. Jails vs. VMs (2017) (jessfraz.com)
		278 points by gullyfur 14 hours ago \| hide \| 91 comments
10.		Providence Lost: The Rise and Fall of Cromwell’s Protectorate (thecritic.co.uk)
		16 points by flannery 4 hours ago \| hide \| 7 comments
11.		A new way of playing Japanese and English games side-by-side (2016) (legendsoflocalization.com)
		4 points by cableshaft 1 hour ago \| hide \| discuss
12.		Write your own Virtual CPU in C++ (2014) (megalomaniacbore.blogspot.com)
		84 points by andreygrehov 8 hours ago \| hide \| 2 comments
13.		Free System Programming Textbook (Illinois CS241) (illinois.edu)
		160 points by garren 12 hours ago \| hide \| 8 comments
14.		Public Books Database (publicbooks.org)
		22 points by payasr 4 hours ago \| hide \| discuss
15.		Java Memory Analyzer (heaphero.io)
		23 points by Ram_Lakshmanan 5 hours ago \| hide \| 15 comments
16.		MBONE: The Multicast Backbone (1994) (ucsb.edu)
		13 points by Lammy 3 hours ago \| hide \| 5 comments
17.		Tips for Founders Sales: Lessons from Starting Two B2B Startups (philstrazzulla.com)
		121 points by pstrazzulla 12 hours ago \| hide \| 21 comments
18.		Show HN: I'm releasing my game for free (itch.io)
		137 points by atum47 9 hours ago \| hide \| 84 comments
19.		Exit unicorns, pursued by bears (economist.com)
		47 points by Jerry2 8 hours ago \| hide \| 39 comments
20.		Something small, every day (2013) (austinkleon.com)
		24 points by wallflower 4 hours ago \| hide \| 2 comments
21.		Conntrack tales – one thousand and one flows (cloudflare.com)
		8 points by jgrahamc 2 hours ago \| hide \| discuss
22.		The Io Language (iolanguage.org)
		96 points by pcr910303 11 hours ago \| hide \| 12 comments
23.		DeSpeak: Practice at public speaking (despeak.com)
		24 points by wrazo 6 hours ago \| hide \| 5 comments
24.		What Are Spomeniks? (spomenikdatabase.org)
		66 points by dr_dshiv 9 hours ago \| hide \| 36 comments
25.		Miso (YC W20) Hiring in Seoul, Korea (grnh.se)
		2 hours ago \| hide
26.		Libcsp: a fast C concurrency library influenced by the CSP model (github.com)
		118 points by lime66 14 hours ago \| hide \| 22 comments
27.		Experiment finds that gravity still works down to 50 micrometers (arstechnica.com)
		29 points by sohkamyung 2 hours ago \| hide \| 5 comments
28.		How to Build 1 Bit of RAM Using Transistors (avrillion.com)
		89 points by ImGameDeving 13 hours ago \| hide \| 39 comments
29.		QuakeJS – A Quake Port to JavaScript with Emscripten (quakejs.com)
		315 points by zaiste 15 hours ago \| hide \| 131 comments
30.		Lean Book: The Hitchhiker's Guide to Logical Verification [pdf] (github.com)
		142 points by kevinbuzzard 19 hours ago \| hide \| 17 comments
		More