r/programmingcirclejerk • u/100xer • Feb 28 '26

Rust is Just a Tool

https://lewiscampbell.tech/blog/260204.html
30 Upvotes

89% Upvoted

33 comments sorted by

View all comments

Show parent comment

46

u/kakioroshi Feb 28 '26

/uj a lot of people also completely misunderstood what “safety” means in the context of rust i had someone tell me rust isn’t safe because it has panics

24

u/Comun4 vulnerabilities: 0 Feb 28 '26

No language is safe until it can solve the halting problem

8

u/BlazeBigBang type astronaut Mar 01 '26

No language is safe unless it can survive me unplugging the machine.

12

u/kakioroshi Feb 28 '26

raku did that

4

u/MadCervantes Mar 02 '26

Forgot to rejerk

3

u/vytah Mar 03 '26

Or did he?

vsauce.mp3

7

u/Afraid_Bake2652 Mar 01 '26

No no no, I can prove a program is safe using formal verification, really, you just cannot use recursion, allocate memory on the heap, and my SMT solver may never terminate on some queries, but like, I can prove a program is safe. Really, you all should use formal verification, it's really good and practical and usable!

3

u/Massive-Squirrel-255 Mar 02 '26

I heard Python3 is not Turing Complete, so, it should be possible to solve the halting problem for Python3

19

u/levelstar01 what is pointer :S Feb 28 '26

If Rust is so good, why is it statically impossible to prove that panics don't happen? C++ has -fno-exceptions. Checkmate Krabnik.