cd/entity/GitHub Copilot· home entities GitHub Copilot
grep -l @github copilot /news/*.json | wc -l → 951

GitHub Copilot

mentions 951 type Organization page 48/48 feed RSS
sameAs · en.wikipedia.org · www.wikidata.org

// recent coverage 951 mentions

05:30
2026-05-19
githubstatus.com
ai-products

Incident with Copilot

On May 19, 2026, GitHub Copilot API requests experienced elevated error rates between 05:30 UTC and 14:50 UTC, with up to 13% of API requests failing and 24% of remote sessions failing to initialize. …

23:07
2026-05-18
dev.to
developer-tools

Best AI Coding Assistants in 2026: Ranked by Real Developers

Based on a 2026 survey of developers, the article ranks AI coding assistants, with GitHub Copilot remaining the most widely adopted due to its improved multi-file awareness, while Cursor is highlighte…

16:54
2026-05-18
github.blog
developer-tools

Take your local GitHub sessions anywhere

GitHub has announced the general availability of remote control for GitHub Copilot CLI sessions, allowing developers to start work in VS Code or the CLI and continue it from their phone via the GitHub…

00:00
2026-05-17
seangoedecke.com
large-language-models

How I use LLMs as a staff engineer in 2026

Staff engineer Sean Goedecke now uses LLMs to produce entire pull requests in familiar code areas, relying on agents for every change and pushing PRs after a single editing pass as of early 2026. He a…

00:00
2026-05-15
zed.dev
ai-tools

Use Your ChatGPT Subscription in Zed

Zed now allows users to sign in with their ChatGPT account to access OpenAI models directly through its agent, with usage included in existing ChatGPT subscriptions rather than billed per token. The i…

00:00
2025-11-14
zfhuang99.github.io
large-language-models

Lamport Agent - AI-assisted Formal Specification

Lamport Agent**, an AI-assisted tool that uses large language models (LLMs) to automatically generate formal specifications and detect race conditions from production codebases. It demonstrates the ag…

00:00
2025-05-24
zfhuang99.github.io
artificial-intelligence

The Coming AI Revolution in Distributed Systems

Recent breakthroughs in AI have enabled it to autonomously generate accurate formal specifications from large production codebases, as demonstrated when GitHub Copilot produced precise TLA+ specificat…

00:00
2024-12-15
zfhuang99.github.io
artificial-intelligence

Evaluating Windsurf - A Production System Experiment

Experiment evaluating the AI coding assistant Windsurf on a complex, real-world task: implementing a group ID feature in Microsoft's RSL (Replicated State Library), a 7,500+ line codebase used in Azur…

00:00
2023-10-12
cursor.com
developer-tools

Our Problems

Several key challenges faced by the Cursor development team, including improving context retrieval by training a custom reranker to filter 500k tokens down to 8k, creating a "copilot for edits" to han…

← prev page 48 / 48
// co-occurs with top 8 entities
// topics top 6 topics