Hacker News new | ask | show | jobs
by Someone 165 days ago
No, it can tell you that 42 is the answer to (some lean statement), but not what question that lean statement encodes.