João F. Ferreira

Computer Scientist / CS Prof at University of Porto / Researcher at INESC-ID (@InescID) / Coding with (@codesetai)

[João F. Ferreira @jff]

Are you interested in software reliability, software verification, programming languages, or formal methods? Would you like to work with me and my group in beautiful Lisbon? Get in touch to discuss available positions. See https://t.co/FCsrNd2gpo for more details.

[João F. Ferreira @jff]

Great news: you can now get more from your code agents at a lower price!

Same models, better context → much better value for money.

And at ~$5, there's really no reason not to try it.

Congrats to Nuno and André for the amazing work!

[Codeset @codesetai]

We made Haiku as good as Opus. Without changing the model.

Today we're launching Codeset. Here's what we found 🧵

[João F. Ferreira @jff]

@mpvl_ @_myitcv @cue_lang This is awesome! :)

[Marcel van Lohuizen @mpvl_]

I'm proud to officially announce CUE Labs!

I co-founded CUE Labs with @_myitcv to build a Configuration Control Plane, solving config chaos with CUE. Our work also provides the stewardship for the @cue_lang open source project.

Read our launch post: https://t.co/uhCrSALZ3E

[João F. Ferreira @jff]

Excited to see Codeset live! 🚀 Reproducible environments & datasets make training code agents on real-world tasks fast and easy. What used to take complex setups now works with just a few API calls!

If you’re into code AI or automated bug-fixing, try Codeset & share feedback!🎉

[Codeset @codesetai]

We're launching Codeset today 🚀

[Codeset @codesetai]

🚀 We’re excited to announce Codeset: a startup on a mission to accelerate the development of agentic code models.

[Antigone Journal @AntigoneJournal]

Now for our latest books give-away: 38 Classics books to be raffled off for free. Just RT this message, follow us, and we will make the draw on Monday 9 June. 1st name gets 20 books, 2nd 12, 3rd 6. Open to all, good luck!
(Will post details and photos of each book this evening.)

[João F. Ferreira @jff]

Phil Wadler is currently presenting "Lambda, the Ultimate Teaching Assistant (Agda version)" at the FME Teaching Committee Tutorial Series @FormalMtds

Zoom link: https://t.co/FcB84g3haV

[Bertrand Meyer @Bertrand_Meyer]

1/ I am saddened to report (from today's print version of Le Monde) the passing away of the great French computer scientist Jean-Raymond Abrial. He is a pioneer in formal methods and their applications, particularly through three major innovations: the "Data Semantics" model,

[João F. Ferreira @jff]

@Biafra Obrigado!

[João F. Ferreira @jff]

I’m excited to share that I’ve received an Amazon Research Award on Automated Reasoning! 🥳 The award will support my research on automated program repair for Infrastructure as Code.

For more details, see my webpage: https://t.co/D5U82MJ8On

[Amazon Science @AmazonScience]

Announcing 70 Amazon Research Award recipients! Representing 44 universities in 10 countries, awardees get access to Amazon public datasets and AWS AI/ML services and tools. #AmazonResearchAwards https://t.co/wO6xBvEHDq

[João F. Ferreira @jff]

@alcides Thank you, Alcides!

[João F. Ferreira @jff]

@DeepCache Thank you!

[João F. Ferreira @jff]

@AmazonScience Thank you!

[João F. Ferreira @jff]

@alexey_r I'm so sorry for your loss

[Yuriy Brun @YuriyBrun]

Congrats to all the LASER lab award winners at @ICSEconf 2025!

[ICSE @ICSEconf]

Throughout the week so far at #icse2025, we’ve seen new ideas take shape and future projects begin ... all thanks to the power of connection. Looking forward to what comes from all the great conversations!

[Shinpei Hayashi @sh5i]

Are you a new faculty member in SE? The New Faculty Symposium (NFS) at @ICSEconf offers valuable insights and practical advice for the challenges you will encounter. ICSE attendees are welcome to join.
🗓️ Apr 29 / 📍 Room 201 / 🔗 https://t.co/nDbWK9G2O1 #icse2025

[João F. Ferreira @jff]

"If you have a buggy program, you can fix it or call it AI" --- David Parnas, #ICSE2025 #ICSE

[João F. Ferreira @jff]

Today's suggested image by @grok was this. Mount Fuji is the most magical place I’ve seen this year. There’s something so special about it that you can’t help but want to keep gazing at its beauty.

[João F. Ferreira @jff]

The programmer's tragedy: to seek perfection in a world that demands delivery.