Hacker News new | past | comments | ask | show | jobs | submit login

Unstable rustc can compile stable code. For code you'd write with Dafny I highly doubt it would be an issue. Perhaps you have a proof of the opposite?

I've only ever needed nightly when doing something a bit off the beaten path, like targeting microcontrollers. The Linux kernel is another big project that needs unstable. It's much more rare a need than you make it out to be.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: