Hacker News April 29, 2026Vera: a programming language designed for machines to writeRead full article Share: