| 31. | | Categories: An implementation of category theory in Coq (github.com/amintimany) |
| 68 points by gfortaine on April 11, 2016 | 6 comments |
|
| 32. | | Linux Filesystem Fuzzing with American Fuzzy Lop [pdf] (linuxfoundation.org) |
| 159 points by grhmc on April 11, 2016 | 45 comments |
|
| 33. | | I-score: Free and open-source intermedia sequencer (i-score.org) |
| 39 points by adamnemecek on April 11, 2016 | 4 comments |
|
| 34. | | Lektor Static Content Management System Version 2.0 Released (getlektor.com) |
| 102 points by the_mitsuhiko on April 11, 2016 | 14 comments |
|
| 35. | | The Most Popular Cars in American Cities (yourmechanic.com) |
| 72 points by Thevet on April 11, 2016 | 71 comments |
|
| 36. | | What Software Engineers Earn Compared to the General Population (ramiro.org) |
| 149 points by gkst on April 11, 2016 | 158 comments |
|
| 37. | | WTL (Wave Threshold Logic) Primer (docs.google.com) |
| 47 points by throwaway000002 on April 11, 2016 | 6 comments |
|
| 38. | | Analyzing the names of almost every Chinese restaurant in the U.S. (washingtonpost.com) |
| 61 points by doppp on April 10, 2016 | 44 comments |
|
| 39. | | Brian Kernighan on the Typesetting of “The Go Programming Language” Book (rkrishnan.org) |
| 224 points by melling on April 11, 2016 | 75 comments |
|
| 40. | | In Memoriam: Merle Haggard, 1937–2016 (theparisreview.org) |
| 72 points by tintinnabula on April 11, 2016 | 25 comments |
|
| 41. | | Show HN: Botlist – An App Store for Bots (botlist.co) |
| 128 points by iisbum on April 11, 2016 | 44 comments |
|
| 42. | | Intel releases open source blockchain (ibtimes.com) |
| 96 points by pjholmes on April 11, 2016 | 28 comments |
|
| 43. | | John Oliver on the ugly state of credit reporting and background checks (youtube.com) |
| 190 points by chirau on April 11, 2016 | 159 comments |
|
| 44. | | Poor New Yorkers Tend to Live Longer Than Other Poor Americans (nytimes.com) |
| 104 points by Amorymeltzer on April 11, 2016 | 100 comments |
|
| 45. | | Are We Living in a Computer Simulation? (scientificamerican.com) |
| 130 points by uptown on April 11, 2016 | 201 comments |
|
| 46. | | [dupe] The sugar conspiracy: sugar—not fat—is the greatest danger to our health (theguardian.com) |
| 274 points by kevbin on April 11, 2016 | 192 comments |
|
| 47. | | Howard Marks obituary: 'Britain's most charming drug smuggler' (theguardian.com) |
| 52 points by wallflower on April 11, 2016 | 47 comments |
|
| 48. | | Daily Mail owner considering Yahoo bid (bbc.com) |
| 66 points by terryauerbach on April 11, 2016 | 86 comments |
|
| 49. | | Revisiting a 90-year-old debate: the advantages of the mean deviation (2004) (leeds.ac.uk) |
| 61 points by yconst on April 11, 2016 | 7 comments |
|
| 50. | | Working on HTML5.1 (w3.org) |
| 71 points by davecardwell on April 11, 2016 | 23 comments |
|
| 51. | | Saving 13M Computational Minutes per Day with Flame Graphs (netflix.com) |
| 88 points by mspier on April 11, 2016 | 21 comments |
|
| 52. | | Keras 1.0 – Python deep learning framework (keras.io) |
| 180 points by _ntka on April 11, 2016 | 17 comments |
|
| 53. | | Goldman Sachs Resolves U.S. Mortgage Probe for $5.1B (bloomberg.com) |
| 109 points by chollida1 on April 11, 2016 | 162 comments |
|
| 54. | | Benchmarking 32bit integer key compression for a C++ Btree (upscaledb.com) |
| 36 points by cruppstahl on April 11, 2016 | 5 comments |
|
| 55. | | Electric race cars that look like Formula 1, but are eerily quiet (qz.com) |
| 73 points by wanderer42 on April 11, 2016 | 60 comments |
|
| 56. | | Early Impacts of Certificate Transparency (facebook.com) |
| 44 points by bracewel on April 11, 2016 | 9 comments |
|
| 57. | | Apple Reportedly Using Chinese Server Supplier to Migrate iCloud Service (macrumors.com) |
| 40 points by doener on April 11, 2016 | 18 comments |
|
| 58. | | Notes on 'Decisive: How to Make Better Choices in Life and Work' (scattered-thoughts.net) |
| 28 points by luu on April 10, 2016 | 5 comments |
|
| 59. | | At what time will be the YC S16 invites/rejection emails sent? |
| 65 points by tejasn on April 11, 2016 | 111 comments |
|
| 60. | | Ask HN: Is there evidence regarding PG's theory about powerful languages? |
| 80 points by _qjt0 on April 11, 2016 | 69 comments |
|
|
| More |