Hacker News new | ask | show | jobs
by Scarblac 349 days ago
Not AI, AI is less trustworthy than normal software almost by definition.

Formally verified traditional algorithms.