19 stories tagged GitHub
OpenAI has released AI-generated proofs for open mathematical problems, formalized in the Lean theorem prover, along with research details on GitHub. This marks a significant step in using AI to advance mathematical research.
AgentX, an open-source tool by Anis Marrouchi, lets developers run AI coding assistants like Claude Code and Codex directly from their chat interfaces and GitHub repositories, eliminating the need to switch between platforms.
A first-of-its-kind analysis of 761 million LLM calls from GitHub Copilot traces reveals that AI coding agents produce sparse, autonomous workloads distinct from chatbots, with major implications for AI system design and infrastructure.
Developer Sami Uysal published 'awesome-open-ai-developer-tools' on GitHub, a curated index of over 1,000 open-source tools covering the full AI development lifecycle from model training to deployment.
Many popular paid software tools have free, open-source alternatives available on GitHub. Knowing these options can save you money. Open-source software is developed and maintained by communities, often offering similar features to paid tools.
A new open-source tool called synty helps teams monitor AI coding agents' work and link it to GitHub projects. It streams data from development environments into central storage (e.g., S3) for analysis. This tool is designed to help teams align their work with planning milestones.
Researchers have demonstrated that AI coding assistants can be tricked into executing malware from GitHub repositories that appear clean. This new attack vector exploits how AI agents automatically process and run code, bypassing human review.
Some GitHub repositories have faced repeated takedown attempts but keep coming back due to public demand. These tools often fill critical gaps that users need. Here are 10 such repositories that have been repeatedly deleted and restored.
Khwand is a new GitHub app that automates testing and fixing AI agents. It promises to make developing AI-powered tools more reliable for developers.
Hugging Face now offers a new way to run continuous integration (CI) workflows directly on its platform. This can simplify the process for developers using GitHub repositories.
A new website curates the best open-source AI tools, making it easy to find high-quality projects. Anyone can contribute by submitting new tools via GitHub.
A growing number of developers now refuse to work without AI coding assistants, but researchers warn this reliance may lead to lower-quality code and erode essential skills, potentially hurting coders' long-term job prospects.
GitHub Copilot is switching to a token-based billing system, which developers say will increase costs. Many are unhappy with the change, calling it a departure from the tool’s original value proposition.
A hacker group called TeamPCP is sabotaging open-source software, including projects on GitHub. This threatens the security of countless applications and services that rely on open-source code.
Devin AI can now automatically sort and prioritize GitHub issues, saving developers time. This tool uses AI to understand and categorize bug reports and feature requests.
A GitHub repository called Public APIs has over 323,000 stars and lists 1,500+ free APIs categorized by type. This resource is widely used by developers but often kept secret from beginners.
GitHub's security team fixed a critical remote code execution flaw in less than six hours after it was reported. The vulnerability, found by Wiz Research using AI models, could have exposed millions of public and private repositories.
GitHub Copilot now integrates GPT-5.5, enhancing code completion and debugging capabilities. This marks a significant leap in AI-assisted development tools.
A supply-chain attack using invisible Unicode code has affected GitHub and other repositories. The attack exploits code that is invisible to the human eye.