Meta brings Muse to Mac with access to native apps
The assistant can work with files, messages and calendars. Access is opt-in, and Meta says sensitive actions require approval.
The briefing
Meta brings Muse to the Mac, where permission settings matter as much as conversation. NVIDIA expands its cloud-gaming catalogue and graphics options. In research, a system for checking AI-written code shows both the value of formal proofs and the risk of proving the wrong thing.
Meta brings Muse to Mac with access to native apps
Meta’s Muse is available on Mac, extending its assistant into native applications. Users choose what it can access, while Meta promises an approval step before sensitive actions.
Muse’s desktop arrival follows its mobile and web launch earlier in September. Sarah Perez reports for TechCrunch that the Mac app can interact with files, messages, calendar, notes and mail within their native applications.
That gives the assistant a different role from a chat window that merely suggests what to do next. It can act inside the software holding a user’s correspondence and plans, rather than leaving every step to the user.
Permissions become part of the job
Users control access on an opt-in basis. Meta also says Muse will ask for approval before performing sensitive actions. That is a company assurance, not an independent assessment of how reliably the app handles those decisions.
For someone trying Muse, the practical starting point is choosing which parts of their Mac to make accessible. Permission to read or work with personal material is part of using the product, not a separate administrative detail. The expansion brings more scope for useful assistance, alongside more decisions about what an assistant should be allowed to touch.
Mac users can now delegate work inside familiar applications rather than only ask for advice. The access controls determine which personal information Muse can use, making permission choices central to the experience.
Market signal
GeForce NOW adds Aniimo and upgrades Bond’s cloud graphics
Aniimo arrives on GeForce NOW as NVIDIA announces 11 catalogue additions. A separate 007 First Light graphics update brings path tracing, while premium day passes offer a way to test the service.
Pawprint Studio’s free-to-play creature-catching game Aniimo can be streamed on supported devices, including Steam Deck and the newly supported Firefox browser. NVIDIA’s GeForce NOW Community announcement says cloud play avoids the game’s 45GB local download.
The company lists 11 additions, including Active Matter, Outer Wilds, Stray and What Remains of Edith Finch. Store release dates are not promises of simultaneous cloud access: NVIDIA says availability can vary as games are added to the service.
A graphics upgrade and a trial route
007 First Light also receives path tracing, which changes how lighting, shadows and reflections are rendered. NVIDIA says Ultimate members can stream with RTX 5080-class performance and up to 5K high dynamic range. Those are the company’s stated capabilities, not measured results across every supported device.
Players can try premium streaming through a day pass, whose cost can be credited towards a first monthly membership. Separately, the Bond game’s Deluxe Edition has a Steam sale running from 15 to 29 September. That purchase offer is distinct from the cloud-service membership.
Players short of local storage gain another way to run these games. A day pass lets them test premium streaming before a monthly commitment, while the top graphics options remain tied to Ultimate membership.
What to watch
MAGS tests formal safety checks for code written by agents
The authors of MAGS report verified safety properties across 220 programming tasks. Their unreviewed preprint also records failures when the formal description does not fully capture what a program should do.
MAGS puts formal verification between AI-generated code and an executable program. The authors describe the multi-agent framework in an arXiv preprint submitted on 16 September; it has not been peer reviewed.
The process starts with human-audited interfaces and safety requirements, which are then fixed. Generated code is translated into Dafny, a language designed to support verification. Feedback from the verifier guides repairs before verified programs are compiled back into executable code.
A proof is only as useful as its specification
The authors tested 100 CUDA kernels, 100 terminal scripts and 20 robotic-arm tasks. They report that all 220 examples produced programs with non-trivial safety guarantees against the fixed specifications.
That result is narrower than saying every program behaved correctly. Separate safety and functional evaluations found failures when the automatically formalised description did not fully capture the intended behaviour.
For developers, the useful distinction is between checking a program against explicit rules and checking whether those rules describe the real task. MAGS automates parts of the proof process, but its design still depends on human scrutiny of the requirements being proved.
Teams using coding agents could use formal checks to enforce specified safety properties. The findings put attention on requirements review: a machine-checkable proof cannot repair an incomplete description of what the software must do.
What to watch next
- Mac users can now delegate work inside familiar applications rather than only ask for advice. The access controls determine which personal information Muse can use, making permission choices central to the experience.
- Players short of local storage gain another way to run these games. A day pass lets them test premium streaming before a monthly commitment, while the top graphics options remain tied to Ultimate membership.
- Teams using coding agents could use formal checks to enforce specified safety properties. The findings put attention on requirements review: a machine-checkable proof cannot repair an incomplete description of what the software must do.
The takeaway
Mac users can now delegate work inside familiar applications rather than only ask for advice. The access controls determine which personal information Muse can use, making permission choices central to the experience.
The editor’s view
Players short of local storage gain another way to run these games. A day pass lets them test premium streaming before a monthly commitment, while the top graphics options remain tied to Ultimate membership.