FeedCity

I'm in Denmark! Well, just, I'm now at Copenhagen airport ready to begin the long trek home, with the final event at GOTO now done and going just perfectly. This week, there are two ShinyHunters arrests in the news: Pepijn in the Netherlands and then Saif

About three and a half years ago, I had to make some changes to my format and workflow. It wasn’t the first time I’d done things like that and probably won’t be the last. And usually when I make changes,

The post Weekend content through the end of 2026 appeared first on The Silicon Underground.

An earlier post presented an elegant plane geometry theorem discovered by the 19th century school teacher Auguste Miquel. This post presents his pentagon theorem. Start with a pentagon. It may be irregular, but it needs to be convex. Extend each of the sides of the pentagon to form a star, then draw give circles, one […]

The post Miquel’s pentagon theorem first appeared on John D. Cook.

The previous post discussed a superficial connection between modal logic and topology, that both give use the terms regular and normal to indicate added sets of axioms. McKinsey and Tarski developed a deeper connection between modal logic and topology that we’ll discuss here. Starting with a topological space X and a proposition p, define [[p]] as the set […]

The post Topological models of modal logic first appeared on John D. Cook.

You can’t say much about modal logic in general. You have to be more specific to get anywhere. You have to choose some axioms. Ideally the axioms you need for your application correspond to a named set of axioms that has been studied before. The situation is similar in point-set topology. You can’t say very […]

The post Modal logic and topology first appeared on John D. Cook.

With the news that the BBC are tendering for a new series of Doctor Who, I thought I'd write down what I want from the show. This is, to be fair, pure fan-service wankery with zero chance of being made. I've based it on the oft-made observation that Hollywood is obsessed with remaking successful films rather than trying to remake unsuccessful ones. Do we really need another Spider-Man origin…

So when I saw Dyson had a $500 toothbrush, I was excited. Finally, advertising that targets me! I love brushing my teeth, and I have more money than I know how to spend. Not because I’m particularly rich, but because most stuff doesn’t really appeal to me.

Three years ago, I bought an Asus laptop, specifically the Zenbook Pro 17. It's a powerful machine and works just fine for my needs, but it had one problem that made me want to either return it or throw it out the window. I would work on projects for hours on end and close...

They either predate hot-patching or never needed it.

The post Why is there no Windows hot-patching support for other architectures like 32-bit ARM and MIPS? appeared first on The Old New Thing.

Here's a product feature which the world is going to need a whole lot more of over the coming months and years: default hard budget caps. I'm talking about the feature of pay-by-usage services and APIs that lets you say "after $X/month, cut this thing off and return errors"....

Euclidean geometry dates back at least to Euclid (circa 300 BC), and so you might think it’s been pretty well picked over by now. And yet people still occasionally discover new plane geometry theorems. Some of these new theorems are complicated, asking question that the ancients would not have asked. But once in a while […]

The post Miquel’s pivot theorem first appeared on John D. Cook.

I just sent the September edition of my sponsors-only monthly newsletter. If you are a sponsor (or start a sponsorship now) you can access it here.

This month:

• More Fable class models
• A pricing war
• 3D graphics, Blender, and pixel art
• LLMs come for mathematics
• So many more accidental cyberattacks
• The vulnapocalypse comes for Datasette
• What I'm using right now
• My software releases this month
• 2026 in LLMs (so far)

Here's a copy of the August newsletter as a preview of what you'll get. Pay $10/month to stay a month ahead of the free copy!

Tags: newsletter

Museum: Rex's Dino Store

Located just before the turnstiles in the Grand Army Plaza subway station at the north end of Brooklyn's Prospect Park is this former newsstand which is now operated by a dinosaur.

The density of dinosaur puns is exceptional.

Tags: art, new-york

Tried to connect to my Sony WH-1000XM3 headphones on Arch Linux KDE, it would try and connect but fail with The setup of WH-1000XM3 failed.

There are lots of skills involved in being a successful engineer at a big tech company. Running effective meetings, writing good design docs, fleshing out tickets and epics, improving team processes, tech leading small groups of engineers, and so on. But all of these rest on...

A Senate permitting reform bill, the potential of Tesla’s Cybercab, the Navy’s $200 billion worth of shipyard renovations, returning a SR-71 to service, and more.

Today's links Economic probabilities for our grandchildren: If only data centers would stop hogging all the copper. Hey look at this: Delights to delectate. Object permanence: RIAA v P2P; Infoseek's anti-terror brain-scanner; Copyrighting every phone number; Carving pumpkins ...

Releases, advisories, and articles from across the package management world

The Home Depot near me stopped doing cull lumber. I don’t know if that’s just a local thing or if the whole chain stopped doing it. That sent me looking for alternatives, and I found one at Menards. Menards does

The post Cull lumber at Menards appeared first on The Silicon Underground.

I went kind of overboard looking into issues with Altera USB Blaster clones a couple of years ago. While writing that post, I ran into some really frustrating intermittent problems in Linux with jtagd that I was never able to figure out: I also experienced a really weird unrelated problem in Quartus Programmer 18.1 in […]