3 ms·
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 us
by caminante 7mo ago
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 7mo agoThat 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 7mo agoIt seems pretty clear when you follow the link? https://juxt.github.io/allium/ https://juxt.github.io/allium/