Tech News
← Home  ·  All topics

Coding

67 GoKawiil briefs on this topic

Essay warns 'meat proxy' LLM workflows offer no lasting job security

A software engineering blogger describes a growing trend where workers let LLMs perform tasks like coding or summarizing without verifying the output, simply relaying results back and forth—dubbed being a 'meat proxy.' The author argues that while this approach has improved since early 2025, its logical endpoint is self-defeating: if an LLM can eventually produce good software unsupervised, employers will simply automate the loop and remove the human entirely.

Priscilla Chan Restricts Daughter's Internet-Connected AI Projects at Home

A new Colossus profile of the Zuckerberg family reveals that Priscilla Chan limits how her 11-year-old daughter Maxima can use AI tools, allowing her to vibe-code simple games and messaging apps but banning anything connected to the open internet, including a proposed dating site. The restriction comes even as Mark Zuckerberg's company Meta pushes AI products like its camera-equipped smart glasses and faces ongoing criticism over privacy failures and harmful AI-generated content on its platforms.

Critique: Bend 2's AI-verification language demands hundreds of lines for simple proofs

A blog post examines Bend 2, a programming language designed for an AI-assisted workflow where humans write 'laws' and AI writes implementations plus formal proofs that a compiler checks. Using Bend's own homepage demo as an example, the author notes that stating a simple game rule takes 58 lines of code, while the AI-generated proof of that rule balloons to 442 lines. The piece argues this ratio illustrates a broader vibe-coding pitfall rather than being unique to Bend.

Startup bucks trend, expands junior engineer hiring despite AI coding tools

While many tech firms cite AI code-generation as reason to cut entry-level hiring, one company says it is increasing its junior engineer headcount instead. The company argues that AI tools handle routine coding tasks but cannot substitute for the on-the-job learning that turns junior developers into engineers with real judgment and intuition.

New language Bend uses formal proofs to stop AI coding agents from shipping bugs

Bend is a newly introduced programming language that compiles to native code, runs on multiple CPU cores or GPUs without manual threading, and includes a built-in proof checker similar to Lean and Rocq. Developers can write rules in a LAWS.bend file, and Bend will refuse to accept any AI-generated code change that violates those rules, checking each change in about a second. Its creators demonstrate this by showing an AI agent attempt to break a game's win condition, which Bend blocks until the AI produces a compliant fix.

Essay likens AI coding shift to stonemasons-to-carpenters bridge-building change

An essay draws a parallel between the historical shift in bridge construction from stonemasons hand-placing stone to carpenters building wooden forms for poured concrete, and today's shift in software development driven by AI code generation. The author argues developers are moving from directly writing code line-by-line, like stonemasons, to constructing structures such as tests, documentation and guardrails that shape what AI generates, akin to carpenters building molds.

Cloudflare open-sources a repo skill that automates security audits with isolated AI agents

Cloudflare released Security-Audit-Skill, a coding-agent tool that runs a six-phase security audit: mapping a codebase's architecture and attack surface, assigning isolated 'hunter' agents to search for vulnerabilities against a coverage ledger, validating candidates with skeptical verifier agents, and producing structured reports categorized as confirmed, needs_validation, or rejected. It served as the original single-repo prototype that Cloudflare later expanded into its larger, fleet-wide vulnerability discovery harness.

OpenSpec launches as lightweight framework for AI-assisted software specs

OpenSpec is a new open framework designed to help teams and AI coding agents stay aligned on software requirements. It provides tools to draft specifications, refine them for accuracy, and verify that the resulting code implementation actually matches what was specified.

Entrepreneur op-ed rebuts SaaS-collapse thesis fueled by AI vibe coding

An Entrepreneur contributor pushes back on the viral 'SaaSpocalypse' theory that AI-driven 'vibe coding' will let companies replace SaaS products by prompting agents to build internal tools. The author argues this idea comes mostly from people unfamiliar with large-enterprise operations, where software must clear security reviews, compliance, legal approval, procurement and audits that no AI agent can complete on its own.

Blog post argues status pages should ditch uptime percentages for downtime hours

A developer's essay critiques how services report reliability using uptime percentages like 99.72% or 98.98%, arguing these numbers look deceptively similar to non-experts even though they represent vastly different amounts of actual downtime. The author references Jason Gorman's observation that reliability gains become exponentially harder near 100%, comparing uptime metrics to earthquake magnitude scales where small numeric differences hide huge real-world impact. The proposed fix: status pages should show actual downtime duration (e.g., '12 hours affected in the last 30 days') alongside or instead of raw percentages.

PS5 homebrew leader Andy Nguyen ends PS5 Linux project over AI 'vibe-coders'

Andy 'TheFlow0' Nguyen, the veteran PlayStation hacker behind the PS5 Linux project that let PS5 owners run a full Linux OS, has announced he is quitting the PS5 modding scene entirely. He says the decision follows frustration with AI-assisted contributors submitting exploit code they don't understand, including a case where such a group reported a hypervisor bug he had also discovered to Sony for a bounty before it could be used for the Linux project.

Delta launches public beta, aiming to replace pull requests with agent-based review

A new tool called Delta has entered public beta, offering a multiplayer workspace where teams write code alongside AI agents and review the results without relying on traditional pull requests. The company behind it says it has already disabled pull requests on its own repository, running all internal collaboration through Delta instead. The tool is available on macOS, Linux, Windows, and via browser, including mobile access to ongoing conversation threads.