2Formal Methods and the Future of Programming (opens in new tab)(blog.janestreet.com)107nextos12d ago4Save
3Warren's Abstract Machine: A Tutorial Reconstruction (opens in new tab)(github.com)GitHub52nextos18d ago6Save
4Hantavirus latest: Virus-hit cruise ship leaves Cape Verde for Canary Islands (opens in new tab)(bbc.com)4nextos1mo ago0Save
6Embracing Bayesian methods in clinical trials (opens in new tab)(jamanetwork.com)115nextos3mo ago18Save