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

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.

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.

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.

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.

It's really good nowadays, but the issues remain the same sadly, and it's not Linux devs fault either, it's just the manufacturer lack of support.

>the world’s first advanced cinema camera designed to shoot for Apple Immersive Video

I think they are tapping early into an emerging "new" video format.

>Excluding interconnects, the SRAM and CCD should add up to less than 20µm thick. To accommodate such small and fragile components, AMD has added a bulky layer of dummy silicon at the top and the bottom for structural integrity.

Self-hostable too.

I'm curious as well to see how they are handling accuracy, since I had to build an external agent to validate data.

As a fullstack developer, how did you even landed on such projects? Are you even using your SW Engineering skills in this? I really want to know more how are you able to lead an urbanism and architecture project with, supposedly, no formal backgrounds. Are you partnered with other people in this endeavour?

  Location: Barcelona, Spain
  Remote: Yes
  Willing to relocate: No
  Technologies: Python, Golang, C#, Docker, PHP, Linux networking, LLMs agent tuning, data science
  Résumé/CV: https://linkedin.com/in/vagonzal
  Email: victor  vgr.cl

I feel confident working in most modern programming languages, and have 6+ years of experience in project/team management. I'm very flexible at working in any kind of environment.

Also make sure to install the Windows Terminal [2] to take full advantage of wsl2.

[1]: https://learn.microsoft.com/en-us/windows/wsl/install

[2]: https://learn.microsoft.com/en-us/windows/terminal/install