#Diverse perspectives on #AI from #Rust contributors and maintainers
https://nikomatsakis.github.io/rust-project-perspectives-on-ai/feb27-summary.html
Healthy debates are still possible, it seems. 🙏
#Diverse perspectives on #AI from #Rust contributors and maintainers
https://nikomatsakis.github.io/rust-project-perspectives-on-ai/feb27-summary.html
Healthy debates are still possible, it seems. 🙏
@janriemer
I articulate usefulness of Rust's type system in passing "mental model" from creator to reader/user-developer. And compiler precisely enforces model, expressed in types.
Switching into "use of GenAI" tools, should have the same criteria: if explicit mental model is articulated in types, human/readers can fully grasp it, and compiler produces code that works, then, why should I tell anyone what tool to use?
The reality, of course, is that despite M in LLM there is no explicit model.
@mikalai Yes, totally agree!
Rust's type system often reads like a specification.
The frustrating thing is: There is actually reliable AI out there, especially for software systems and its verification, but noone talks about it: