4
To be a better programmer, write little proofs in your head
(the-nerve-blog.ghost.io)
Posts from the RSS Feed of HackerNews.
The feed sometimes contains ads and posts that have been removed by the mod team at HN.