I built a deterministic COBOL verification engine

(old.reddit.com) by rbanffy | Mar 8, 2026 | 0 comments on HN