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
JournéeMondialSansTabac
Seen from Argentina
QOS
Seen from United States
เย็ดหีนักศึกษา
Seen from Thailand
MicronUniverse
Seen from Malaysia
youngpete
Seen from United States
Hotwife
Seen from Netherlands
오메tv
Seen from United States
BreezyDaGawd
Seen from Brazil
アナンタ
Seen from Turkey
รับงานนครนายก
Seen from Thailand
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
60.9M followers

X 
@x
60.9M followers

CNN Breaking News 
@cnnbrk
59.9M followers



















