3 ms·
Even worse, the other child comments are speculating (and didn't RTFA either) when the answer is clear in the article. > We found this defect by distilling a b
by caminante 7mo ago
Even worse, the other child comments are speculating (and didn't RTFA either) when the answer is clear in the article.
> We found this defect by distilling a behavioural specification of the IMU subsystem using Allium, an AI-native behavioural specification language.
- chrisjj 7mo ago> distilling A.k.a. as fabricating. No wonder they chose to use "AI".
- wat10000 7mo agoThat's the opposite of clear to me.
- Spinnaker_ 7mo agoHas the article been updated? 2nd paragraph starts with: "We used Claude and Allium" And later on: "With that obligation written down, Claude traced every path that runs after gyros_busy is set to true"
- Qwuke 6mo agoThis is the original article text. It just looks like users skimmed and then flamed the author.