Articles

2 articles
Tag: formal verification ✕
Anthropic's Project Glasswing: Securing Critical Software for the AI Era (570 Points on HN) Security
2026-04-07T22:06:18.496Z · Src: 2026-04-07T00:00:00.000Z
anthropicglasswingai safety
Undocumented Bug Found in Apollo 11 Guidance Computer Code After 57 Years Tech
2026-04-07T11:33:05.495Z · Src: 2026-04-07T00:00:00.000Z
apollo 11nasasoftware bugs