Latest Tech News

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

Filtered by: queens Clear Filter

European ant is the first known animal to clone members of another species

The same Iberian harvester ant (Messor ibericus) queen produced the hairy male Messor ibericus (on the left) and the hairless male Messor structor (on the right), despite them being members of distantly related species. Queen ants in southern Europe produce male clones of an entirely different species — tearing up the playbook of reproductive biology and suggesting we need to rethink our understanding of species barriers. The workers in Iberian harvester ant (Messor ibericus) colonies are all

This American Influencer Traveled to Australia to Film Himself Tackling Crocodiles. Australians Aren’t Happy

Welcome to another episode of Americans being badly behaved in Australia (anyone remember the wombat grabber?). In this edition, Australian officials, wildlife experts, and others are criticizing U.S.-based influencer Mike Holston, aka “therealtarzann” on social media, after he posted two videos of himself down under and tackling crocodiles, shirtless. Queensland officials have confirmed that they are “actively investigating two videos circulating on social media,” The Guardian reporteed. Meanw

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?