Hacker News new | ask | show | jobs
by angleofrepose 2045 days ago
Yeah! The general case of this is the halting problem... The best solution I know of is stopify, which the other comments have talked about. I just wonder if there's another take on the situation, something akin to OS task management.