Julien Vanegue (@jvanegue) 's Twitter Profile
Julien Vanegue

@jvanegue

CTO Office / Head of Infra & Security Research @Bloomberg. Interested in mathematical techniques for software, systems, and network verification at world scale.

ID: 138098380

linkhttp://openwall.org/jvanegue calendar_today28-04-2010 16:25:47

8,8K Tweet

5,5K Followers

943 Following

Julien Vanegue (@jvanegue) 's Twitter Profile Photo

It’s on! SummerCon 2025 is about to start. One of my favorite conferences in the world. See you all tomorrow in Brooklyn! summercon.org

It’s on! <a href="/SummerC0n/">SummerCon</a> 2025 is about to start. One of my favorite conferences in the world. See you all tomorrow in Brooklyn! summercon.org
Julien Vanegue (@jvanegue) 's Twitter Profile Photo

Our *first* *ever* call for the Bloomberg infrastructure and security research fellowship is closing in just a few hours! Thanks to everyone who already submitted their proposal.

Julien Vanegue (@jvanegue) 's Twitter Profile Photo

I am in France for the summer break. I love resourcing myself to the peaceful atmosphere of my native Normandy’s country side. This is the polar opposite of the constant frenziness of New York City.

I am in France for the summer break. I love resourcing myself to the peaceful atmosphere of my native Normandy’s country side. This is the polar opposite of the constant frenziness of New York City.
Julien Vanegue (@jvanegue) 's Twitter Profile Photo

Until AI can provably generate correct code, senior developers’ jobs are safe. Soon, all we will need are verification engineers. We are already using AI to synthesize code contracts, capturing programmer’s intent with 99% accuracy for low level C/C++ code. Adapt in consequence.

Brendan Dolan-Gavitt (@moyix) 's Twitter Profile Photo

So, I’m not sure there is any good time to announce this, but as of August 31st I will be leaving NYU for good, to seek my fortune in industry with XBOW!

Shruti (@heyshrutimishra) 's Twitter Profile Photo

This paper didn’t go viral but it should have. A tiny AI model called HRM just beat Claude 3.5 and Gemini. It doesn’t even use tokens. They said it was just a research preview. But it might be the first real shot at AGI. Here’s what really happened and why OpenAI should be

This paper didn’t go viral but it should have.

A tiny AI model called HRM just beat Claude 3.5 and Gemini.

It doesn’t even use tokens.

They said it was just a research preview.

But it might be the first real shot at AGI.

Here’s what really happened and why OpenAI should be