A formal-methods writer argues that computer science conflates two distinct concepts under the single word 'abstraction.' One is 'modularity abstraction'—the traditional CS practice of hiding implementation details behind interfaces, APIs, and layered designs. The other is 'modeling abstraction,' used in tools like TLA+, which strips a system down to the minimal behavioral core needed to reason about a specific property, cutting across layers rather than hiding them.
A new macOS Safari extension called Weedout removes videos that YouTube has tagged with its "Made with AI" disclosure badge from a user's home feed, search results, related videos, playlists and Shorts. The tool costs $1.99 as a one-time purchase, requires macOS 13 or later, and runs entirely locally without collecting user data.
Google has begun automatically inserting a Gemini AI shortcut into Google Messages, even though there is no dedicated toggle for it in the Connected Apps settings within Gemini itself. Users who don't want the floating AI icon hovering near their chat button can still remove it through an in-app setting, according to Android Authority.
Brave has rolled out a new 'email aliases' tool in its browser that lets users generate disposable email addresses which forward messages to their real inbox. Users can create up to five free aliases by verifying their main email through Brave's settings, then right-clicking any email field on a website to generate and insert an alias.
The EPA is moving to eliminate a decades-old federal requirement that developers publicly notify and take comment from communities before receiving air pollution permits under New Source Review. The agency would shift that responsibility to individual states, which advocates fear may choose not to require public notice at all. Critics say the change would let data center builders and other industrial developers start construction with little or no warning to nearby residents.
Designer Simon Weckert created a garishly patterned Hawaiian shirt intended to make wearers invisible to AI-powered surveillance systems. The pink, orange and green shapes are engineered to disrupt an algorithm's ability to recognize a human outline, effectively blinding detection software while appearing as an eye-catching print to people. Weckert used an AI-driven trial-and-error process, called an adversarial loop, to develop the disruptive pattern.
Testifying in Oakland in the multistate lawsuit against Meta, Instagram chief Adam Mosseri said he does not instruct employees to conceal information from him that could create legal exposure. He was questioned about whether Meta lawyers restricted internal sharing of research on child safety and teen mental health, and acknowledged the company had narrowed access to some internal studies.
Pebblebee has released LÔC8, a slim, tube-shaped tracker built to slide inside bike handlebars, golf club shafts, or similar hollow objects rather than sit exposed like typical trackers. It works with both Android's Find Hub and Apple's Find My networks, uses a replaceable (though hard-to-source) ER10250 battery, and is rated for roughly three years of use.
Apple has scrapped a June proposal to shift new Hide My Email addresses from the standard @icloud.com domain to a separate @private.icloud.com domain. The change would have let websites instantly identify and potentially block masked addresses, undermining the privacy tool's core purpose. Apple confirmed the reversal in a developer note, though it gave no public explanation, while reports point to internal objections from its own Hide My Email team and user backlash.
Apple has abandoned its plan to shift Hide My Email addresses from the @icloud.com domain to @private.icloud.com. The company confirmed Monday that masked email addresses will stay on @icloud.com, reversing an earlier decision announced this year.
Apple announced that iCloud+ Hide My Email addresses will continue to use the icloud.com domain, reversing an earlier plan to move them. Meanwhile, new Sign in with Apple relay addresses will switch from privaterelay.appleid.com to private.icloud.com later this year, though existing addresses will keep working without disruption.
Apple has canceled its plan to move iCloud+ Hide My Email addresses to a new private.icloud.com domain, just two months after announcing the change. The company said Hide My Email will stay on icloud.com, though Sign in with Apple will still shift new addresses from privaterelay.appleid.com to private.icloud.com later this year, with old addresses continuing to work.
GoKawiil