Dejan Jovanović

level 36 pokemon trainer

[Clark Barrett @ClarkBarrett7]

Congratulations to the entire CVC4/cvc5 team for winning the Rance Cleaveland Test-of-Time Tool Award at ETAPS this week!
https://t.co/FHuPgYNj97

[Derek Dreyer @HerrDreyer]

RIP Tony Hoare. 😢

I only met him a couple times many years ago at MSR and was not accomplished enough at the time to have much useful to say, but he sure cast a long shadow over the field...

[Leonardo de Moura @Leonard41111588]

AI is writing a growing share of the world's software. No one is formally verifying any of it.

New essay: "When AI Writes the World's Software, Who Verifies It?"
https://t.co/8zjS9FkdA8

[Lydia Hallie ✨ @lydiahallie]

Excited to announce Claude for Open Source ❤️

We're giving 6 months of free Claude Max 20x to open source maintainers and core contributors.

If you maintain a popular project or contribute across open source, please apply!

https://t.co/inuh0hxREA

[Leonardo de Moura @Leonard41111588]

I wrote an essay on proof assistants in the age of AI.
https://t.co/sZ8XFGDgbW

[Elmo @elmo]

That Bunny was AMAZING. Elmo thinks he should be called Good Bunny! Elmo loves you, Mr. Good Bunny! ❤️🎶🐰

[Dejan Jovanović @dddejan]

@SenSchumer @SenGillibrand what about you?

[Thomas Bloom @thomasfbloom]

As the owner/maintainer of the Erdős problems website, a thread with some comments on this solution to #124:

1) This is a nice proof, which was provided by the AI from the formal statement with no human involvement and then formalised in Lean. This is already impressive!

[Amazon Web Services @awscloud]

Want to see AI earn its confidence? 🔍✅⚡

Automated Reasoning checks in #AmazonBedrock Guardrails identifies correct AI outputs with up to 99% accuracy & provides mathematical proofs, taking your apps from 'mostly accurate' to 'mathematically certain.'

👉 https://t.co/VeSiNMaQTE

[AWS AI @AWSAI]

What if gen AI could be powerful & provably safe? 🏷️🧠🔍

Meet Automated Reasoning in #AmazonBedrock Guardrails. Deliver 99% accuracy in identifying correct model responses to minimize hallucinations. #responsibleAI #generativeAI

👉 https://t.co/FiWVljNBlu

[Alex.eth 🇺🇸 🛡️ @AlexanderFisher]

PRIVACY WON. FREE SPEECH WON. WE WON.

Fifth Circuit reverses its judgement after we won our appeal. Another step closer to being able to freely use Tornado Cash again.

https://t.co/lAvCnHHyKC

[Matthew Berman @MatthewBerman]

AWS (@awscloud) just dropped Automated Reasoning!

Automated reasoning was previously only available to the largest companies with massive resources.

AI changes that.

Let me show you why this is such a big deal 🧵

(AWS Partner)

[Dejan Jovanović @dddejan]

AR + LLMs #AWS #AWSreInvent

https://t.co/Y0J27D25hZ

[Google DeepMind @GoogleDeepMind]

We’re presenting the first AI to solve International Mathematical Olympiad problems at a silver medalist level.🥈

It combines AlphaProof, a new breakthrough model for formal reasoning, and AlphaGeometry 2, an improved version of our previous system. 🧵 https://t.co/SYaLPSbIyj

[Bertrand Meyer @Bertrand_Meyer]

We lost a titan of programming languages, programming methodology, software engineering and hardware design. Niklaus Wirth passed away on the first of January. We mourn a pioneer, colleague, mentor and friend.

[cvc5 Solver @cvc5_solver]

We're looking to get to know the users of SMT solvers! Please DM us if you use any SMT solver, and especially if you use cvc5. Reposts for visibility are also appreciated!

[Dejan Jovanović @dddejan]

This chill chatbot was made in 5 min. Pretty fun. https://t.co/gh9vD31GWC

[Dejan Jovanović @dddejan]

@leonardoalt @brockjelmore @BjornerNikolaj @leodemoura @hanielmbarbosa https://t.co/e94n8kjN7l

[Dejan Jovanović @dddejan]

Does anyone know what the difference is between "delete" and "report spam" in Gmail? Asking for a friend.