2016-04-11 front | Hacker News

Stories from April 11, 2016

Go back a day, month, or year. Go forward a day, month, or year.

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

HN For You