So here are some cribbed criteria for a beautiful program might be:
- A (program) that uses a minimum of additional assumptions or previous results.
- A (program) that is unusually succinct.
- A (program) that derives a result in a surprising way (e.g., from an apparently unrelated (library) or (protocol).)
- A (program) that is based on new and original insights.
- A (program) that can be easily generalized to solve a family of similar problems.