this post was submitted on 17 Mar 2026
524 points (98.5% liked)

Technology

82798 readers
3202 users here now

This is a most excellent place for technology news and articles.

Our Rules

  1. Follow the lemmy.world rules.
  2. Only tech related news or articles.
  3. Be excellent to each other!
  4. Mod approved content bots can post up to 10 articles per day.
  5. Threads asking for personal tech support may be deleted.
  6. Politics threads may be removed.
  7. No memes allowed as posts, OK to post as comments.
  8. Only approved bots from the list below, this includes using AI responses and summaries. To ask if your bot can be added please contact a mod.
  9. Check for duplicates before posting, duplicates may be removed
  10. Accounts 7 days and younger will have their posts automatically removed.

Approved Bots

founded 2 years ago
MODERATORS
L3s@lemmy.world
enu@lemmy.world
technopagan@lemmy.world
L4s@lemmy.world
L3s@hackingne.ws
524
Microsoft wants devs to build Electron AI apps on Windows 11, says no need of native code, despite RAM concerns (www.windowslatest.com)
submitted 1 day ago by throws_lemy@reddthat.com to c/technology@lemmy.world
160 comments fedilink hide all child comments
 

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.

you are viewing a single comment's thread
view the rest of the comments
[–] brucethemoose@lemmy.world 1 points 20 hours ago* (last edited 20 hours 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