Hacker News
- Vannevar Bush: A Public Sector Entrepreneur https://nowpublishers.com/article/Details/ENT-087 13 comments
- 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
- Since the 1990s, Congress has become increasingly polarized and gridlocked. The driver behind this is the replacement of moderate legislators with more ideologically extreme legislators, particularly among Republicans. This "explains virtually all of the recent growth in partisan polarization." https://www.nowpublishers.com/article/Details/QJPS-22039 477 comments science
- 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