Hacker News new | ask | show | jobs
by notslow 1887 days ago
I have always enjoyed this light-hearted "formal" analysis of the hardest languages https://people.cs.umass.edu/~rsnbrg/hardest.pdf