Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mastodon.world is one of the many independent Mastodon servers you can use to participate in the fediverse.
Generic Mastodon server for anyone to use.

Administered by:

Server stats:

9.1K
active users

mastodon.world: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#githubcopilot

17 posts14 participants0 posts today
LLMsFrom 60 to 25 Hours: Practical Tips for Effective AI-Assisted Development TL;DR Cut development t...<br><br><a href="https://dev.to/snikidev/from-60-to-25-hours-practical-tips-for-effective-ai-assisted-development-5e3n" rel="nofollow noopener noreferrer" target="_blank">https://dev.to/snikidev/from-60-to-25-hours-practical-tips-for-effective-ai-assisted-development-5e3n</a><br><br><a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/ai" target="_blank">#ai</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/githubcopilot" target="_blank">#githubcopilot</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/productivity" target="_blank">#productivity</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/llm" target="_blank">#llm</a><br><br><a href="https://awakari.com/pub-msg.html?id=Vz0L7zKgtNu3GwtGg0WFq8v8CnY&amp;interestId=LLMs" rel="nofollow noopener noreferrer" target="_blank">Result Details</a>
Bytes Europe<p>Allpay Says AI Boosts Productivity, Software Releases <a href="https://www.byteseu.com/1014326/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">byteseu.com/1014326/</span><span class="invisible"></span></a> <a href="https://pubeurope.com/tags/AdamWheater" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AdamWheater</span></a> <a href="https://pubeurope.com/tags/AdrianMichalowski" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AdrianMichalowski</span></a> <a href="https://pubeurope.com/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://pubeurope.com/tags/AllPay" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AllPay</span></a> <a href="https://pubeurope.com/tags/ArtificialIntelligence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ArtificialIntelligence</span></a> <a href="https://pubeurope.com/tags/CloudComputing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CloudComputing</span></a> <a href="https://pubeurope.com/tags/GenAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GenAI</span></a> <a href="https://pubeurope.com/tags/GenerativeAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GenerativeAI</span></a> <a href="https://pubeurope.com/tags/GitHubCopilot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GitHubCopilot</span></a> <a href="https://pubeurope.com/tags/MicrosoftAzure" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MicrosoftAzure</span></a> <a href="https://pubeurope.com/tags/News" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>News</span></a> <a href="https://pubeurope.com/tags/NickWoolley" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NickWoolley</span></a> <a href="https://pubeurope.com/tags/PaymentsProvider" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PaymentsProvider</span></a> <a href="https://pubeurope.com/tags/PYMNTSNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PYMNTSNews</span></a> <a href="https://pubeurope.com/tags/SoftwareDevelopment" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SoftwareDevelopment</span></a></p>
Alvin Ashcraft 🐿️<p>Beyond the tools, adding MCP in VS Code | by Harald Kirschner.</p><p><a href="https://code.visualstudio.com/blogs/2025/05/12/agent-mode-meets-mcp" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">code.visualstudio.com/blogs/20</span><span class="invisible">25/05/12/agent-mode-meets-mcp</span></a> </p><p><a href="https://hachyderm.io/tags/vscode" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>vscode</span></a> <a href="https://hachyderm.io/tags/ai" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ai</span></a> <a href="https://hachyderm.io/tags/githubcopilot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>githubcopilot</span></a> <a href="https://hachyderm.io/tags/mcp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mcp</span></a> <a href="https://hachyderm.io/tags/aiagents" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>aiagents</span></a> <a href="https://hachyderm.io/tags/modelcontextprotocol" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>modelcontextprotocol</span></a></p>
Alvin Ashcraft<p>Visual Studio 2022 + Copilot Agent Mode + Model Context Protocol (MCP) Servers Are Here | with James Montemagno. <a href="https://buff.ly/QqRzgjj" rel="nofollow noopener noreferrer" target="_blank">buff.ly/QqRzgjj</a> <a class="hashtag" href="https://bsky.app/search?q=%23vs2022" rel="nofollow noopener noreferrer" target="_blank">#vs2022</a> <a class="hashtag" href="https://bsky.app/search?q=%23githubcopilot" rel="nofollow noopener noreferrer" target="_blank">#githubcopilot</a> <a class="hashtag" href="https://bsky.app/search?q=%23visualstudio" rel="nofollow noopener noreferrer" target="_blank">#visualstudio</a> <a class="hashtag" href="https://bsky.app/search?q=%23mcp" rel="nofollow noopener noreferrer" target="_blank">#mcp</a> <a class="hashtag" href="https://bsky.app/search?q=%23ai" rel="nofollow noopener noreferrer" target="_blank">#ai</a> <a class="hashtag" href="https://bsky.app/search?q=%23modelcontextprotocol" rel="nofollow noopener noreferrer" target="_blank">#modelcontextprotocol</a> <a class="hashtag" href="https://bsky.app/search?q=%23aiagents" rel="nofollow noopener noreferrer" target="_blank">#aiagents</a><br><br><a href="https://buff.ly/QqRzgjj" rel="nofollow noopener noreferrer" target="_blank">Visual Studio 2022 + Copilot A...</a></p>
Alvin Ashcraft 🐿️<p>Visual Studio 2022 + Copilot Agent Mode + Model Context Protocol (MCP) Servers Are Here | with James Montemagno.</p><p><a href="https://www.youtube.com/watch?v=oPFecZHBCkg" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=oPFecZHBCk</span><span class="invisible">g</span></a> </p><p><a href="https://hachyderm.io/tags/vs2022" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>vs2022</span></a> <a href="https://hachyderm.io/tags/githubcopilot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>githubcopilot</span></a> <a href="https://hachyderm.io/tags/visualstudio" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>visualstudio</span></a> <a href="https://hachyderm.io/tags/mcp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mcp</span></a> <a href="https://hachyderm.io/tags/ai" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ai</span></a> <a href="https://hachyderm.io/tags/modelcontextprotocol" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>modelcontextprotocol</span></a> <a href="https://hachyderm.io/tags/aiagents" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>aiagents</span></a></p>
Alvin Ashcraft<p>Agent mode has arrived in preview for Visual Studio. <a href="https://buff.ly/8RpUJPu" rel="nofollow noopener noreferrer" target="_blank">buff.ly/8RpUJPu</a> <a class="hashtag" href="https://bsky.app/search?q=%23visualstudio" rel="nofollow noopener noreferrer" target="_blank">#visualstudio</a> <a class="hashtag" href="https://bsky.app/search?q=%23ai" rel="nofollow noopener noreferrer" target="_blank">#ai</a> <a class="hashtag" href="https://bsky.app/search?q=%23productivity" rel="nofollow noopener noreferrer" target="_blank">#productivity</a> <a class="hashtag" href="https://bsky.app/search?q=%23githubcopilot" rel="nofollow noopener noreferrer" target="_blank">#githubcopilot</a> <a class="hashtag" href="https://bsky.app/search?q=%23aiagents" rel="nofollow noopener noreferrer" target="_blank">#aiagents</a><br><br><a href="https://buff.ly/8RpUJPu" rel="nofollow noopener noreferrer" target="_blank">Agent mode has arrived in prev...</a></p>
Alvin Ashcraft 🐿️<p>Agent mode has arrived in preview for Visual Studio.</p><p><a href="https://devblogs.microsoft.com/visualstudio/agent-mode-has-arrived-in-preview-for-visual-studio/?hide_banner=true" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">devblogs.microsoft.com/visuals</span><span class="invisible">tudio/agent-mode-has-arrived-in-preview-for-visual-studio/?hide_banner=true</span></a> </p><p><a href="https://hachyderm.io/tags/visualstudio" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>visualstudio</span></a> <a href="https://hachyderm.io/tags/ai" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ai</span></a> <a href="https://hachyderm.io/tags/productivity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>productivity</span></a> <a href="https://hachyderm.io/tags/githubcopilot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>githubcopilot</span></a> <a href="https://hachyderm.io/tags/aiagents" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>aiagents</span></a></p>
Alvin Ashcraft 🐿️<p>🎉 Visual Studio 2022 v17.14 is now generally available! | by Mads Kristensen.</p><p><a href="https://devblogs.microsoft.com/visualstudio/visual-studio-2022-v17-14-is-now-generally-available/?hide_banner=true" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">devblogs.microsoft.com/visuals</span><span class="invisible">tudio/visual-studio-2022-v17-14-is-now-generally-available/?hide_banner=true</span></a></p><p><a href="https://hachyderm.io/tags/vs2022" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>vs2022</span></a> <a href="https://hachyderm.io/tags/visualstudio" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>visualstudio</span></a> <a href="https://hachyderm.io/tags/debugging" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>debugging</span></a> <a href="https://hachyderm.io/tags/ai" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ai</span></a> <a href="https://hachyderm.io/tags/productivity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>productivity</span></a> <a href="https://hachyderm.io/tags/dotnet" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dotnet</span></a> <a href="https://hachyderm.io/tags/githubcopilot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>githubcopilot</span></a></p>
Alvin Ashcraft<p>🎉 Visual Studio 2022 v17.14 is now generally available! | by Mads Kristensen. <a href="https://buff.ly/vwuL7Fn" rel="nofollow noopener noreferrer" target="_blank">buff.ly/vwuL7Fn</a> <a class="hashtag" href="https://bsky.app/search?q=%23vs2022" rel="nofollow noopener noreferrer" target="_blank">#vs2022</a> <a class="hashtag" href="https://bsky.app/search?q=%23visualstudio" rel="nofollow noopener noreferrer" target="_blank">#visualstudio</a> <a class="hashtag" href="https://bsky.app/search?q=%23debugging" rel="nofollow noopener noreferrer" target="_blank">#debugging</a> <a class="hashtag" href="https://bsky.app/search?q=%23ai" rel="nofollow noopener noreferrer" target="_blank">#ai</a> <a class="hashtag" href="https://bsky.app/search?q=%23productivity" rel="nofollow noopener noreferrer" target="_blank">#productivity</a> <a class="hashtag" href="https://bsky.app/search?q=%23dotnet" rel="nofollow noopener noreferrer" target="_blank">#dotnet</a> <a class="hashtag" href="https://bsky.app/search?q=%23githubcopilot" rel="nofollow noopener noreferrer" target="_blank">#githubcopilot</a><br><br><a href="https://buff.ly/vwuL7Fn" rel="nofollow noopener noreferrer" target="_blank">🎉 Visual Studio 2022 v17.14 is...</a></p>
LavX News<p>The AI Revolution in Software Development: Quantifying Impact and Productivity</p><p>As AI coding assistants become integral to software development, industry leaders like Microsoft are reporting significant productivity gains. This article explores the metrics and tools that are shap...</p><p><a href="https://news.lavx.hu/article/the-ai-revolution-in-software-development-quantifying-impact-and-productivity" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">news.lavx.hu/article/the-ai-re</span><span class="invisible">volution-in-software-development-quantifying-impact-and-productivity</span></a></p><p><a href="https://mastodon.cloud/tags/news" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>news</span></a> <a href="https://mastodon.cloud/tags/tech" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>tech</span></a> <a href="https://mastodon.cloud/tags/SoftwareEngineering" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SoftwareEngineering</span></a> <a href="https://mastodon.cloud/tags/AIProductivity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AIProductivity</span></a> <a href="https://mastodon.cloud/tags/GitHubCopilot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GitHubCopilot</span></a></p>
James Montemagno<p>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:</p><p><a href="https://www.youtube.com/watch?v=oPFecZHBCkg&amp;feature=youtu.be" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=oPFecZHBCk</span><span class="invisible">g&amp;feature=youtu.be</span></a></p><p><a href="https://mastodon.social/tags/dotnet" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dotnet</span></a> <a href="https://mastodon.social/tags/visualstudio" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>visualstudio</span></a> <a href="https://mastodon.social/tags/githubcopilot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>githubcopilot</span></a> <a href="https://mastodon.social/tags/agentmode" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>agentmode</span></a></p>
Alvin Ashcraft<p>GitHub for Beginners: Building a React App with GitHub Copilot. <a href="https://buff.ly/h0ET7ab" rel="nofollow noopener noreferrer" target="_blank">buff.ly/h0ET7ab</a> <a class="hashtag" href="https://bsky.app/search?q=%23github" rel="nofollow noopener noreferrer" target="_blank">#github</a> <a class="hashtag" href="https://bsky.app/search?q=%23react" rel="nofollow noopener noreferrer" target="_blank">#react</a> <a class="hashtag" href="https://bsky.app/search?q=%23javascript" rel="nofollow noopener noreferrer" target="_blank">#javascript</a> <a class="hashtag" href="https://bsky.app/search?q=%23webdev" rel="nofollow noopener noreferrer" target="_blank">#webdev</a> <a class="hashtag" href="https://bsky.app/search?q=%23frontend" rel="nofollow noopener noreferrer" target="_blank">#frontend</a> <a class="hashtag" href="https://bsky.app/search?q=%23githubcopilot" rel="nofollow noopener noreferrer" target="_blank">#githubcopilot</a> <a class="hashtag" href="https://bsky.app/search?q=%23ai" rel="nofollow noopener noreferrer" target="_blank">#ai</a><br><br><a href="https://buff.ly/h0ET7ab" rel="nofollow noopener noreferrer" target="_blank">GitHub for Beginners: Building...</a></p>
Alvin Ashcraft 🐿️<p>GitHub for Beginners: Building a React App with GitHub Copilot.</p><p><a href="https://github.blog/ai-and-ml/github-copilot/github-for-beginners-building-a-react-app-with-github-copilot/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.blog/ai-and-ml/github-c</span><span class="invisible">opilot/github-for-beginners-building-a-react-app-with-github-copilot/</span></a> </p><p><a href="https://hachyderm.io/tags/github" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>github</span></a> <a href="https://hachyderm.io/tags/react" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>react</span></a> <a href="https://hachyderm.io/tags/javascript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>javascript</span></a> <a href="https://hachyderm.io/tags/webdev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>webdev</span></a> <a href="https://hachyderm.io/tags/frontend" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>frontend</span></a> <a href="https://hachyderm.io/tags/githubcopilot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>githubcopilot</span></a> <a href="https://hachyderm.io/tags/ai" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ai</span></a></p>
Alvin Ashcraft 🐿️<p>Real‑world video demo: Using different AI models in GitHub Copilot.</p><p><a href="https://github.blog/ai-and-ml/real%e2%80%91world-video-demo-using-different-ai-models-in-github-copilot/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.blog/ai-and-ml/real%e2%</span><span class="invisible">80%91world-video-demo-using-different-ai-models-in-github-copilot/</span></a> </p><p><a href="https://hachyderm.io/tags/ai" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ai</span></a> <a href="https://hachyderm.io/tags/aimodels" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>aimodels</span></a> <a href="https://hachyderm.io/tags/githubcopilot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>githubcopilot</span></a> <a href="https://hachyderm.io/tags/productivity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>productivity</span></a> <a href="https://hachyderm.io/tags/aiassistant" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>aiassistant</span></a></p>
LavX News<p>GitHub's Vision for AI: Empowering Developers Without Replacing Them</p><p>As AI continues to revolutionize software development, GitHub CEO Thomas Dohmke emphasizes the enduring need for human programmers. With tools like GitHub Copilot evolving into powerful coding assista...</p><p><a href="https://news.lavx.hu/article/github-s-vision-for-ai-empowering-developers-without-replacing-them" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">news.lavx.hu/article/github-s-</span><span class="invisible">vision-for-ai-empowering-developers-without-replacing-them</span></a></p><p><a href="https://mastodon.cloud/tags/news" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>news</span></a> <a href="https://mastodon.cloud/tags/tech" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>tech</span></a> <a href="https://mastodon.cloud/tags/AIAssistants" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AIAssistants</span></a> <a href="https://mastodon.cloud/tags/GitHubCopilot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GitHubCopilot</span></a> <a href="https://mastodon.cloud/tags/CodingEducation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CodingEducation</span></a></p>
LavX News<p>GitHub's Vision for AI: Empowering Developers Without Replacing Them</p><p>As AI continues to revolutionize software development, GitHub CEO Thomas Dohmke emphasizes the enduring need for human programmers. With tools like GitHub Copilot evolving into powerful coding assista...</p><p><a href="https://news.lavx.hu/article/github-s-vision-for-ai-empowering-developers-without-replacing-them" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">news.lavx.hu/article/github-s-</span><span class="invisible">vision-for-ai-empowering-developers-without-replacing-them</span></a></p><p><a href="https://ioc.exchange/tags/news" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>news</span></a> <a href="https://ioc.exchange/tags/tech" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>tech</span></a> <a href="https://ioc.exchange/tags/AIAssistants" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AIAssistants</span></a> <a href="https://ioc.exchange/tags/GitHubCopilot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GitHubCopilot</span></a> <a href="https://ioc.exchange/tags/CodingEducation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CodingEducation</span></a></p>
Terence Tao<p>I 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 noreferrer" target="_blank">#<span>GithubCopilot</span></a> large language model and the dependent type matching tactic <a href="https://mathstodon.xyz/tags/canonical" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>canonical</span></a> - to try to semi-automatically formalize in <a href="https://mathstodon.xyz/tags/Lean" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lean</span></a> a one-page proof provided by a collaborator of the <a href="https://mathstodon.xyz/tags/EquationalTheoriesProject" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>EquationalTheoriesProject</span></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".</p><p>I recorded my attempt at <a href="https://www.youtube.com/watch?v=cyyR7j2ChCI" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=cyyR7j2ChC</span><span class="invisible">I</span></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 noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">leanprover.zulipchat.com/#narr</span><span class="invisible">ow/channel/458659-Equational/topic/Alternative.20proofs.20of.20E1689.E2.8A.A2E2</span></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 noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/teorth/estimate_too</span><span class="invisible">ls/blob/master/EstimateTools/test/equational.lean</span></a></p>
Winbuzzer<p>GitHub Copilot Sets OpenAI's GPT-4.1 Model as Default, Changes Rate Limits</p><p><a href="https://mastodon.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mastodon.social/tags/AICoding" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AICoding</span></a> <a href="https://mastodon.social/tags/GitHubCopilot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GitHubCopilot</span></a> <a href="https://mastodon.social/tags/OpenAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OpenAI</span></a> <a href="https://mastodon.social/tags/GPT41" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GPT41</span></a> <a href="https://mastodon.social/tags/DevTools" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DevTools</span></a> <a href="https://mastodon.social/tags/SoftwareDevelopment" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SoftwareDevelopment</span></a> <a href="https://mastodon.social/tags/VSCode" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>VSCode</span></a> <a href="https://mastodon.social/tags/GitHub" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GitHub</span></a></p><p><a href="https://winbuzzer.com/2025/05/09/github-copilot-sets-openais-gpt-4-1-model-as-default-changes-rate-limits-xcxwbn/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">winbuzzer.com/2025/05/09/githu</span><span class="invisible">b-copilot-sets-openais-gpt-4-1-model-as-default-changes-rate-limits-xcxwbn/</span></a></p>
Alvin Ashcraft 🐿️<p>VS Code April 2025 (version 1.100) release notes.</p><p><a href="https://code.visualstudio.com/updates/v1_100" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">code.visualstudio.com/updates/</span><span class="invisible">v1_100</span></a> </p><p><a href="https://hachyderm.io/tags/vscode" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>vscode</span></a> <a href="https://hachyderm.io/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://hachyderm.io/tags/webdev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>webdev</span></a> <a href="https://hachyderm.io/tags/githubcopilot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>githubcopilot</span></a> <a href="https://hachyderm.io/tags/productivity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>productivity</span></a> <a href="https://hachyderm.io/tags/mcp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mcp</span></a> <a href="https://hachyderm.io/tags/ai" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ai</span></a></p>
Alvin Ashcraft<p>VS Code April 2025 (version 1.100) release notes. <a href="https://buff.ly/BLKrNOk" rel="nofollow noopener noreferrer" target="_blank">buff.ly/BLKrNOk</a> <a class="hashtag" href="https://bsky.app/search?q=%23vscode" rel="nofollow noopener noreferrer" target="_blank">#vscode</a> <a class="hashtag" href="https://bsky.app/search?q=%23programming" rel="nofollow noopener noreferrer" target="_blank">#programming</a> <a class="hashtag" href="https://bsky.app/search?q=%23webdev" rel="nofollow noopener noreferrer" target="_blank">#webdev</a> <a class="hashtag" href="https://bsky.app/search?q=%23githubcopilot" rel="nofollow noopener noreferrer" target="_blank">#githubcopilot</a> <a class="hashtag" href="https://bsky.app/search?q=%23productivity" rel="nofollow noopener noreferrer" target="_blank">#productivity</a> <a class="hashtag" href="https://bsky.app/search?q=%23mcp" rel="nofollow noopener noreferrer" target="_blank">#mcp</a> <a class="hashtag" href="https://bsky.app/search?q=%23ai" rel="nofollow noopener noreferrer" target="_blank">#ai</a><br><br><a href="https://buff.ly/BLKrNOk" rel="nofollow noopener noreferrer" target="_blank">April 2025 (version 1.100)</a></p>
ExploreLive feeds
About