Hacker News new | ask | show | jobs
by JuniperMesos 74 days ago
Better than simply not encoding the actual invariants you care about.