What Problems to Solve (1966)(genius.cat-v.org)

456 points by jxmorris12 1 year ago | 54 comments

A 1966 letter from Richard Feynman to former student Koichi Mano advising him that worthwhile problems are ones you can actually solve, hosted on cat-v.org.

Why I love OCaml (2023)(mccd.space)

379 points by art-w 11 months ago | 270 comments

Personal blog post by Marc Coquand explaining why he loves OCaml, comparing it with Haskell and other languages he has used.

ASCII and Unicode quotation marks (2007)(cl.cam.ac.uk)

29 points by exvi 7 months ago | 17 comments

Why most of us won't be inventing little languages(slesinsky.org)

82 points by luu 3 years ago | 75 comments

Clang is better than GCC(yurichev.org)

64 points by zdw 3 years ago | 60 comments

A peculiarity of the GNU Coreutils version of 'test' and '['(utcc.utoronto.ca)

71 points by ingve 2 years ago | 42 comments