Hacker News

1.		Theorem of the Day (theoremoftheday.org)
		90 points by kercker 2 hours ago \| hide \| 6 comments
2.		Show HN: Antd – A set of high-quality React components (ant.design)
		111 points by _yesmeck 2 hours ago \| hide \| 16 comments
3.		A vi-centric family tree of editors (mit.edu)
		109 points by topranks 5 hours ago \| hide \| 50 comments
4.		Facsimile of the Voynich Manuscript Now Available to Citizen Cryptographers (hyperallergic.com)
		27 points by misnamed 1 hour ago \| hide \| 1 comment
5.		Learning to Read X86 Assembly Language (patshaughnessy.net)
		328 points by adamnemecek 9 hours ago \| hide \| 140 comments
6.		Cycle-accurate NES emulator in ~1000 lines of code (github.com)
		112 points by mmphosis 5 hours ago \| hide \| 23 comments
7.		Probabilistic Programming (cornell.edu)
		121 points by ingve 6 hours ago \| hide \| 12 comments
8.		Show HN: DIY Position Tracking Using HTC Vive's Lighthouse (github.com)
		30 points by ashtuchkin 2 hours ago \| hide \| 6 comments
9.		Physics, Topology, Logic, and Computation: A Rosetta Stone (2009) (arxiv.org)
		40 points by rfreytag 4 hours ago \| hide \| 8 comments
10.		Funding the Web with Brendan Eich [audio] (changelog.com)
		69 points by dkarapetyan 6 hours ago \| hide \| 22 comments
11.		Lambdoku – AWS Lambda with Heroku-like Experience (github.com)
		77 points by kubek2k 7 hours ago \| hide \| 16 comments
12.		As Batteries Keep Exploding, Safety Commission Prepares for Change (npr.org)
		63 points by kawera 6 hours ago \| hide \| 42 comments
13.		OpenBSD on PC Engines APU2 (github.com)
		41 points by walterbell 5 hours ago \| hide \| 9 comments
14.		The Unsound Playground: Java and Scala's Type Systems are Unsound (livecode.ch)
		164 points by theemathas 11 hours ago \| hide \| 87 comments
15.		Deep learning with coherent nanophotonic circuits (arxiv.org)
		51 points by shreyassaxena 7 hours ago \| hide \| 5 comments
16.		AnyBar: OS X menubar status indicator (github.com)
		251 points by tosh 14 hours ago \| hide \| 53 comments
17.		The Holy Trinity: Logic, Languages, Categories (2011) (existentialtype.wordpress.com)
		82 points by rpbertp13 10 hours ago \| hide \| 27 comments
18.		Binary data over Phoenix sockets (stoiximan.gr)
		57 points by qubitcoder 6 hours ago \| hide \| 1 comment
19.		Extreme Multi-Label Loss Functions for Recommendation, Tagging, Ranking [pdf] (manikvarma.github.io)
		12 points by kuhidarwin 1 hour ago \| hide \| discuss
20.		Blender 2.8 project status (blender.org)
		100 points by buovjaga 11 hours ago \| hide \| 55 comments
21.		How Supervisors Work (jbodah.github.io)
		28 points by qubitcoder 6 hours ago \| hide \| discuss
22.		Stallman's Law (gnu.org)
		166 points by BuuQu9hu 7 hours ago \| hide \| 70 comments
23.		Mail-in-a-Box – one-click, easy-to-deploy email server (github.com)
		111 points by avinassh 11 hours ago \| hide \| 41 comments
24.		Immer: immutable and persistent data structures for C++ (github.com)
		120 points by ingve 13 hours ago \| hide \| 40 comments
25.		Three Software Freedoms (naughtycomputer.uk)
		50 points by xylon 9 hours ago \| hide \| 33 comments
26.		Choke Point of a Nation: The High Cost of an Aging River Lock (nytimes.com)
		47 points by jseliger 10 hours ago \| hide \| 33 comments
27.		A Brilliant Mind’s Pauses: The Fiction of Pushkin (lareviewofbooks.org)
		30 points by benbreen 8 hours ago \| hide \| 2 comments
28.		TrueOS Pico – FreeBSD ARM/RPi Thin Clients (trueos.org)
		75 points by mboroi 13 hours ago \| hide \| 18 comments
29.		The legacy of Ada Lovelace (2015) (1843magazine.com)
		37 points by mxschumacher 10 hours ago \| hide \| 8 comments
30.		Best Practices for Time Travelers (2003) (idlewords.com)
		155 points by swatkat 9 hours ago \| hide \| 55 comments
		More