Mathematician James Maynard has spent a lot of time this past year "soul searching." A professor at the University of Oxford and winner of the prestigious Fields Medal, Maynard told The Verge he's been grappling with the future of his field as the traditionally slow-moving discipline hurries to adapt to AI.

Days before we spoke, OpenAI revealed it had produced the solutions to 10 long-standing mathematics problems, some of which had confounded academics for decades. Like generative AI used to produce text and images or propose ideas in science and medicine, the technology learns patterns and connections from the vast amount of material it' …

Read the full story at The Verge.

Every so often, I’ll be piloting some sensor-laden, software-defined press car down a dark stretch of highway when an oncoming driver’s high beams arrive like a targeted retinal strike, an involuntary reminder that modern automotive lighting has entered its own lumen arms race.

Anyone who has driven at night in the last few years knows what I'm talking about: A modern crossover crests a hill in the opposite lane, and the cabin briefly fills with enough cold-white light to suggest a police helicopter has joined traffic. The obvious assumption is that drivers are simply leaving their high beams on more often, but the reality is more complicated.

An old problem

Before cars became the modern mode of transportation, horse-drawn carriages used oil lanterns to light the way, as roads were largely unlit outside of towns and cities. These lanterns weren’t particularly bright, though, meaning that after-dark collisions and near-misses were common.

Read full article

Comments

I've liked the Framework Laptop 13 since the first time I used it, partly because I just think the idea of a repairable and upgradeable laptop is cool and partly because it's not Yet Another Ultraportable Trying To Be A MacBook Air Clone. But the design has always had real shortcomings—the most noticeable and serious being its mediocre battery life.

Enter the Framework Laptop 13 Pro. While all previous Laptop 13 refreshes have tinkered around the edges with the original design (a tweaked lid design here, new hinges or new speakers there), the Laptop 13 Pro is as close as we've gotten to a second-generation revision for the original design.

This means that it breaks backward compatibility for some (but not all) Laptop 13 components, most notably the bottom case, the keyboard and trackpad, and the original 55 WHr and 61 WHr battery designs. But by allowing itself to make larger changes to the design, Framework has made major strides in battery life and general fit and finish.

Read full article

Comments

Keychron has introduced ZGM, short for Zephyr Gaming Mouse, an open source firmware project built for gaming mice.

It is built on Zephyr RTOS, the same real-time operating system that already powers ZMK for keyboards. In its announcement, Keychron portrayed the launch as a philosophy rather than a marketing angle, stating, "Open source isn't marketing for us. It's the default."

The firmware is set to debut alongside the Keychron G6 HE, with a launch window sometime between January and March 2027.

The details

ZGM isn't a mouse, and it isn't a driver or third-party tool you install after buying one either. It's firmware that runs directly on a mouse's own hardware, and only devices built with it will run it.

The G6 HE is the first confirmed device, and any wider adoption depends on whether other manufacturers choose to build around it. The project is released under the GPL-3.0 license, so anyone can inspect the code, modify it, or fork it for their own hardware.

Currently, it is in a very early stage of development, where the repository mainly holds project scaffolding and policy files right now. Keychron says firmware sources, board support, and flashing guidance are still being prepared.

The plan is for the project to grow into full Zephyr-based firmware, with configuration layers for different hardware variants and integration for sensors, buttons, scroll wheels, and lighting.

Wired support is expected to arrive first, with wireless support to follow, alongside build instructions, example hardware targets, and testing guidance for latency and reliability.

Want even more?

Keychron plans to support the chips Zephyr already works with, plus the sensors, buttons, scroll wheels, and lighting that go into a gaming mouse. Battery management for wireless builds is part of the plan too.

The roadmap starts where the project is now, then moves to building the actual firmware. After that comes getting buttons, scrolling, and sensors working, followed by basic USB support for wired mice.

Later steps cover different hardware setups, testing for lag and stability, and eventually wireless support and more customization. The peripherals manufacturer says this is just a tentative plan for now, not a fixed schedule.

Keychron already builds keyboards around QMK and is already going towards ZMK. Both firmwares have proven that open source software can deliver deep customization and long-term reliability through years of community development.

And, as mentioned earlier, ZMK already runs on the same Zephyr foundation ZGM uses, which likely shaped Keychron's choice to build on it for their new mouse instead of starting from scratch.

That said, ZGM has a long way to go before it matches either project. QMK and ZMK both carry years of contributions, documentation, and supported hardware, while ZGM's repository only has planning material.

Linux users gain from this

Gaming and productivity mice rarely ship with official Linux support. Most peripheral makers build their configuration software for Windows and macOS only, leaving buttons, DPI stages, and lighting profiles locked behind an app that never gets a Linux release.

Linux users are left relying on community projects that reverse engineer these devices instead, and even then, support only covers whatever protocols someone has bothered to document.

I personally use two Logitech mice, the G502 HERO and a wireless one that comes with the MK470 bundle, and neither has official software support on Linux. Both work fine plugged in directly, but configuring them means turning to third-party tools like Piper or Solaar.

If more manufacturers pivot towards an open solution like ZGM, us Linux users could at least get some QMK-like support (but for mice). Imagine the kind of keybinds and macros you could play around with.