Bernardo Toninho

"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.

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

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. ilyasergey.net/assets/pdf/pap…

It costs $12,690.00 to publish open access at Nature. They are literally uploading a PDF file.

@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.

@jameskjx I hear you. But he says it wasn't intended that way and there's context to support him - he said "my heart goes out to you" and he made a motion that (awkwardly) illustrates that. High chance it was a simple mistake and he didn't even make the connection until the uproar.

Never attribute to Nazism what can be explained by Elon being a doofus

an Elon Musk cultist repeats his claim that a national economy is like a household, and if you don't have enough money you have to just massively cut spending. Just as he thinks he's made a brilliant point, he's destroyed by Yanis Varoufakis:

Musk e os violadores de meninas brancas dn.pt/opiniao/musk-e… da @fcancio

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!

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

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

📢 Faculty Job Alert! We're hiring Assistant (tenure-track) & Associate Professors in AI, Cybersecurity & Programming Languages in our section, 🇩🇰. 🔗 Learn about us: acp.sdu.dk 📝 Apply: …sd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/Candidat… ⏳ Deadline: 1 Feb 2025 #AcademicJobs #ResearchJobs

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

Guess I’m moving my already limited posts to bsky.app/profile/btonin…

🫶🫶

Guy who thinks Tony Montana got rich washing dishes

This video is incredible. Everyone should RETWEET it so the whole *world* sees it.