These are public posts tagged with #githubcopilot. You can interact with them if you have an account anywhere in the fediverse.
https://www.europesays.com/uk/273675/ Cursor snaps up enterprise startup Koala in challenge to GitHub Copilot #AI #AICodingTools #ArtificialIntelligence #cursor #Exclusive #GitHubCopilot #Technology #UK #UnitedKingdom
I tried #GitHubCopilot for a couple of weeks at my employer's request. The screen of my IDE was certainly more active, with GHCP continually making suggestions and me typing over them. Measured just in characters per second, I was probably more productive. But the LLM was more of a distraction than a help; I spent more time on evaluating (and usually discarding) its suggestions than I did on higher-level tasks like considering how the structure of the code should change and how I could maximise performance.
The #LLM never came up with an original idea. It never showed me a better way of doing something than I could have produced without its help. Most of its suggestions were substandard.
A developer is not a typist. A system that optimises typing works too hard at the wrong part of the job.
The one thing that would have been useful for, it simply refused to do. I wanted it to scour a set of unfamiliar, undocumented classes¹ and all their callers and tell me how to use them. It simply wouldn't do it.
¹ There's always an excuse, isn't there?
Anyone else out there looking at #NLWeb yet? I added support for it on my site ... all using #GithubCopilot
The problem I found with #GitHubCopilot wasn't its ability to write C++. Not all, but most of the code it suggested would have compiled.¹
No, the problem was that it never knew what I was trying to achieve. If I write a line that looks similar to one elsewhere in the same project, I don't want an #LLM to suggest a copy of the line that came next last time I did this. If two lines are the same then they should be factored out into a method or a class. Don't! Repeat! Yourself! And, if no refactoring is warranted then it means that suggesting a repeat of the same thing I did last time is wrong and is a time-wasting, attention-sapping distraction.
So the LLM almost always ended up encouraging me either to duplicate code (bad) or to accept the wrong code (worse).
¹ It occasionally miscounted parentheses, hallucinated methods, or got argument lists wrong.
Why GitHub Copilot Isn’t Your Coding Partner - These days ‘AI’ is everywhere, including in software development. Coming hot on th... - https://hackaday.com/2025/07/04/why-github-copilot-isnt-your-coding-partner/ #artificialintelligence #softwaredevelopment #largelanguagemodel #githubcopilot
These days ‘AI’ is everywhere, including in software…
HackadayIntroducing the Awesome GitHub Copilot Customizations repo | by Matt Soucoup & Aaron Powell.
https://devblogs.microsoft.com/blog/introducing-awesome-github-copilot-customizations-repo
Today we’re excited to announce the launch of the Awesome…
Microsoft for DevelopersBig update to MCP in Visual Studio, and this one also brings in monitoring for Copilot consumption.
Agent mode and MCP now generally available in Visual Studio - GitHub Changelog https://github.blog/changelog/2025-06-17-visual-studio-17-14-june-release
Azure cost reduction/optimization for hosted applications using Artificial Intelligence. And it's REPEATABLE. Interested? Read on... Daniel Meppiel's Project Post
https://www.linkedin.com/posts/danielmeppiel_enterpriseai-ai-devops-ugcPost-7338909052267061248-DmG4 Azure Cost Optimization Workflow
https://github.com/danielmeppiel/agentic-hike-planner/blob/main/.github/prompts/az-cost-optimize.prompt.md
#AI #Azure #githubcopilot #CostOptimization
💥 What if AI could shrink your cloud bill by 80% in…
www.linkedin.comvia @dotnet : Catch Up on Microsoft Build 2025: Essential Sessions for .NET Developers
https://ift.tt/GhAdON7
#MicrosoftBuild2025 #DotNetDevelopers #AIPoweredCoding #CloudNativeApps #DotNet #CSharp #DeveloperJoy #Modernization #GitHubCopilot #DotNetAspire #AIInt…
Get up to date on all of the .NET sessions from Microsoft…
.NET BlogAlright Bingo-o-matic is live out to the world with new features, PWA updates, and much more. If you are a Bingo MC this is for you :)
https://montemagno.com/introducing-bingo-o-matic-your-ultimate-bingo-management-app/
Created with #vscode, #dotnet, #blazor, & #githubcopilot
Introducing Bingo-o-matic a comprehensive bingo management…
James MontemagnoThe Copilot Delusion - by Jj
https://deplet.ing/the-copilot-delusion/
Pure poetry!
#AI #GithubCopilot #ArtificialIntelligence #SoftwareDevelopment #SoftwareEngineering
A third video in my occasional series on #Lean4 formalization workflows, this time focusing on how relying extensively on #GitHubCopilot fares against standard "epsilon delta" type problems in analysis. https://www.youtube.com/watch?v=c1ixXMtmfS8
Enjoy the videos and music you love, upload original…
www.youtube.comhttps://www.europesays.com/2081543/ Allpay Says AI Boosts Productivity, Software Releases #AdamWheater #AdrianMichalowski #AI #AllPay #ArtificialIntelligence #CloudComputing #GenAI #GenerativeAI #GitHubCopilot #MicrosoftAzure #News #NickWoolley #PaymentsProvider #PYMNTSNews #SoftwareDevelopment
Agent mode and MCP server support is here in the latest update of Visual Studio and it is absolutely delightful! I give you a full breakdown of everything you need to know:
https://www.youtube.com/watch?v=oPFecZHBCkg&feature=youtu.be
I recently set myself the exercise of using modern automated tools - in particular, a combination of the #GithubCopilot large language model and the dependent type matching tactic #canonical - to try to semi-automatically formalize in #Lean a one-page proof provided by a collaborator of the #EquationalTheoriesProject (Bruno Le Floch). With these tools, I was able to more or less blindly do the formalization in 33 minutes, withou any real high level conception of how the proof proceeded. It was a very different style to how I usually formalize results, but was workable for this type of technical, non-conceptual argument where the main issue is to get the details correct rather than the "big picture".
I recorded my attempt at https://www.youtube.com/watch?v=cyyR7j2ChCI . See also additional discussion at https://leanprover.zulipchat.com/#narrow/channel/458659-Equational/topic/Alternative.20proofs.20of.20E1689.E2.8A.A2E2 . The final proof (which is far from optimized, but got the job done) can be found at https://github.com/teorth/estimate_tools/blob/master/EstimateTools/test/equational.lean
Enjoy the videos and music you love, upload original…
www.youtube.comTurn your .NET CLI tool into a local MCP Server for use with GitHub Copilot in VS Code.
https://erikej.github.io/mcp/dotnet/copilot/2025/05/06/mcp-dotnet-copilot.html
I am the maintainer of a command line tool - T-SQL…
ErikEJ's blogCopilot ask, edit, and agent modes: What they do and when to use them.
An introduction to GitHub Copilot's three distinct…
The GitHub BlogI had the honor of getting an hour of Burke's time to talk about the 3 modes in VS Code's GitHub Copilot Chat window.
ASK, Edit, & Agent!
We break down everything you need to know: https://www.youtube.com/watch?v=s7Qzq0ejhjg
This fiscal year I delivered approximately 50 #github #githubcopilot workshops and classroom trainings to more than 2000 participants.
Being a #software #developer for more than 20 years I am very honest in these workshops & also criticize todays marketing and hype about AI supported #development & #vibecoding
Nevertheless it’s another tool in my box and I don’t want to miss anymore.
This is my repository with exercises that I use for the trainings: https://github.com/jeffreygroneberg/ghcpworkshopcsuger
A repository that can be used to showcase the capabilities…
GitHub