Hacker News
- Rustbelt Renaissance: Pittsburgh becomes an FDI standout https://www.ft.com/content/2da8f284-59f6-42a6-a154-aa58caf7e4b6 3 comments
- RustBelt: Securing the Foundations of the Rust Programming Language (2018) [pdf] https://people.mpi-sws.org/~dreyer/papers/rustbelt/paper.pdf 2 comments
- RustBelt: Computer Scientist proves safety claims of Rust programming language https://www.eurekalert.org/pub_releases/2021-07/su-cs071521.php 2 comments
- RustBelt: securing the foundations of the Rust programming language https://dl.acm.org/citation.cfm?doid=3177123.3158154 105 comments
- RustBelt: Logical Foundations for the Future of Safe Systems Programming http://plv.mpi-sws.org/rustbelt/#project 16 comments
Lobsters
- RustBelt: Securing the Foundations of the Rust Programming Language https://people.mpi-sws.org/~dreyer/papers/rustbelt/paper.pdf 45 comments formalmethods , pdf , rust
- How the war in Ukraine is reviving Russia’s rustbelt https://www.ft.com/content/b9749a86-b8dc-4eaa-a1d1-ebccf179d747 92 comments europe
- Coal, Once a Boon, Turns Chinese Rustbelt City Into a Bust https://www.sixthtone.com/news/1010322/Coal 2 comments china
- RustBelt Meets Relaxed Memory (POPL'20) https://www.youtube.com/watch?v=QqPo6nT8vVw 4 comments rust
- RustBelt: Logical Foundations for the Future of Safe Systems Programming https://www.youtube.com/watch?v=1GjSfyijaxo 10 comments rust
- Can a Young Rustbelt Mayor Prevail in 2020? Mayor Pete Is About to Find Out https://www.rollingstone.com/politics/politics-news/pete-buttigieg-2020-presidential-election-783210/ 3 comments politics
- White Women in the Rustbelt Are Turning on Trump https://www.theatlantic.com/politics/archive/2018/02/trump-approval-rating-2018-midterms/552701/ 708 comments politics
- RustBelt: securing the foundations of the rust programming language https://dl.acm.org/citation.cfm?doid=3177123.3158154 9 comments rust
- RustBelt: Securing the Foundations of the Rust Programming Language https://www.youtube.com/watch?amp%3Bt=23s&v=Cy9NUVaiYUg 4 comments rust
- (POPL video) RustBelt: Securing the Foundations of the Rust Programming Language.. https://www.youtube.com/watch?v=Cy9NUVaiYUg 6 comments rust
- RustBelt: Securing the Foundations of the Rust Programming Language https://www.ralfj.de/blog/2017/07/08/rustbelt.html 3 comments programming
- RustBelt: Securing the Foundations of the Rust Programming Language https://www.ralfj.de/blog/2017/07/08/rustbelt.html 17 comments rust
- 9 State Battleground Poll: Trump's Rustbelt play bound to disappoint, Clinton stronger than Obama in diverse states http://www.democracycorps.com/battleground-surveys/battleground-2016-trumps-rustbelt-strategy-faltering-clinton-competes-in-racially-diverse-battleground-states/0release.pdf 8 comments politics
- RustBelt: Logical Foundations for the Future of Safe Systems Programming (Phd & Postdoc positions) http://plv.mpi-sws.org/rustbelt/ 21 comments rust
- Liberty! Rustbelt to LA via the Forgotten Route 66 http://www.indiegogo.com/projects/334154/emal/2394413 4 comments history
- Rustbelt recovery Against all the odds, American factories are coming back to life. Thank the rest of the world for that. http://www.economist.com/node/18332894 31 comments business
- US Rustbelt Cities May Have to be Bulldozed http://grantlawrence.blogspot.com/2009/06/us-rustbelt-cities-may-have-to-be.html 15 comments reddit.com
- Photos of urban decay in a rustbelt city http://www.dalelum.com/photo/gallery/ 5 comments reddit.com
Lambda the Ultimate
- RustBelt: Securing the Foundations of the Rust Programming Language https://www.ralfj.de/blog/2017/07/08/rustbelt.html 0 comments Functional , Object-Functional , Type Theory