101010.pl

C++ Wage Slave<a href="https://oldbytes.space/@feoh" class="u-url mention" rel="nofollow noopener" target="_blank">@feoh</a> <a href="https://tilde.zone/@dashdsrdash" class="u-url mention" rel="nofollow noopener" target="_blank">@dashdsrdash</a> I tried <a href="https://infosec.space/tags/GitHubCopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#GitHubCopilot</a> 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 <a href="https://infosec.space/tags/LLM" class="mention hashtag" rel="nofollow noopener" target="_blank">#LLM</a> 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?

C++ Wage Slave<a href="https://universeodon.com/@mathew" class="u-url mention" rel="nofollow noopener" target="_blank">@mathew</a>The problem I found with <a href="https://infosec.space/tags/GitHubCopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#GitHubCopilot</a> 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 <a href="https://infosec.space/tags/LLM" class="mention hashtag" rel="nofollow noopener" target="_blank">#LLM</a> 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.<a href="https://circumstances.run/@davidgerard" class="u-url mention" rel="nofollow noopener" target="_blank">@davidgerard</a>

IT NewsWhy GitHub Copilot Isn’t Your Coding Partner - These days ‘AI’ is everywhere, including in software development. Coming hot on th... - <a href="https://hackaday.com/2025/07/04/why-github-copilot-isnt-your-coding-partner/" rel="nofollow noopener" translate="no" target="_blank">https://hackaday.com/2025/07/04/why-github-copilot-isnt-your-coding-partner/</a> <a href="https://schleuss.online/tags/artificialintelligence" class="mention hashtag" rel="nofollow noopener" target="_blank">#artificialintelligence</a> <a href="https://schleuss.online/tags/softwaredevelopment" class="mention hashtag" rel="nofollow noopener" target="_blank">#softwaredevelopment</a> <a href="https://schleuss.online/tags/largelanguagemodel" class="mention hashtag" rel="nofollow noopener" target="_blank">#largelanguagemodel</a> <a href="https://schleuss.online/tags/githubcopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#githubcopilot</a>

Brian Benz🚀🤖☁️ GitHub Copilot for Azure just went GA—including Agent Mode 🤯 🛠️ Native VS Code extension 🔗 Uses live Azure context for custom answers 🤖 Orchestrates multi-step infra/DevOps actions 🛡️ Enterprise security & compliance baked in Check it out 👉 <a href="https://aka.ms/GitHubCopilotForAzureGA" rel="nofollow noopener" translate="no" target="_blank">https://aka.ms/GitHubCopilotForAzureGA</a> <a href="https://mastodon.social/tags/Azure" class="mention hashtag" rel="nofollow noopener" target="_blank">#Azure</a> <a href="https://mastodon.social/tags/GitHubCopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#GitHubCopilot</a> <a href="https://mastodon.social/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#AI</a> <a href="https://mastodon.social/tags/DevOps" class="mention hashtag" rel="nofollow noopener" target="_blank">#DevOps</a> <a href="https://mastodon.social/tags/VSCode" class="mention hashtag" rel="nofollow noopener" target="_blank">#VSCode</a>

James MontemagnoAlright 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 :) <a href="https://montemagno.com/introducing-bingo-o-matic-your-ultimate-bingo-management-app/" rel="nofollow noopener" translate="no" target="_blank">https://montemagno.com/introducing-bingo-o-matic-your-ultimate-bingo-management-app/</a>Created with <a href="https://mastodon.social/tags/vscode" class="mention hashtag" rel="nofollow noopener" target="_blank">#vscode</a>, <a href="https://mastodon.social/tags/dotnet" class="mention hashtag" rel="nofollow noopener" target="_blank">#dotnet</a>, <a href="https://mastodon.social/tags/blazor" class="mention hashtag" rel="nofollow noopener" target="_blank">#blazor</a>, & <a href="https://mastodon.social/tags/githubcopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#githubcopilot</a>

Terence TaoA third video in my occasional series on <a href="https://mathstodon.xyz/tags/Lean4" class="mention hashtag" rel="nofollow noopener" target="_blank">#Lean4</a> formalization workflows, this time focusing on how relying extensively on <a href="https://mathstodon.xyz/tags/GitHubCopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#GitHubCopilot</a> fares against standard "epsilon delta" type problems in analysis. <a href="https://www.youtube.com/watch?v=c1ixXMtmfS8" rel="nofollow noopener" translate="no" target="_blank">https://www.youtube.com/watch?v=c1ixXMtmfS8</a>

