Hacker News new | ask | show | jobs
by perfunctory 47 days ago
yep. "Formal specification layers " aka code.