C++ Wage Slave

@feoh @dashdsrdash

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?

Joel Martinez

Anyone else out there looking at #NLWeb yet? I added support for it on my site ... all using #GithubCopilot 👊🏼

codecube.net/2025/7/nlweb/

C++ Wage Slave

@mathew

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.

@davidgerard

Rob Bos

Big 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 github.blog/changelog/2025-06-

#GitHub #GitHubCopilot #VisualStudio #MCP

Terence Tao

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. youtube.com/watch?v=c1ixXMtmfS

- YouTube

Enjoy the videos and music you love, upload original…

www.youtube.com
May 17, 2025, 21:18 · · · 5 · 0
James Montemagno

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:

youtube.com/watch?v=oPFecZHBCk

#dotnet #visualstudio #githubcopilot #agentmode

Terence Tao

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 youtube.com/watch?v=cyyR7j2ChC . See also additional discussion at leanprover.zulipchat.com/#narr . The final proof (which is far from optimized, but got the job done) can be found at github.com/teorth/estimate_too

- YouTube

Enjoy the videos and music you love, upload original…

www.youtube.com
James Montemagno

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: youtube.com/watch?v=s7Qzq0ejhjg

#dotnet #vsscode #githubcopilot

Jeffrey Groneberg

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: github.com/jeffreygroneberg/gh

GitHub - jeffreygroneberg/ghcpworkshopcsuger: A repository that can be used to showcase the capabilities within a 2 hours and 4 hours workshop

A repository that can be used to showcase the capabilities…

GitHub