SAT-Physical Thermodynamic Framework: treating constraints as a thermal system | Hacker News Reader