Hacker News new | ask | show | jobs
by whattheheckheck 138 days ago
Learn about dependent types and then hit an undecidable or incomplete problem lol