rosseitsa Karma 29 Created 1 year ago Recent Submissions 1. ▲ Edsger W. Dijkstra – Reasoning About Programs [video] (youtube.com) 3 points · 9 months ago · 0 comments All submissions on HN · View profile on HN