Lmst

👨‍💻💡 "Someone thought #Erlang needed a Node-RED knockoff, because who doesn’t want to visually drag-and-drop their way to a distributed systems headache? 🤦‍♂️ GitHub Copilot must be laughing in its algorithmic dreams."
https://github.com/gorenje/erlang-red #NodeRED #DistributedSystems #DragAndDrop #GitHubCopilot #HackerNews #ngated

Beyond the tools, adding MCP in VS Code | by Harald Kirschner. buff.ly/oaWiWfw #vscode #ai #githubcopilot #mcp #aiagents #modelcontextprotocol

Beyond the tools, adding MCP i...

Beyond the tools, adding MCP in VS Code | by Harald Kirschner.

https://code.visualstudio.com/blogs/2025/05/12/agent-mode-meets-mcp

#vscode #ai #githubcopilot #mcp #aiagents #modelcontextprotocol

Visual Studio 2022 + Copilot Agent Mode + Model Context Protocol (MCP) Servers Are Here | with James Montemagno. buff.ly/QqRzgjj #vs2022 #githubcopilot #visualstudio #mcp #ai #modelcontextprotocol #aiagents

Visual Studio 2022 + Copilot A...

Visual Studio 2022 + Copilot Agent Mode + Model Context Protocol (MCP) Servers Are Here | with James Montemagno.

https://www.youtube.com/watch?v=oPFecZHBCkg

#vs2022 #githubcopilot #visualstudio #mcp #ai #modelcontextprotocol #aiagents

Agent mode has arrived in preview for Visual Studio. buff.ly/8RpUJPu #visualstudio #ai #productivity #githubcopilot #aiagents

Agent mode has arrived in prev...

Agent mode has arrived in preview for Visual Studio.

https://devblogs.microsoft.com/visualstudio/agent-mode-has-arrived-in-preview-for-visual-studio/?hide_banner=true

#visualstudio #ai #productivity #githubcopilot #aiagents

🎉 Visual Studio 2022 v17.14 is now generally available! | by Mads Kristensen. buff.ly/vwuL7Fn #vs2022 #visualstudio #debugging #ai #productivity #dotnet #githubcopilot

🎉 Visual Studio 2022 v17.14 is...

🎉 Visual Studio 2022 v17.14 is now generally available! | by Mads Kristensen.

https://devblogs.microsoft.com/visualstudio/visual-studio-2022-v17-14-is-now-generally-available/?hide_banner=true

#vs2022 #visualstudio #debugging #ai #productivity #dotnet #githubcopilot

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

#dotnet #visualstudio #githubcopilot #agentmode

GitHub for Beginners: Building a React App with GitHub Copilot. buff.ly/h0ET7ab #github #react #javascript #webdev #frontend #githubcopilot #ai

GitHub for Beginners: Building...

GitHub for Beginners: Building a React App with GitHub Copilot.

https://github.blog/ai-and-ml/github-copilot/github-for-beginners-building-a-react-app-with-github-copilot/

#github #react #javascript #webdev #frontend #githubcopilot #ai

GitHubCopilot AgentMode チュートリアル For Java Developer
https://qiita.com/gengen0719/items/102936699375a9f5b774?utm_campaign=popular_items&utm_medium=feed&utm_source=popular_items

#qiita #Java #初心者向け #SpringBoot #githubcopilot #AIエージェント

Real‑world video demo: Using different AI models in GitHub Copilot. buff.ly/A7LwY4g #ai #aimodels #githubcopilot #productivity #aiassistant

Real‑world video demo: Using d...

Real‑world video demo: Using different AI models in GitHub Copilot.

https://github.blog/ai-and-ml/real%e2%80%91world-video-demo-using-different-ai-models-in-github-copilot/

#ai #aimodels #githubcopilot #productivity #aiassistant

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