Mac

About macOS and Applications for Apple Mac computers.

A Blueprint for Formal Verification of Apple Corecrypto

Apple has released new versions of corecrypto featuring quantum-secure ML-KEM and ML-DSA algorithms, accompanied by mathematical proofs ensuring compliance with FIPS 203 and FIPS 204 standards. Additionally, they have published formal verification libraries and tools designed to provide the strongest known correctness assurances for widely-deployed implementations of these algorithms.

https://security.apple.com/blog/formal-verification-corecrypto

Lounge – Declutter Your Menu Bar

, ,

Lounge is a macOS menu bar manager designed to help users organize, hide, and reveal menu bar items efficiently, addressing clutter and accessibility issues caused by app icons and the MacBook's notch. It offers features like drag-and-drop icon arrangement, a notch-aware panel for hidden items, customizable appearance, and keyboard shortcuts, all managed through a single preference panel. Available via an annual subscription, Lounge aims to streamline the menu bar experience for Mac users running macOS 26.0 or later.

https://lounge.asktobuild.app/

Paperweight

, , ,

Paperweight is a local-first, open-source application that scans your email inbox to map and manage your digital footprint by helping you identify accounts, get breach alerts, bulk unsubscribe from mailing lists, and generate GDPR data deletion requests. It supports any IMAP email provider and keeps all data processing on your device to ensure privacy, offering a free trial with optional paid upgrades for extended features.

https://www.paperweight.email/

Dropover – Drag and Drop, Reimagined for Mac.

, , ,

Dropover is a macOS app that enhances drag-and-drop functionality by providing a temporary shelf to collect, manage, and transfer files, links, text, and images in one go. It integrates seamlessly with macOS, supports file actions, cloud uploads, custom workflows, and offers extensive tools for power users, making file sharing and organization faster and more efficient.

https://dropoverapp.com/

macOS 26.5 Has a New Way to Turn on Your Mac

,

macOS 26.5 introduces a new “Start up when power is connected” feature for desktop Macs like the Mac mini, iMac, and Mac Studio, allowing them to automatically power on when connected to power. This update addresses the difficulty of accessing awkwardly placed power buttons, particularly on the Mac mini, and supports assistive accessories for improved accessibility.

https://www.macworld.com/article/3139918/macos-26-5-has-a-new-way-to-turn-on-your-mac.html

Klack

, , ,

Klack is a Mac app that provides satisfying mechanical keyboard sound effects with every keystroke, featuring high-fidelity and immersive spatial audio. It offers customizable switch sounds, randomized pitching, and instant typing feedback through a fast native menubar application.

https://tryklack.com/

Scroll to Top