| 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 |
