Empirical agents with hard constraints, strict isolation and trusty protocols | Hacker News Reader