3 ms·

Now that AI based verification exists, I can just write C again and call it a day.

• darthrupert 2y ago
  That's false even as a joke. C is less safe than either of python or Rust and has no benefits against Rust.
  • ashishb 2y ago
    > C is less safe than either of python or Rust and has no benefits against Rust. Indeed.
• timeon 2y ago
  I wonder if Rust or C would decrease need for power use while training those models.
  • ashishb 2y ago
    It definitely will. Whether it will make a noticable difference depends on how much non-cuda work happens in model training.