Hackernews posts about GitHub Copilot

GitHub Copilot is an AI-powered coding assistant that suggests and completes code snippets for developers as they write, making it a valuable tool for streamlining the programming process.

1. GitHub Copilot Coding Agent (github.blog)
   560 points by net01 5 days ago | 356 comments
2. GitHub Copilot: Meet the new coding agent (github.blog)
   9 points by meetpateltech 5 days ago | discuss
3. GPT-4.1 is now generally available in GitHub Copilot as the new default model (github.blog)
   7 points by mfiguiere 16 days ago | discuss
4. GitHub Copilot now has a coding agent embedded (twitter.com)
   6 points by kesor 5 days ago | discuss
5. Terence Tao: Formalizing a proof in Lean using GitHub Copilot and canonical (www.youtube.com)
   6 points by admingirl 12 days ago | discuss
6. Formalizing a Proof in Lean Using GitHub Copilot Only [video] (www.youtube.com)
   4 points by dargscisyhp 7 days ago | discuss
7. Testing sourcery.ai and GitHub Copilot for cockpit PR reviews (piware.de)
   3 points by todsacerdoti 14 days ago | discuss
8. Terence Tao: Formalizing a proof in Lean using GitHub Copilot and canonical [video] (www.youtube.com)
   2 points by 5rest 10 days ago | 1 comments
9. A full look at agent mode in GitHub Copilot (github.blog)
   2 points by andrewstetsenko about 12 hours ago | discuss
10. Microsoft Open Sources GitHub Copilot in VS Code (www.theleftshift.com)
    2 points by 01-_- 4 days ago | discuss
11. Building a Query Plan Explorer Using GitHub Copilot (jnidzwetzki.github.io)
    2 points by woolenandroid 5 days ago | discuss
12. GitHub Copilot Wants to Become Your Peer Programmer (thenewstack.io)
    2 points by thm 6 days ago | discuss
13. Formalizing a proof in Lean using GitHub Copilot and canonical [video] (www.youtube.com)
    1 points by Philpax 11 days ago | discuss
14. Zencoder buys Machinet to challenge GitHub Copilot as AI coding assistant (venturebeat.com)
    1 points by walterbell 22 days ago | discuss
15. Ask HN: AI Replacing Engineers – Firsthand Stories?
    48 points by ludovicianul 25 days ago | 89 comments
16. Show HN: I hate cubes, so I vibe coded a game to destroy them (lambda.games)
    4 points by godlabs 30 days ago | 10 comments
17. Ask HN: What AI assistants does your company allow?
    3 points by jjmarr 24 days ago | 1 comments
18. Ask HN: How Do You Review Your Code in the Age of AI?
    2 points by aman_madhukar02 2 days ago | 1 comments
19. Show HN: ScrapeCopilot – Notebook Code Interface + Puppeteer + AI Copilot
    2 points by erichi 1 day ago | discuss
20. TruVi – Rethinking take home assignment in your hiring (www.truvi.app)
    1 points by sungmanch 3 days ago | discuss
21. Ask HN: What's the Enterprise Appetite for MCPs?
    1 points by martypitt 22 days ago | discuss
22. Copilot Arena (github.com)
    2 points by croemer 24 days ago | discuss
23. Infio-copilot- A Cursor-inspired AI assistant for Obsidian (github.com)
    3 points by sarkory 12 days ago | discuss
24. "Copilot" bot user exempted from GitHub blocks (mastodon.social)
    4 points by luu 5 days ago | discuss
25. Self-Hosted GitHub MCP Server for VS Code Copilot (13.39.253.143)
    1 points by MaxiComDev about 4 hours ago | 1 comments
26. Cursor's Tab Model Was Failing Me in Jupyter Notebooks – So I Made My Own (nkasmanoff.github.io)
    3 points by nkaz123 23 days ago | discuss
27. Copilot Code Review now supports all languages in public preview (github.blog)
    3 points by gku 11 days ago | discuss
28. Allow us to block Copilot-generated issues (and PRs) from our own repositories (github.com)
    65 points by pera 4 days ago | 4 comments
29. Enforcement of Copilot premium request limits moved to June 4, 2025 (github.blog)
    5 points by kjhughes 16 days ago | discuss
30. All-in-one AI marketing agent and copilot desktop app to cross-post to any sites (github.com)
    2 points by oozzy77 13 days ago | 3 comments