(in no particular order)
- The art of destroying software by Greg Young
- Propositions as Types by Philip Wadler
- Constraints Liberate, Liberties Constrain by Rúnar Bjarnason
- The Future of Programming by Bret Victor
- Simple Made Easy by Rich Hickey
- The Most Beautiful Program Ever Written by William Byrd