logoalt Hacker News

MontagFTBtoday at 4:02 PM2 repliesview on HN

Any word on how much more memory safe the implementation is? If passing a previous test suite is the criteria for success, what has changed, really? Are there previous memory safety tests that went from failing to passing?

I am very interested to know if this time and energy spent actually improved memory safety.

Other engineers facing the same challenges want to know!


Replies

Perz1valtoday at 9:51 PM

None at all, the generated AST and bytecode are stated to be identical

Retr0idtoday at 4:09 PM

If the previous impl had known memory safety issues I'd imagine they'd fix them as a matter of priority. It's hard to test for memory safety issues you don't know about.

On the rust side, the question is how much `unsafe` they used (I would hope none at all, although they don't specify).

show 2 replies