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 |