We review these top 10 best books on graphic design, which can skyrocket your creative skills and give you a new outlook on visual communication. There is more to graphic design than just making ...

November 24, 2025 • Our annual reading guide returns with 380+ new titles handpicked by NPR staff and trusted critics. Find 13 years of recommendations all in one place — that's more than 4,000 great ...

Abstract: Refinement types can be the vector that brings formal verification into mainstream software development. This happy outcome hinges upon the design and implementation of refinement type ...