news

Microsoft debuts Azure Linux and advanced edge AI models

05 Jun 2026
Mouseless – keyboard-driven control of macOS/Linux/Windows

Mouseless is a new cross-platform tool for macOS, Linux, and Windows that allows users to navigate and control their operating systems using only the keyboard. Readers are eager to try it as an alternative to apps like Shortcat and Homerow, hoping it resolves the speed and accessibility issues present in current software. However, some users caution that its dynamic hotkeys might hinder muscle memory and point out that its common name makes the app difficult to search for online.

Comments
Astronauts told to return to ISS after sheltering over air leak repairs
Astronauts told to return to ISS after sheltering over air leak repairs

Five astronauts temporarily sheltered in a docked SpaceX Crew Dragon spacecraft while Russian cosmonauts performed urgent repairs on an International Space Station air leak. The crew has since been cleared to return to the station after the critical maintenance was successfully completed.

Comments
pg_durable: Microsoft open sources in-database durable execution
pg_durable: Microsoft open sources in-database durable execution

Microsoft has open-sourced pg_durable, a new project that enables in-database durable execution for PostgreSQL. The repository is now available on GitHub, inviting developers to explore the codebase and contribute to its ongoing development.

Comments
New method turns ocean water into drinking water, without waste
New method turns ocean water into drinking water, without waste

A new energy-efficient desalination system converts ocean water into drinking water without the use of chemical additives. This innovative method eliminates the waste typically associated with traditional desalination processes. Furthermore, it transforms the leftover salts into useful materials.

Comments
Tracing a powerful GNSS interference source over Europe
Tracing a powerful GNSS interference source over Europe

Researchers have successfully detected and traced a powerful space-based GNSS interference source disrupting navigation systems across Europe. Detailed in a new arXiv paper titled Chasing Lightning, the study thoroughly characterizes the origins and behavior of this disruptive signal. These findings provide critical insights to help authorities mitigate future satellite navigation outages on the continent.

Comments
Gemma 4 QAT models: Optimizing compression for mobile and laptop efficiency
Gemma 4 QAT models: Optimizing compression for mobile and laptop efficiency

New Gemma 4 quantization-aware training checkpoints have been released to optimize AI compression for mobile and laptop efficiency. These updated models significantly reduce memory requirements while improving overall on-device performance.

Comments
Did Claude increase bugs in rsync?

The rsync project maintainer faced severe community backlash after a release containing Claude AI-assisted commits introduced breaking changes and regressions. Although critics blamed the AI for disrupting workflows, the developer defended the update as a deliberate choice to prioritize critical security fixes, highlighting ongoing tensions over the use of generative AI in open-source development.

Comments
Gov.uk has replaced Stripe with Dutch provider Adyen
Gov.uk has replaced Stripe with Dutch provider Adyen

Gov.uk has replaced its payment processor Stripe with the Dutch company Adyen to expand digital payment options for citizens. This transition enables residents to pay for local authority and government services using a new pay by bank feature, allowing them to bypass traditional credit cards.

Comments
SpaceX, Other Mega IPOs Denied Fast Index Entry by S&P
SpaceX, Other Mega IPOs Denied Fast Index Entry by S&P

S&P Dow Jones Indices will maintain its current eligibility rules, blocking fast-tracked entry for major upcoming tech IPOs like SpaceX into benchmarks such as the S&P 500. This decision prevents these large companies from immediate index inclusion and delays billions of dollars in automated investments from passive funds.

Comments
Changing how we develop Ladybird
Changing how we develop Ladybird

The team behind the Ladybird web browser is overhauling its code contribution process to streamline development. This shift in workflow is a crucial step as the project prepares to officially release the browser for everyday public use.

Comments
C++: The Documentary
C++: The Documentary

A new documentary exploring the history of the C++ programming language has premiered on YouTube. The release featured a live chat with C++ creator Bjarne Stroustrup and other key figures involved in its development. The film celebrates the collaborative efforts of the hundreds of developers who have advanced the language over the years.

Comments
Conventional Commits encourages focus on the wrong things
Conventional Commits encourages focus on the wrong things

Despite its widespread adoption in the open-source community, the Conventional Commits standard is facing backlash from developers who consider it an actively detrimental practice. The author argues that enforcing this strict commit format misdirects developer focus and ultimately fails to deliver on its core promises.

Comments
My Agent Skill for Test-Driven Development
My Agent Skill for Test-Driven Development

SaturnCI is a newly introduced continuous integration platform specifically tailored for Ruby on Rails applications. It utilizes a specialized agent skill designed to streamline and automate the test-driven development process. This tool enables Rails developers to seamlessly integrate rigorous testing workflows directly into their continuous integration pipelines.

Comments
I'm skeptical about efforts to revolutionize schooling
I'm skeptical about efforts to revolutionize schooling

The author expresses deep skepticism toward modern initiatives promising to radically transform the education system. In a recent piece, they detail the underlying reasons for their pessimism regarding the feasibility and effectiveness of these revolutionary schooling efforts.

Comments
Meta enables ADB on deprecated Portal devices [video]

Meta has enabled Android Debug Bridge access on its discontinued Portal smart displays, allowing the community to repurpose the abandoned hardware and reduce electronic waste. Although users welcome the newfound capabilities, many criticize the company for initially denying such access and ultimately killing the popular video-calling device. Reader discussions reveal that the hardware was scrapped due to internal corporate politics, massive financial losses, and a forced strategic pivot toward virtual reality.

Comments
India's surprise baby bust
India's surprise baby bust

India's fertility rate has unexpectedly dropped to 1.9 children per woman, falling below the population replacement level and joining a broader global trend among middle-income nations. This significant demographic shift is expected to reshape the country's long-term economic growth and workforce planning.

