Dimitris Vardoulakis

ML compilers @nvidia. Views my own. Prev TPU compiler, Closure Compiler @Google; DoctorJS @mozilla; CS PhD @neu_prl; BEng @ecentua.

Also on bluesky, mathstodon

[Dimitris Vardoulakis @dimvar]

@samth I remember the honesty trope from Claude as well. I think I prefer Gemini's tone.

[Dimitris Vardoulakis @dimvar]

Another prime example of a smart person (and well-meaning IMO) occasionally having a really dumb take. 13.7% of people in the US face food insecurity, for instance.

https://t.co/NkoD69Lmo6.

[Kevin Carpenter @kejca]

Warren Buffett: "The bottom 2% in terms of income in the United States, the bottom 5%, and for sure the top 1% all live better than John D. Rockefeller was living when I was six years old."

"John D. Rockefeller was the richest man in the world and, today, you can get better medicine, better education, better entertainment, better transportation. You can do everything better than he could."

"When I was born, the dentist didn't use novocaine!"

[Sam Tobin-Hochstadt @samth]

Why did CACM just publish a blog post by a B2B SAAS guy about how he's in the middle of vibe-proving P vs NP? What possible editorial process could this have gone through? @vardi

[Dimitris Vardoulakis @dimvar]

@joannejang Polsia (but I don't know how I would bet)

[Dimitris Vardoulakis @dimvar]

@__avik @vinodg Hey Avik, happy to chat and catch up. I haven't seen the papers you mention. My first reaction is that this seems fine to narrow down the autotuning candidates, but not as a final evaluation. You'd still want to execute and time the most promising candidates.

[Dimitris Vardoulakis @dimvar]

I just finished reading "The Cuckoo's Egg" by Cliff Stoll and I highly recommend it. The nerd energy in the book is very high. If you liked "The Soul of a New Machine" you will like this one too.

https://t.co/CvFuQp1PDr

[Dimitris Vardoulakis @dimvar]

@damekdavis If they are able to explain the results successfully to the community, then yes.

[Dimitris Vardoulakis @dimvar]

Polsia will be the juicero of our time.

[Rolling Stone @RollingStone]

COMMENTARY: Let’s say it plainly: There has never been a president as corrupt as Donald Trump.

There is no close second in our history.
https://t.co/RRV6gbiZi1

[OpenAI @OpenAI]

Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946.

For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids.

An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better.

This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.

[Dimitris Vardoulakis @dimvar]

My take is a bit different: Google doesn't know how to sell to companies. Their user base has been consumers using the ad-supported products for free. These users have low expectations for long term continuity.

Google doesn't know how to support companies and paying customers well.

[Gergely Orosz @GergelyOrosz]

Microsoft is obsessed with backward compatibility - even if this means slower iteration

AWS is obsessed with predictability - even if this means large strain on their devs

Google is obsessed with their devs' wellbeing - so you have to do the work their devs did not want to

[Dimitris Vardoulakis @dimvar]

>> He will go down in history as the president who came up with forms of corruption never contemplated before.

That's his only talent!! 😄

[Richard Stengel @stengel]

An American president sues/extorts his own government, then settles with his own justice department to funnel money to his criminal allies. He will go down in history as the president who came up with forms of corruption never contemplated before.

[Dimitris Vardoulakis @dimvar]

How any of this is legal is beyond me.

[The Associated Press @AP]

BREAKING: The Trump administration announces a $1.7 billion fund to compensate prosecuted allies after dropping a lawsuit against the IRS. https://t.co/2kh5VINHpl

[Dimitris Vardoulakis @dimvar]

The number of employed SW engineers in the US has risen in the past 10 years. In 2016, it was around 1.25M and today it is about 1.7M to 1.9M (depending on which LLM you ask :P ).

[Dimitris Vardoulakis @dimvar]

I can't keep hearing these darn predictions. Here's my prediction. 18 months from now the number of employed software engineers will be similar to today's number.

https://t.co/lsVWlFRT9F

[Dimitris Vardoulakis @dimvar]

Also, AGI won't be achieved with tweaks to the current technology. Breakthroughs are still needed. Therefore, no one knows when AGI will be accomplished.

[Hillary Clinton @HillaryClinton]

The president is negotiating against his own administration to shake down taxpayers for $10 billion.

The corruption meter is flashing red and sounding the alarm.

https://t.co/cHK0Fqqs62

[Robert Reich @RBReich]

The DOJ is reportedly considering dropping any audits of Trump, his family, or his businesses as part of a potential settlement of his bogus lawsuit against the IRS.

That’s on top of the $10 billion in damages he wants.

This is corruption on steroids — and taxpayers will pay the price.

[Melanie D'Arrigo @DarrigoMelanie]

Trump is suing the IRS, which he oversees, for $10 billion.

Both sides want to settle to avoid going to court.

Aside from money, one of the settlement terms is to drop all audits of himself and his family.

He’s stealing $10B from taxpayers and covering up his tax crimes.

You get that, right?
https://t.co/88CDTiFWDg