Channel: papers
- 1
- »
The Effect of Deactivating Facebook and Instagram on Users’ Emotional State
People who deactivated Facebook for the six weeks before the election reported a 0.060 standard deviation improvement in an index of happiness, depression, and anxiety, relative to controls who deactivated for just the first of those six weeks. People who deactivated Instagram for those six weeks reported a 0.041 standard deviation improvement relative to controls.
The Benefit of a Single Oral Dose of Ivermectin in Humans: The Adverse Effects on Cimex lectularius L. Populations and Fecundity - PMC – low doses of Ivermectin can fight bedbugs by essentially making them infertile after they’ve fed on you.
Software Foundations
Looks like a nice series of texts on computer science, formal verfication, etc.
[Reducing food’s environmental impacts through producers and
consumers](https://josephpoore.com/Science%20360%206392%20987%20-%20Accepted%20Manuscript.pdf) Oxford paper on the environmental impact of animal agriculture. Published in Science.
Software Foundations
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.
The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each volume, including the exercises, is literally a “proof script” for the Coq proof assistant.
The exposition is intended for a broad range of readers, from advanced undergraduates to PhD students and researchers. No specific background in logic or programming languages is assumed, though a degree of mathematical maturity is helpful. A one-semester course can expect to cover Logical Foundations plus most of Programming Language Foundations or Verified Functional Algorithms, or selections from both.
The Essence of Functional Programming by Philip Wadler
[The Scalable Commutativity Rule:
Designing Scalable Software for Multicore Processors](https://people.csail.mit.edu/nickolai/papers/clements-sc.pdf)
- 1
- »