GoKawiil
Tech News
Anker has introduced the SOLIX E10, a stackable home backup system combining a Power Module, up to five 6,000Wh Battery Modules, solar charging input, and a tri-fuel Smart Generator that runs on gasoline, propane, or natural gas. A separate Power Dock acts as a smart breaker panel, tying up to three Power Modules into the home's electrical system for as much as 90kWh of stored capacity.
The FCC filed a motion to dismiss Disney's lawsuit, defending its decision to launch an early review of the broadcast licenses held by ABC's eight owned stations. The agency argues the review concerns only alleged discrimination tied to Disney's diversity, equity, and inclusion policies, not Chairman Brendan Carr's public threats over Jimmy Kimmel jokes or The View's political content. Separately, two watchdog groups and individual ABC viewers are seeking to intervene in the case, fearing Disney could strike a settlement with the FCC that doesn't serve the public interest, a motion Disney itself opposes.
Nothing has revealed early plans for Nothing OS 5.1, a minor update that will let users remap the Essential Key found on some of its phones, currently tied to the Essential Space app. The company also confirmed it's beginning work on a larger Nothing OS 6.0 release planned for 2027, while Nothing OS 5.0 remains in beta on the Phone 3 ahead of a stable rollout expected in mid-October.
A complete formalization of Fermat's Last Theorem has been written and verified in the Lean 4 proof assistant, built atop the Mathlib library and following the Frey-Serre-Ribet-Wiles-Taylor-Wiles argument. The repository builds all 60,475 modules from scratch, with every declaration checked by the Lean kernel, and the final theorem relies solely on Lean's three standard axioms rather than any sorry or added axiom. An independent tool, leanprover/comparator, confirmed the proved statement matches a separately stated Mathlib-only challenge and that the entire proof chain replays correctly.
Amazon has discounted the 70mai A810 Lite 4K Dash Cam Front and Rear by 40%, bringing its price down from $149.99 to $89.97. The device offers 4K front and 1080p rear recording, built-in GPS, Wi-Fi 6 connectivity, and ADAS driver alerts, plus optional parking surveillance features when paired with a hardwire kit.
According to Bloomberg's Mark Gurman, Apple is developing a privacy-focused home security camera and automation device paired with a new monitoring service, expected to launch next year. The camera would reportedly rely on AI analysis rather than raw video footage to track home activity, and it's positioned as part of a broader wave of device launches Apple has planned over the coming years.
Betaworks, the venture firm led by John Borthwick, was the first investor to fund AI startup Hugging Face and now holds an equity stake estimated at roughly $650 million. Other early backers of the company also saw substantial gains from their initial investments.
Amazon has cut the price of Blink's newest Mini 2K Plus indoor security camera to $21.99, a 45% discount off its regular price. The plug-in camera records at up to 2K resolution with HDR, low-light color vision, infrared night vision, two-way audio, and a built-in siren, and can also work outdoors with an optional weather-resistant adapter.
IEEE Computer Society published an interview with database expert Vinodkrishna Gopalan on how relational databases must evolve to handle AI and machine learning demands. The discussion centers on how AI workloads—marked by large scans, unpredictable queries, vector search, and low-latency inference—differ from traditional transactional database use cases, requiring new approaches to schema design, indexing, and scaling.
U.S. job growth rebounded in August with employers adding 162,000 positions, a marked improvement after several months of weaker hiring over the summer. The figure surprised economists who had expected more modest gains, signaling renewed momentum in the labor market.
Tim Cook has stepped down as Apple's CEO this week, with former hardware chief John Ternus taking over. Ternus's first internal memo referenced a major product launch happening within days, meaning he inherits a high-stakes iPhone event almost immediately. Cook remains at the company as Executive Chairman, shifting his focus toward external policy relationships.
Microsoft and hardware partners will sell high-end PCs later this year running Windows 11 Pro pre-configured under a program called Project Zenith, which tweaks default settings to reduce clutter and bundles tools like Visual Studio Code, GitHub Copilot, PowerToys and Windows Dev Skills. These machines require at least 64GB of unified memory and 250 GB/s of bandwidth to run local 30-billion-parameter AI models, with AMD Ryzen AI Halo devices launching first.