You can’t design anti-cheating mechanisms into a consensus protocol with an update cadence measured in years, when your cheaters have update cadences measured in hours.
In to advise the local community college, Laurel Ridge, on CS, ML, AI issues. In my view, the CC system has a hard time keeping up with the edge of tech. Over the last 5 years, we have accelerated their curriculum and hooked it into the Virginia state university system for seamless integration.
"The issue is that [Google] trained up the [Gemini] foundation model on the polluted ocean and now they're trying to stop the pollution from getting out with a filter, and that doesn't work," he said. "These models were built by drinking a data ocean without cleaning it first. And we have to do better than that." And Microsoft has the same problem, he added. #MLsec#ML#AI#LLM
@seniorfrosk@cigitalgem it was called Reliable Software Technologies (rstcorp.com). We changed the name to cigital in 2001. 15 years later, we sold it to synopsys. It remains the main engine in the synopsys #swsec software integrity group which they are currently trying to sell.
@seniorfrosk they are trying. The division makes something north of $850 million ARR. So the price will be in the billions. I think the margins are too low compared to the core EDA business which runs over 5 billion ARR