I wonder what are the use cases in their mind when designing this. For runtime assertions and documentations, yeah, it would work but it works without contract arguably ok. For formal verification, the design is way off.
Please do not waste hardware (nowadays valuable) on Meta's privacy-leaking garbage.
Sam Assman needs money to buy a new super car or private jet?
I have no idea why people would ever want to touch anything from Meta.
Claude or ChatGPT for personal assistants? Big NONO.
"prominent names", lmao
At the end of the day, all the money Sam Assman used to lure people into doing crime will be paid for by all the 401k accounts of ordinary people.
I'm curious about how did Mozilla do bug finding before Mythos? Did they use any non-AI bug finding tools?
That's a good post but we don't even need this post to tell of her incredible power of smashing great things. I wish to see her in the next Shehulk movie.
Metaverse is still alive!
I now need to deliberately choose the sites I browse to avoid those that work with the stupid closeAI?
wow, is openAI such a great magic to you?
Name another company that makes debatably the best consumer laptops?
Obviously, openAI is a cheaper and better option for Apple to use AI in their devices for the time being. Once they have their own AI, or the AI hype subsides, they'll kick openAI.
EU to take security risks on their own?
A new prototype from Gogle for collecting user data and will be dumped anytime soon once it collects enough data or it fails.
I'm offering to play the scapegoat for him and only asking for half of his compensation.
I wonder what are the use cases in their mind when designing this. For runtime assertions and documentations, yeah, it would work but it works without contract arguably ok. For formal verification, the design is way off.
Please do not waste hardware (nowadays valuable) on Meta's privacy-leaking garbage.
Sam Assman needs money to buy a new super car or private jet?
I have no idea why people would ever want to touch anything from Meta.
Claude or ChatGPT for personal assistants? Big NONO.
"prominent names", lmao
At the end of the day, all the money Sam Assman used to lure people into doing crime will be paid for by all the 401k accounts of ordinary people.
I'm curious about how did Mozilla do bug finding before Mythos? Did they use any non-AI bug finding tools?
That's a good post but we don't even need this post to tell of her incredible power of smashing great things. I wish to see her in the next Shehulk movie.
Metaverse is still alive!
I now need to deliberately choose the sites I browse to avoid those that work with the stupid closeAI?
wow, is openAI such a great magic to you?
Name another company that makes debatably the best consumer laptops?
Obviously, openAI is a cheaper and better option for Apple to use AI in their devices for the time being. Once they have their own AI, or the AI hype subsides, they'll kick openAI.
EU to take security risks on their own?
A new prototype from Gogle for collecting user data and will be dumped anytime soon once it collects enough data or it fails.
I'm offering to play the scapegoat for him and only asking for half of his compensation.