Hacker News new | ask | show | jobs
Deep Learning meets dependent types (github.com)
1 points by raviqqe42 2932 days ago