#aiforcode ผลการค้นหา
Macroscope: AI Tool for Code Understanding Ex-Twitter exec launches Macroscope, an AI to decode complex codebases. #DevTools #AIForCode
Can we assist code LMs reduce hallucinations in unfamiliar repos using static analysis? We present monitor-guided decoding (MGD) to evaluate this and find that it improves compilation rates and match with ground truth across the board. Arxiv: export.arxiv.org/pdf/2306.10763 #AIforCode
Guiding Language Models of Code with Global Context using Monitors paper page: huggingface.co/papers/2306.10… Language models of code (LMs) work well when the surrounding code in the vicinity of generation provides sufficient context. This is not true when it becomes necessary to use…
Powerful websites you should know part 03. Design visually, ship real code. #Onlook #AIforCode #VisualEditor #React #TailwindCSS #BuildWithAI
OpenAI Introduces GPT-5-Codex #OpenAI #GPT5Codex #AIForCode #AIDevelopment #CodingWithAI #AIProgramming Read: aibinger.com/ai-news/genera…
Just because developers write code, it doesn't mean they spend most of their time writing code. On average, anywhere between 10% and 25% of dev time is spent writing actual code. And a staggering 20-50% of their time writing and updating unit tests. #AIforCode #DiffblueCover
A little bit of trust, goes a long way. But it must be earned. Announcing our AI Trust Center - designed to share the inner workings and security posture of the technologies underlying our AI agent, Diffblue Cover. 📢 diffblue.com/resources/anno… #AIforCode #AI…
📰 We're delighted to share our latest news that Diffblue has been awarded an Innovate UK grant as part of the ITEA project Generative AI for the Software Development Life Cycle (GENIUS). 🔗Find out more: diffblue.com/resources/diff… #Diffblue #news #AIforCode #AI #AIUK #UKBusiness
🎥 Join us tomorrow to see Tabnine in action and get all the tips you need to speed up your SDLC with AI. This live demo and Q&A will walk through how to personalize Tabnine to generate code like an engineer on your team. 🔗 tabnine.com/tabnine-office… #LiveDemo #AIforCode…
GitHub Copilot remains a pioneer in AI-assisted coding. #GitHubCopilot #AIForCode
One of the questions we get asked most frequently about Diffblue Cover is..."Why would I need Diffblue Cover for unit testing, if I have Copilot?" Find out the answers in the AI for unit testing showdown 🔗 diffblue.com/resources/copi… #AI #AIforCode #UnitTesting #developertools…
Why does context matter for your AI code assistant? Let Ameya explain. 🪄(Hint: It gives you much more accurate results.) #AIforcode #SoftwareEngineering #Developers #GenAI
🎉 New model alert! Check out "all-hands_openhands-lm-1.5b-v0.1" in LocalAI gallery! 🤖 Install it with `local-ai run all-hands_openhands-lm-1.5b-v0.1` and explore its potential for software engineering tasks! 💻🔥 #LocalAI #OpenHandsLM #AIforCode
⏳ 75% of dev time is spent on tasks other than code generation 3️⃣ Automated test generation is in the top 3 use cases for AI in engineering 📈 AI-generated summaries of code changes is also in the top 3 #AIforCode use cases 🦊 Full report via @gitlab: hubs.ly/Q02fRsBH0
📣 Today, we’re launching Provenance and Attribution, a new feature that reduces the risk of IP liability when using third-party models like Claude 3.5 Sonnet and GPT-4o. Get the details 👇 🔗 tabnine.com/blog/introduci… #AIforCode #SoftwareEngineers #DevTeams #LLMs
Updating a code library with AI and facing limitations with your LLM's knowledge? As ever, context matters. Here are some tips for making the process easier: 🔗 tabnine.com/blog/making-ma… #AIforCode #Coding #developers #CodingChallenge
Software ate the world. Now AI is eating software... #vibecoding #aiforcode #designtocode
We'll be talking about Agentic AI-driven unit testing that developers can trust and rely on at @DevoxxUK today at 3pm. Come and join us. ⏱️ Thursday 8th May : 15:00 BST - 15:50 BST 📍 Room D 🔗devoxx.co.uk/speaker/?id=40… #Java #DevoxxUK2025 #AIforCode #CodeQuality #AIAgents…
Is AI making coders obsolete? (Are there problems with having AI tools take over coding from humans?). ~ Jennifer Goforth Gregory. cacm.acm.org/news/is-ai-mak… #AIforCode
Macroscope: AI Tool for Code Understanding Ex-Twitter exec launches Macroscope, an AI to decode complex codebases. #DevTools #AIForCode
Powerful websites you should know part 03. Design visually, ship real code. #Onlook #AIforCode #VisualEditor #React #TailwindCSS #BuildWithAI
2/6 👨💻 Coding super-powers: In the live demo GPT-5 whipped up a fully-functional French-learning web app—quizzes, flashcards and a mini-game—from a single prompt. Cleaner code, faster builds, built-in bug-hunt. #DevCommunity #AIforCode
Software ate the world. Now AI is eating software... #vibecoding #aiforcode #designtocode
GitHub Copilot remains a pioneer in AI-assisted coding. #GitHubCopilot #AIForCode
Proud to share our new work — SWE-bench-Live is now live! A live-updating benchmark for real-world bug fixing, where even top agents like Claude 3.7 Sonnet + OpenHands stumble. Try it out & follow us 👉 swe-bench-live.github.io #LLM #SWEbenchLive #AIforCode
🤔 Have we really made great progress on software engineering tasks? 🚀 Introducing SWE-bench-Live, a live-updatable benchmark for real-world bug fixing. 😺 Even the best combo, OpenHands + Claude 3.7 Sonnet, sees a major performance drop! 👉 swe-bench-live.github.io 🧵 1/4
Readings shared May 30, 2025. jaalonso.github.io/vestigium/post… #AIforCode #Agda #GenerativeAI #ITP #LeanProver #Math #Rocq
VERINA: Benchmarking verifiable code generation. ~ Zhe Ye, Zhengxu Yan, Jingxuan He, Timothe Kasriel, Kaiyu Yang, Dawn Song. arxiv.org/abs/2505.23135 #AIforCode #ITP #LeanProver
Readings shared May 24, 2025. jaalonso.github.io/vestigium/post… #AIforCode #FunctionalProgramming #Haskell #ITP #IsabelleHOL #Math #Physics
Is AI making coders obsolete? (Are there problems with having AI tools take over coding from humans?). ~ Jennifer Goforth Gregory. cacm.acm.org/news/is-ai-mak… #AIforCode
Readings shared May 23, 2025. jaalonso.github.io/vestigium/post… #AIforCode #CategoryTheory #ITP #IsabelleHOL #LLMs #LeanProver #Math #RocqProver
My perspective: Cursor AI ⚪️ <<< Augment 🚀 Especially when working with large codebases 🏗️ & legacy systems 🧓💻 Augment truly acts like a senior engineer by your side — More context, less confusion, better flow! #AIforCode #DevTools Share your thoughts?
So what’s the difference between Codex and GPT-4? Codex: Fine-tuned GPT-3 for code GPT-4: Larger, more general, but better at code than Codex Codex walked so GPT-4 could run. #GPT4Turbo #AIforCode
Autonomous testing and test automation are two terms that are often used interchangeably. Level up your understanding of each and why their both essential for achieving continuous testing. diffblue.com/resources/auto… #AIforCode #Diffblue #AIAgent #Java #SoftwareTesting…
⚡ Lightning-fast code completions — and it gets your context. 🧠 Function suggestions that save hours digging through docs. It’s not just fast — it’s smart. #Windsurf #AIforCode #DeveloperTools
💡 Built on massive dev feedback, Gemini 2.5 Pro Preview delivers: ⚙️ Frontend & UI coding superpowers 🔁 Smarter code transformations & refactors 🧠 Better agentic workflow development 🎨 #1 WebDev Arena rank (+147 Elo) 🎥 #1 in video understanding (84.8% on VideoMME) #AIforCode
We'll be talking about Agentic AI-driven unit testing that developers can trust and rely on at @DevoxxUK today at 3pm. Come and join us. ⏱️ Thursday 8th May : 15:00 BST - 15:50 BST 📍 Room D 🔗devoxx.co.uk/speaker/?id=40… #Java #DevoxxUK2025 #AIforCode #CodeQuality #AIAgents…
Come hear Diffblue founder @DiffKroening talk about “The Augmented World” at #OxfordAi at 10:30 #aiforcode
OpenAI Introduces GPT-5-Codex #OpenAI #GPT5Codex #AIForCode #AIDevelopment #CodingWithAI #AIProgramming Read: aibinger.com/ai-news/genera…
.@Drift We've had some fun customizing our bot for the holidays (inspired by your templates)! It's already helping with conversions ☃️#conversationalmarketing #aiforcode
Visual Studio IntelliCode - Preview from Microsoft DevLab marketplace.visualstudio.com/items?itemName… #AIForCode #MachineLearning #VSNET #VSCode #VisualStudio
Visiting #AIOxford, make sure you stop by and find out how #AIforCode can help improve your #testing.
The lovely @jgwilson42 modelling the @diffbluehq stand at AI@Oxford #AIOxford #AIforCode. Have any questions for us, James will answer or if you’re here today/tmw, come say Hi! We have all the sweets/stickers...
Try our #AIforCode #technology on your #Java application for free and see if it can increase your #code #coverage🦉➡️ ow.ly/BrLc50w2Q2T #AI #ArtificialIntelligence #tech #developers #startup
Can we assist code LMs reduce hallucinations in unfamiliar repos using static analysis? We present monitor-guided decoding (MGD) to evaluate this and find that it improves compilation rates and match with ground truth across the board. Arxiv: export.arxiv.org/pdf/2306.10763 #AIforCode
Guiding Language Models of Code with Global Context using Monitors paper page: huggingface.co/papers/2306.10… Language models of code (LMs) work well when the surrounding code in the vicinity of generation provides sufficient context. This is not true when it becomes necessary to use…
📰 We're delighted to share our latest news that Diffblue has been awarded an Innovate UK grant as part of the ITEA project Generative AI for the Software Development Life Cycle (GENIUS). 🔗Find out more: diffblue.com/resources/diff… #Diffblue #news #AIforCode #AI #AIUK #UKBusiness
Just because developers write code, it doesn't mean they spend most of their time writing code. On average, anywhere between 10% and 25% of dev time is spent writing actual code. And a staggering 20-50% of their time writing and updating unit tests. #AIforCode #DiffblueCover
18 Machine Learning Platforms For Developers twi.li/OFMS1U #ArtificialIntelligence #AIforCode #devops
A little bit of trust, goes a long way. But it must be earned. Announcing our AI Trust Center - designed to share the inner workings and security posture of the technologies underlying our AI agent, Diffblue Cover. 📢 diffblue.com/resources/anno… #AIforCode #AI…
We'll be talking about Agentic AI-driven unit testing that developers can trust and rely on at @DevoxxUK today at 3pm. Come and join us. ⏱️ Thursday 8th May : 15:00 BST - 15:50 BST 📍 Room D 🔗devoxx.co.uk/speaker/?id=40… #Java #DevoxxUK2025 #AIforCode #CodeQuality #AIAgents…
One of the questions we get asked most frequently about Diffblue Cover is..."Why would I need Diffblue Cover for unit testing, if I have Copilot?" Find out the answers in the AI for unit testing showdown 🔗 diffblue.com/resources/copi… #AI #AIforCode #UnitTesting #developertools…
There are over 700 coding languages in use today, and our #AI platform supports the most used and versatile in the industry. 🙌 ➡ Check it out here: bit.ly/3CkrOWh #AIforcode
Autonomous testing and test automation are two terms that are often used interchangeably. Level up your understanding of each and why their both essential for achieving continuous testing. diffblue.com/resources/auto… #AIforCode #Diffblue #AIAgent #Java #SoftwareTesting…
18 Machine Learning Platforms For Developers twi.li/YL3dsb #ArtificialIntelligence #AIforCode #devops
18 Machine Learning Platforms For Developers twi.li/x387pE #ArtificialIntelligence #AIforCode #devops
Something went wrong.
Something went wrong.
United States Trends
- 1. Liverpool 172K posts
- 2. Slot 106K posts
- 3. Derek Shelton N/A
- 4. Delap 21.9K posts
- 5. $META 34.1K posts
- 6. Sonya Massey 19.6K posts
- 7. Jennifer Welch 17.6K posts
- 8. Boasberg 15.4K posts
- 9. Gittens 27.3K posts
- 10. Crystal Palace 56.2K posts
- 11. Powell 72.3K posts
- 12. Magic 327K posts
- 13. Pierre Robert 2,664 posts
- 14. Metchie 4,281 posts
- 15. Jeff Landry 2,873 posts
- 16. Arctic Frost 53K posts
- 17. Welcome to Philly N/A
- 18. Watergate 12.8K posts
- 19. Woodward 8,492 posts
- 20. #CarabaoCup 29K posts