Microsoft reaffirmed its commitment to AI in Windows 11 and encouraged Electron developers to consider using AI in their apps.

Electron apps are ruining the Windows 11 experience, and even the JavaScript creator has warned against ‘rushed web UX over native,’ but it doesn’t look like that will change Microsoft’s plans. In a post on X and other places, Microsoft reaffirmed its commitment to AI in Windows 11 and encouraged Electron developers to consider using AI in their apps.

  • brucethemoose@lemmy.worldEnglish
    1·
    1 day ago

    Renaissance of small, efficient native apps, even on platforms like Android.

    Verifiable programming (which tends to involve lower level languages) is much “better” with LLMs. Take this recent one, for example:

    https://huggingface.co/mistralai/Leanstral-2603

    Leanstral is the first open-source code agent designed for Lean 4, a proof assistant capable of expressing complex mathematical objects such as perfectoid spaces and software specifications like properties of Rust fragments.

    https://github.com/AeneasVerif/aeneas