"Re: I have a question about proving code correctness"
Posted by: Frans Boumas blog,
on 20 Jan 2012 |
View original | Bookmarked: 0 time(s)
Recently I received an email with the following contents: I recently started working at a startup. I'm learning lots of cool stuff, including unit testing, but as a math major something kinda nagged at me about them. I don't know if I could write a unit test that I really trust all that much. It's better than manually poking my code to be sure, but I felt there might be a better way. Fast forward to an article posted in ycombinator which gave me the knowledge that there are actually people who...