The Regression Tests Nobody Writes: Capturing How Software Actually Behaves

Microsoft is retiring an Outlook feature that allows Copilot to assign a priority to emails

Microsoft is making another change to Outlook, and this time, a feature designed to (theoretically) make managing your inbox easier is on its way out.

Arc Browser is shutting down this year

Arc Browser’s days are numbered as its creators shift focus to a different browser, Dia. Here’s when the changes begin and what users need to know.

Apple’s iWork Apps Get ‘Intelligent Assistant’ and iPhone Duo Support

Apple today added an “Intelligent Assistant” to Keynote, Numbers, and Pages. The feature is available in beta for Apple Creator Studio subscribers. The update is available again following the temporary removal of the apps from the App Store.

Google Meet expands real-time translation across 63 languages

The feature detects and translates 63 languages.

Arc browser sunsets December 22 as The Browser Company doubles down on Dia

Arc was fiercely beloved by a dedicated group of enthusiasts, but it never quite became the mass-market Chrome alternative its makers once envisioned.

I ditched 4 expensive desktop apps for free open-source alternatives, and I wish I’d done it sooner

Ditching sky-high subscriptions has never been easier

Building Immersive Virtual Economies: An Introduction to KursarScript (KSPL)

Survey Says: You’ll swap the model, but everything you build around it is staying put

Earlier this month, my team at Stacklok surveyed 520 technical leaders to understand whether they were concerned about being locked into frontier labs. The data says they’re already swapping models in and out, but the trap they’re concerned about is the layer on top of the model.

AI says you’re right, formal methods say you’re wrong

Ryan is joined by Gabriela Moreira, CEO at Quint, about why formal specification languages like TLA+ are essential for catching system design flaws before writing code, how Quint brings developer-friendly syntax and executability to formal methods, and the ways trace validation and model-based…