Do You Program By Proof? Computer Science

August 30, 2018

Do You Program By Proof? Computer Science

Posted: 29 Aug 2018 03:21 PM PDT

Does anyone write programs like this outside of school? After watching a talk by Guy Steele Jr. I was absolutely blown away. From Mathematics For Computer Science:

Proofs also play a growing role in computer science; they are used to certify that software and hardware will always behave correctly, some- thing that no amount of testing can do

Unit tests seem appealing to me if you a doing a contract style project that you are aware of all the requirements beforehand, otherwise it's super tedious. Can making formal/informal proofs reduce the need for testing in software (which doesn't really seem to be taught)? Obviously regression tests cannot be replaced, otherwise what do you think?

submitted by /u/crocodilem8
[link] [comments]

Apache Jserv Protocol performances

Posted: 30 Aug 2018 02:38 AM PDT

Hi, how AJP increases performances?

submitted by /u/gianm93
[link] [comments]