Post #1232042
2026-04-01 12:53 UTC
@bodil yes to all of that.
I suppose with regard to your car example, there's a strong case to be built there for certifiable safety standards and processes, like other forms of critical automated manufacturing.
Replies (1)
-
@cms@fed.beatworm.co.uk 2026-04-01 12:56
@bodil it seems unlikely to me that any brute forced language generating techniques, can be provenly constrained in that way, cheaply and effectively enough.