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

SF Bay Area
No it hasn't. This is a terrible take. Just as a single example, Trump got elected with ~3M fewer votes than Clinton in 2016.
It seems to me that democracy has on the whole worked very well in America over the last decade, and perhaps better than in any other major country in the West. National outcomes have repeatedly been responsive to underlying voter preferences on meaningful questions, and significant changes in policy have ensued. I’ve been reading Democracy in America this past week, and it’s striking how much it still rhymes nearly two centuries later.
76
Google should allow using search without AI overview. The choice they currently give isn't much of a choice.
Breaking: Google will turn off web search for schools that opt out of A.I. for kids. nytimes.com/2026/11/03/us/go…
1
113
Dimitris Vardoulakis retweeted
i've reproduced the results from the MIT blog post today on weight-space programming. but one additional result i have to add: this is a new, step-change emerging capability that's appeared in just the latest set of models.
216
801
7,800
593,830
Dimitris Vardoulakis retweeted
We asked GPT-6 Astra to edit Qwen3.5-0.8B weights to improve math. It directly changed only 0.016% of weights, fixing 0.8B's reasoning loops & improving math up to 6x and even instruction following 3x, without gradients or training. We call this Weight-Space Programming: frontier LLMs can now natively read/write neural network weights! 🧵 Blog: rikiyat.github.io/blog/weigh…
Community note
LLM was given weights explicitly as text in prompt and used code/forward passes (per authors' logs) to ablate Qwen looping direction, a known thinking-mode issue per model card. Primarily fixed repetition in that mode, not general 'natively' improving weights/math. rikiyat.github.io/blog/weight-sp… github.com/RikiyaT/lm_und… huggingface.co/Qwen/Qwen3.5-0… huggingface.co/RikiyaT/Qwen3.…
2,359
7,269
55,922
9,708,306
Dimitris Vardoulakis retweeted
In case you missed it, integer factorization has been proven subexponential (deterministically, worst-case bound)! The hard work comes from Claude's version of the ETH refutation but it seems a little more had to be done to get this result for integer factorization.
22
103
943
57,784
Dimitris Vardoulakis retweeted
Can formal verification fully replace fuzzing? Genuine question.
4
31
154
10,771
The recent verification work by Anthropic is great. Just one thing I'd like to add to the recent online discussions. Quoting: "we need a strategy for verifying the enormous body of existing software, starting with the most critical dependencies. As we’ve shown, this can be achieved at scale by using generic specs and working at the binary level, sidestepping the need to rewrite entire codebases in another language." This is good as a stepping stone, but not as an end goal IMO. Long term, it'd be better to rewrite the code in memory safe languages built with verification in mind (invariants about the program expressed in the program source). The first verification of a program can be costly, and the delta to re-verify it after each new patch should be small. If we're going to spend all this effort, why keep carrying around C++? anthropic.com/research/forma…
3
2
16
1,013
"Because like ALL things, if the punishment is a fine, it isn’t really illegal for rich people." This is unfortunately very true.
The thing about Google clearing a forest in Finland without permits is that they decided that whatever fine they might face is worth it. It doesn’t cost them as much as not getting the land cleared. Because like ALL things, if the punishment is a fine, it isn’t really illegal for rich people.
1
106
Dimitris Vardoulakis retweeted
Corrupt autocracies prefer to do business with other corrupt autocracies because the profits are personal on both sides, not for the state or the country. No oversight, no investigations.
The US is willing to betray its closest allies in Europe, a market of 450 million people and an economy worth nearly $20 trillion, just to cut shady, corrupt deals with Putin's Russia, an economy roughly the size of Italy's. What an absolutely insane foreign policy.
61
1,762
5,898
68,766
Back in 2011, many Samsung phones came with spyware pre-installed, and I had to root my phone and install CyanogenMod to get rid of it. Not surprised at all that they are still doing shady stuff like this. cnet.com/news/privacy/androi…
this account is decompiling a Samsung smart tv and it's actually worse than I was expecting, and I was expecting the worst
1
3
328
Dimitris Vardoulakis retweeted
SCOOP: The State Dept has started asking career diplomats up for promotion if they voted for Trump in 16, 20, 24. Federal law prohibits politically based hiring for career staff. State tells @washingtonsun it's screening for "fidelity" and execution of the president's vision👇
196
2,228
6,686
1,062,589
The funk brothers documentary is well worth watching. piped.video/BL9fF4Jtovc?is=UnjW…
James Jamerson's bass on "What's Going On", visualized note by note. Legend says Marvin tracked him down at a bar that night, and he played it lying flat on the studio floor. One finger, his '62 Fender Precision Bass, and the rest was history.
112
Dimitris Vardoulakis retweeted
The GRU hacked into Jared Kushner's iPhone. Dutch military intelligence (MIVD) then recruited a GRU spy who gave them access to the hacked phone. What MIVD discovered was that Kushner had access to two bank accounts --one Azerbaijani, the other Israeli --where Saudi Crown Prince Mohammed bin Salman and Emirati ruler Mohammed bin Zayed deposited money. It sounds like a slightly far-fetched episode of "Slow Horses," but it's real. And it proves just how eye-poppingly corrupt this administration was and continues to be as its "special envoy" decides the fate of tens of millions in Europe in the Middle East. Simply incredible reporting by Matthew Cole, drawn from his new book on Kushner. vanityfair.com/story/jared-k…
1,450
24,388
77,626
6,565,469
Dimitris Vardoulakis retweeted
you're just going about your day and you now get to read stuff like "Trump says Sundar Pichai talked him out of renaming the Atlantic Ocean" and you just have to nod and move on with your day. “Oceans are different, sir.” lmao theverge.com/policy/1016751/…
10
165
1,009
60,486
Dimitris Vardoulakis retweeted
Replying to @maxious
Very strange how this keeps on happening
9
38
622
131,382
Dimitris Vardoulakis retweeted
JD - I've got 15 free minutes before my son's hockey practice ends, so let me see how many of Trump's enrichment schemes you didn't see that I can remind you of. 1/ First one is easy: Trump has executed over 30,000 stock trades, many on inside information, netting him millions.
JD Vance: "I've not seen a single shred of evidence that Donald Trump participates or sanctions in that corruption ... I've not once seen evidence that Donald Trump has enriched himself"
254
2,936
11,675
568,495
Prediction: Anthropic will hire junior employees after 2028.
1
29
supposed?
These days, I'm struck by how the dominant mood on both sides of the Atlantic toward the other is a kind of pity. Europe frets about the US's supposed slide into autocracy; the US about Europe's pusillanimity and immiseration.
125
Dimitris Vardoulakis retweeted
Anthropic's leaders need to stop commenting on the emergence of RSI like a local news anchor reporting on traffic on the 101, and acknowledge that they are the traffic, and they're not going to build something that they don't want to exist. They should move beyond "pacing" language, commit to specific policies and red lines, explain why those lines are red, and then use that costly signal to build an international consensus around norms. It's not that I trust the CCP, or that I think global lab monitoring and verification is imminent. But the status quo is absurd. You've got US lab leaders writing (or favorably quote-tweeting) essays about slowing down while simultaneously saying "things are moving faster and faster" and "btw, our internal models finished mathematics on Tuesday, next up: physics." The effect is the equivalent of Usain Bolt winning race after race while using his press conferences to bemoan the dangerous speed of modern sprinting on one's legs so would everybody please try a little less hard next race, and then ... breaking his 100m record again the following month. Honestly ask yourself: If you were China, why would you take this pausing/pacing stuff seriously?
Jack Clark of Anthropic now thinks it's more likely we see full RSI become possible in 2027 than in 2028.
56
186
1,478
257,102
Dimitris Vardoulakis retweeted
I rarely post here these days but I wanted to share my reflections: people.csail.mit.edu/virgi/t…
11
68
389
63,155