HN user

CRSilkworth

11 karma

AI and Data

Posts0
Comments14
View on HN
No posts found.

When I saw the title, I had assumed it was going to have something to do with formal verification or correct by construction. But obviously different, and a bit over my head. Do you have a real world use case where this would be used that other methods wouldn't work?

Looks very cool, would love to give it a go. A lot of the time an audible book can be ruined by the narration rather than the writing. would be good to try out a few different voices.

Might just be being dense but I tried to drag and drop alice in wonderland and it's complaining that the file is too large. How should one try it out?

Claude Tag 29 days ago

I don't actually understand why this sort of thing isn't everywhere theres a discussion. Engineering wise, it's nothing to add. People use grok all the time on twitter.

Don't Download Apps 8 months ago

Seems like that Disney + example can’t be allowed right? Those are two completely different products (theme park/streaming service). Is the law really that f’ed up?