James MontemagnoAgent 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:<a href="https://www.youtube.com/watch?v=oPFecZHBCkg&feature=youtu.be" rel="nofollow noopener" translate="no" target="_blank">https://www.youtube.com/watch?v=oPFecZHBCkg&feature=youtu.be</a><a href="https://mastodon.social/tags/dotnet" class="mention hashtag" rel="nofollow noopener" target="_blank">#dotnet</a> <a href="https://mastodon.social/tags/visualstudio" class="mention hashtag" rel="nofollow noopener" target="_blank">#visualstudio</a> <a href="https://mastodon.social/tags/githubcopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#githubcopilot</a> <a href="https://mastodon.social/tags/agentmode" class="mention hashtag" rel="nofollow noopener" target="_blank">#agentmode</a>

Terence TaoI recently set myself the exercise of using modern automated tools - in particular, a combination of the <a href="https://mathstodon.xyz/tags/GithubCopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#GithubCopilot</a> large language model and the dependent type matching tactic <a href="https://mathstodon.xyz/tags/canonical" class="mention hashtag" rel="nofollow noopener" target="_blank">#canonical</a> - to try to semi-automatically formalize in <a href="https://mathstodon.xyz/tags/Lean" class="mention hashtag" rel="nofollow noopener" target="_blank">#Lean</a> a one-page proof provided by a collaborator of the <a href="https://mathstodon.xyz/tags/EquationalTheoriesProject" class="mention hashtag" rel="nofollow noopener" target="_blank">#EquationalTheoriesProject</a> (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 <a href="https://www.youtube.com/watch?v=cyyR7j2ChCI" rel="nofollow noopener" translate="no" target="_blank">https://www.youtube.com/watch?v=cyyR7j2ChCI</a> . See also additional discussion at <a href="https://leanprover.zulipchat.com/#narrow/channel/458659-Equational/topic/Alternative.20proofs.20of.20E1689.E2.8A.A2E2" rel="nofollow noopener" translate="no" target="_blank">https://leanprover.zulipchat.com/#narrow/channel/458659-Equational/topic/Alternative.20proofs.20of.20E1689.E2.8A.A2E2</a> . The final proof (which is far from optimized, but got the job done) can be found at <a href="https://github.com/teorth/estimate_tools/blob/master/EstimateTools/test/equational.lean" rel="nofollow noopener" translate="no" target="_blank">https://github.com/teorth/estimate_tools/blob/master/EstimateTools/test/equational.lean</a>

Angel D. MunozToday in "Let's keep coding" The GUI for Migrondi is starting to take shape. It uses the Migrondi Core functionality to create new projects as well as new migration files For the moment it doesn't really do a lot other than show files and create a new migration but I guess I'll keep divingusing <a href="https://dotnet.social/@avaloniaui" class="u-url mention" rel="nofollow noopener" target="_blank">@avaloniaui</a> for the desktop frameworkGUI Project: <a href="https://github.com/AngelMunoz/MigrondiUI" rel="nofollow noopener" translate="no" target="_blank">https://github.com/AngelMunoz/MigrondiUI</a>CLI Tool: <a href="https://github.com/AngelMunoz/Migrondi" rel="nofollow noopener" translate="no" target="_blank">https://github.com/AngelMunoz/Migrondi</a><a href="https://hachyderm.io/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#fsharp</a> <a href="https://hachyderm.io/tags/dotnet" class="mention hashtag" rel="nofollow noopener" target="_blank">#dotnet</a> <a href="https://hachyderm.io/tags/avalonia" class="mention hashtag" rel="nofollow noopener" target="_blank">#avalonia</a> <a href="https://hachyderm.io/tags/githubcopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#githubcopilot</a> <a href="https://hachyderm.io/tags/vibecoding" class="mention hashtag" rel="nofollow noopener" target="_blank">#vibecoding</a>

James MontemagnoI 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: <a href="https://www.youtube.com/watch?v=s7Qzq0ejhjg" rel="nofollow noopener" translate="no" target="_blank">https://www.youtube.com/watch?v=s7Qzq0ejhjg</a><a href="https://mastodon.social/tags/dotnet" class="mention hashtag" rel="nofollow noopener" target="_blank">#dotnet</a> <a href="https://mastodon.social/tags/vsscode" class="mention hashtag" rel="nofollow noopener" target="_blank">#vsscode</a> <a href="https://mastodon.social/tags/githubcopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#githubcopilot</a>

