Hacker News Reader

Ditto. The safety is just too attractive to pass up.

Will the safety work reliably in a multithreaded environment?

They claim so, using M:N threading. Data race safety is one of the design constraints.

Their formal type system is designed around pointer safety for multithreaded environments.