Hans Henning Lübberding

German defence and aerospace gtm @googlecloud

Occasionally right for reasons an engineer explains to me later. Views my own.

🇪🇺 🇩🇪

[Hans Henning Lübberding @IamHansHenning]

@alexolegimas If it's Windows 95 it has to include Buddy Holly!

[Hans Henning Lübberding @IamHansHenning]

This is a vital step for European sovereignty. Building cutting edge security capabilities ourselves is critical to avoid the 'new security architecture' Russia keeps pushing for.

[Helsing @HelsingAI]

Introducing Clarity – an AI-native agentic intelligence platform for armed forces.

Developed in Europe, under European control.

https://t.co/6LIVOlj6kM

[The Kobeissi Letter @KobeissiLetter]

BREAKING: Nvidia, $NVDA, is preparing to fire Jensen Huang, its founder and CEO, after allegations of a second affair have surfaced, per WSJ.

The board is preparing to meet as soon as today to determine his future.

[roon @tszzl]

strongly disagree with the take that the “AI market is winner take all”. to begin with, if this were true, there wouldn’t be an anthropic. the only reason I could see it being winner takes all is if you plan on “pivotal acts” against all other efforts once you have the capability

[Florian Gallwitz @FlorianGallwitz]

Wer seine Erwerbsarbeit am Computer erledigt, kann auf Frau Nahles hören und sich entspannt zurücklehnen. Oder er kann sich mit der Realität beschäftigen und anfangen, sich Sorgen zu machen.

[Hans Henning Lübberding @IamHansHenning]

@torstenreil Congratulations on your launch. Very excited to see how it gets adopted across the continent. Europe needs a sovereign Maven competitor. Agentic multimodal intelligence fusion at scale is impressive.

[Helsing @HelsingAI]

Introducing Clarity – an AI-native agentic intelligence platform for armed forces.

Developed in Europe, under European control.

https://t.co/6LIVOlj6kM

[Hans Henning Lübberding @IamHansHenning]

@patloeber Can't wait! Exciting times.

[lauren @poteto]

it's quite a good model, give it a try!

[Hans Henning Lübberding @IamHansHenning]

Strategically this is huge. @googlecloud now offers direct access to all major frontier labs. That's unique, and impossible to replicate. Combined with the new TPU releases this is an incredible value proposition.

[Mark Zuckerberg @finkd]

Muse Ember, Muse Spark 1.3, and Muse Wonder are now available on Google Cloud.

[Hans Henning Lübberding @IamHansHenning]

Muse Ember was a really impressive launch yesterday. It is the perfect model to drive a personal agent like @NousResearch's Hermes at affordable cost. @alexandr_wang and team delivered. Between them and @thinkymachines Inkling 2 Small the space has seen two huge releases.

[Cursor @cursor_ai]

Gemini 4 Carbon is now available in Cursor!

At high effort, it's the top model on CursorBench at 60.4%

[Hans Henning Lübberding @IamHansHenning]

@PenfoldDavid @martin_casado No I understood. I believe having no hobbies is a perfect path to burnout and mental illness. I agree. Her take is cheap engagement bait.

[Hans Henning Lübberding @IamHansHenning]

@martin_casado I don't even get how one can hold that opinion. If Elon can find time to play Diablo or Cyberpunk there is zero excuse to be a perpetually working recluse.

[Hans Henning Lübberding @IamHansHenning]

@FlorianGallwitz Plus minus null also. Müssen nichts ändern. Läuft doch! Eine Aussage zu KI in 15 Jahren zu treffen ist absurd, und zu behaupten 800.000 Jobs fallen weg setzt dem Ganzen die Krone auf. Kann man Frau Nahles als Komikerin buchen? Hätte sie gerne auf dem nächsten Firmenevent.

[Hans Henning Lübberding @IamHansHenning]

@AdamHoltererer Yes. It is.

[Patrick Loeber @patloeber]

today we're rolling out Gemini 4 Carbon!🚀

it's our strongest model yet and a big jump over Argon (same API features & same price)!

excited for you to try it and hear your feedback!

https://t.co/QgF5FWJ9Yc

[Pushmeet Kohli @pushmeet]

Announcing a major milestone achieved by my team @GoogleDeepMind: we have proven key security properties of the machine code underlying the Signal messaging protocol. This is the first time the actual production code of a widely deployed protocol has been formally verified – by any method, with or without AI – and at this depth.

More than a research breakthrough, it’s a prime example of how frontier AI can be a force multiplier to counter the speed and scale of modern cyber threats.

Formal verification offers a higher standard of security; however, it’s extremely complex and time consuming, which is why in many cases it’s considered to be impractical. Similar efforts could take teams decades of combined effort. We did it in a month’s time.

Using AlphaProof Code, Google DeepMind's new agentic framework for formal verification that runs on LLMs including Gemini Carbon, we verified the Signal protocol down to the actual code running on devices.  This milestone lays the groundwork for a future in which vital systems, from medical device firmware to power grid software, ship with mathematical proof that their protections work.

Reaching that future will take continued research from our community. In that spirit, we're open-sourcing our formal specifications and verification artifacts so others can build on this work.

On a personal note, this moment is of deep significance to me. I started my own research journey more than two decades ago as an intern working on checking the consistency of complex software systems. Seeing this grand challenge made practical with modern AI is extraordinary.

I'm extremely proud of my team members: Swarat Chaudhuri, Andrew Ferraiuolo, Anton Kovsharov, Tej Chajed, Sam Schlesinger,  Karn Seth, Jonathan Katz, and Charles Sutton for taking on this grand challenge and delivering, and grateful to the Signal team for their partnership.

https://t.co/kN1eRYQ8fF