Visual Studio Code beefs up AI coding features
Visual Studio Code 1.100, the latest release of Microsoft’s code editor, has arrived with several upgrades to its AI chat and AI code editing capabilities. Highlighting the list are support for Markdown-based instructions and prompt files, faster co...
A formal analysis of Apple’s iMessage PQ3 protocol
We present the formal verification of Apple’s iMessage PQ3, a highly performant, device-to-device messaging protocol offering strong security guarantees even against an adversary with quantum computing capabilities. PQ3 leverages Apple’s identity s...
Even John Siracusa thinks Tim Cook should step down
John Siracusa, one third of the excellent ATP podcast, developer of several niche Mac utilities, and author of some of the best operating system reviews of all time, has called for Apple’s CEO, Tim Cook, to step down. Now, countless people call for T...
“AI” automated PR reviews mostly useless junk
The team that makes Cockpit, the popular server dashboard software, decided to see if they could improve their PR review processes by adding “AI” into the mix. They decided to test both sourcey.ai and GitHub Copilot PR reviews, and their conclusion...
This RISC-V AI PC Delivers 50 TOPS, Runs Ubuntu 24.04
Ubuntu is one of the leading Linux distributions for RISC-V hardware thanks to Canonical’s strategic partnerships with companies like DeepComputing – who just announced their powerful new RISC-V AI PC running Ubuntu 24.04 LTS. The DC-ROMA RISC-V AI...
GNOME Replaces Totem Video Player with Showtime
Roll credits on Totem, roll camera on Showtime — GNOME developers have cast a new video player for a staring role in GNOME 49, out in September. Per an upstream change now merged, the aged GTK3 video player Totem has been replaced by newer, fresher...
GNOME Replace Totem Video Player with Showtime
Roll credits on Totem, roll camera on Showtime — GNOME developers have officially cast a new video player in GNOME 49, out in September. Per an upstream merge, GNOME has formally replaced the aged GTK3 Totem video player with the newer, fresher and...
7 application security startups at RSAC 2025
The RSAC Early Stage Expo, the innovation hub of RSAC 2025, was created to spotlight emerging players in the information security space. Among the dozens of startups packed into the second-floor booth area, these VC-backed newcomers in API and applica...
Cloud repatriation hits its stride
For the past decade, the cloud was the ultimate destination for forward-thinking IT leaders. Hyperscale providers sold a compelling promise: agility, scalability, and always-on innovation. CIOs pushed cloud-first mandates and for a time, moving worklo...
Python popularity climbs to highest ever – Tiobe
Python continues to soar in the Tiobe index of programming language popularity, rising to a 25.35% share in May 2025. It’s the highest Tiobe rating for any language since 2001, when Java topped the chart. Python’s popularity increased roughly 2.2 ...
Easily Toggle Ubuntu’s New Wellbeing Reminders On/Off
The Wellbeing controls available in Ubuntu 25.04 make it easy to get periodic prompts to move your butt or look away from your screen — you might not want them enabled all the time, though. Wellbeing controls were one of the flagship features of GNOM...
Introducing Mac Themes Garden
I’ve “launched” the Mac Themes Garden! It is a website showcasing more than 3,000 (and counting) Kaleidoscope from the Classic Mac era, ready to be seen, downloaded and explored! Check it out! Oh, and there also is an RSS feed you can subscribe t...
Reverse-engineering Fujitsu M7MU RELC hardware compression
This is a follow-up to the Samsung NX mini (M7MU) firmware reverse-engineering series. This part is about the proprietary LZSS compression used for the code sections in the firmware of Samsung NX mini, NX3000/NX3300 and Galaxy K Zoom. The post is docum...
