GoKawiil
Tech News
A new book recounts how Lean, a program originally developed to catch bugs in Microsoft's software, was repurposed by mathematicians to formally verify proofs. The review describes its journey from an internal engineering tool to a system now used to check mathematical arguments with machine-level rigor.
Android Auto users are reporting that Gemini stalls for about 10 seconds when asked a question or search, then gives up without answering. The issue has been seen across Google, Samsung, and Motorola phones, and affected users say common fixes like resetting Android Auto settings or updating their phone don't resolve it. Android Authority says it has contacted Google for comment.
Symantec and Carbon Black researchers say the China-linked Warlock group, also tracked as Longlegs, has compromised a water utility, a telecom provider, a regional government body and a university by exploiting on-premises SharePoint vulnerabilities, including the ToolShell exploit chain. In one July 22 intrusion, the attacker disabled security software on roughly 40 hosts within two hours and deployed Warlock ransomware to at least 33 machines, using a signed but vulnerable driver to kill endpoint defenses.
BiWin has released the CL 100 Mini, an NVMe 1.4 SSD with PCIe 4.0 that measures just 15 x 17 mm, roughly the size of a microSD card. It's designed for specific slots on OneXPlayer and GPD Win5 handhelds, offering sequential read/write speeds of 3700/3400 MB/s, and is available in 512GB and 1TB capacities on Amazon for €139.99 and €259.99 respectively, with a 2TB version also listed.
Clay co-founder and CEO Kareem Amin will speak at TechCrunch Disrupt 2026 about the emergence of the 'GTM engineer,' a role Clay says it coined in 2023 for people who build automated, AI-driven revenue workflows instead of manually performing sales and marketing tasks. Clay says roughly 100 such job listings now appear monthly, including at companies like Cursor and Lovable.
Reports indicate Apple is developing AI-driven features that would let devices continuously see and hear their surroundings, processing data without necessarily storing the raw video or audio. The approach is framed as a privacy-conscious alternative to traditional surveillance, since footage would not be retained long-term.
Facebook whistleblower Frances Haugen said AI companies must genuinely comply with the spirit, not just the letter, of a voluntary safety agreement signed recently by Mark Zuckerberg and other tech CEOs at the White House. She warned companies historically follow only the literal wording of such commitments while finding loopholes in flexible systems. Haugen also credited Anthropic CEO Dario Amodei's push for independent auditors as a sign of awareness that companies may cut corners when given room to do so.
A hobbyist developer documented progress toward running Linux on Apple's M4 Mac mini, building on work by the Asahi Linux project. The effort required disabling macOS boot security, loading the m1n1 bootloader, and working around the new SPTM hardware security layer that blocks the usual MMIO-tracing approach used for earlier Apple Silicon chips.
A new analysis from Energy Innovation, a nonpartisan think tank, estimates U.S. households will pay an average of $6,500 more for energy cumulatively through 2040 due to federal policy shifts under the Trump administration. Five states — Oregon, Mississippi, South Dakota, Virginia and Wyoming — are projected to see costs rise by about $9,000 per household.
Apple's foldable iPhone Duo, priced at $1,999 outright, can be leased through the new Apple Upgrade program for as low as $9.24 a month on a 12-month term if a buyer trades in a recent device like an iPhone 17 Pro Max. Without a trade-in, a 24-month Apple Upgrade lease runs $57.99 a month, compared with $83 a month under standard 24-month financing.
Reddit has set a Nov. 13 deadline to discontinue RSS feed support and will route all public API access through its controlled developer platform, Devvit. Access to the Old Reddit interface will be limited to users who have logged into it within the past six months, while moderators can still request RSS access through the developer platform.
AI leaders such as Sam Altman, Dario Amodei and Marc Andreessen previously predicted that powerful AI would push the cost of labor and goods toward zero and cause widespread job losses. Instead, employment remains high and prices are climbing, with the Conference Board's consumer confidence index recently hitting its lowest level since 2014.