On the formalization and reuse of scientific research | Hacker News Reader