dev03

- Web dev & designer
- AI websites/apps ($300)
- Motion graphics & video editing ($200)
- Grew IG to 80K, 30–40M reach;sold for $300
- Open to freelance wrks

[dev03 @Shashankdev03]

deepmind had AI agents formally verify signal's core crypto code. 6M+ lines of lean, 4 weeks.

best detail: they put two old fixed bugs back in to see if it caught them. it did.

it's the protocol library, not the whole app.

agents wrote the proofs. humans still wrote the spec.

[dev03 @Shashankdev03]

Okay how does this look.??

[dev03 @Shashankdev03]

@HelloVyom usne bhi wahi socha jo hum sabne socha

[dev03 @Shashankdev03]

@thdxr cf cli -> cfc alive 😭😭😭

[dev03 @Shashankdev03]

someone on Github posted a fable 5.2 system prompt: 6,574 lines, 443kb, 64 tools.

Anthropic publishes one too 194 lines, ~31kb. no tools.

the long file is still shorter than the fable 5.1 and opus 5.5 prompts in the same repo.

https://t.co/LQWB3c1jb3

[dev03 @Shashankdev03]

@hello_amani if you dont mind can you let me know what did it even use in the first hand and was it a iterated result or one shot ??

[dev03 @Shashankdev03]

Update.

[dev03 @Shashankdev03]

Trust me.

[dev03 @Shashankdev03]

Got into a G-meet for bots.
plan around build stuff one go.

[dev03 @Shashankdev03]

amazon swapped sonnet 4.6 out of an internal ticket labeler for AWS's own decision model. ~44x cheaper per ticket, their numbers.

part i'd copy: run both on real traffic first. rollback was one config flip.

weird bit: reordering JSON keys shifted its scores. sort ur keys.

[dev03 @Shashankdev03]

I think it's still in the trend

[dev03 @Shashankdev03]

Opus 5.5 Nerfed ??
can you feel it ?

[dev03 @Shashankdev03]

@OjasSharma276 Ayoo calm down bro 😭😭

[dev03 @Shashankdev03]

@hackiice Rakhlo tum chupake

[dev03 @Shashankdev03]

@Ashutosh_7x7 Arey jensen app yaha

[dev03 @Shashankdev03]

This is how Fable 5.2 looks at me.
I guess Fable 5.2 is also a spy.

[dev03 @Shashankdev03]

anthropic shipped fable 5.2. token price is down 20%, $8 in / $40 out.

someone on HN flagged the other number. at max on artificial analysis, cost per task roughly doubled vs 5.1.

cheaper per token, not cheaper per task.

they still say start with opus 5.5 for most coding.

[dev03 @Shashankdev03]

Okay i backed-off from using fable 5.2
sticking back to opus 5.5
I would never take fable into consideration

[dev03 @Shashankdev03]

@DavidOndrej1 You dont know it takes time to appear on cli ??