Hacker News

1.		Theorem of the Day (theoremoftheday.org)
		217 points by kercker 6 hours ago \| hide \| 13 comments
2.		Show HN: Antd – A set of high-quality React components (ant.design)
		248 points by _yesmeck 6 hours ago \| hide \| 62 comments
3.		Ant species cultivates coffee for accommodation (dw.com)
		40 points by arunc 3 hours ago \| hide \| 15 comments
4.		Japan's new 130-petaflops supercomputer will cost $173M (thetechgraph.com)
		16 points by thetechgraph 1 hour ago \| hide \| 10 comments
5.		Learning to Read X86 Assembly Language (patshaughnessy.net)
		411 points by adamnemecek 13 hours ago \| hide \| 162 comments
6.		A vi-centric family tree of editors (mit.edu)
		156 points by topranks 9 hours ago \| hide \| 60 comments
7.		Configuring a High Interactivity SSH HoneyPot (robertputt.co.uk)
		15 points by robputt796 1 hour ago \| hide \| discuss
8.		Cycle-accurate NES emulator in ~1000 lines of code (github.com)
		162 points by mmphosis 9 hours ago \| hide \| 32 comments
9.		Probabilistic Programming (cornell.edu)
		164 points by ingve 10 hours ago \| hide \| 17 comments
10.		Facsimile of the Voynich Manuscript Now Available to Citizen Cryptographers (hyperallergic.com)
		52 points by misnamed 5 hours ago \| hide \| 6 comments
11.		Show HN: DIY Position Tracking Using HTC Vive's Lighthouse (github.com)
		65 points by ashtuchkin 6 hours ago \| hide \| 17 comments
12.		Extreme Multi-Label Loss Functions for Recommendation, Tagging, Ranking [pdf] (manikvarma.github.io)
		34 points by kuhidarwin 5 hours ago \| hide \| discuss
13.		Physics, Topology, Logic, and Computation: A Rosetta Stone (2009) (arxiv.org)
		65 points by rfreytag 8 hours ago \| hide \| 9 comments
14.		Lambdoku – AWS Lambda with Heroku-like Experience (github.com)
		105 points by kubek2k 11 hours ago \| hide \| 21 comments
15.		Funding the Web with Brendan Eich [audio] (changelog.com)
		96 points by dkarapetyan 10 hours ago \| hide \| 26 comments
16.		OpenBSD on PC Engines APU2 (github.com)
		62 points by walterbell 9 hours ago \| hide \| 22 comments
17.		Deep learning with coherent nanophotonic circuits (arxiv.org)
		67 points by shreyassaxena 11 hours ago \| hide \| 6 comments
18.		iPhone 10.1 update leaves users furious due to battery drain issue (news.com.au)
		41 points by becewumuy 2 hours ago \| hide \| 20 comments
19.		The Holy Trinity: Logic, Languages, Categories (2011) (existentialtype.wordpress.com)
		92 points by rpbertp13 14 hours ago \| hide \| 28 comments
20.		How Supervisors Work (jbodah.github.io)
		54 points by qubitcoder 10 hours ago \| hide \| 12 comments
21.		Binary data over Phoenix sockets (stoiximan.gr)
		74 points by qubitcoder 10 hours ago \| hide \| 2 comments
22.		As Batteries Keep Exploding, Safety Commission Prepares for Change (npr.org)
		75 points by kawera 10 hours ago \| hide \| 59 comments
23.		Stallman's Law (gnu.org)
		219 points by BuuQu9hu 11 hours ago \| hide \| 95 comments
24.		Three Software Freedoms (naughtycomputer.uk)
		61 points by xylon 13 hours ago \| hide \| 45 comments
25.		How practical minimalism helps me focus (medium.com)
		25 points by clbjnstn 2 hours ago \| hide \| 9 comments
26.		A Brilliant Mind’s Pauses: The Fiction of Pushkin (lareviewofbooks.org)
		49 points by benbreen 12 hours ago \| hide \| 3 comments
27.		Let's Colonize Titan (scientificamerican.com)
		439 points by aburan28 22 hours ago \| hide \| 417 comments
28.		The legacy of Ada Lovelace (2015) (1843magazine.com)
		47 points by mxschumacher 14 hours ago \| hide \| 10 comments
29.		The Unsound Playground: Java and Scala's Type Systems are Unsound (livecode.ch)
		185 points by theemathas 15 hours ago \| hide \| 100 comments
30.		Best Practices for Time Travelers (2003) (idlewords.com)
		172 points by swatkat 13 hours ago \| hide \| 66 comments
		More