Hacker News new | ask | show | jobs
by 21eleven 1024 days ago
He's giving a talk, it's for the lulz

If you are giving a talk on a theorem proving programing language you're gonna want to make it fun