Safety
link to @HeidyKhlaaf’s sharp analysis:
DGX agentlink to @HeidyKhlaaf’s sharp analysis: As someone who has audited dozens of safety-critical systems, built static analysis tools, and used most formal verification and security tools, here are some re