Top Tweets for #AI4Code
In Goju's course at Stanford (CS329M), he aims to guide students on how to teach machines so that they can reason about software. #ai4code #machineprogramming #gojutechtalk #gtt #responsibleai #openai #anthrropic
By popular request, the submission deadline for the #VerifAI workshop at @iclr_conf has been extend to Sunday, Feb 8 (AoE) 🎉🎉 🎉
But don't leave it until the last minute - submit your papers on RLVR, AI+verification, #ai4code and #ai4math now! 👉 https://t.co/2ot0egC9AQ
Authored by:
Chuyue Sun, Yican Sun, Daneshvar Amrollahi, Ethan Zhang, Shuvendu Lahiri, Shan Lu, David Dill & Clark Barrett
#FormalVerification #RustLang #AI4Code #LLMs #Verus #ProofAutomation
🧩 Karim Khalil from Lund University presents “Catching Common Vulnerabilities with Code Language Models.”
The work examines how code language models can identify and mitigate common security flaws in software.
#SecDev2025 #VulnerabilityDetection #AI4Code
🎥 Nuevo #TechiePills: 3 hacks con ChatGPT para devs
💻 Pair programming, tests con casos límite y explicador de legacy.
📲 Síguenos en YouTube y aprende + sobre dev, IA, gestión y diseño.
▶️ ¡Dale al play!
#DevTips #AI4Code
Following up on the AlphaEvolve code opt. agent, I am happy to share how our team at @GoogleDeepMind has developed the CodeMender agent to design/apply patches to fix security vulnerabilities in large scale open source projects. #AI4code
Read more at: https://t.co/8nBBE40yxY
Leverage prompt chaining to build multi-step AI workflows directly in your dev pipeline!
Perfect for writing tests, docs, & boilerplate in one shot.
🧠 Ex:
"Generate API docs ➝ write unit tests ➝ suggest improvements" – all from a single commit.
#AIDevCodes #AI4Code #DevTools
🧑💻 Thinking of getting a dev tool subscription — torn between Cursor, Claude Code, or something else 👀
Any devs here using one of these? Would love your thoughts before I subscribe.
Drop your fav coding tools below! 💬👇 #devtools #programming #AI4Code
How do you turn a text-to-code model into a smarter AI developer?
It starts with supervised fine-tuning, curated code examples, and human feedback. Read how it’s done: https://t.co/FarKaeNCjZ
#GenAI #AI4Code #LLMTraining #DataAnnotation
🚀 Our paper “ClassInvGen” was accepted to #SAIV2025 @confCAV !
We show how LLMs auto-synthesize executable class invariants & tests for C++.
PDF: https://t.co/OohsolaHKU
#FormalVerification #AI4Code #cav25
🤖 Google introduces AlphaEvolve, an AI coding agent powered by Gemini that evolves and optimizes algorithms for math and real-world tasks using automated evaluators. 📐⚙️
#AlphaEvolve #GoogleAI #Gemini #AI4Code #MachineLearning #AlgorithmOptimization
https://t.co/56oZwTamwQ
5/
Try it on your contracts:
https://t.co/SeL6nbQwZK
#Solidity #SmartContracts #DevSecOps #Web3 #AuditGPT #DeepBurrow #AI4Code
Amazon’s secret “Kiro” project aims to let AI agents write production code on the fly—next‑gen dev workflow incoming.
#LearnHack #AWS #Kiro #AI4Code #CloudNative #DevTools #WednesdayMotivation
https://t.co/dRPj4VJPIj
👨💻 Coding with #AI just got smarter.
MIT found a way to guide #LLMs to write cleaner, more accurate code across languages.
No more spaghetti AI code 🍝
This could change dev workflows forever.
#AI4Code #MIT #CodingWithAI #DevTools #Programming
and the endpoints with GCP.
Check it out: https://t.co/nE2CYSqO74
Huge thanks to Google Cloud for the learning experience and the awesome goodies!
#GoogleCloud #VertexAI #CodeClarity #AI4Code #FastAPI #ReactJS #GCP
Two of my papers (1 Main and 1 Findings) got accepted at #EMNLP2024!
Can’t wait to connect with folks, especially in the #AI4Code community at Miami ✈️🌴
@ProseMsft @emnlpmeeting @Microsoft
#NLP #CodeGeneration #Research #EMNLP #AI
After 36 hours of travel, finally at Porto de Galinhas, Brazil to attend @AIwareConf @FSEconf .
I'll be here throughout the conference and would love to discuss #AI4Code & #AI4SE in general. Also, share our learnings from building GitHub Copilot inside VS. DMs are open.
Last Seen Hashtags on Sotwe
Trends for you
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.3M 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