Trávník's smooth self-referential formula | Hacker News Reader