How did you pick out AI native and miss the rest of the SAME sentence?

> We found this defect by distilling a behavioural specification of the IMU subsystem using Allium, an AI-native behavioural specification language.

▲

throwaway27448 7 hours ago | parent [-]

That does not answer my confusion, especially when static analysis could reveal the same conclusion with that language. It's not clear what role ai played at all.

	▲	roywiggins 4 hours ago \| parent [-]
		It seems pretty clear when you follow the link? https://juxt.github.io/allium/