The pragmatic magic of semi-formal methods | Hacker News Reader