Why do we love music? (2018)(pmc.ncbi.nlm.nih.gov)

15 points by jstrieb 3 months ago | 3 comments

Didgeridoo playing as alternative treatment for obstructive sleep apnoea (2006)(pmc.ncbi.nlm.nih.gov)

316 points by kelseyfrog 5 months ago | 147 comments

Egg consumption inversely correlated with Alzheimer's(pubmed.ncbi.nlm.nih.gov)

57 points by natbennett 3 months ago | 35 comments

Web Browser Telemetry(sizeof.cat)

54 points by freediver 2 years ago | 37 comments

Will Linux phones become a viable alternative to the Android/iOS duopoly?(amosbbatto.wordpress.com)

229 points by amosbatto 14 days ago | 259 comments

Blog post discussing whether Linux-based phones can become a viable alternative to Android and iOS; the capture shows only a browser-check interstitial.

What mathematicians should know about the Lean Theorem Prover: reliability & AI(terrytao.wordpress.com)

178 points by matt_d 17 days ago | 50 comments

Terence Tao blog post on what mathematicians should know about the Lean theorem prover, covering reliability and AI; the capture shows only a browser-check interstitial.