Vaibhav Baweja

Existing!

[Equality For All Animals🦃 @AnimalUnite]

20k likes & counting on a post by a man sexualizing the corpse of a murdered pig, stating he has urges to molest the victim's body while comparing the corpse to a woman's genitals.

The deep link between misogyny & speciesism displayed yet again.

This is what nonvegans are.

[Vaibhav Baweja @VeganIndian7]

@AnimalUnite This feels so wrong
I hate it

[Vaibhav Baweja @VeganIndian7]

@Trutholic01 Jo sochna hain soch
Blocking you

[Sheel Mohnot @pitdesi]

Famous hobbies outside work:

Mark Zuckerberg: Brazilian jiu-jitsu, MMA, surfing, hydrofoiling
Bill Gates: Bridge, tennis, pickleball, reading
Steve Jobs: Zen meditation, music, long walks, Japanese art and design
Sergey Brin: trapeze, gymnastics, diving, burning man
Jeff Bezos: Sailing, flying helicopters, ocean exploration
Jensen Huang: Cooking, eating adventurously, was a nationally ranked table tennis player!
Morris Chang: Bridge, classical music, Shakespeare
Warren Buffett: Bridge, ukulele, reading
Elon Musk: Video games, spending hundreds of millions of dollars trying to influence elections

Obsession with your company is great! But the idea that the best founders have no interests outside work is bullshit hustle-porn.

Having hobbies isn’t the opposite of being obsessed with building something great.

[Vaibhav Baweja @VeganIndian7]

@Trutholic01 Apne kaam se kaam rakh

[Vaibhav Baweja @VeganIndian7]

@Gopalak78325085 @arjunanand3535 It's not a Jatt surname
It's an arora surname, which is subcaste of khatri caste

[Vaibhav Baweja @VeganIndian7]

@esotericsad Yeah it's called conflict of interest,that's why people very outraged at Gadkari

[Vaibhav Baweja @VeganIndian7]

> Be Rohit Bansal
> Create a wesbite called AQI . In
> Show inflated AQI data to fear monger Indians
> Create another company " Prana Air and Pure logic labs Pvt Ltd"
> Utilise the fear mongering created by AQI. IN to sell air purifiers and AQI monitors
> Total baniya victory.

[Vaibhav Baweja @VeganIndian7]

@PratyushP23 This is not Anirban Sen, probably someone from Bangladesh larping to be him lol!

[Vaibhav Baweja @VeganIndian7]

@imajokin https://t.co/N9WD7bgCyf

[Vaibhav Baweja @VeganIndian7]

@DelJargon When did I say that there is no air pollution?
While travelling to and from work, my eyes literally burn
I only pointed out the conflict here
The AQI data on their website is too high,none of the other sites(non- gov) show such high readings

[Vaibhav Baweja @VeganIndian7]

@LostMyAxe It is in his company interest that this problem persists
And people buy air purifiers, aqi monitors
GST collected on products goes to government
So if the government & these people were not profiting off this crisis, they would have solved it by now

[Vaibhav Baweja @VeganIndian7]

@227Iee https://t.co/5PYb8b0b1P

[Vaibhav Baweja @VeganIndian7]

@DelJargon When did I say that there is no air pollution?
While travelling to and from work, my eyes literally burn
I only pointed out the conflict here
The AQI data on their website is too high,none of the other sites(non- gov) show such high readings

[Vaibhav Baweja @VeganIndian7]

@ShivamJoker Hi Shivam, I did not say that
Readings on that app was showing 3000+
In the morning it came down to 600
I was suspicious of what conspired that night
Since making this tweet, I learnt that Govt switched off its monitoring stations
And Eastwards wind helped

[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

[Vaibhav Baweja @VeganIndian7]

@SaurabhFirke You start by pointing out those people who are benifiting from this crisis - politicians, people in air purifier business and even doctors having high charge fees for respiratory problems

[Vaibhav Baweja @VeganIndian7]

@Fractitious1 https://t.co/EDUYtBFucr

[Vaibhav Baweja @VeganIndian7]

@rudrabhoj I am not arguing with you further
You are uncouth and foulmouthed, and are full of ad hominems
Bye

[Vaibhav Baweja @VeganIndian7]

@rudrabhoj That I am aware
They switched off the stations on Diwali night
My intention was not to defend the government or state
I also mentioned that multiple times in that thread that I don't trust the government data
Learn to be civil while arguing, don't make it personal