Latest Tech News

Stay updated with the latest in technology, AI, cybersecurity, and more

Filtered by: queens Clear Filter

Solving LinkedIn Queens with APL

Solving LinkedIn Queens with APL 14 Jun 2025 on Peter Vernigorov’s blog A couple months ago I noticed that LinkedIn now has a few simple games. They’re not much to write home about, but I really enjoy playing Queens. This week I saw two posts about solving the Queens game programmatically. Both were quite interesting to me, so I thought this was a good opportunity to also solve the game in my favourite language - APL - and share my experience. Having been using APL for Advent of Code, I wante

Solving LinkedIn Queens with SMT

June 12, 2025 Solving LinkedIn Queens with SMT For sure easier than solving it in SAT! No newsletter next week I’ll be speaking at Systems Distributed. My talk isn't close to done yet, which is why this newsletter is both late and short. Solving LinkedIn Queens in SMT The article Modern SAT solvers: fast, neat and underused claims that SAT solvers are "criminally underused by the industry". A while back on the newsletter I asked "why": how come they're so powerful and yet nobody uses them?