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

@GitHub Copilot

mentions 37 type Organization page 2/2 feed RSS
sameAs · en.wikipedia.org · www.wikidata.org
19:01
2026-05-20
dev.to
artificial-intelligence

Google I/O Just Made MCP Inevitable

At the Google I/O 2026 conference, Google announced Gemini Spark, a persistent cloud-based AI agent that integrates with third-party tools using the open Model Context Protocol (MCP) rather than a pro…

16:02
2026-05-20
dev.to
large-language-models

10 Ways To Reduce Your LLM API Costs

Ten strategies to reduce costs associated with LLM API usage, emphasizing that users pay for input and output tokens rather than the inference itself. Key recommendations include selecting appropriate…

15:00
2026-05-20
dev.to
artificial-intelligence

Gemini vs. ChatGPT for Coding: A Developer's Guide

This article compares the AI coding assistants Gemini and ChatGPT, highlighting that Gemini excels at comprehensive, structured problem-solving while ChatGPT is better suited for rapid, code-centric t…

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
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 2 / 2
// co-occurs with top 8 entities