Deep Learning meets dependent types | Hacker News Reader