881·
6 days agoIt just shows how safe the language is, LLMs have to rely on Rust to prevent all the memory bugs. Same for proof assistants
- 0 Posts
- 3 Comments
Joined 1 year ago
Cake day: November 24th, 2025
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
1·20 days agoThey definitely are not deterministic
Remember that Starlink is used in Ukraine as well as on a lot of wildfire and earthquake sites. The deduction here is a bit too rushed.