rui•maranhao (@rmaranhao) 's Twitter Profile
rui•maranhao

@rmaranhao

Research SE @Meta, Full Professor @feup_porto 🇵🇹, Entrepreneur, @Google/@RowsHQ/@PARCinc alumnus; husband, father of 3👶.

ID: 26068824

linkhttps://www.ruimaranhao.com calendar_today23-03-2009 19:21:47

6,6K Tweet

1,1K Followers

597 Following

DPE Summit (@dpesummit) 's Twitter Profile Photo

Discover the only event dedicated to the practice of Developer Productivity Engineering and Developer Experience. Join the free livestream to view keynotes on September 24 and 25. Presentations will feature speakers from Gradle, Google, The University of Victoria, DX, and Meta.

Max Di Penta (@mdipenta) 's Twitter Profile Photo

We have two PhD student positions open on the Innoguard Marie Curie project. The salary is extremely competitive when studying and working in Italy. Apply here (by October 25) innoguard.eu

Google DeepMind (@googledeepmind) 's Twitter Profile Photo

Huge congratulations to @DemisHassabis and John Jumper on being awarded the 2024 Nobel Prize in Chemistry for protein structure prediction with #AlphaFold, along with David Baker for computational protein design. This is a monumental achievement for AI, for computational

CMU Portugal (@cmuportugal) 's Twitter Profile Photo

🎓 #CMUPortugal has an OPEN Call for up to 🔟 Dual Degree Ph.D. Scholarships for the 2025/2026 academic year! 🌍 3 years at a 🇵🇹 University and 2 years at Carnegie Mellon University, with full tuition and stipends included. 📝 Find out how to apply 👉cmuportugal.org/lbpf FCT - Fundação para a Ciência e a Tecnologia

🎓 #CMUPortugal has an OPEN Call for up to  🔟 Dual Degree Ph.D. Scholarships for the 2025/2026 academic year!

🌍 3 years at a 🇵🇹 University and 2 years at <a href="/CarnegieMellon/">Carnegie Mellon University</a>, with full tuition and stipends included.

📝 Find out how to apply 👉cmuportugal.org/lbpf

<a href="/fct_pt/">FCT - Fundação para a Ciência e a Tecnologia</a>
Football Rankings (@footrankings) 's Twitter Profile Photo

🚨 Pots for the 2025 Club World Cup draw are set! 🔹 Pot 1 (8 clubs): 🏴󠁧󠁢󠁥󠁮󠁧󠁿 Manchester City 🇪🇸 Real Madrid 🇩🇪 Bayern Munich 🇫🇷 PSG 🇧🇷 Flamengo 🇧🇷 Palmeiras 🇦🇷 River Plate 🇧🇷 Fluminense 🔹 Pot 2 (8 clubs): 🏴󠁧󠁢󠁥󠁮󠁧󠁿 Chelsea 🇩🇪 Borussia Dortmund 🇮🇹 Inter 🇵🇹 Porto 🇪🇸 Atlético Madrid 🇵🇹

🚨 Pots for the 2025 Club World Cup draw are set!

🔹 Pot 1 (8 clubs):

🏴󠁧󠁢󠁥󠁮󠁧󠁿 Manchester City
🇪🇸 Real Madrid
🇩🇪 Bayern Munich
🇫🇷 PSG
🇧🇷 Flamengo
🇧🇷 Palmeiras
🇦🇷 River Plate
🇧🇷 Fluminense

🔹 Pot 2 (8 clubs):

🏴󠁧󠁢󠁥󠁮󠁧󠁿 Chelsea
🇩🇪 Borussia Dortmund
🇮🇹 Inter
🇵🇹 Porto
🇪🇸 Atlético Madrid
🇵🇹
Arie van Deursen (@avandeursen) 's Twitter Profile Photo

Interested in organizing @icseconf, the ACM/IEEE International Conference on Software Engineering in 2029? Make a bid by March 20! For 2029, we solicit bids from outside Europe or North America. See call for letters-of-intent: icse-conferences.org/organization/C…

JetBrains (@jetbrains) 's Twitter Profile Photo

🤗 Mellum is now open source on Hugging Face! It’s a focal model that is small, efficient, and made for one thing: code completion. ⚙️ Trained from scratch by JetBrains. 🌱 First in a growing family of dev-focused LLMs. 🔗 jb.gg/Mellum_XOS

Erik Meijer (@headinthebox) 's Twitter Profile Photo

I am convinced we are doing AI coding wrong. Completely wrong in fact. Humans need abstraction and code reuse to reduce costs and manage complexity. That is not true for AIs however. They can just brute force things. No reuse and abstractions needed. So instead of trying to

I am convinced we are doing AI coding wrong. Completely wrong in fact.

Humans need abstraction and code reuse to reduce costs and manage complexity. 

That is not true for AIs however. They can just brute force things. No reuse and abstractions needed.

So instead of trying to
Mikolas Janota 🇵🇹🇨🇿 (@janotamikolas) 's Twitter Profile Photo

We are looking for a Postdoc to join our team in Prague, with a focus on theorem proving, SMT (Satisfiability Modulo Theories), or formal methods.

Gergely Orosz (@gergelyorosz) 's Twitter Profile Photo

“AI Engineering is just software engineering with AI models thrown into the stack” - anton in the book AI Engineering by Chip Huyen Totally agree - and it’s why learning how to integrate LLMs is such a big win for devs!

“AI Engineering is just software engineering with AI models thrown into the stack”

- <a href="/abacaj/">anton</a> in the book AI Engineering by <a href="/chipro/">Chip Huyen</a>

Totally agree - and it’s why learning how to integrate LLMs is such a big win for devs!
Jonathan Aldrich (@jaldrichpl) 's Twitter Profile Photo

All Association for Computing Machinery publications will be 100% Open Access as of January 2026. When we announced this at POPL and CHI this year, conference participants spontaneously erupted in applause. The CS community is excited about ACM's move to OA!