News for hackers. Stuff that matters.

A comment on A Science of Concurrent Programs [pdf]. Parent comment

Re:A Science of Concurrent Programs [pdf] by andyferris on Thursday January 04, 2024 @02:43AM (#38864276)
It’s as much a science as mathematical physics, I would suppose? You can make predictions (scaling of an algorithm, correctness of a concurrent algorithm) and test them empirically.

Some people might call pure math a “science”, but this is at the very least applied math (ie more connected to physical reality than pure math).

[ Parent | on HN ]
Re:A Science of Concurrent Programs [pdf] by mrkeen on Thursday January 04, 2024 @02:49AM (#38864317)
You could, but this book doesn't, as far as I've skimmed.

It even makes the case as to why not:

> This usually means that there are an enormous number of possible executions, and testing can examine only a tiny fraction of them.

[ Parent | on HN ]