Post #1795646
2026-03-15 00:17 UTC
@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.
Replies (1)
-
@janriemer@floss.social 2026-03-15 13:32
@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: https://floss.social/@janriemer/115241985820433035 https://floss.social/@janriemer/114454349034565839