Seth, an Ethereum army knife for the command line
github.com2 pointsby mbrock0 comments
(y > 0 && x > INT_MAX - y)
|| (y < 0 && x < INT_MIN - y)
((x ^ s) & (y ^ s)) < 0
Fable's napkin estimate of the effort required to produce a passable reference semantics for Postgres, which would involve novel discoveries in denotational semantics of concurrent transactions and so on, might be in the ballpark of 30–60 years of PhD level work.
So realistically I think the only way to validate a Postgres implementation involves differential testing, fuzzing, acceptance test suites, etc. And still you'll have bugs that need to be hammered out the good old fashioned way.