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 ...

Every year since 2016, Literary Hub has asked a group of book cover designers for their picks for the best book covers of the year. Using 10 years of data, here are their picks for the best covers of ...

Aimed at aspiring designers and illustrators with less than a year’s industry experience, the brief pays homage to the publisher’s founding design principles To celebrate 90 years of Penguin, the ...

The fast switching speeds of gallium nitride (GaN) devices magnify the impact of parasitic inductances on performance. The layout considerations assume that a single GaN device will be used per ...