Hacker News
- QED at Large: A Survey of Engineering of Formally Verified Software https://www.nowpublishers.com/article/Details/PGL-045 3 comments
- The Bias Bias in Behavioral Economics https://www.nowpublishers.com/article/Details/RBE-0092 65 comments
- Reconciling Abstraction with High Performance: A MetaOCaml Approach https://www.nowpublishers.com/article/Details/PGL-038 6 comments
- When the employee of a lobbying firm leaves to start working in government, the firm experiences a 36% revenue increase. This is because the lobbying firms are able to present those government connections as a premium service to existing clients. https://www.nowpublishers.com/article/Details/QJPS-21196 266 comments science
- Reconciling Abstraction with High Performance: A MetaOCaml approach (free until June 11th) https://www.nowpublishers.com/article/Details/PGL-038 8 comments ocaml