2020-04-05 front | Hacker News

Stories from April 5, 2020

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

31.		Verified Functional Programming in Agda (acm.org)
		88 points by TheAsprngHacker on April 5, 2020 \| 10 comments
32.		Making an invertible function out of non-invertible parts (johndcook.com)
		71 points by chmaynard on April 4, 2020 \| 14 comments
33.		Intro to The 8-Point Grid System (2016) (builttoadapt.io)
		66 points by afrcnc on April 5, 2020 \| 20 comments
34.		Show HN: A map of the world's virtual museums (virtualmuseums.io)
		107 points by mektrik on April 4, 2020 \| 22 comments
35.		Federal Agencies Need to Address Aging Legacy Systems (2016) [pdf] (gao.gov)
		62 points by wallflower on April 5, 2020 \| 18 comments
36.		Show HN: Vuln Cost – immersive VS Code extension to surface vulnerabilities (snyk.io)
		86 points by lirantal on April 5, 2020 \| 18 comments
37.		Physics of Cricket (2005) (usyd.edu.au)
		71 points by alokrai on April 4, 2020 \| 22 comments
38.		Show HN: Afctl – CLI to manage and deploy Airflow projects faster and smoother (github.com/qubole)
		57 points by sunasra on April 5, 2020 \| 11 comments
39.		The wondrous life and mysterious death of Golden Eagle 1703 (theguardian.com)
		38 points by Thevet on April 2, 2020 \| 1 comment
40.		Oneinfra: Kubernetes as a Service Platform (github.com/oneinfra)
		57 points by ereslibre on April 5, 2020 \| 14 comments
41.		Higher-order logic and equality; multiple ways to use lambda calculus for logic (burakemir.ch)
		73 points by burakemir on April 3, 2020 \| 25 comments
42.		Show HN: ScribbleX – Create some art with friends (scribblex.com)
		48 points by msigwart on April 4, 2020 \| 8 comments
43.		An Oral History of Myspace Music (stereogum.com)
		25 points by lxm on April 4, 2020 \| 1 comment
44.		Scientists discover a new class of taste receptors (phys.org)
		22 points by dnetesn on April 3, 2020 \| 5 comments
45.		Expanded access programs for Remdesivir (gilead.com)
		128 points by mudil on April 5, 2020 \| 71 comments
46.		Biggest companies pay the least tax, shows new research (theconversation.com)
		135 points by _dp9d on April 5, 2020 \| 191 comments
47.		Senator Blumenthal Mad That Zoom Not Offering the Encryption His Law Will Outlaw (techdirt.com)
		234 points by pwg on April 5, 2020 \| 41 comments
48.		Layoffs.fyi Coronavirus Tracker (layoffs.fyi)
		176 points by KKKKkkkk1 on April 5, 2020 \| 36 comments
49.		When debugging, attitude matters (jvns.ca)
		86 points by weinzierl on April 3, 2020 \| 28 comments
50.		The Fragmented Death of the Farallon Plate (wiley.com)
		15 points by luu on April 4, 2020
51.		Blanket-like “sarapes” from northern Mexico are intriguing textiles (2011) (smithsonianmag.com)
		23 points by Thevet on April 3, 2020 \| 4 comments
52.		The godfather of fake news (2018) (bbc.co.uk)
		52 points by ColinWright on April 5, 2020 \| 40 comments
53.		A Developer's Guide to Surviving the Coronapocalypse (degoes.net)
		74 points by jdegoes on April 5, 2020 \| 58 comments
54.		Problem of Time (wikipedia.org)
		63 points by sytelus on April 5, 2020 \| 49 comments
55.		Time is running out for supersymmetry and string theory [video] (iai.tv)
		33 points by zenoswonkyarrow on April 5, 2020 \| 26 comments
56.		The Photographer Who Inspired “The Electric Kool-Aid Acid Test” (2016) (vice.com)
		22 points by prismatic on April 5, 2020
57.		Private equity is a scam? (twitter.com/doctorow)
		85 points by vo2maxer on April 5, 2020 \| 83 comments
58.		The Brilliant Plodder (nybooks.com)
		10 points by benbreen on April 3, 2020 \| 1 comment
59.		[dupe] Rough.js – Create graphics with a hand-drawn, sketchy, appearance (roughjs.com)
		101 points by simonpure on April 5, 2020 \| 13 comments
60.		Covid-19: death rate is 0.66% and increases with age, study estimates (bmj.com)
		106 points by rwmj on April 5, 2020 \| 181 comments
		More

HN For You