Hacker News new | ask | show | jobs
by ausimian 2310 days ago
I think that's fair. It's been described elsewhere as 'exhaustively testable pseudocode'.