Book proofs is a blog by Associate Professor Laurent Lessard.
Topics include mathematical riddles, puzzles, and elegant proofs. A wide range of analytical techniques are used. Some of the articles apply optimization techniqiues, including various type of mathematical programming.
Blog: Book proofs blog.