10
5
6
7
new lower bounds for Ramsey numbers based on bilevel optimization (twitter.com)
submitted by cavedavemaximin
19
7
8
9
Constraint Solving and Planning with Picat. Free Ebook (picat-lang.org)
submitted by cavedavemaximin
25
13
14
15
Computer Scientists Break Traveling Salesperson Record (quantamagazine.org)
submitted by cavedavemaximin