Can't escape AI slop projects from meat proxies man. Every single open source project smells like Claude Code recently. Sad times.

you are viewing a single comment's thread
view the rest of the comments
[–] 70 points 1 day ago (1 child)

It just shows how safe the language is, LLMs have to rely on Rust to prevent all the memory bugs. Same for proof assistants

  • source
  • parent
  • hideshow 1 child comment
  • [–] 35 points 1 day ago

    Yeah, it's qualities that are useful for humans, too, like frontloading all the errors to compile time + good compiler error messages.

    Like, I'm annoyed that people will be irrational about it, much like they associate Rust with rewrites in permissive licenses, even though it is just a tool. It entirely depends on how you use the tool.
    But irrational people gonna irrational. Not much you can do about that...

  • source
  • parent