1. | | $1.2T in risky corporate debt showing similar warning signs to subprime crisis (latimes.com) |
|
196 points by prostoalex 3 hours ago | hide | 108 comments |
2. | | Why Don't People Use Formal Methods? (hillelwayne.com) |
|
37 points by pplonski86 1 hour ago | hide | 8 comments |
3. | | Quinn 0.2.0: QUIC protocol implementation in Rust (github.com) |
|
102 points by whoisnnamdi 4 hours ago | hide | 19 comments |
4. | | Advanced Mac Substitute: API-level reimplementation of classic Mac OS (v68k.org) |
|
154 points by fanf2 6 hours ago | hide | 35 comments |
5. | | Genode OS: A tool kit for highly secure special-purpose operating systems (genode.org) |
|
153 points by doener 7 hours ago | hide | 17 comments |
6. | | On whether changes in bedroom CO2 levels affect sleep quality (gwern.net) |
|
339 points by pizza 11 hours ago | hide | 182 comments |
7. | | Volume Rendering with WebGL (willusher.io) |
|
42 points by ArtWomb 4 hours ago | hide | 4 comments |
8. | | Greenland’s Melting Ice Nears a ‘Tipping Point’ (nytimes.com) |
|
73 points by crispinb 5 hours ago | hide | 40 comments |
9. | | Show HN: FBP editor for music/vfx with [three, tone, tensorflow].js nodes (kousun12.github.io) |
|
22 points by kousun12 4 hours ago | hide | 10 comments |
10. | | If 5G Is So Important, Why Isn’t It Secure? (nytimes.com) |
|
198 points by kurthr 11 hours ago | hide | 144 comments |
11. | | Binder – Turn a Git repo into a collection of interactive notebooks (mybinder.org) |
|
42 points by jonbaer 4 hours ago | hide | 10 comments |
12. | | TiDB open sources its MySQL/MariaDB compatible data migration tool (github.com) |
|
33 points by ceohockey60 4 hours ago | hide | 9 comments |
13. | | Intro to hacking MicroSD cards (2013) (bunniestudios.com) |
|
323 points by bubblehack3r 14 hours ago | hide | 29 comments |
14. | | Make School (YC W12) Is Hiring a Head of Marketing and Admissions |
|
1 hour ago | hide |
15. | | John Carmack on Inlined Code (2014) (number-none.com) |
|
23 points by tosh 4 hours ago | hide | 2 comments |
16. | | Objective-Smalltalk: now serving its own web site (objective.st) |
|
17 points by mpweiher 3 hours ago | hide | 7 comments |
17. | | A Lifetime of Systems Thinking (thesystemsthinker.com) |
|
144 points by yarapavan 12 hours ago | hide | 40 comments |
18. | | Letter in Response to Jan. 17 Article in The New York Times (hms.harvard.edu) |
|
271 points by crunchiebones 12 hours ago | hide | 126 comments |
19. | | Munchery Closes Down, Effective Immediately |
|
37 points by kposehn 1 hour ago | hide | 18 comments |
20. | | Photo-Sketching: Inferring Contour Drawings from Images (arxiv.org) |
|
42 points by pplonski86 6 hours ago | hide | 21 comments |
21. | | Turns out the science saying screen time is bad isn’t science (techcrunch.com) |
|
6 points by mrkuchbhi 2 hours ago | hide | 3 comments |
22. | | A command-line installer for Windows (scoop.sh) |
|
9 points by anuragsoni 2 hours ago | hide | 4 comments |
23. | | A Program Optimization for Automatic Database Result Caching (2017) [pdf] (chlipala.net) |
|
14 points by mpweiher 4 hours ago | hide | 3 comments |
24. | | CNIL imposes a financial penalty of 50M euros against Google (cnil.fr) |
|
303 points by Aissen 12 hours ago | hide | 202 comments |
25. | | Ask HN: What are must know concepts for back end development? |
|
179 points by chrisdsaldivar 9 hours ago | hide | 53 comments |
26. | | How McSema Handles C++ Exceptions (trailofbits.com) |
|
51 points by matt_d 9 hours ago | hide | 5 comments |
27. | | History of Teaching Machines (teachingmachin.es) |
|
30 points by cardamomo 8 hours ago | hide | 7 comments |
28. | | Are We in the Middle of a Programming Bubble? (thinkfaster.co) |
|
291 points by swimorsinka 11 hours ago | hide | 321 comments |
29. | | Schumpeter on Strategy (reactionwheel.net) |
|
80 points by imartin2k 13 hours ago | hide | 1 comment |
30. | | Night of a cascading failure (rachelbythebay.com) |
|
42 points by ingve 5 hours ago | hide | 18 comments |
|
| More |