Raven Onthill@mnl @graydon @edmistond look at machine learning systems, which the very rich, who resent talent they don't have and can't buy, hope to replace actually knowledgeable people with. They're fine, until they start hallucinating, and then they're not fine at all.
If we want correct software, we have to use precise formal systems.
All GNU social JP content and data are available under the