The Resilience of Internet Infrastructures in Pacific Northwest to Earthquakes [pdf](pages.uoregon.edu)87 points by luu 2 years ago | 5 comments
Mathematical Intimidation: Driven by the data (2011) [pdf](ams.org)58 points by dedalus 2 years ago | 2 comments
Phase transitions in random circuit sampling [pdf](nature.com)23 points by lawrenceyan 2 years ago | 0 comments
Mostly Automated Proof Repair for Verified Libraries [pdf](ilyasergey.net)24 points by ghuntley 3 years ago | 6 comments
![Screenshot of usenix.org: Meta’s Microservice Architecture [pdf]](https://hn.urlbox.com/shots/renders/2023/7/11/5e29b21d-5d6a-42d6-a314-35c47f4e2d3c.jpg)
![Screenshot of www3.nd.edu: Hot Temperature and High Stakes Performance [pdf]](https://hn.urlbox.com/shots/renders/2024/9/3/744084ae-9e5c-4cb1-8b71-72867b8d1a2f.jpg)
![Screenshot of pages.uoregon.edu: The Resilience of Internet Infrastructures in Pacific Northwest to Earthquakes [pdf]](https://hn.urlbox.com/shots/renders/2024/7/20/0f411b6c-c4d5-481a-b618-3719580cf894.jpg)
![Screenshot of ams.org: Mathematical Intimidation: Driven by the data (2011) [pdf]](https://hn.urlbox.com/shots/renders/2023/12/25/20f54497-7396-44b6-ac7b-267ae73263bd.jpg)
![Screenshot of nature.com: Phase transitions in random circuit sampling [pdf]](https://hn.urlbox.com/shots/renders/2024/10/12/99bbadfd-c63b-4f62-b01c-b0f232c4e8e9.jpg)
![Screenshot of dpcld.defense.gov: Executive Order 12333 (1981) [pdf]](https://hn.urlbox.com/shots/renders/2024/3/17/9828f333-4a33-4407-8ec8-759b877b055d.jpg)
![Screenshot of ilyasergey.net: Mostly Automated Proof Repair for Verified Libraries [pdf]](https://hn.urlbox.com/shots/renders/2023/6/23/de2c61e2-18ad-4538-8515-420f7ba4bef6.jpg)