Bend 2 proof-checks the code your AI writes
If you let an AI agent write most of your code, you eventually ship a bug you didn’t write either. Victor Taelin’s answer to that is Bend 2, a programming language where the compiler refuses to accept code that breaks a declared mathematical proof. The release hit the front page of Hacker News this week […]
The azd extension framework is generally available
The Azure Developer CLI’s extension framework is now generally available. If you haven’t followed the azd project, extensions are the plugin system that lets teams add their own commands, automation, and service integrations to the CLI without forking it or wrapping it in scripts. The GA applies to the framework itself: the parts of azd […]
Real-SWE benchmarks AI coding agents on code that cannot leak into training data
Why another SWE benchmark Specific Labs released Real-SWE, a benchmark that runs frontier AI coding agents against private, real-world enterprise codebases. The pitch is simple and hard to argue with: public benchmarks leak. SWE-bench tasks live in public repositories, and their solutions are on the internet. Any model trained after the benchmark published has, at […]
Human Atlas puts 2,234 selectable anatomy meshes in your browser
There is a new entry in the small category of open source projects that make the web feel like the future we were promised in the 1990s: Human Atlas, an interactive 3D anatomy explorer built with React, Three.js, and shadcn/ui. It takes the BodyParts3D adult male reference model and breaks it into 2,234 individually selectable […]
Running a 2.8T parameter model from SSDs on a MacBook Pro
A 2.8 trillion parameter model just ran on a laptop, and it didn’t fit in RAM when it did. A project on Hacker News streamed Kimi K3’s weights off four SSDs at about 1 token per second on a MacBook Pro, which is slow by chatbot standards and remarkable by any other measure. What Kimi […]
Azure App Service drops Node 22 support in April 2027: start planning now
Azure App Service will end extended support for Node.js 22 LTS on April 30, 2027. The announcement went out on the Azure Updates feed on August 24, and it follows the pattern anyone running Node workloads on the platform already knows: your apps keep running after the cutoff, but they stop receiving security updates, and […]
Gemini 3.5 Transcribe Pushes Speech-to-Text Toward Production-Grade Accuracy
Google introduced Gemini 3.5 Transcribe this week, its most accurate speech-to-text model to date, and the interesting part is what it does after the words are recognized. The model converts raw audio directly into polished, formatted text: it strips filler words, resolves self-corrections like “let’s meet Tuesday, no, Wednesday”, and auto-formats the output. Conventional speech […]
Lakebase Branching Lets Copilot Agent Mode Debug Against Production Data Without Touching Production
Microsoft has put a new capability into public preview for Azure Databricks: copy-on-write branching for Lakebase, wired directly into GitHub Copilot agent mode. In one command, a developer can branch a production Lakebase database, point Copilot agent mode at the branch endpoint, and debug an AI application against realistic data while the production database stays […]
Snowflake Deprecates Service Account Passwords as Teams Face Credential Mapping
Snowflake is systematically eliminating single-factor password authentication for legacy service accounts across its data platform. Under the enforcement timeline, automated service accounts designated with the legacy service user type will no longer be permitted to authenticate using static passwords. Instead, data engineering and platform teams must transition automated workloads to public-key cryptography, OAuth flows, or […]
Attackers Abuse npm Mirrors and unpkg CDNs to Host Fake CAPTCHA Phishing Pages
Turning Public Package CDNs into Phishing Infrastructure A newly uncovered supply chain campaign has demonstrated how threat actors are repurposing npm package mirrors and public content delivery networks (CDNs) to host deceptive phishing pages. By publishing lightweight packages containing malicious HTML files to the npm registry, attackers exploit open CDN services like unpkg to serve […]
Azure SQL Database Provisioning in VS Code MSSQL Extension Reaches General Availability
Bridging Local Development and Cloud Databases Microsoft has announced the general availability of Azure SQL Database provisioning directly within the MSSQL extension for Visual Studio Code. This release streamlines how developers create, configure, and connect to managed cloud databases without leaving their code editor. The feature includes direct support for the Azure SQL Database free […]
Poisoned arrayref Rust Crate Shows Why Build-Time Execution Needs Guardrails
A Compromised Maintainer and Three Poisoned Crates Earlier this week, security researchers identified a coordinated supply-chain attack targeting the Rust package ecosystem. Attackers compromised the crates.io account of a maintainer responsible for arrayref, a widely used Rust library with tens of millions of downloads across cryptography, networking, and graphics packages. Once inside the account, the […]