#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
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
OpenAI Introduces GPT-5-Codex #OpenAI #GPT5Codex #AIForCode #AIDevelopment #CodingWithAI #AIProgramming Read: aibinger.com/ai-news/genera…
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…
🎥 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…
🎉 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
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
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…
⏳ 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
📰 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
Why does context matter for your AI code assistant? Let Ameya explain. 🪄(Hint: It gives you much more accurate results.) #AIforcode #SoftwareEngineering #Developers #GenAI
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
🚨New Model Alert🚨 Introducing OpenHands LM! This open, 32B model can be run locally on a single 3090 GPU, achieving 37.2% resolve rate on SWE-Bench Verified. Install it in LocalAI with "local-ai run all-hands_openhands-lm-32b-v0.1" #LocalAI #OpenSource #AIforCode
These things make developers unhappy & are productivity killers 👇🏾 ⏱ Time pressure 👎Bad code quality and coding practice 💤Repetitive tasks Diffblue Cover is designed to automate away all of these. diffblue.com/resources/5-wa… #AutonomousAI #AIforCode #Autonomous #AIcoding…
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?
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…
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
18 Machine Learning Platforms For Developers twi.li/OFMS1U #ArtificialIntelligence #AIforCode #devops
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...
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.
.@Drift We've had some fun customizing our bot for the holidays (inspired by your templates)! It's already helping with conversions ☃️#conversationalmarketing #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…
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
Learn how #AIforCode can help you amalgamate the effiiency of #automation with #human competence. Download #whitepaper. zensar.com/insights/white… #LivingAI #artificialintelligence
18 Machine Learning Platforms For Developers twi.li/x387pE #ArtificialIntelligence #AIforCode #devops
Great first day so far @qconlondon. Lots of interesting conversations with the #Java dev community about how @diffbluehq and #AIforCode could help. Can't wait for @andyp1per to get into more details in tomorrow's presentation: hubs.ly/Q017j2b60
Congratulations @diffbluehq on passing 1000 followers on @Twitter! Thought it's time for me to join the tweeting fun. I had a great time on stage w/ panel @GoldmanSachs Disruptive Technology Symposium's "#AI: The Information Era's Apex Technology". #AIforCode
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
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
Diffblue will be exhibiting at @jaxlondon in the Business Design Centre on the 8th and 9th of October! Drop by to say hello and see #AIforCode in action. Set up a time to chat with one of our experts at the event here: ow.ly/qIjr50wyiqd
The second part of our three part #webinar series on automated testing is now available on @YouTube👩💻📘🧠Watch it here👉ow.ly/FpUJ50vrtwD #AIforCode #testing #AI #developers
18 Machine Learning Platforms For Developers twi.li/YL3dsb #ArtificialIntelligence #AIforCode #devops
Join us @ 4.30 GMT today for our premiere of Diffblue's CEO @mathewlodge talking through How #ArtificialIntelligence tools can enhance #ShiftLeft. Tune in youtu.be/eJuSYBDeKX4 #AIforCode #unittesting #java
Something went wrong.
Something went wrong.
United States Trends
- 1. Friendly 58.5K posts
- 2. SNAP 669K posts
- 3. Big Dom 1,162 posts
- 4. Jessica 27K posts
- 5. Jamaica 104K posts
- 6. RIP Beef 1,480 posts
- 7. Stearns N/A
- 8. Riley Gaines 28.6K posts
- 9. Mazie 1,014 posts
- 10. 53 Republicans 3,393 posts
- 11. Sonic Prime N/A
- 12. MRIs 5,051 posts
- 13. Sports Equinox 11.4K posts
- 14. John Dickerson 2,678 posts
- 15. Crash Bandicoot 4,453 posts
- 16. Runza N/A
- 17. Antoan Richardson N/A
- 18. Perk 5,319 posts
- 19. Hurricane Melissa 61.9K posts
- 20. Need 60 8,222 posts