grep -r "Code" /news · home›search
grep -rli "Code" /news

Code

Full-text search across 62539 articles. Combine with topic and date filters; results sorted by relevance.

results 62539 page 503/3127 follow RSS for this search
06:24
2026-08-13
x.com
developer-tools

/show-me

Coding agents' verbose text output is hurting usability, and HumanLayer has released an open-source skill called show-me that prompts agents to explain code visually using component trees, call stacks, diagrams, file lay…

02:13
2026-08-13
fstar-lang.org
artificial-intelligence

Agentic Proof-Oriented Programming

As of late 2025, AI agents integrated into coding environments such as Claude Code, OpenAI Codex, and GitHub Copilot CLI have made automated formal proofs a reality, according to researchers who have used agents to autho…

16:59
2026-08-12
promptcube3.com
artificial-intelligence

Lovable just hit a $13.3 billion valuation after a $400M raise

Lovable, an AI-powered software development platform, reached a $13.3 billion valuation after raising $400 million in a funding round. The company aims to automate full-stack generation, positioning itself in the competi…

19:04
2026-08-04
gavinray97.github.io
large-language-models

Design by Contract and Effects for LLMs

Gavin Ray argues that Design-by-Contract and effects are essential for LLM-generated code, as they enable compiler-generated reports of semantic changes and ensure verifiable behavior. Ray, who notes that most code he sh…

14:10
2026-08-04
promptcube3.com
developer-tools

The 8 Best AI Communities to Join in 2026

Cursor, an AI-powered code editor, introduced .cursorrules configuration files in early 2024 to guide AI suggestions according to project-specific coding standards, and as of 2025, over 60% of users report using custom r…

13:03
2026-07-22
github.com
developer-tools

Show HN: PortMarshal – Guard dev servers from cross-agent stops

PortMarshal, a new open-source command-line tool for macOS and Linux, prevents parallel coding agents from accidentally stopping each other's local development servers by mapping TCP listeners to their owning process, pr…

02:07
2026-07-19
byteiota.com
ai-tools

GitHub Copilot Vision Is Now GA: What You Can Attach

GitHub Copilot Vision is generally available as of July 1, 2026, allowing all Copilot subscribers, including free-tier users, to attach images, screenshots, UI mockups, and PDFs into the chat panel for AI-powered code re…

20:17
2026-07-18
dev.to
developer-tools

TokenCap v1.5 — Making MCP Feel Invisible

Developer Vanesh Arora released TokenCap v1.5, which introduces automatic MCP configuration for AI coding tools. The update allows developers to run a single command — `tokencap mcp --init` — to detect and configure the …

19:29
2026-06-26
dev.to
developer-tools

Back to school

A developer decided to build a personal website from scratch by hand, writing every line of code without boilerplate, to regain confidence and understand the code that AI tools produce. The developer, who first wrote HTM…

13:40
2026-06-08
blog.mozilla.ai
ai-tools

Use the Otari Gateway with OpenCode

Mozilla.ai has released a new integration allowing developers to route OpenCode AI coding sessions through the Otari Gateway for real-time cost tracking, token usage monitoring, and budget enforcement. The setup requires…

23:26
2026-06-05
cbaines.net
large-language-models

Safsaf – A Web Framework for Guile

Christopher Baines released Safsaf, a new web framework for Guile built on Guile Fibers and the Guile Knots web server, drawing from his seven years of experience developing Guix-related services. The framework, approxim…

← prev page 503 / 3127 next →