WesternInfidels@feddit.online 5 days ago
We could view this as “MS pushes for stupid direction that clued-in tech people are opposed to,” or we could view this as “MS gives up on native apps because everyone else of consequence already has.” I hate it but I have eyes.
If AI enhanced coding is really so great, we might expect to see a Renaissance of small, efficient native apps, even on platforms like Android. I’m not holding my breath, though.
brucethemoose@lemmy.world 4 days ago
Fully verifiable programming is much “better” with LLMs. This recent one, for example:
huggingface.co/mistralai/Leanstral-2603
github.com/AeneasVerif/aeneas