Viewing profile — OscarCunningham

You could maybe determine this using a SAT solver. You would have to encode the entire QR code specification. I was thinking of doing this to find a minimalist QR code that just ha…

https://pony.social/@luna/115057532794342459

https://www.reddit.com/r/Damnthatsinteresting/comments/ublxt...

By the same author: https://mathstodon.xyz/@andrewt/115056697540191327

I think you're in the wrong thread. This one is about Claude producing counterexamples. The Go thread is next door.

I wouldn't have expected that there was post training specifically on the issue of looking for proofs vs counter examples. But it might be that other post training has a side effec…

They're trained on human data. I would expect them to emulate human biases as closely as possible.

The AI understands context so it's able to spot typos even when they coincidentally make reel words.

One argument would be that Ozempic doesn't give your body any additional resources. It just triggers your body to behave in a different way. But if the changes it causes are univer…

John D Cook gives more technical details here: "Trying to fit a logistic curve" https://www.johndcook.com/blog/2025/12/20/fit-logistic-curve...

I've been wondering if you could do a similar thing for a Droste effect image containing two copies of itself. Packs of Laughing Cow cheese show a cow with two earrings, each of wh…

Oh I get it, the onion is made of Swiss cheese.

It seems like a lot of the difficulty is in finding arrangements that satisfy constraints. I wonder if an alternative approach would be to use a SAT solver. I suppose the problem w…

This is a deliberate choice by Congress to give the Fed a mandate to target 2% inflation. In particular Congress hasn't given them any instruction to try to make up for mistakes. I…

Does this mean that if Earth stays a fixed distance from the sun then its equilibrium temperature is fixed? I remember people saying things like that the albedo of the ice caps aff…

Is it known which algorithms produce 'difficult' mazes? I'm imagining you could run all the maze solving algorithms against all the maze generating algorithms many times, and then …

Enclosing a settlement gets easier as it gets larger. The amount of work is proportional to the perimeter, while the number of people to do the work is proportional to the area. Th…

Another example: ears are excellent at breaking down the frequency of sounds, but are imprecise about where the sound is coming from; whereas eyes are excellent at telling you wher…

There's an old Flash game called 'Chat Noir' where you have to trap a cat on a hexagonal grid. Here's a copy of it: https://www.hoodamath.com/games/chatnoir.html

But is a geostationary satellite going around the Earth?

Right. Interesting small patterns can be found using clever search algorithms. There's also the approach of running trillions of random 'soups' and scanning the results for interes…

The problem is when you bisect an odd sized group. You necessarily have to make one half larger than the other. So you're not trying to misdirect, you're trying to avoid creating a…

One thing this doesn't take into account (and the paper acknowledges this) is that the characters are assigned by picking cards from a deck. So the two players cannot have the same…

Fans of Celtic knots might also like the daily game Celtix ( https://www.andrewt.net/puzzles/celtix/ ) where the objective is to separate a Celtic knot into five coloured strands.

I've even seen the BigQuery formatter change the behaviour of a query, by mixing a keyword from a comment into the real code.