BP: Formal Proofs, the Fine Print and Side Effects (2018) [pdf](people.scs.carleton.ca)47 points by luu 3 years ago | 5 comments
Spike in short selling in Israeli-company ETF days before Oct 7 [pdf](img.haarets.co.il)53 points by tecc501 2 years ago | 29 comments
Suica Technology and Strategy for Future Development (2016) [pdf](jreast.co.jp)27 points by stpn 2 years ago | 38 comments
Socioeconomic status and the relationship between the SAT and GPA (2009) [pdf](files.eric.ed.gov)24 points by noch 2 years ago | 56 comments
Supreme Court Opinion on Student Loan Forgiveness [pdf](supremecourt.gov)26 points by oatmeal1 3 years ago | 22 comments
Inference of Error Specifications and Bug Detection Using Structural Similarity [pdf](usenix.org)14 points by luu 2 years ago | 0 comments
![Screenshot of people.scs.carleton.ca: BP: Formal Proofs, the Fine Print and Side Effects (2018) [pdf]](https://hn.urlbox.com/shots/renders/2023/7/22/fd1e2749-4473-4ddb-91b0-13809cd2f88d.jpg)
![Screenshot of usenix.org: Off-Path Network Traffic Manipulation via Revitalized ICMP Redirect (2022) [pdf]](https://hn.urlbox.com/shots/renders/2023/6/18/5db1a117-a7b2-4c43-a1f4-73f15551d777.jpg)
![Screenshot of img.haarets.co.il: Spike in short selling in Israeli-company ETF days before Oct 7 [pdf]](https://hn.urlbox.com/shots/renders/2023/12/4/85a3523c-6c9a-44a8-b9d2-af02f76cfbd9.jpg)
![Screenshot of jreast.co.jp: Suica Technology and Strategy for Future Development (2016) [pdf]](https://hn.urlbox.com/shots/renders/2023/12/20/e57cea58-2d80-44bb-bd8e-dc59e5e1baae.jpg)
![Screenshot of files.eric.ed.gov: Socioeconomic status and the relationship between the SAT and GPA (2009) [pdf]](https://hn.urlbox.com/shots/renders/2024/3/14/17d9c27c-aa4e-40be-99bb-cc61aedd8e86.jpg)
![Screenshot of supremecourt.gov: Supreme Court Opinion on Student Loan Forgiveness [pdf]](https://hn.urlbox.com/shots/renders/2023/6/30/0edf8b92-5d32-4c6d-846f-dd506d47dd56.jpg)
![Screenshot of usenix.org: Inference of Error Specifications and Bug Detection Using Structural Similarity [pdf]](https://hn.urlbox.com/shots/renders/2024/7/19/45998761-bbab-4315-92da-d5f9eef0cb64.jpg)