MetaverseClub

BYD can single-hand crush US car makers for sooner or later.

>I'm shook. If you'd asked me this morning whether LLMs have native understanding of their weights that is less than human <-> neuron understanding, the same as human or more than human, I would have said "same to less" depending on definitions.

??? All LLM understands are their weights, dude, come on.

Sounds like if I'm smart enough and lucky enough I would have several Billions in my bank account.

The title is as stupid as Dario.

I think he looks like DAVID PATTERSON, the Turing award winner.

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.

Never ever trust OpenAI, they are evil.

"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.

My naive thoughts on Formal Verification (FV) and LLM:

We could leverage existing FV tools for a given programming language by using an LLM to generate a translator that maps the language to the FV tool's input format. This would essentially require a finite number of "abstract interpretation" functions—one for each language construct. While the total number of constructs might be large (e.g., around 500), each function would be independent. A function would only need to reason about the abstract semantics of a single construct, assuming the others adhere to their respective semantics. We could then distribute these LLM-generated functions among a group of experts (e.g., 100 reviewers). Thanks to the modularity of the functions, reviewers could evaluate their assigned subset in parallel without bottlenecks. The end result would be a working FV tool for the target language.

it's just sad that Coverity represents the best working C++ static analysis tool.

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.

His successor looks like a mess to the gaming section.

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?

Never buy anything from Amazon. I have been doing this for 2 years. It feels great.

A new prototype from Gogle for collecting user data and will be dumped anytime soon once it collects enough data or it fails.

It sounds interesting to me but I wish it was not Meta.

I'm offering to play the scapegoat for him and only asking for half of his compensation.

Worth to mention that Changzhou is a city on the south side of Yangtze River, where no heat provided to public, meaning that cities on the north side could be way worse due to coal burning for heat supply.

I'm just curious how much Rev/Profit they made on selling employee lunches and dinners.