AI·40wBREAKING: GitHub accidentally leaked GPT-5 details (proof inside)
GitHub accidentally published and quickly deleted a changelog entry announcing GPT-5's general availability in GitHub Models. An archived version of the deleted page serves as evidence of the premature announcement, suggesting GPT-5 may be launching imminently.
Jobs·40wMultiple GitHub Accounts — A Must-Have Skill for Developers
Managing multiple GitHub accounts on one machine requires proper SSH key configuration and Git settings. The setup involves creating separate SSH keys for each account, configuring SSH hosts with specific identity files, using Git's includeIf directive for folder-specific configurations, and organizing projects by directories. This approach prevents accidentally pushing to the wrong account and automates the switching between personal and work repositories.
bigboxSWE·37wThe Dark Side of GitHub
An investigation into the underground economy of fake GitHub engagement, including services that sell artificial stars, followers, forks, and entire accounts. The content explores different tiers of fake engagement, from cheap anonymous accounts to premium services using legitimate profiles, and examines motivations like impressing investors, recruiters, and establishing credibility for potential security exploits. Detection tools like Astronomer can identify fake engagement, but the practice highlights how even technical platforms remain vulnerable to manipulation and social engineering.
Docker·38wDocker MCP for AI Agents: Real-World Developer Setup
A comprehensive guide to building AI agents using Docker MCP Toolkit, demonstrating how to create a GitHub repository question-answering agent. The setup uses Docker containers for isolation, MCP Gateway for tool integration, and Docker Compose for orchestration. The approach eliminates environment drift, simplifies scaling, and provides a production-ready development pattern that works consistently from local development to CI/CD pipelines.
Theo - t3․gg·39wThings aren’t looking good for GitHub…
GitHub's CEO Thomas Dohmke has stepped down, and the platform is now being integrated directly into Microsoft's Core AI organization, ending its independent operation. This shift raises concerns about GitHub's future direction, as Microsoft appears to be prioritizing AI features over core platform improvements. The author argues that GitHub has been coasting on legacy sentiment while competitors like Graphite offer better developer experiences. With GitHub now reporting to an AI-focused team, there are worries that non-AI features will be deprioritized, and the platform may not be well-positioned for the future of AI-assisted development.
InfoQ·37wAGENTS.md Emerges as Open Standard for AI Coding Agents
AGENTS.md is emerging as a new open standard for AI coding agents, adopted by over 20,000 GitHub repositories. This markdown-based format provides machine-readable instructions for AI assistants, including setup commands, testing workflows, and coding guidelines, while keeping human-facing README files clean. The format supports nested files for monorepos and works across various AI development tools like Codex, Cursor, and Aider. While some developers question separating human and agent documentation, proponents see it as reducing friction in AI-human collaboration.
The Register·39wAre you willing to pay $100k a year per developer on AI?
AI companies are currently selling their services at loss leader prices, but this won't last forever. While tools like GitHub Copilot claim to write 30% of code, many developers don't trust AI results and spend significant time fixing AI-generated errors. Current AI pricing of $20-200 per month per developer could increase 10-15 times when companies like OpenAI (burning $8 billion annually) need to become profitable. The real implementation costs often run double or triple initial estimates, making AI adoption far more expensive than anticipated.
Collections·40wGitHub's Transition Under Microsoft's AI Strategy
GitHub CEO Thomas Dohmke is stepping down by end of 2025, with GitHub being integrated into Microsoft's CoreAI division instead of getting a new CEO. This strategic shift positions GitHub as a central component of Microsoft's AI ambitions, particularly around GitHub Copilot which serves over 20 million developers. The reorganization raises questions about GitHub's future autonomy and its role in the open-source community as it becomes more tightly integrated with Microsoft's AI strategy.
Gabriel Stundner·41wThe best website to search for TUI projects!
Terminal Trove is a curated website that showcases TUI (Terminal User Interface) projects across multiple operating systems. The platform provides visual examples, installation commands, and links to official GitHub repositories for each project, making it easier for developers to discover and implement terminal-based applications.
Backstage·39wMigrating legacy services to a modern developer portal: A technical guide to Backstage integration
A comprehensive guide detailing the migration from legacy service catalogs to Backstage, covering automated migration scripts using GitHub Apps, JWT authentication, and Base64 processing. The post explores adoption challenges including team resistance and lack of understanding, along with strategies like clear roadmaps, personalized demos, and feature additions such as Tech Radar and linter plugins. Key technical aspects include creating catalog-info.yaml files, using entity providers, and implementing scaffolders for streamlined service management.