Bernardo Toninho

Associate Professor at @FCTNOVA doing research on PL / Type Theory / Concurrency. Formerly at Imperial College London. All opinions expressed here are my own.

[Nauseam (in sf!) @ChadNauseam]

"A calculator app? Anyone could make that."

Not true.

A calculator should show you the result of the mathematical expression you entered. That's much, much harder than it sounds.

What I'm about to tell you is the greatest calculator app development story ever told.

[Eleonora Giunchiglia @e_giunchiglia]

Fully funded PhD in Neurosymbolic AI for Finance 💰🤖 🔍 Work at Imperial College London on cutting-edge AI for financial applications! [1/3]

[Ilya Sergey @ilyasergey]

Our paper on efficient automated exploit generation has been accepted to USENIX Security '25.

The gist: instead of generating one attack at a time, we synthesise a *programming language* that captures many exploits and guarantees their realisability.

https://t.co/OVD6s1uKoJ

[Nicholas Fabiano, MD @NTFabiano]

It costs $12,690.00 to publish open access at Nature.

They are literally uploading a PDF file.

[Bernardo Toninho @bernpton]

@JAldrichPL @jameskjx The guy who went on a redemptive press trip to Auschwitz because he tweeted an antisemitic conspiracy rant surely is not a nazi sympathizer.

[Joana Mortágua @JoanaMortagua]

Musk e os violadores de meninas brancas https://t.co/6P5ghiWiau da @fcancio

[Happy Researchers @hapyresearchers]

In a rush of academia, don't forget to enjoy life, family, good food, outdoor activities, traveling, etc. If you are thinking to do it all after you finish a/an experiment, paper, school, Ph.D., Postdoc, etc., so remember this is just one life, & sadly time is not coming back!

[no context the west wing @LemonLymancom]

24 years ago today, "Noël" aired on television for the first time. 🎄

[no context the west wing @LemonLymancom]

Leo's best scene. RIP, John Spencer, you are remembered and missed ❤️🙏

[Fabrizio Montesi ⬣ A➔B @famontesi]

📢 Faculty Job Alert! We're hiring Assistant (tenure-track) & Associate Professors in AI, Cybersecurity & Programming Languages in our section, 🇩🇰.

🔗 Learn about us: https://t.co/ouGKQTZwA1
📝 Apply: https://t.co/tmAKM622al
⏳ Deadline: 1 Feb 2025

#AcademicJobs #ResearchJobs

[Paulo Gavado @PGavado]

Foi isto que Montenegro anunciou ontem!
Esclarecidos? De nada…

[Bernardo Toninho @bernpton]

Guess I’m moving my already limited posts to https://t.co/qDw4SfcG6a

[arvo färt @arvofart]

Guy who thinks Tony Montana got rich washing dishes

[Seth Abramson @SethAbramson]

This video is incredible.

Everyone should RETWEET it so the whole *world* sees it.

[no context the west wing @LemonLymancom]

2 DAYS UNTIL THE ELECTION

[Nikolaj Bjorner @BjornerNikolaj]

We, RiSE/MSR, are hiring for exciting and ambitious projects.

https://t.co/fKAc4ChNSx

(on the picture: lunch with colleagues)