Getting used to handing over #code writing tasks to #GitHubCopilot in #AgentMode. Doing so, I saved a tremendous amount of time this weekend while working on my upcoming #SideProject (that happens to involve #AI as well) - but #CodeReview and #testing is a must!
Recherches récentes
Options de recherche
#githubcopilot
2 messages2 participants0 message aujourd’hui
Every #AI #LLM #chatbot in #GithubCopilot fails to understand the difference between keys and values when #vibecoding the #Perl API to a simple #c library. In this case the terms on the two sides of the arrows should be reversed.
https://github.com/chrisarg/Bit
There are so many awesome new AI development features in the latest release of VS Code (v1.103) that you need to turn on ASAP! I break down my favorite that I use every day:
GitHub will join Microsoft’s CoreAI division with departure of CEO Thomas Dohmke - GitHub CEO Thomas Dohmke. (GitHub Photo)
Microsoft will bring GitHub into its C... - https://www.geekwire.com/2025/github-will-join-microsofts-coreai-group-with-departure-of-ceo-thomas-dohmke/ #aisoftwaredevelopment #microsoftacquisition #developertools #aicodingtools #aicompetition #githubcopilot #thomasdohmke #microsoft #windsurf #coreai #cursor #github
That 128 tool limit is GONE in vs code! Virtual tools just landed and now give you huge flexibility to add more #MCP servers and more extensions to extend agent mode. I break it all down:
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
Hackaday · Why GitHub Copilot Isn’t Your Coding PartnerThese days ‘AI’ is everywhere, including in software development. Coming hot on the heels of approaches like eXtreme Programming and Pair Programming, there’s now a new kind of pa…
Alright 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
James Montemagno · Introducing Bingo-o-matic: Your Ultimate Bingo Management AppIntroducing Bingo-o-matic a comprehensive bingo management application designed to make hosting and playing bingo games easier and more enjoyable than ever before.
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
https://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
Allpay Says AI Boosts Productivity, Software Releases https://www.byteseu.com/1014326/ #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
I 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
Looking to build your own #MCP server or client? The new #csharp SDK is absolutely delightful and you can start building in minutes.
I walk you through building, testing, and deploying your first #MCPServer in minutes!
Huge day for #vscode and #GitHubCopilot. Agent mode is GA and MCP and Code Reviews. So cool seeing Satya vibe coding!
Today is the day!! #Microsoft50! Humbled to also be celebrating 9 years at Microsoft! Can’t wait to hear all the amazing announcements today!!!
Friday is the big day, celebrating Microsoft’s 50 years of innovation! 
I made the journey out to cover the event tomorrow, talk to some legendary folks at Microsoft, try all the new goodies being released! Here is a sneak peek!
I’m going behind the scenes at tomorrow’s 50th celebration! Interviews, news, and more! Going to drop across my socials and YouTube!!!
Custom models for #GitHubCopilot comes to #vscode! That’s right, bring your own model!!! Even ones running locally!!
Model Context Protocol Server support (MCP) just landed in #vscode for #githubcopilot! What are these things? How do they work? And why should you care about them? I got you covered: