Coding, Math, IT in general https://xitter.twitterapi.xyz/t.co/hXqqV6VrVE
Joined October 2023
- Tweets10.1K
- Following179
- Followers92
- Likes2.8K
FredTheCoder🐧 retweeted
Claude'un yeni yapay zeka modeli Fable 5.2, parmakların neden hiçbir zaman birbirine dokunamadığını görselleştirerek anlattı.
FredTheCoder🐧 retweeted
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.
deepmind.google/blog/formal-…
FredTheCoder🐧 retweeted
I asked Fable 5.2 to "go wild" making a game, and all I got was this Pong clone.
And then I played it ...
👇
FredTheCoder🐧 retweeted
Wie planlos ist in Wahrheit die AfD?
Die AfD offenbart nun auf Fragen von @jreichelt, dass sie erstmal nur die vollziehbar Ausreisepflichtigen (200.000) abschieben wird - während im Jahr 300.000 Menschen eingebürgert werden. Sie denken wie die CDU: alles rechtlich kaum möglich, dauert Jahre - anstatt Lösungen zu finden. Syrer mit islamistischen Gedankengut werden also bleiben. Unsere Schulen werden weiter in Scharia-Zustände geraten. Die einzige sonstige Lösung, die die AfD hat: Appellieren, dass man 7 Kinder kriegt. Der durchschnittliche Deutsche hat übrigens nicht das Gehalt eines Herr Krahs. Welcher normale Bürger kann sich noch mehr als eins bis zwei Kinder leisten?
FredTheCoder🐧 retweeted
Our latest frontier model Gemini 4 Carbon is rolling out today! Amazing progress from Gemini 3 → Gemini 4 in less than a year… Carbon reverse engineers my original Theme Park binaries, adds a new DeepMind themed ride, and ports it to the web in one shot - kind of mindblowing to see! xitter.twitterapi.xyz/demishassabis/status/1…
For example I’ve been doing a bunch of late night vibe coding with Gemini 3 in @GoogleAIStudio, and it’s so much fun! I recreated a testbed of my game Theme Park 🎢 that I programmed in the 90s in a matter of hours, down to letting players adjust the amount of salt on the chips! 🍟 (fans of the game will understand the reference 😀)
FredTheCoder🐧 retweeted
I wanted to test Fable 5.2's quality with one-shot prompts without human feedback.
Everything in this game is from scratch: models, sounds, textures. ~$550 at API pricing, ~2.7M output and 445M input tokens, heavily cached. Took 8 hours!
Play it here: claude.ai/artifact/BGY1SztrA…
FredTheCoder🐧 retweeted
Had early access to Gemini 4 Carbon, it is a very good model that improves on Argon. It is useful to have an AI that thinks differently than Claude/GPT & is still highly capable, but has its own strengths & weakness
One fun demo: I gave Carbon a video clip & it reproduced in 3js
FredTheCoder🐧 retweeted
Our strongest frontier model, Gemini 4 Carbon, is now available.
Built for deeply complex, long-horizon workflows that push a frontier model’s intelligence, Carbon delivers frontier performance in agentic workflows across complex knowledge work, software engineering and web development, cybersecurity, and scientific reasoning.
While Gemini 4 Argon remains the ideal model for the majority of software engineering and knowledge work, Carbon steps in for your hardest tasks that push a model to its limits — from complex, multi-step debugging to open-ended scientific research.
Available starting today:
— Consumers: use it in the @GeminiApp and AI Mode in Search for Google AI Ultra subscribers
— Developers and Enterprises: build via the API in @GoogleAIStudio and @AndroidStudio, Google @Antigravity for Google AI Ultra subscribers, and Gemini for business
— Scientists and Researchers: apply for a chance to get 6 months free via @Antigravity
— Cybersecurity Defenders: apply to join the Fairwind Program for access to Carbon for cyber
Watch how Carbon brings reasoning and coding together, turning avian research into an interactive 3D simulation of a songbird’s vocal organ that synthesizes the sounds of six bird species live.
FredTheCoder🐧 retweeted
Trump has abandoned his promises of:
-prosecuting Hillary Clinton
-draining the swamp
-ending the Russia-Ukraine War
-releasing the Epstein Files
-starting no new wars
-mass deportations
But he has never once abandoned his support for Israel.
President Trump says his administration’s deportation policy was “too tough.” cbsn.ws/4k5CJfU
FredTheCoder🐧 retweeted
A 3D model of a century-old landmark, built from 40 photos and printed in one piece. Built by @LEJ_limited with Fable 5.2.
FredTheCoder🐧 retweeted
Was hat Trump zum Einlenken gebracht? Seine Wähler! Eine Doku zeigt, wie er Baustellen vorgeführt bekommt, die Bauherren Republikaner, teilweise Sponsoren seines Wahlkampfes. Die Projekte stehen still, liegen Monate hinter dem Plan und können nicht fertiggebaut werden. Die Antwort ist überall dieselbe: „Herr President, ICE hat sie von der Baustelle geholt, ich habe sie nicht wiedergesehen.“
Ultraorthodoxe Maximalforderungen sollten nicht den Blick auf die Realität verstellen, vor allem nicht, wenn sie von Leuten ohne Kinder erhoben werden!
Politik ist die Kunst des Möglichen. Alles darüber hinaus sind Utopien.
Sagt Maximilian Krah damit, dass er eine Amnestie für alle Millionen Illegalen will, die durch einen Rechtsbruch ins Land gekommen sind oder als Familie nachgeholt wurden, sofern sie sich "korrekt verhalten und arbeiten"?
Will er also tatsächlich nur kriminelle Nicht-Staatsbürger konsequent abschieben, aber ansonsten Verfestigung und Masseneinbürgerung für alle, die "nun mal hier sind"? Oder was genau kann man unter "Augenmaß" verstehen?
Was unterscheidet das eigentlich von der Position der Union?
FredTheCoder🐧 retweeted
Across our projects @GoogleDeepMind, we are witnessing a genuine phase transition in the pace of scientific discovery. You will see a glimpse of this in our releases in the next few weeks.
FredTheCoder🐧 retweeted
It isn't that weird to think that "this time is different" - we had a couple of Industrial Revolutions over the past couple centuries, just because we got used to a relatively steady-state regime post World War Two with a regular pace of growth doesn't mean it continues forever.
Across our projects @GoogleDeepMind, we are witnessing a genuine phase transition in the pace of scientific discovery. You will see a glimpse of this in our releases in the next few weeks.
FredTheCoder🐧 retweeted
In one of my favorite experiments, I told Fable 5.2 to build an endless, hands-off journey through 3D worlds linked by portals.
25,000 agents created over 450 worlds inspired by books, art, places, all in code.
Play: portals-endless-worlds.netli…
Github: github.com/emollick/ai-porta…