Jeffrey GronebergThis fiscal year I delivered approximately 50 <a href="https://mastodon.social/tags/github" class="mention hashtag" rel="nofollow noopener" target="_blank">#github</a> <a href="https://mastodon.social/tags/githubcopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#githubcopilot</a> workshops and classroom trainings to more than 2000 participants. Being a <a href="https://mastodon.social/tags/software" class="mention hashtag" rel="nofollow noopener" target="_blank">#software</a> <a href="https://mastodon.social/tags/developer" class="mention hashtag" rel="nofollow noopener" target="_blank">#developer</a> for more than 20 years I am very honest in these workshops & also criticize todays marketing and hype about AI supported <a href="https://mastodon.social/tags/development" class="mention hashtag" rel="nofollow noopener" target="_blank">#development</a> & <a href="https://mastodon.social/tags/vibecoding" class="mention hashtag" rel="nofollow noopener" target="_blank">#vibecoding</a>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: <a href="https://github.com/jeffreygroneberg/ghcpworkshopcsuger" rel="nofollow noopener" translate="no" target="_blank">https://github.com/jeffreygroneberg/ghcpworkshopcsuger</a>

Beth PariseauMy latest: <a href="https://hachyderm.io/tags/AIagents" class="mention hashtag" rel="nofollow noopener" target="_blank">#AIagents</a> that can take on whole tasks with a <a href="https://hachyderm.io/tags/naturallanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#naturallanguage</a> prompt are now tied in with widely used <a href="https://hachyderm.io/tags/IDEs" class="mention hashtag" rel="nofollow noopener" target="_blank">#IDEs</a>, including <a href="https://hachyderm.io/@Microsoft" class="u-url mention" rel="nofollow noopener" target="_blank">@Microsoft</a> <a href="https://hachyderm.io/tags/VSCode" class="mention hashtag" rel="nofollow noopener" target="_blank">#VSCode</a> and a <a href="https://hachyderm.io/tags/jetbrains" class="mention hashtag" rel="nofollow noopener" target="_blank">#jetbrains</a> free tier. <a href="https://hachyderm.io/tags/copilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#copilot</a> <a href="https://hachyderm.io/tags/agentmode" class="mention hashtag" rel="nofollow noopener" target="_blank">#agentmode</a> <a href="https://hachyderm.io/tags/GitHubCopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#GitHubCopilot</a> <a href="https://www.techtarget.com/searchsoftwarequality/news/366622962/JetBrains-GitHub-add-coding-agents-to-IDEs" rel="nofollow noopener" translate="no" target="_blank">https://www.techtarget.com/searchsoftwarequality/news/366622962/JetBrains-GitHub-add-coding-agents-to-IDEs</a>

James MontemagnoLooking to build your own <a href="https://mastodon.social/tags/MCP" class="mention hashtag" rel="nofollow noopener" target="_blank">#MCP</a> server or client? The new <a href="https://mastodon.social/tags/csharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#csharp</a> SDK is absolutely delightful and you can start building in minutes.I walk you through building, testing, and deploying your first <a href="https://mastodon.social/tags/MCPServer" class="mention hashtag" rel="nofollow noopener" target="_blank">#MCPServer</a> in minutes!<a href="https://www.youtube.com/watch?v=MKD-sCZWpZQ" rel="nofollow noopener" translate="no" target="_blank">https://www.youtube.com/watch?v=MKD-sCZWpZQ</a><a href="https://mastodon.social/tags/dotnet" class="mention hashtag" rel="nofollow noopener" target="_blank">#dotnet</a> <a href="https://mastodon.social/tags/vscode" class="mention hashtag" rel="nofollow noopener" target="_blank">#vscode</a> <a href="https://mastodon.social/tags/githubcopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#githubcopilot</a>

James MontemagnoHuge day for <a href="https://mastodon.social/tags/vscode" class="mention hashtag" rel="nofollow noopener" target="_blank">#vscode</a> and <a href="https://mastodon.social/tags/GitHubCopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#GitHubCopilot</a>. Agent mode is GA and MCP and Code Reviews. So cool seeing Satya vibe coding!<a href="https://mastodon.social/tags/microsoftemployee" class="mention hashtag" rel="nofollow noopener" target="_blank">#microsoftemployee</a> <a href="https://mastodon.social/tags/microsoft50" class="mention hashtag" rel="nofollow noopener" target="_blank">#microsoft50</a> <a href="https://mastodon.social/tags/vscode" class="mention hashtag" rel="nofollow noopener" target="_blank">#vscode</a>

James MontemagnoToday is the day!! <a href="https://mastodon.social/tags/Microsoft50" class="mention hashtag" rel="nofollow noopener" target="_blank">#Microsoft50</a>! Humbled to also be celebrating 9 years at Microsoft! Can’t wait to hear all the amazing announcements today!!!<a href="https://www.microsoft.com/copilot-event" rel="nofollow noopener" translate="no" target="_blank">https://www.microsoft.com/copilot-event</a><a href="https://mastodon.social/tags/MicrosoftEmployee" class="mention hashtag" rel="nofollow noopener" target="_blank">#MicrosoftEmployee</a> <a href="https://mastodon.social/tags/vscode" class="mention hashtag" rel="nofollow noopener" target="_blank">#vscode</a> <a href="https://mastodon.social/tags/githubcopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#githubcopilot</a> <a href="https://mastodon.social/tags/dotnet" class="mention hashtag" rel="nofollow noopener" target="_blank">#dotnet</a> <a href="https://mastodon.social/tags/copilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#copilot</a> <a href="https://mastodon.social/tags/microsoftevent" class="mention hashtag" rel="nofollow noopener" target="_blank">#microsoftevent</a>

