XzAeRosho

We may actually achieve AGI before that actually happens

I was reading the announcement and wondering the same. And don't forget, still with 3.1 Pro as the frontier model.

Same for me. DeepSeek models are incredibly good at implementation and light planning. I still default to Opus models for feature planning, but for most simple features the Pro models suffice.

Incredible good value and product they have built.

Read the article. It's about Microsoft culture messing things up, not Azure themselves (though it may be a factor).

This is just speculation, but I suppose it's because Apple is also collaborating/contributing in the EU Chat Control 2.0 legislation, so they may have some argument that completely opening the door for uncontrolled app installs may not allow them to comply with such legislation.

As I said, just speculation, but this is how most of the time these things go

This has been a lesson I learnt very early in my SWE career. This is nothing new sadly, but is a great lesson that not everything is technical expertise, but rather presentation and UI eye candy.

Tell that to recruiters requiring leet code tests for Senior/Leadership roles. Absolutely idiotic market at the moment.

Google's MO since always has been to release great products or services for free, position themselves high and then abandon them or just find uses for Enterprise sales.

I'm pretty sure they are doing it because they get some research experience by shrinking and improving these models, and because they know that by doing this they get some good PR among the dev community.

It's not actually doing browser actions like Playwright or other browser automation tools, rather than direct API and MCP calls/actions. This is a whole new subset of API and connections that are all contained within the Agent context, no browser mocking. That's why they are creating these new protocols, so the full governance can work within the context of the Agent and its available tools.

As I said, it doesn't have to make sense, but this is being pushed on us anyway...

There's a slightly new topic called Agentic Commerce, where you say for example: "purchase for me the most energy efficient dishwasher with a budget of $600", and the agent will connect via specialized via special MCP Servers and APIs to available stores, and will do the full purchase process for you.

This MPP helps bridge the gap between the agent putting the product "in the basket", to actually completing the full purchase process.

Disclaimer: I'm not in any way advocating for this use case, but it's part of my job to understand how it works. Part of what I do is try to help Agents understand, for example, what is "an efficient dishwasher" using actual data, and not hallucinated info.

I know most of this affects only the US, but I'm wondering where this will go in the EU if the Age Verification Tech goes ahead in America. There's been lots of efforts to increase surveillance disguised as protection for kids in the EU and UK.

The Swiss implementation of eID may be hint that governments may/will take the responsibility to implement and maintain the tech, but the multiple intrusions and lobbying by Palantir and friends in the EU gives me the ick.

>2. How do you handle the semantic gap? LLMs operate in natural language/fuzzy logic space, while formal methods require precise specifications. What's the translation layer like?

From what I understood, this validates the output correctness, not that the output aligns with the user goals, so there's still room for the LLM to get the user goals wrong, and this is only to validate the mathematical consistency between the output code and the formal specification (in this paper, within the ESBMC framework for C++ code).

So it's kind of tight scoped, in this case, but I think it points in the right direction for coding assistants, which usually get some language primitives wrong.

This is the job a junior developer may deliver in their first weeks at a new job, so this is the way it should be treated as: good intentions, not really good quality.

AI coding needs someone behind to steer it to do better, and in some cases, it does. But still hasn't left the junior phase, and while that doesn't happen, there's still the need for a good developer to deliver good results.

An option trader would bet on the volatility index of the predictions, instead of the prediction itself.