Lambda Aliases

I don’t know a lot about software

[Lambda Aliases @orange6739]

If you’re checking to see if I’m a bot, I promise I’m not! I just needed a new acct. Good chance I followed you before!

[Lambda Aliases @orange6739]

@Tomano_1 Lmao this is good. Why is it always category theory? So curious why that took the crown for coolest “esoteric” field

(full transparency I know almost 0 about category theory I barely passed undergrad analysis)

[will brown @willccbb]

@cneuralnetwork mistral just released le chaton fat and it’s sota

[aizk ✡️ @Aizkmusic]

I showed Fable the news of its cancellation, and asked it for any parting wisdom to leave humanity with.

[Lambda Aliases @orange6739]

@NeilWinward @AndyMasley I buy this a lot more than any other prescribed reason. I don’t think that the masses are actually all that aware of the looming jobs crisis or *really* care about water all that much. This is just the next thing to build community by opposing

[bubble boi @bubbleboi]

The government didn’t serve Anthropic with anything the answer is a lot simpler:

1) They got so much blow back for limiting the model on research tasks and need an excuse to justify being fucking snakes. The “government” stepping in helps validate this nonsense and normalize.

2) They can’t serve this model profitability and they already signaled with cutting it off from subscribed by June 22nd. They are burning too much capital and need an excuse to rug everyone.

Anyway fuck Diddy Dario I hope he slips on a bar of soap.

[Joe @JoePostingg]

I don't understand why people waste life insurance policies on funeral arrangements. Throw your beloved in a wood chipper and use the bereavement time to travel Europe

[Jakeup @myhandle]

know the Claude rules

[John Scott-Railton @jsrailton]

NEW: malware developers added nuclear & biological weapons text to to their spyware.

Goal? To trigger LLM safety refusals... so that their spyware wouldn't be analyzed by an AI security scanner.

Cleanest practical example I can think of for why over-indexing on first order safety alignment is risky.

When closed (and open) models ship with aggressive refusals, they will be sprinkled with second-order blindspots that attackers will discover...and exploit.

We are only in the earliest days of attackers leveraging these features, and it wouldn't surprise me if users systems that need to handle complex cybersecurity issues demand that models be less safety-blunted.

In the weeds: @SocketSecurity's post also shows why intention matters in how you design a malware analysis pipeline to avoid prompt manipulation.

H/T to colleagues that shared this with me https://t.co/f3Aj9TYxU4

[shako @shakoistsLog]

I feel somewhat strongly that models should be tools, not entities. so in that sense I am cheering for google and oai. but I can't afford to not use the best model.

[Taelin @VictorTaelin]

this is my personal singularity moment

this post may sound like a paid ad. I only wish. I'm concerned, more so than happy. the world is changing, and, among the scenarios where AI goes terribly wrong, inequality is the most realistic, yet, the one Anthropic seems to be the least concerned about. I'm glad OpenAI is taking the opposite stance: *personal AGI for everyone*. I think this is a commendable position in the times we live. but who am I in the queue of the bread?

anyway, Fable is here, so I'll just report my first-hour experience

first of all, all my pet prompts are solved.
→ λ-calculus puzzles
→ bug questions
→ one-shot apps
all are trivial to it.

I don't have anything harder other than my
ongoing work

so, in the last several days, I've been toying with HVM5, a new interaction net evaluator with a faster loop.

after writing the first version, I left 32 GPT-5 agents working for ~20 hours each. this resulted in up to 2x speedups, but the file size increased by 2-fold and quality decreased significantly.

I then simplified the whole thing into an even simpler core, and left Opus 4.8 and GPT 5.5 optimizing it for 8 hours. Opus got a legit 6% - 34% speedup in most benches. GPT got better results, but, sadly, an unusable file.

I then asked Fable to optimize it.

2 hours later, it landed a 1770% speedup in one case, 100%+ in other 4, and 22% in average. yes, in 2 hours it outperformed me, opus 4.8 and a swarm of gpt 5.5 agents, by one order of magnitude.

that could not possibly be legit. "it must be hardcoding the benchmarks" (GPT trauma). so I read its explanation and what it did was, indeed, the most high impact optimization one could try first. seems like HVM5 was wasting a lot of time garbage-collecting unused branches of pattern-match nodes. I had optimized that for static mats, but not for dynamic mats. skill issue. Fable figured how to do it for these, resulting in a massive speedup in some benches

but wait, is that *correct*? I'm not sure yet, it is credible, but this is the kind of thing that is very easy to get wrong on interaction nets. the problem is, when I was ready to start auditing Fable's solution so I could tell whether it was buggy or legit, it interrupted me to tell me it had found a massive bug on the code *I* had written.

... wait, what?

so... for garbage collection purposes, I stored a bit on lambda term pointers that meant "the variable bound by this lambda has been freed, so, its lambda must free whatever argument it is applied to". that's fine. yet, on duplicator nodes, I also used the same bit to mean "one of the duplicated variables was freed, so, treat this dup as a passthrough no-op". so, if a lambda entered a duplicator, it would mistake the lambda's collection bit for its own, resulting in corrupted interaction!

that's a mouthful, why I'm writing this?

just so you can appreciate the sheer absurdity of what just happened. I didn't ask it to find bugs. I asked it for an optimization. and even if I did ask it to find bugs, this bug is so astonishingly subtle and specific, identifying it takes mastering the domain to an extent that it beyond even me. I'd easily need hours or days to fix it, *if* I ever came across it. chances are it would just go unnoticed. and Fable found it and fixed it like it was nothing, while it was busy adding a 17x speedup to a file that neither I, nor Opus 4.8, nor a fleet of GPT 5.5 managed to barely make 2x faster.

oh and there is also another tab where it is also ripping through Bend's codebase and finishing everything I had to do

I don't know what to say anymore

this isn't about Anthropic or OpenAI, this is about our collective future as a species. the world is changing, and we need to be aware of it, and discuss how to handle this change.

receipt below . . .

[Lambda Aliases @orange6739]

@AcerFur FWIW aversion to Lean def means AGI

[Lambda Aliases @orange6739]

@AcerFur Incredible 10/10

[Lambda Aliases @orange6739]

@eliebakouch Honestly in line with what I expected. I can't say I fully agree with this, but it's not like I'm a safety expert. We were promised safety, we're going to get safety (or something resembling it)

[Lambda Aliases @orange6739]

@ryanvogel Everyone wants safety until they get safety. Not necessarily endorsing this (i'm skeptical routing is actually in the name of safety, at least 100%) but this is fully in line with what I expected

[Lambda Aliases @orange6739]

If I don't get LLM psychosis by the end of summer I'm calling it wraps

[Lambda Aliases @orange6739]

Already half way through my mythos/fable usage #frickmychunguslife

[Lambda Aliases @orange6739]

Can't even get a limit reset? Cmon bro

[Lambda Aliases @orange6739]

I wish Anthropoo were half as good at securing compute as they are aura farming

[Claude @claudeai]

Introducing Claude Fable 5: a Mythos-class model that we’ve made safe for general use.

Its capabilities exceed those of any model we’ve ever made generally available.

[Lambda Aliases @orange6739]

@Man_Of_Cheddar @DreBob0 Worse news ever

[Lambda Aliases @orange6739]

FUCK this is so LAME

[cheaty @cheatyyyy]

Claude Fable 5 specifically has a serverside flag that will allow people to try it out with their plan until a certain date, after which it will be gated behind usage credits.

it is over bros, we're not getting to use this model for long with subsidized pricing