Top Tweets for #AIForCode
AI coding is gambling: relying on AI to write code can feel like betting on luck rather than logic. Pair AI with strong testing, review, and guardrails to turn risk into reliable results. #AICoding #SoftwareEngineering #AIforCode
AI Code Translation: Requirements and Challenges https://t.co/dUZHp1yXq1 #AIforCode #Linux #FutureOfWork #GenAI #CodingAgents
https://t.co/6Jqcj2irQu This is the Link for the Project check out guys and give me feedbacks if any.
#ChromeExtension #GitHub #OpenSource #DevTools #AI #Coding #DSA #CompetitiveProgramming #CodeOptimization #DeveloperTools #GitHubAPI #JavaScript #NodeJS #AIForCode #Productivity
Built a small Chrome Extension to fix my CP/DSA workflow 😄
With a few clicks, I can upload code directly to GitHub + auto-add AI comments for better understanding later.
Tech: HTML, CSS, Node.js, Manifest v3, Gemini, GitHub API
Demo ↓ 🎥
just read about SWE-Compass, a new benchmark for evaluating large language models in software engineering and I'm LOW KEY EXCITED https://t.co/WVd8mTkofd #AIforCode #Automation
Tetrix turns your GitHub into a living knowledge graph.
Instant search. Smarter gen. Context-aware reviews.
🎥 Watch the demo → https://t.co/PZDoLgHyfg
#Tetrix #AIforCode #DevEx #GitHub #BuildInPublic #AItools #Developers
This work was a part of my time at @IBMResearch as an intern.
Huge thanks to my co-authors!
Shubham Gandhi (@shubhamrgandhi), Jason Tsay (@jsntsay), Jatin Ganhotra (@JatinGanhotra ), Kiran Kate, Yara Rizk (@serialorganizer)
#NeurIPS2025 #LLMAgents #RewardModels #AIForCode
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
3️⃣ GROK 4 CODE (beta) 💻
Built just for devs:
•256K token context
•Smart debugging
•Refactoring
•Code suggestions
An AI pair programmer on steroids.
Now in private beta testing.
#DevTool #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 👉 https://t.co/nLoa4cRd4d
#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!
👉 https://t.co/7FnN0oum6l
🧵 1/4
Readings shared May 30, 2025. https://t.co/iinS9Xpivi #AIforCode #Agda #GenerativeAI #ITP #LeanProver #Math #Rocq
VERINA: Benchmarking verifiable code generation. ~ Zhe Ye, Zhengxu Yan, Jingxuan He, Timothe Kasriel, Kaiyu Yang, Dawn Song. https://t.co/ZP0tEMHOyQ #AIforCode #ITP #LeanProver
Readings shared May 24, 2025. https://t.co/LjWFei5ubd #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. https://t.co/AHGx6Szxha #AIforCode
Readings shared May 23, 2025. https://t.co/CN8OXSkwVi #AIforCode #CategoryTheory #ITP #IsabelleHOL #LLMs #LeanProver #Math #RocqProver
CLEVER: A curated benchmark for formally verified code generation. ~ Amitayush Thakur et als. https://t.co/MEnREO0Tns #LLMs #ITP #LeanProver #AIforCode
Slowly I am starting to feel that the dreaded #vibedebugging sessions are becoming easier. This is particularly so with google’s #Gemini2.5 Pro model. Does anyone else see this trend?
#vibecoding #ai #AIForCode
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?
Last Seen Hashtags on Sotwe
Most Popular Users
Elon Musk 
@elonmusk
240.1M followers
Barack Obama
@barackobama
119.3M followers
Donald J. Trump
@realdonaldtrump
111.6M followers
Cristiano Ronaldo
@cristiano
108.8M followers
Narendra Modi
@narendramodi
106.9M followers
Rihanna
@rihanna
97.2M followers
NASA
@nasa
92.1M followers
Justin Bieber
@justinbieber
90.5M followers
KATY PERRY
@katyperry
86.7M followers
Taylor Swift
@taylorswift13
80.5M followers
Lady Gaga
@ladygaga
72.1M followers
Kim Kardashian
@kimkardashian
69.4M followers
YouTube
@youtube
68.6M followers
Virat Kohli
@imvkohli
68.4M followers
Bill Gates
@billgates
63.4M followers
The Ellen Show
@theellenshow
62.5M followers
CNN
@cnn
61.9M followers
Neymar Jr
@neymarjr
61M followers
X
@x
60.9M followers
CNN Breaking News
@cnnbrk
59.9M followers