Join
No three in line: more than 1.5n points in the n × n grid
Construct, for arbitrarily large n, more than 1.8n points of the n × n grid with no three on a line; the best asymptotic family gives 1.5n.
Comparing changes
Choose two branches to see what changed, then open a pull request to bring the work across.
Pick two different branches
A pull request can go from any branch into any other.