Hacker News

1.		Theorem of the Day (theoremoftheday.org)
		275 points by kercker 8 hours ago \| hide \| 15 comments
2.		Show HN: Antd – A set of high-quality React components (ant.design)
		300 points by _yesmeck 8 hours ago \| hide \| 83 comments
3.		Configuring a High Interactivity SSH HoneyPot (robertputt.co.uk)
		44 points by robputt796 3 hours ago \| hide \| 9 comments
4.		Ant species cultivates coffee for accommodation (dw.com)
		61 points by arunc 5 hours ago \| hide \| 19 comments
5.		Japan plans 130-petaflops supercomputer (arstechnica.com)
		36 points by thetechgraph 3 hours ago \| hide \| 33 comments
6.		Learning to Read X86 Assembly Language (patshaughnessy.net)
		443 points by adamnemecek 15 hours ago \| hide \| 167 comments
7.		A vi-centric family tree of editors (2000) (mit.edu)
		172 points by topranks 11 hours ago \| hide \| 65 comments
8.		LaiNES – Cycle-accurate NES emulator in around 1000 lines of code (github.com)
		179 points by mmphosis 11 hours ago \| hide \| 45 comments
9.		Probabilistic Programming (cornell.edu)
		179 points by ingve 12 hours ago \| hide \| 17 comments
10.		Facsimile of the Voynich Manuscript Now Available to Citizen Cryptographers (hyperallergic.com)
		62 points by misnamed 7 hours ago \| hide \| 7 comments
11.		Show HN: DIY Position Tracking Using HTC Vive's Lighthouse (github.com)
		73 points by ashtuchkin 8 hours ago \| hide \| 20 comments
12.		When Free Software Isn't (Practically) Superior (gnu.org)
		15 points by asymmetric 2 hours ago \| hide \| 6 comments
13.		Extreme Multi-Label Loss Functions for Recommendation, Tagging, Ranking [pdf] (manikvarma.github.io)
		40 points by kuhidarwin 7 hours ago \| hide \| discuss
14.		Physics, Topology, Logic, and Computation: A Rosetta Stone (2009) (arxiv.org)
		74 points by rfreytag 10 hours ago \| hide \| 9 comments
15.		Lambdoku – AWS Lambda with Heroku-like Experience (github.com)
		110 points by kubek2k 13 hours ago \| hide \| 24 comments
16.		Funding the Web with Brendan Eich [audio] (changelog.com)
		100 points by dkarapetyan 12 hours ago \| hide \| 27 comments
17.		OpenBSD on PC Engines APU2 (github.com)
		69 points by walterbell 11 hours ago \| hide \| 22 comments
18.		How Supervisors Work (jbodah.github.io)
		68 points by qubitcoder 12 hours ago \| hide \| 13 comments
19.		Deep learning with coherent nanophotonic circuits (arxiv.org)
		72 points by shreyassaxena 13 hours ago \| hide \| 7 comments
20.		The Holy Trinity: Logic, Languages, Categories (2011) (existentialtype.wordpress.com)
		100 points by rpbertp13 16 hours ago \| hide \| 33 comments
21.		Binary data over Phoenix sockets (stoiximan.gr)
		78 points by qubitcoder 12 hours ago \| hide \| 2 comments
22.		Three Software Freedoms (naughtycomputer.uk)
		68 points by xylon 15 hours ago \| hide \| 49 comments
23.		Stallman's Law (gnu.org)
		249 points by BuuQu9hu 13 hours ago \| hide \| 107 comments
24.		As Batteries Keep Exploding, Safety Commission Prepares for Change (npr.org)
		79 points by kawera 12 hours ago \| hide \| 60 comments
25.		Almost everything in Dr. Strangelove was true (2014) (newyorker.com)
		44 points by danieka 13 hours ago \| hide \| 6 comments
26.		Let's Colonize Titan (scientificamerican.com)
		455 points by aburan28 1 day ago \| hide \| 424 comments
27.		A Brilliant Mind’s Pauses: The Fiction of Pushkin (lareviewofbooks.org)
		60 points by benbreen 14 hours ago \| hide \| 5 comments
28.		The legacy of Ada Lovelace (2015) (1843magazine.com)
		51 points by mxschumacher 16 hours ago \| hide \| 10 comments
29.		The Unsound Playground: Java and Scala's Type Systems are Unsound (livecode.ch)
		190 points by theemathas 17 hours ago \| hide \| 107 comments
30.		Best Practices for Time Travelers (2003) (idlewords.com)
		180 points by swatkat 15 hours ago \| hide \| 68 comments
		More