GoKawiil
Tech News
XScreenSaver creator jwz states that he does not maintain an official public source code repository on GitHub or any other platform. He says the only legitimate distribution point for XScreenSaver releases is tar files published on the project's official website, and any GitHub repos claiming to be official are not affiliated with him. He adds that he still accepts code submissions and change requests via email.
Basis reports that AI agents have been used to produce mathematically verified software, including a Linux nftables compiler and, separately by MIT researchers, the xv6 operating-system kernel down to machine code. The company says LLMs are improving fast at theorem proving but that most programming languages still lack a formal semantics, limiting how broadly such verification can be applied.
A commentary addresses the question of whether Ruby on Rails remains relevant now that large language models can generate code cheaply in any language, including proposals to rewrite applications in Rust. The author argues that frameworks, libraries, databases and operating systems remain useful because the productivity benefits they offer developers—structure, security updates, avoiding reinvented wheels—apply equally to LLMs writing code.
A tech opinion piece examines whether paid antivirus subscriptions remain worthwhile now that threats have shifted from classic viruses toward phishing pages, scam emails and fake tech-support pop-ups. It notes that vendors like Malwarebytes and Norton bundle extras such as VPNs, password managers and cloud backup into paid tiers, while Microsoft Defender plus free scanners and browser protections like Edge's SmartScreen already cover most core needs.
Apple has begun distributing release candidate builds of iPadOS 27.2, watchOS 27.2, visionOS 27.2 and related software, the versions typically meant to match what ships publicly. Most devices are expected to jump from version 27.0 straight to 27.2, as 27.1 reportedly applies only to the iPhone Duo.
Evidence, a business intelligence company backed by Y Combinator and other investors, announced it is hiring software engineers. The company says its open-source BI tool has amassed 7,000 GitHub stars and is used by startups, Fortune 100 firms, and government agencies, often replacing platforms like Tableau and Power BI.
In a Sep 25, 2026 post titled 'Code is clay now,' writer Alberto Denia argues that agentic coding tools have drastically lowered the cost of changing code, making it behave more like clay than stone. He describes this as enabling a 'modeling' approach to building software, where developers sketch rough versions and iteratively reshape them rather than planning meticulously upfront.
A Hacker News 'Ask HN' post cites a LinkedIn message from a Meta engineer, Ali Hamie, who says he increasingly ships AI-written code without fully understanding every line. Hamie describes feeling uneasy that reviewing all AI-generated code in detail would be too slow, leaving him with only a high-level grasp of systems he builds. The HN post asks other engineers how they are coping with this shift.
Describing what you want and accepting the code that comes back is genuinely productive for some work and quietly expensive for other work. The dividing line is fairly predictable.
Slate Auto's stripped-down electric truck skips built-in infotainment to hit its low entry price, relying instead on optional add-ons like speakers, an iPad mount, a five-seat SUV conversion kit, and a telematics module for features like app-based door unlocking. A fully optioned version can exceed $45,000. The truck offers about 205 miles of range, a 1,550-pound payload capacity, and a 2,000-pound tow rating.
A tech reviewer testing Apple Watch Series 12 alongside Apple's redesigned Health app says the software lacks a feature found on WHOOP: measuring a 'day' from sleep cycle to sleep cycle rather than the standard midnight-to-midnight clock. The new Health app, which includes features like Readiness and Health Age, briefly appeared in an iOS 27.2 beta before being pulled, with Apple saying it will return in a later beta ahead of a full release this year.
In an essay, Linear's team describes how the company has built its product by prioritizing founder and team intuition developed through customer conversations and experience, rather than relying mainly on data-driven processes. The piece argues that two teams with the same technology and customers can produce very different products because of differing perspectives and values.