João F. Ferreira

Emacs is not a framework. It's a lifestyle! 😀

Técnico student is part of research team awarded for paper on online privacy violation Daniela Lopes developed work on potential flaws in the Tor network, a software that allows anonymous and secure browsing.

Daniela Lopes, PhD student, is part of a research team awarded for a paper on online privacy violation by the Portuguese chapter of the Internet Society. 🛜

🔗 Full article: tinyurl.com/2p9fcd9b

#TécnicoLisboa #ULisboa

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

Every framework begins as a liberation and ends as a tyranny.

Fantastic news! Hoping that other projects follow suit, and that others find NullAway useful for checking JSpecify annotations!

That's very cool! What kind of projects and assignments did it involve?

Hi there! I laughed out loud when I saw the "xanovsky". Great handle :-)

Chuck Norris once adapted an idea. It evolved into a Fortune 500 company overnight.

This sounds familiar 😂

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Formal verification using proof assistants, such as Coq, enables the creation of high-quality software. However, the verification process requires significant expertise and manual effort to write proo...

🚀 Our @icseconf.bsky.social paper "Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification" is now live on arXiv! 🤖📜

Collaboration involving UC San Diego, INESC-ID, @istecnico.bsky.social, @imperialcollegeldn.bsky.social, and UMass.

📄 Read here: arxiv.org/abs/2412.14063