[irishcoffee]

> However, if your program compiles _and_ the logic is correct, there's a high likelihood that your program won't crash (provided you handle errors and such, you cannot trust data coming from outside, allocations to always work, etc).

That is one hell of a copium disclaimer. "If you hold it right..."

[kibwen]

Rust certainly doesn't make it impossible to write bad code. What it does do is nudge you towards writing good code to a noticeably appreciable degree, which is laudable compared to the state of the industry at large.

[irishcoffee]

Rust is just a tool. It’s as fallible as any other tool. I wish we took it off the pedestal and treated it as such.

[steveklabnik]

Are all tools equal in all dimensions or can they be compared for fitness of purpose?

[estebank]

A hand saw, a table saw and a SawStop are all tools, but they have different characteristics even though they all are meant to cut the same wood.

[irishcoffee]

Ada, C, and lisp are all tools, but they have different characteristics even though they are all meant to cut through the same problems.

[yuriks]

...yes?

[irishcoffee]

A tool is a tool. I didn’t realize I needed to spell it out.

Cloudflare used a tool, broke parts of the internet.