DeepuBabu

Account is bing given by elders passed on

[DeepuBabu @Deepubbu]

Need of the hour

[DeepuBabu @Deepubbu]

@LeahChilders4 Congratulations

[ℏεsam @Hesamation]

Google used a team of Gemini Carbon agents to formally verify the security of Signal, generating over 6 MILLION lines of Lean proofs.

I think we’re witnessing the early days of a paradigm shift similar to the rise of vibe coding, this time with software verification.

once formal verification becomes cheap enough and common, and new tools are built around it, the job of programmers could shift again.

coding agents already let us build a working app with a simple vague prompt, but this approach of formal verification could push us to be precise again, similar to how coding before AI required precision.

in this scenario, the agents would write the code and prove that it correctly meets your requirements, but the hard part becomes deciding what “correct” actually means.

[DeepuBabu @Deepubbu]

@Preetham_exe @nikitabier @petersellis Thanks Preetam. Hey Peter can you pls look into the issue?

[DeepuBabu @Deepubbu]

Absurd kinda algo @nikitabier please give some break and have some chill pill to fine tune the algo it just gets worse and worse it looks like the loop is never ending??? Pls do something abt it 😩😩

[DeepuBabu @Deepubbu]

@Preetham_exe @nikitabier Can you point me to the right missed this news in lol of this let’s get back to our mojo of knowing info

[CG @cgtwts]

holy shit, this is literally AGI.

[Math Files @Math_files]

On 12 January 1920, Srinivasa Ramanujan wrote to G. H. Hardy describing 17 mysterious functions he called “mock theta functions.”

Decades later, mathematicians recognized their connection to mock modular forms.

In 2012, Atish Dabholkar, Sameer Murthy and Don Zagier showed how related mathematical structures encode the quantum states of certain black holes in string theory.

Ramanujan was studying pure mathematics, not black holes. The physical connection emerged almost a century later.

[DeepuBabu @Deepubbu]

This definitely is going the way Facebook algo works same vibes soon to move out as well looks like though @bluesky will now have serious movement

[DeepuBabu @Deepubbu]

@bindureddy They have the appetite since Transformer which made AI from Deepmind & the search engine makes them take that risk on a lighter Google has killed more products that they have shipped the biggest one being Stadia and Nexus but getting back into Hardware not sure why?

[DeepuBabu @Deepubbu]

@arvindreddyt What happened ??

[DeepuBabu @Deepubbu]

@pnagarjun Then the new Indrpendent units should not only be Panchayiti , it shud be gated communities be treated as well for that

[DeepuBabu @Deepubbu]

@kreitcher Inkenduku late mugguloki dimpudam anukunnava Babay??

[The Future Investors @ftr_investors]

A wise man once said...

[DeepuBabu @Deepubbu]

@kreitcher @daphney6644 Offshoot a???

[Bundeskanzler Friedrich Merz @bundeskanzler]

Der 9. November steht für die dunkelsten und die glücklichsten Stunden unserer Geschichte: für Antisemitismus und Verfolgung, für den Beginn der Demokratie und den Fall der Mauer. Freiheit und Demokratie sind nie selbstverständlich. Schützen wir sie – in Deutschland und Europa.

[Other Europe 🇪🇺 @other_europe]

On 9 November 1989, the Berlin Wall fell, bringing an end to decades of division and marking the beginning of a reunited Europe.

Happy Freedom Day, Europe. 🇪🇺

[DeepuBabu @Deepubbu]

Saw this and not sure if this is true someone who is a physiologist can explain please??

[DeepuBabu @Deepubbu]

@NinaDSchick Or may be slowing the discovery or just incremental innovation rather than disrupt or tech??? Not what is the truth?

[DeepuBabu @Deepubbu]

@TheFigen_ Dei 🤣🤣🤣

[DeepuBabu @Deepubbu]

@F1 @MercedesAMGF1 Congratulations @commonsense1221 Unnava nidraooyava Ferrari Anta ?? Chudu Kimi antha