Recent searches

No recent searches

Search options

Only available when logged in.
eupolicy.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
This Mastodon server is a friendly and respectful discussion space for people working in areas related to EU policy. When you request to create an account, please tell us something about you.

Administered by:

Server stats:

192
active users

eupolicy.social: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.1

#GitHubCopilot

0 posts0 participants0 posts today
Alex0007<p>Which IDE to choose for yourself?</p><p>Is subscription price important (10$ vs 20$)?</p><p>Is there fear of getting locked out without paying extra money (in Copilot you can continue using GPT-4.1 or similar model, but in Cursor when you reach the limit you become completely locked out)</p><p>With both plans you wouldn't be able to consistently use capable models for programming from Claude, because you will hit the limit too early</p><p><a href="https://mastodon.social/tags/VSCode" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>VSCode</span></a> <a href="https://mastodon.social/tags/Cursor" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Cursor</span></a> <a href="https://mastodon.social/tags/Claude" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Claude</span></a> <a href="https://mastodon.social/tags/GitHubCopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GitHubCopilot</span></a></p>
Misinformation-Superhighwayman<p>GitHub will be folded into Microsoft proper as CEO steps down<br><a href="https://arstechnica.com/gadgets/2025/08/github-will-be-folded-into-microsoft-proper-as-ceo-steps-down/?utm_source=mastodon" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">arstechnica.com/gadgets/2025/0</span><span class="invisible">8/github-will-be-folded-into-microsoft-proper-as-ceo-steps-down/?utm_source=mastodon</span></a></p><p>Today's news about GitHub should not come as a big surprise. The writing was on the wall in 2018 when Microsoft bought GitHub for $7.5 Billion. Microsoft is asserting full control over a company they've consumed, and they're proceeding to run it into the ground. And, as with practically every Tech company these days, the motivation is to build hype about integration with AI/LLM technology.</p><p>What I find surprising is the timing of GitHub CEO Thomas Dohmke's departure — it was not part of an immediate post-takeover clearout, nor after a transitional period that's traditionally one or two years, nor did he settle-in comfortably until the end of his career.</p><p>Concerns that GitHub is progressing along the path to enshittification are not unfounded. Microsoft has a habit of this — look at what they did to Hotmail, Visio, Nokia, Skype, and more (LinkedIn is, IMHO, an exception to this pattern; it came pre-enshittified).</p><p>I'm tipping that most companies currently using GitHub will continue to use it. The news isn't serious enough for them to put themselves through the discomfort of migrating to a different repository platform, or establishing and committing to maintain their own in-house system. Small businesses, community projects, students, hobby coders, and some Open Source Software projects might be inspired to migrate? Maybe? Startups might think a bit harder about whether to go with GitHub or one of the alternatives?</p><p>I think the real lesson here is that any platform you get into needs to have a smooth path to migrate in your content, and to migrate out as a safe and easy exit strategy. In the meantime, the importance of interoperability is as strong as ever. The same goes for not getting locked into an ecosystem that looks convenient but turns out to be a "Walled Garden". That, and the warning that if a product or service is presented to you as "Free" then it's likely that you and your work are the product.</p><p><a href="https://aus.social/tags/GitHub" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GitHub</span></a> <a href="https://aus.social/tags/Microsoft" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Microsoft</span></a> <a href="https://aus.social/tags/GitHubCopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GitHubCopilot</span></a> <a href="https://aus.social/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://aus.social/tags/LLM" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLM</span></a> <a href="https://aus.social/tags/Enshittification" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Enshittification</span></a></p>
Joche Ojeda<p>DevExpress Documentations is now accessible as an MCP server</p><p><a href="https://www.jocheojeda.com/2025/08/05/devexpress-documentations-is-now-accessible-as-an-mcp-server/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">jocheojeda.com/2025/08/05/deve</span><span class="invisible">xpress-documentations-is-now-accessible-as-an-mcp-server/</span></a></p><p><a href="https://mastodon.social/tags/DevExpress" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DevExpress</span></a> <a href="https://mastodon.social/tags/GitHubCopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GitHubCopilot</span></a> <a href="https://mastodon.social/tags/MCPserver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MCPserver</span></a> <a href="https://mastodon.social/tags/VisualStudio" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>VisualStudio</span></a> <a href="https://mastodon.social/tags/VSCode" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>VSCode</span></a> <a href="https://mastodon.social/tags/XAF" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>XAF</span></a> <a href="https://mastodon.social/tags/AIdevelopment" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AIdevelopment</span></a> <a href="https://mastodon.social/tags/Microsoft" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Microsoft</span></a> <a href="https://mastodon.social/tags/agentmode" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>agentmode</span></a> <a href="https://mastodon.social/tags/documentation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>documentation</span></a> <a href="https://mastodon.social/tags/codingassistant" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>codingassistant</span></a> <a href="https://mastodon.social/tags/developertools" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>developertools</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/NETdevelopment" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NETdevelopment</span></a> <a href="https://mastodon.social/tags/artificialintelligence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>artificialintelligence</span></a></p>
Australia News Beep<p>Cursor snaps up enterprise startup Koala in challenge to GitHub Copilot</p><p>The startup behind the viral AI coding app Cursor is snapping up top talent from AI enterprise startups…<br><a href="https://newsbeep.org/tags/NewsBeep" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NewsBeep</span></a> <a href="https://newsbeep.org/tags/News" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>News</span></a> <a href="https://newsbeep.org/tags/Artificialintelligence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Artificialintelligence</span></a> <a href="https://newsbeep.org/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://newsbeep.org/tags/AIcodingtools" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AIcodingtools</span></a> <a href="https://newsbeep.org/tags/ArtificialIntelligence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ArtificialIntelligence</span></a> <a href="https://newsbeep.org/tags/AU" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AU</span></a> <a href="https://newsbeep.org/tags/Australia" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Australia</span></a> <a href="https://newsbeep.org/tags/cursor" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>cursor</span></a> <a href="https://newsbeep.org/tags/Exclusive" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Exclusive</span></a> <a href="https://newsbeep.org/tags/GitHubCopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GitHubCopilot</span></a> <a href="https://newsbeep.org/tags/Technology" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Technology</span></a><br><a href="https://www.newsbeep.com/au/5470/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">newsbeep.com/au/5470/</span><span class="invisible"></span></a></p>
UK<p><a href="https://www.europesays.com/uk/273675/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">europesays.com/uk/273675/</span><span class="invisible"></span></a> Cursor snaps up enterprise startup Koala in challenge to GitHub Copilot <a href="https://pubeurope.com/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://pubeurope.com/tags/AICodingTools" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AICodingTools</span></a> <a href="https://pubeurope.com/tags/ArtificialIntelligence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ArtificialIntelligence</span></a> <a href="https://pubeurope.com/tags/cursor" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>cursor</span></a> <a href="https://pubeurope.com/tags/Exclusive" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Exclusive</span></a> <a href="https://pubeurope.com/tags/GitHubCopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GitHubCopilot</span></a> <a href="https://pubeurope.com/tags/Technology" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Technology</span></a> <a href="https://pubeurope.com/tags/UK" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>UK</span></a> <a href="https://pubeurope.com/tags/UnitedKingdom" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>UnitedKingdom</span></a></p>
JAVAPRO<p><a href="https://mastodon.social/tags/GitHubCopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GitHubCopilot</span></a>, Cursor, <a href="https://mastodon.social/tags/DevoxxGenie" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DevoxxGenie</span></a>: same promise, different results. <span class="h-card" translate="no"><a href="https://mastodon.social/@lizeraes" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>lizeraes</span></a></span> tested leading <a href="https://mastodon.social/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> coding tools on real workflows. The gaps between them are bigger than you think.</p><p>Read the detailed comparison: <a href="https://javapro.io/2025/07/02/ai-tooling-for-software-development-the-useless-the-useful-and-the-future/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">javapro.io/2025/07/02/ai-tooli</span><span class="invisible">ng-for-software-development-the-useless-the-useful-and-the-future/</span></a></p><p><a href="https://mastodon.social/tags/Frameworks" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Frameworks</span></a> <a href="https://mastodon.social/tags/LLM" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLM</span></a> <a href="https://mastodon.social/tags/LangChain4j" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LangChain4j</span></a> @langchain4j</p>
Werner Keil<p><a href="https://mastodon.social/tags/GitHubCopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GitHubCopilot</span></a> und Co.: Warum <a href="https://mastodon.social/tags/KI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>KI</span></a>-<a href="https://mastodon.social/tags/Coding" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Coding</span></a>-Tools an <a href="https://mastodon.social/tags/komplexen" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>komplexen</span></a> Projekten scheitern <a href="https://t3n.de/news/github-copilot-und-co-warum-ki-coding-tools-an-komplexe-projekten-scheitern-1691037/?utm_source=twitter.com&amp;utm_medium=social&amp;utm_campaign=social-buttons" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">t3n.de/news/github-copilot-und</span><span class="invisible">-co-warum-ki-coding-tools-an-komplexe-projekten-scheitern-1691037/?utm_source=twitter.com&amp;utm_medium=social&amp;utm_campaign=social-buttons</span></a> via <span class="h-card" translate="no"><a href="https://t3n.social/@t3n" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>t3n</span></a></span></p>
IT News<p>Why 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"><span class="invisible">https://</span><span class="ellipsis">hackaday.com/2025/07/04/why-gi</span><span class="invisible">thub-copilot-isnt-your-coding-partner/</span></a> <a href="https://schleuss.online/tags/artificialintelligence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>artificialintelligence</span></a> <a href="https://schleuss.online/tags/softwaredevelopment" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>softwaredevelopment</span></a> <a href="https://schleuss.online/tags/largelanguagemodel" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>largelanguagemodel</span></a> <a href="https://schleuss.online/tags/githubcopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>githubcopilot</span></a></p>
Alvin Ashcraft<p>How To Get Better AI Reponses from GitHub Copilot in Seconds | with James Montemagno. <a href="https://buff.ly/Ght71wS" rel="nofollow noopener" target="_blank">buff.ly/Ght71wS</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23githubcopilot" target="_blank">#githubcopilot</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23ai" target="_blank">#ai</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23productivity" target="_blank">#productivity</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23aiassistant" target="_blank">#aiassistant</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23programming" target="_blank">#programming</a><br><br><a href="https://buff.ly/Ght71wS" rel="nofollow noopener" target="_blank">How To Get Better AI Reponses ...</a></p>
:rss: Qiita - 人気の記事<p>Proプランでも使えるようになった「GitHub Copilot coding agent」を試してみた<br><a href="https://qiita.com/youtoy/items/519ce094e794248673a9?utm_campaign=popular_items&amp;utm_medium=feed&amp;utm_source=popular_items" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">qiita.com/youtoy/items/519ce09</span><span class="invisible">4e794248673a9?utm_campaign=popular_items&amp;utm_medium=feed&amp;utm_source=popular_items</span></a></p><p><a href="https://rss-mstdn.studiofreesia.com/tags/qiita" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>qiita</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/JavaScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>JavaScript</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/GitHub" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GitHub</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/p5_js" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>p5_js</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/githubcopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>githubcopilot</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/GitHubCopilotCodingAgent" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GitHubCopilotCodingAgent</span></a></p>
Winbuzzer<p>Anysphere Targets AI Coding Power Users with $200 Cursor 'Ultra' Plan</p><p><a href="https://mastodon.social/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://mastodon.social/tags/AICoding" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AICoding</span></a> <a href="https://mastodon.social/tags/DeveloperTools" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DeveloperTools</span></a> <a href="https://mastodon.social/tags/CursorAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CursorAI</span></a> <a href="https://mastodon.social/tags/Anysphere" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Anysphere</span></a> <a href="https://mastodon.social/tags/SoftwareDevelopment" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SoftwareDevelopment</span></a> <a href="https://mastodon.social/tags/GitHubCopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GitHubCopilot</span></a> <a href="https://mastodon.social/tags/GenAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GenAI</span></a> <a href="https://mastodon.social/tags/TechNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TechNews</span></a> <a href="https://mastodon.social/tags/Programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Programming</span></a> </p><p><a href="https://winbuzzer.com/2025/06/17/anysphere-targets-ai-coding-power-users-with-200-cursor-ultra-plan-xcxwbn/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">winbuzzer.com/2025/06/17/anysp</span><span class="invisible">here-targets-ai-coding-power-users-with-200-cursor-ultra-plan-xcxwbn/</span></a></p>
Alvin Ashcraft<p>GitHub for Beginners: Code review and refactoring with GitHub Copilot. <a href="https://buff.ly/HGOZOO1" rel="nofollow noopener" target="_blank">buff.ly/HGOZOO1</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23github" target="_blank">#github</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23githubcopilot" target="_blank">#githubcopilot</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23ai" target="_blank">#ai</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23codereview" target="_blank">#codereview</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23refactoring" target="_blank">#refactoring</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23programming" target="_blank">#programming</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23aiassistant" target="_blank">#aiassistant</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23learning" target="_blank">#learning</a><br><br><a href="https://buff.ly/HGOZOO1" rel="nofollow noopener" target="_blank">GitHub for Beginners: Code rev...</a></p>
gaurav87565<p>🚀 Top 10 AI Tools Every Developer Needs in 2025! 🤖💻</p><p>AI isn’t replacing developers — it's helping us build faster, smarter, and better. From GitHub Copilot to Amazon CodeWhisperer, discover the most powerful AI tools that are reshaping coding and collaboration in 2025!</p><p>🔍 Boost productivity<br>🧠 Learn faster<br>⚙️ Write cleaner code</p><p>📖 Read the full blog now 👉 <a href="https://www.dapirates.xyz/ai-tools-for-developers-2025-top-tools-benefits/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">dapirates.xyz/ai-tools-for-dev</span><span class="invisible">elopers-2025-top-tools-benefits/</span></a></p><p><a href="https://mastodon.social/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://mastodon.social/tags/Developers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Developers</span></a> <a href="https://mastodon.social/tags/GitHubCopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GitHubCopilot</span></a> <a href="https://mastodon.social/tags/CodeWhisperer" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CodeWhisperer</span></a> <a href="https://mastodon.social/tags/Coding2025" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Coding2025</span></a> <a href="https://mastodon.social/tags/OpenSource" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OpenSource</span></a> <a href="https://mastodon.social/tags/ProductivityTools" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProductivityTools</span></a> <a href="https://mastodon.social/tags/TechTrends" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TechTrends</span></a></p>
Jan :rust: :ferris:<p>The Copilot Delusion - by Jj</p><p><a href="https://deplet.ing/the-copilot-delusion/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">deplet.ing/the-copilot-delusio</span><span class="invisible">n/</span></a></p><p>Pure poetry!</p><p><a href="https://floss.social/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://floss.social/tags/GithubCopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GithubCopilot</span></a> <a href="https://floss.social/tags/ArtificialIntelligence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ArtificialIntelligence</span></a> <a href="https://floss.social/tags/SoftwareDevelopment" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SoftwareDevelopment</span></a> <a href="https://floss.social/tags/SoftwareEngineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SoftwareEngineering</span></a></p>
GitHub Security Lab<p>🚀 Want to secure your code like a pro? Join us virtually to explore how developers can use <a href="https://infosec.exchange/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> and <a href="https://infosec.exchange/tags/GitHubCopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GitHubCopilot</span></a> to build secure software—faster and smarter!</p><p>🕚 May 22, 10am GMT<br>📍 Online (FREE &amp; LIVE!)</p><p>🔗 Save your spot now and forward to your peers: <a href="https://developer.microsoft.com/en-us/reactor/events/25422/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">developer.microsoft.com/en-us/</span><span class="invisible">reactor/events/25422/</span></a></p>
Manuel Siebeneicher<p>Nun gibt es auch einen Programmierassistenten von OpenAI.</p><p>Welche Assistenten nutzt ihr beim Programmieren?</p><p><a href="https://mastodontech.de/tags/Codex" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Codex</span></a> <a href="https://mastodontech.de/tags/OpenAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OpenAI</span></a> <a href="https://mastodontech.de/tags/GitHubCopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GitHubCopilot</span></a> <a href="https://mastodontech.de/tags/Copilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Copilot</span></a> <a href="https://mastodontech.de/tags/VibeCoding" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>VibeCoding</span></a> <a href="https://mastodontech.de/tags/DevLife" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DevLife</span></a> <a href="https://mastodontech.de/tags/Claude" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Claude</span></a></p><p><a href="https://www.heise.de/news/OpenAI-Tool-Codex-soll-Softwareentwicklern-das-Programmieren-abnehmen-10387230.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">heise.de/news/OpenAI-Tool-Code</span><span class="invisible">x-soll-Softwareentwicklern-das-Programmieren-abnehmen-10387230.html</span></a></p>
Terence Tao<p>A third video in my occasional series on <a href="https://mathstodon.xyz/tags/Lean4" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Lean4</span></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">#<span>GitHubCopilot</span></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"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=c1ixXMtmfS</span><span class="invisible">8</span></a></p>
Europe Says<p><a href="https://www.europesays.com/2081543/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">europesays.com/2081543/</span><span class="invisible"></span></a> Allpay Says AI Boosts Productivity, Software Releases <a href="https://pubeurope.com/tags/AdamWheater" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AdamWheater</span></a> <a href="https://pubeurope.com/tags/AdrianMichalowski" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AdrianMichalowski</span></a> <a href="https://pubeurope.com/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://pubeurope.com/tags/AllPay" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AllPay</span></a> <a href="https://pubeurope.com/tags/ArtificialIntelligence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ArtificialIntelligence</span></a> <a href="https://pubeurope.com/tags/CloudComputing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CloudComputing</span></a> <a href="https://pubeurope.com/tags/GenAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GenAI</span></a> <a href="https://pubeurope.com/tags/GenerativeAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GenerativeAI</span></a> <a href="https://pubeurope.com/tags/GitHubCopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GitHubCopilot</span></a> <a href="https://pubeurope.com/tags/MicrosoftAzure" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MicrosoftAzure</span></a> <a href="https://pubeurope.com/tags/News" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>News</span></a> <a href="https://pubeurope.com/tags/NickWoolley" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NickWoolley</span></a> <a href="https://pubeurope.com/tags/PaymentsProvider" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PaymentsProvider</span></a> <a href="https://pubeurope.com/tags/PYMNTSNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PYMNTSNews</span></a> <a href="https://pubeurope.com/tags/SoftwareDevelopment" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SoftwareDevelopment</span></a></p>
Bytes Europe<p>Allpay Says AI Boosts Productivity, Software Releases <a href="https://www.byteseu.com/1014326/" rel="nofollow noopener" 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" target="_blank">#<span>AdamWheater</span></a> <a href="https://pubeurope.com/tags/AdrianMichalowski" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AdrianMichalowski</span></a> <a href="https://pubeurope.com/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://pubeurope.com/tags/AllPay" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AllPay</span></a> <a href="https://pubeurope.com/tags/ArtificialIntelligence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ArtificialIntelligence</span></a> <a href="https://pubeurope.com/tags/CloudComputing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CloudComputing</span></a> <a href="https://pubeurope.com/tags/GenAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GenAI</span></a> <a href="https://pubeurope.com/tags/GenerativeAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GenerativeAI</span></a> <a href="https://pubeurope.com/tags/GitHubCopilot" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GitHubCopilot</span></a> <a href="https://pubeurope.com/tags/MicrosoftAzure" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MicrosoftAzure</span></a> <a href="https://pubeurope.com/tags/News" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>News</span></a> <a href="https://pubeurope.com/tags/NickWoolley" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NickWoolley</span></a> <a href="https://pubeurope.com/tags/PaymentsProvider" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PaymentsProvider</span></a> <a href="https://pubeurope.com/tags/PYMNTSNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PYMNTSNews</span></a> <a href="https://pubeurope.com/tags/SoftwareDevelopment" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SoftwareDevelopment</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" 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" 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" 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" 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" 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" 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" 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>
TrendingLive feeds
About