Comments
Cooldown Support for Ruby Bundler
Cooldown Support for Ruby Bundler

Ruby Bundler is introducing a new cooldown feature to mitigate supply chain attacks that exploit the brief window immediately after a compromised gem is published. The new cooldown period delays the availability of newly released packages, preventing malicious versions from being instantly resolved during a standard bundle install.

Comments
Open Code Review – An AI-powered code review CLI tool
Open Code Review – An AI-powered code review CLI tool

Alibaba has released Open Code Review, a free and open-source CLI tool that combines deterministic pipelines with LLM agents for automated code analysis. The hybrid architecture provides precise, line-level feedback and includes built-in rulesets to detect common bugs and security vulnerabilities. Compatible with OpenAI and Anthropic models, the tool brings battle-tested, enterprise-grade code review capabilities to developers.

Comments
Branchless Quicksort faster than std:sort and pdqsort with C and C++ API

A newly introduced branchless quicksort implementation has demonstrated faster sorting performance than standard C++ algorithms like std::sort and pdqsort in recent benchmarks. The accompanying discussion highlights the original author's subsequent collaboration on ipnsort and driftsort, two high-performance sorting algorithms recently integrated into the Rust standard library. Additionally, the thread explores the design of the misfortunate Rust crate, which intentionally violates the expected social contract of standard traits to test edge cases in safe Rust implementations.

Comments
Redis 8.8: New array data structure, rate limiter, performance improvements
Redis 8.8: New array data structure, rate limiter, performance improvements

Redis 8.8 is now available in open source, introducing a new array data type and a window counter rate limiter. The release also adds streams NACK functionality alongside various performance-focused updates.

Comments
I tested every IP KVM in my Homelab

The author has tested nearly every IP KVM available for homelabs to evaluate their practical value against modern software alternatives. The review highlights that tools like VNC, Tailscale, and SSH often provide highly effective remote access without the need for dedicated hardware.

Comments
Transformers are inherently succinct

A new paper demonstrates that the inherent succinctness of transformers makes basic formal verification problems computationally intractable, leading experts to advise against using them in systems requiring strict mathematical correctness. Although some practitioners note that theoretically intractable problems often have practical solutions, the general consensus is that large language models should not serve as the core of formally verified systems. Additionally, the research suggests transformers possess surprisingly low expressive power compared to recurrent neural networks, which could drive a resurgence of nonlinear RNNs for memory-efficient applications.

Comments
Entanglement Builds Space-Time. Now "Magic" Gives It Gravity
Entanglement Builds Space-Time. Now "Magic" Gives It Gravity

Physicists have long theorized that quantum entanglement builds space-time, but new research suggests a quantum measure known as magic gives it gravity. Using holographic theories, scientists traced the pliability of space-time directly back to this underlying quantum root. This discovery provides significant new insights into how gravity emerges from the quantum realm.

Comments
South Korean forums will need to scan every images with AI censorship tools
South Korean forums will need to scan every images with AI censorship tools

Under new telecommunications regulations, the South Korean government is requiring all online forums to scan user-uploaded images and videos using AI censorship tools. This mandate aims to enforce stricter content moderation across the country's internet communities. However, the requirement will force platform owners to invest heavily in the hardware necessary to process such a massive volume of digital media.

Comments
Three of our worst VC stories
Three of our worst VC stories

Founders recently shared their worst venture capital experiences, highlighting instances of blatant sexism and poor judgment by prominent investors. Notably, a Sequoia partner passed on funding Cloudflare simply because he doubted a woman could lead a security infrastructure company, while another founder recounted a similarly disappointing meeting with Marc Andreessen.

Comments
Fine-tuning an LLM to write docs like it's 1995
Fine-tuning an LLM to write docs like it's 1995

The author recently experimented with fine-tuning a local large language model to write technical documentation in the nostalgic style of the 1980s and 1990s. Although connected frontier models currently remain more powerful, this project highlights early steps toward a specialized, local-first future for AI-assisted technical writing.

Comments
Azure Linux 4.0 is Microsoft's first general-purpose Linux
Azure Linux 4.0 is Microsoft's first general-purpose Linux

Microsoft has released the public preview of Azure Linux 4.0, marking its first general-purpose Linux distribution built upon the CBL-Mariner codebase. This new cloud operating system can run on any Azure virtual machine and is coming soon to the Windows Subsystem for Linux.

Comments
Show HN: Lowfat – pluggable CLI filter that saved 91.8% of my LLM tokens
Show HN: Lowfat – pluggable CLI filter that saved 91.8% of my LLM tokens

Lowfat is a new command-line filter that strips unnecessary noise from terminal output to significantly reduce token consumption when using large language models. The open-source tool reportedly saves up to 91.8% of API tokens, offering developers a simple way to lower costs and streamline AI-assisted workflows.

Comments
Dutch gov't will only allow European company to operate DigiD platform
Dutch gov't will only allow European company to operate DigiD platform

The Dutch government will require companies managing its DigiD digital identity platform to be European for all contracts after August 2028. The upcoming tender will be governed by the Defense and Security Procurement Act to better protect national security. This specific legislation strictly limits eligibility to European firms to minimize potential security risks.

Comments
Launch HN: General Instinct (YC P26) – Frontier models on edge devices

Y Combinator startup General Instinct aims to deploy frontier AI models on edge devices by using distillation techniques to recover performance lost during model quantization. The launch sparked technical discussions debating the viability of Mixture of Experts architectures for edge hardware compared to memory-dense alternatives. These conversations also highlight a broader industry trend toward optimizing local inference speeds and making on-device large language models more practical for everyday use.

Comments