Hacker News new | ask | show | jobs
by victorf 4644 days ago
Most of Reddit is a cesspool, but I always get really excited when there's something new in /r/dependent_types.