Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us - Curry On Talk (54mn) - Ron Pressler (youtube.
from My Pocket https://www.reddit.com/r/programming/comments/4ui5io/why_writing_correct_software_is_hard_and_why_math/
Tuesday, July 26, 2016
Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us - Curry On Talk (54mn) - Ron Pressler
Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us - Curry On Talk (54mn) - Ron Pressler (youtube.
from My Pocket https://www.reddit.com/r/programming/comments/4ui5io/why_writing_correct_software_is_hard_and_why_math/
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment