Mahmoud Baraki

stun the world

[Tesla North America @tesla_na]

Model S & X are the ultimate Teslas – and come with everything

Now included in the US:
– FSD Supervised
– 4 years of Premium Service
– Supercharging
– Premium Connectivity

[USA TODAY Sports @usatodaysports]

Mookie Betts talks all things Dodgers and fight for NL West https://t.co/n71YE9UgMD

[Tom Ballard @tcballard]

@theallinpod this years lineup looking insane. Excited for September already

[The Washington Post @washingtonpost]

As a justice on Brazil’s Federal Supreme Court, Alexandre de Moraes has clashed with former president Jair Bolsonaro, Elon Musk and others.

Now his opponent is none other than the president of the United States. https://t.co/K1xJslg8GZ

[Andrew McCarthy @AJamesMcCarthy]

When nebulae go from brown to red, that means the molecular hydrogen is close enough for a star to ionize and emit its own light.

You can see how the star not only affects the light emitted, but the shape of a nebula.

This was captured with a camera lens, not a telescope!

[Ross @rpoo]

intelligence is the universe evolving to more efficiently explore the state space of what’s possible - we live in the most interesting of times & places

[Alex Kontorovich @AlexKontorovich]

In 2035, we’ll view unformalized 2025 math, where we don’t even name our hypotheses, in the same way that in 2025 we view pre 1600 algebra, before they realized they should name variables!

Have you ever tried to read math pre 1600? They’re doing *serious* algebra, but it looks like this:

“You have some unknown quantity. When you create a second copy of this quantity and combine it with a known amount, then multiply this total by your original unknown quantity, you get a specified result”

Or you could say: consider the quadratic:

x(x+a)=b.

The latter is (with modern training) *so* much easier and immediate to understand.

Well in 2035, when everyone is doing math formally, they’ll see 2025 math in the same light:

Wait, what? They used to write things like “… because f(x) is positive for any negative input x, and y is negative, so we get that f(y)>0…” without naming the hypotheses?! It’s *so* much cleaner and more compact to see:

Hf : forall x < 0, f x > 0
Hy : y < 0
have : f(y) < 0 := Hf Hy

With some training, the above becomes much easier to follow and communicate clearly!

TL;DR: Name your hypotheses! :)

[The Figen @TheFigen_]

Timed the slide perfectly.

[Oracle Red Bull Racing @redbullracing]

that summer break feeling 🥱

[News24 Australia @News24Aust]

Almost half of Australians do not have faith in the government to change superannuation policy in their best interest, a new report has revealed as Labor’s super tax proposal looms.
https://t.co/mCGkbucUZr

[Alex Cohen @anothercohen]

My new doctor didn't accept my insurance card again.. the healthcare system is broken.

I even circled my co-pay amount

[Starlink @Starlink]

Two brothers in the Democratic Republic of the Congo are gifting Starlink to local schools.

4 schools and nearly 6 thousand students now have access to reliable high-speed internet, unlocking a world of knowledge and possibilities 🛰️❤️

[Mahmoud Baraki @HassonSh9]

$YAGI will transcend crypto because finally we will have a decentralized engine that can offer the performance 💎🚀

[Ana Mostarac @anammostarac]

Every key team member who leaves on good terms should be able to keep their verification badge, like a professor emeritus at a college.

A permanent fixture in the institution they helped build.

[The White House @WhiteHouse]

“Since 1978, the Kennedy Center Honors have been among the most prestigious awards in the performing arts. This year, the board has selected a truly exceptional class of honorees.” – President Donald J. Trump

[BNN Bloomberg @BNNBloomberg]

Air Canada, flight attendants appear deadlocked on day before strike deadline, despite government appeal https://t.co/kURqqnBc5d

[CNN International @cnni]

US President Donald Trump has landed in Alaska for a face-to-face meeting with Russian President Vladimir Putin.

Follow live updates. https://t.co/Gk8wLgl9Wf

[Architecture & Tradition @archi_tradition]

A weekend here would solve all my problems