Mathematicians Wang and Wu of Hunan University released a preprint proving the Spherical Hadwiger Conjecture, an integral-geometry problem unsolved since 1974, using OpenAI Codex to help develop proof details, spot gaps, and draft the manuscript. The authors say they verified all AI-generated mathematical content themselves and take full responsibility for the final result, following disclosure practices similar to the Leiden Declaration guidelines for AI use in research.
Vibe coding, the practice of using AI language models to write software with minimal manual coding, is drawing scrutiny after Georgia Tech researchers linked dozens of security vulnerabilities directly to AI-generated code in just a three-month sample. Despite these risks, a survey of over 1,100 professional programmers found that 72 percent use AI coding tools daily, with AI-generated or -assisted code making up 42 percent of their codebases and expected to exceed half by next year.
A software engineering essay, part of a series called 'Conquering Entropy,' examines how AI-generated code changes the trust relationships within engineering organizations—from trusting the ticket author and reviewing engineer to trusting test suites, CI/CD pipelines, and even AI-driven site reliability tools. The author argues that as AI agents make code generation faster and cheaper, teams need explicit accountability: whoever ships a PR should be responsible for fixing it if it breaks in production.
A programmer has released Bespoke, a tongue-in-cheek statically typed language that requires every command to begin with a polite greeting and end with an acknowledgement, using the .charming file extension. Dubbed 'The Queen's Code,' it treats the compiler, output console, host environment and shared objects as parties deserving formal correspondence rather than blunt instructions. The project pokes fun at the terse, imperative tone of conventional programming syntax, and its creator notes the implementation is far less developed than its etiquette rules.
A developer explains their search for a way to develop and test Apple platform apps without owning a traditional Mac, after finding virtual machines unreliable and Codemagic's cloud CI/CD service too costly or impersonal for real testing. They ultimately decided they needed genuine Apple hardware and documented the process of setting up a stripped-down, headless Mac configuration to serve that purpose.
Early benchmark testing shows OpenAI's GPT-6 Astra model identifies about 4% more actionable bugs than GPT-5.6 Sol and 22% more than Opus 5 in code review evaluations. The advantage widens significantly on harder cross-file reviews, where Astra beats Sol by 20% and Opus 5 by 33%, suggesting stronger ability to trace how a change in one file affects code elsewhere.
Nitter, the open-source alternative front-end for Twitter/X, now has more publicly working instances than it did before a series of takedowns hit the project. New volunteer-run instances have come online, alongside guidance for operators on securing session tokens and handling DMCA and other legal complaints.
A developer describes building two lightweight 'modes' inside Spotify's Portal platform to offload routine, low-reasoning coding tasks—like reading multiple files or generating repetitive test files—from Claude Code to a cheaper model, Gemini 2.5 Flash. The setup required no infrastructure, API keys, or new subscriptions, just declarative agent configurations run on Portal's serverless-style runtime, and reportedly slashed token usage by 90%.
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.
On Thursday, OpenAI's ChatGPT, Anthropic's Claude, and xAI's Grok all experienced outages within the same window, though the scope varied by provider. OpenAI attributed its disruption to a routing error around 7:43 am PT that was resolved by 8:17 am PT, while Anthropic said only its Opus 4.8 and Opus 5 models were hit and xAI reported broader failures. No common infrastructure failure has been confirmed, with Cloudflare denying any service disruption on its end.
A data team encountered CronosPro database files (CroBank.dat, CroIndex.dat, CroStru.dat) that existing tools, including the open-source Cronodump converter, could not properly parse. Using OpenAI's Codex to analyze the binary structure, they identified parser bugs and an obfuscated schema, then patched the Cronodump codebase to correctly extract records for their data lake.
Microsoft has branded its developer-optimized Windows configuration Project Zenith, targeting new devices with 64GB or more of unified memory. AMD introduced the first such device at IFA, a compact PC built on Ryzen AI Halo chips, with more machines using other silicon expected in coming months.
GoKawiil