James MontemagnoFriday 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!<a href="https://microsoft.com/copilot-event" rel="nofollow noopener" translate="no" target="_blank">https://microsoft.com/copilot-event</a><a href="https://mastodon.social/tags/MicrosoftEvent" class="mention hashtag" rel="nofollow noopener" target="_blank">#MicrosoftEvent</a> <a href="https://mastodon.social/tags/MicrosoftEmployee" class="mention hashtag" rel="nofollow noopener" target="_blank">#MicrosoftEmployee</a> <a href="https://mastodon.social/tags/Microsoft50" class="mention hashtag" rel="nofollow noopener" target="_blank">#Microsoft50</a> <a href="https://mastodon.social/tags/copilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#copilot</a> <a href="https://mastodon.social/tags/githubcopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#githubcopilot</a> <a href="https://mastodon.social/tags/vscode" class="mention hashtag" rel="nofollow noopener" target="_blank">#vscode</a> <a href="https://mastodon.social/tags/dotnet" class="mention hashtag" rel="nofollow noopener" target="_blank">#dotnet</a>

James MontemagnoI’m going behind the scenes at tomorrow’s 50th celebration! Interviews, news, and more! Going to drop across my socials and YouTube!!!<a href="https://unlocked.microsoft.com/50th/" rel="nofollow noopener" translate="no" target="_blank">https://unlocked.microsoft.com/50th/</a><a href="https://mastodon.social/tags/Microsoft50" class="mention hashtag" rel="nofollow noopener" target="_blank">#Microsoft50</a> <a href="https://mastodon.social/tags/MicrosoftEmployee" class="mention hashtag" rel="nofollow noopener" target="_blank">#MicrosoftEmployee</a> <a href="https://mastodon.social/tags/vscode" class="mention hashtag" rel="nofollow noopener" target="_blank">#vscode</a> <a href="https://mastodon.social/tags/githubcopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#githubcopilot</a> <a href="https://mastodon.social/tags/dotnet" class="mention hashtag" rel="nofollow noopener" target="_blank">#dotnet</a>

James MontemagnoCustom models for <a href="https://mastodon.social/tags/GitHubCopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#GitHubCopilot</a> comes to <a href="https://mastodon.social/tags/vscode" class="mention hashtag" rel="nofollow noopener" target="_blank">#vscode</a>! That’s right, bring your own model!!! Even ones running locally!!<a href="https://youtu.be/EeUXWrbMtpM?si=y-ofhRuZNK_pV914" rel="nofollow noopener" translate="no" target="_blank">https://youtu.be/EeUXWrbMtpM?si=y-ofhRuZNK_pV914</a>

James MontemagnoModel Context Protocol Server support (MCP) just landed in <a href="https://mastodon.social/tags/vscode" class="mention hashtag" rel="nofollow noopener" target="_blank">#vscode</a> for <a href="https://mastodon.social/tags/githubcopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#githubcopilot</a>! What are these things? How do they work? And why should you care about them? I got you covered:<a href="https://www.youtube.com/watch?v=iS25RFups4A" rel="nofollow noopener" translate="no" target="_blank">https://www.youtube.com/watch?v=iS25RFups4A</a>

Alvin AshcraftContext is all you need: Better AI results with custom instructions | by Rob Conery & Burke Holland. <a href="https://code.visualstudio.com/blogs/2025/03/26/custom-instructions" rel="nofollow noopener" target="_blank">code.visualstudio.com/blogs/2025/0...</a> <a class="hashtag" href="https://bsky.app/search?q=%23vscode" rel="nofollow noopener" target="_blank">#vscode</a> <a class="hashtag" href="https://bsky.app/search?q=%23ai" rel="nofollow noopener" target="_blank">#ai</a> <a class="hashtag" href="https://bsky.app/search?q=%23githubcopilot" rel="nofollow noopener" target="_blank">#githubcopilot</a> <a class="hashtag" href="https://bsky.app/search?q=%23productivity" rel="nofollow noopener" target="_blank">#productivity</a> <a class="hashtag" href="https://bsky.app/search?q=%23programming" rel="nofollow noopener" target="_blank">#programming</a> <a href="https://code.visualstudio.com/blogs/2025/03/26/custom-instructions" rel="nofollow noopener" target="_blank">Context is all you need: Bette...</a>

Recent searches

Search options

Administered by:

Server stats:

#githubcopilot