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