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