This blog discusses various topics, mostly about tezos smart contracts, and software safety (verification). You can find a list of the latest posts here.
Articles (should) be sorted by the topics they discuss: