How to monitor code review efficiently?We're using SonarQube in our teams, serving around 70+ projects, ranging from 10k to 3M LOC. Although some teams just ignore its reports, most use it to direct refactoring processes. It works nice, although personally I prefer simple, non-integrated tools, such as Findbugs.

The dream of declarative programmingIt's a bit of an exercise, but with negative CSS selectors it is possible to rewrite these to a 3SAT problem (with the last clause being the DOM), which would require trying all possible combinations, to see if it matches.