Post #1795647

@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