Thread: Compiling Rust is NP-hard

Rust (1): Primer (winningraceconditions.blogspot.co.uk)

L 2 pts 0 comments by pushcx Sep 6, 2012 browserscompscirust Web Development Systems / Low-Level / OS Programming Languages / CS Theory thread

Rust: Function and Object Types (smallcultfollowing.com)

L 1 pts 1 comments by andymatuschak Nov 4, 2012 compscirust Systems / Low-Level / OS Programming Languages / CS Theory thread

Go and Rust — objects without class (lwn.net)

L 3 pts 0 comments by inactive-user May 4, 2013 compscigorust Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory thread

Reenix: Implementing a Unix-Like Operating System in Rust (scialex.github.io)

L 24 pts 1 comments by steveklabnik Apr 27, 2015 compscipdfrust Systems / Low-Level / OS Programming Languages / CS Theory thread

Rust Ownership, The Hard Way (chrismorgan.info)

L 10 pts 1 comments by gsquire May 27, 2015 rust Systems / Low-Level / OS thread

UPenn Rust Programming Course (cis198-2016s.github.io)

L 10 pts 0 comments by tf Feb 9, 2016 compscirust Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory thread

Why Rust's ownership/borrowing is hard (softwaremaniacs.org)

L 38 pts 1 comments by isagalaev Feb 12, 2016 rust Systems / Low-Level / OS thread

A Formal Verification of Rust's Binary Search Implementation (kha.github.io)

L 16 pts 0 comments by twk Jul 22, 2016 compscirust Systems / Low-Level / OS Programming Languages / CS Theory thread

Are we learning yet? - State of machine learning in Rust (arewelearningyet.com)

L 1 pts 0 comments by tf Sep 1, 2016 compscirust AI / Machine Learning Systems / Low-Level / OS Programming Languages / CS Theory thread

Crates You Should Know: Rust Language Service (newrustacean.com)

L 10 pts 0 comments by chriskrycho Apr 25, 2017 audiocompscirust Systems / Low-Level / OS Programming Languages / CS Theory thread

- [mp3](http://www.podtrac.com/pts/redirect.mp3/cdn.newrustacean.com/cysk_3.mp3) - [m4a](http://www.podtrac.com/pts/redirect.m4a/cdn.newrustacean.com/cysk_3.m4a) - [ogg](http://www.podtrac.com/pts/redirect.ogg/cdn.newrustacean.com/cysk_3.ogg) Just what it says on the tin: a [discussion](http://...

Writing correct systems in Rust with TLA+ (github.com)

L 30 pts 0 comments by stephenjudkins May 19, 2017 compscirust Systems / Low-Level / OS Programming Languages / CS Theory thread

Exploring lock-free Rust 1: Locks (morestina.net)

L 8 pts 0 comments by jonhoo Oct 24, 2017 compsciperformancerust Systems / Low-Level / OS Programming Languages / CS Theory Data / Databases / Infrastructure thread

Rust's ownership model formally proven with Coq (dl.acm.org)

L 49 pts 3 comments by klingtnet Feb 4, 2018 compsciformalmethodsrust Systems / Low-Level / OS Programming Languages / CS Theory thread

- source [tweet](https://twitter.com/bksgbr/status/959813441312747525?s=08) - [PDF paper](http://delivery.acm.org/10.1145/3160000/3158154/popl18-p202.pdf?ip=87.154.206.137&id=3158154&acc=OPEN&key=4D4702B0C3E38B35%2E4D4702B0C3E38B35%2E4D4702B0C3E38B35%2E6D218144511F3437&__acm__=1517748376_e3f2eaa05b...

Why Writing a Linked List in (safe) Rust is So Damned Hard (rcoh.me)

L 28 pts 12 comments by calvin Feb 22, 2018 rust Systems / Low-Level / OS thread

Fully Countering Trusting Trust through Diverse Double-Compiling [2009] (dwheeler.com)

L 5 pts 0 comments by aleph Aug 30, 2018 compilerscompscisecurity Systems / Low-Level / OS Programming Languages / CS Theory Security / Privacy thread

Writing an OS in Rust: Hardware Interrupts (os.phil-opp.com)

L 30 pts 0 comments by zpojqwfejwfhiunz Oct 22, 2018 osdevrust Systems / Low-Level / OS Maker / DIY / Hardware thread

Leveraging Rust types for modular specification and verification (research-collection.ethz.ch)

L 12 pts 0 comments by akavel Jan 4, 2019 compsciformalmethodspltrust Systems / Low-Level / OS Programming Languages / CS Theory thread

Using Type-Level Programming in Rust to Make Safer Hardware Abstractions (blog.auxon.io)

L 12 pts 0 comments by fbo Nov 6, 2019 hardwarerust Systems / Low-Level / OS Programming (General)Maker / DIY / Hardware thread

Real hardware breakthroughs, and focusing on rustc (redox-os.org)

L 32 pts 1 comments by calvin Nov 29, 2019 osdevrust Systems / Low-Level / OS Maker / DIY / Hardware thread

Hardware Floating Point (blog.stephenmarz.com)

L 4 pts 0 comments by freddym Jun 23, 2020 hardwarerust Systems / Low-Level / OS Maker / DIY / Hardware thread

In Rust, ordinary vectors are values (smallcultfollowing.com)

L 17 pts 3 comments by matklad Aug 20, 2020 compscirust Systems / Low-Level / OS Programming Languages / CS Theory thread

Hardware performance counter support (via rdpmc) (hackmd.io)

L 8 pts 2 comments by asthasr Nov 3, 2020 hardwareperformancerust Systems / Low-Level / OS Data / Databases / Infrastructure Maker / DIY / Hardware thread

Rust is a hard way to make a web API (macwright.com)

L 41 pts 57 comments by stchris Jan 15, 2021 rust Systems / Low-Level / OS Programming (General) thread

Why Rust strings seem hard (brandons.me)

L 51 pts 11 comments by chai Apr 14, 2021 rust Systems / Low-Level / OS thread

Compiling Rust is NP-hard (niedzejkob.p4.team)

L 67 pts 26 comments by meithecatte Jul 8, 2021 compscirust Systems / Low-Level / OS Programming Languages / CS Theory thread

An Ecosystem of libraries and tools for writing and executing extremely fast GPU code fully in Rust (github.com)

L 14 pts 5 comments by kixiron Nov 22, 2021 compsciperformancereleaserust Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory Data / Databases / Infrastructure thread

Uninitialized Memory: Unsafe Rust is Too Hard (lucumr.pocoo.org)

L 42 pts 13 comments by raymii Jan 30, 2022 rust Systems / Low-Level / OS thread

How hard upgrading a Rust JWT library could be? (blog.orhun.dev)

L 13 pts 4 comments by napkindrawing Apr 29, 2022 rust Systems / Low-Level / OS Programming (General)Culture / Philosophy / History / Reading thread

Rust is hard, yes, but does it matter? (jmmv.dev)

L 41 pts 36 comments by raymii May 6, 2022 rust Systems / Low-Level / OS thread

Rust Is Hard, Or: The Misery of Mainstream Programming (hirrolot.github.io)

L 43 pts 35 comments by sanxiyn Jun 3, 2022 rust Systems / Low-Level / OS Programming (General) thread