moomin · HackerTrans

hace 13 horasdiscuss

For comedy’s sake, I asked ChatGPT 5.5 about the significance of the problem and the chance that 5.6 would solve it with a three page solution. It said close to zero.

I invited it to search the internet and it remains extremely sceptical.

moomin

hace 5 díasdiscuss

This is actually great, and I predict that fans of nil-punning will rapidly discover the joys of actually having errors trigger where the error was introduced rather than propagating through the program.

Any news on ClojureScript gaining the feature?

moomin

hace 8 díasdiscuss

This is one of those little things I’ve had trouble putting my finger on: the US eats surprisingly few oats. The U.K. eats more than three times as much on average. Which is probably one of the reasons I find US cuisine slightly uncanny valley.

Southern Europe doesn’t really consume much either, but most US food is closer to Northern European food.

moomin

hace 8 díasdiscuss

I’m not a follower either, but inference from the article tells me: Krammik has come up with some sort of cheat detection method, has loudly accused some others of cheating, and FIDE are both unconvinced of the truth of the allegations and very unhappy he didn’t do this through proper channels. He also doesn’t appear to have co-operated with the investigation.

moomin

hace 8 díasdiscuss

I suspect this is a standard mathematical “it is computationally impossible to do this in the general case despite it being entirely feasible in many cases”.

moomin

hace 8 díasdiscuss

I don’t think anyone in the business thinks that the markets are 100% efficient, just that they are sufficiently efficient that beating them is a genuinely hard job requiring heavy, expensive analysis.

moomin

hace 11 díasdiscuss

I feel like this is a bit of a disappointment. Sonnet 4 was a clear step above Opus 3.x, while this is a lot muddier.

moomin

hace 13 díasdiscuss

Feels very like Squaredle.

moomin

hace 15 díasdiscuss

The language used in this press release is borderline hilarious. It’s simultaneously trying to tell you how great it is while also telling it’s not THAT great. Nothing to worry about, move along.

moomin

hace 15 díasdiscuss

And enforcement cannot work if you’ve captured all three estates.

moomin

hace 15 díasdiscuss

I love CS Lewis. I don’t massively love his name being invoked by a bunch of people intent on ripping the chest out of America.

moomin

hace 16 díasdiscuss

I feel like "Company ditches staff in favour of AI" stories currently fit into two categories 1) The CEO is actually ditching staff for other reasons like falling revenue, but "going AI first" sounds a lot better 2) The CEO is making a mistake.

moomin

hace 16 díasdiscuss

I fail to see what the difference between the distillation described in the article and the distillation described by Bartz vs Anthropic.

moomin

hace 16 díasdiscuss

I'm thinking it's rapidly not becoming "can you find a security issue in XYZ?" and "what is the cost of finding a security issue in XYZ?". I want to know what the spend was.

moomin

hace 17 díasdiscuss

That's both extremely neat and, for the time being, extremely hard for me to get my head around. I got it round monads, so I imagine it's just a matter of time!

moomin

hace 17 díasdiscuss

It's not just for choice of model, you can use it for your prompting as well (basically anything to do with your setup). And yes, running evals is expensive and mostly of use to people with serious spend.

moomin

hace 19 díasdiscuss

US controls on cryptography software lasted _20 years_. If there's something I'm absolutely certain of, and I'm certain of very little in the fields of AI and of politics, it's that Fable will be utterly irrelevant in 20 years time.

moomin

hace 20 díasdiscuss

Look, I’m not an AI hater, but AI is… not great at multi-threading code. And having it analyse multi-threaded code proves nothing because… it’s not good at multi-threaded code. This isn’t entirely shocking because I’m not good at it either and need to write in some very particular ways to have even a hope of being correct. But basically, unless it was written by a genuine expert, I wouldn’t want to even glance at this PR. And it wasn’t.

moomin

hace 22 díasdiscuss

I mean, I appreciate the huge engineering and design challenges here, but C# had non-null value types in 2002. It had generic value types in 2005 and it gained not-null “types with identity” in 2019 and no-one has batted an eyelid. (Indeed the type system support for value types still includes stuff Java isn’t even considering yet.)

Saying the mental model is too hard is basically saying your userbase is stupid. This stuff is not tricky.

moomin

hace 23 díasdiscuss

Ironically, one of the promises of AI: enough eyeballs.

The catch is the eyeballs can also be used to generate exploits.

comments