Mihai Maruseac
@mihaimaruseac
Followers
2K
Following
138K
Media
125
Statuses
15K
Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear. Views my own
Mountain View, CA
Joined March 2009
If this turns out to be real I'll switch to the AI-everywhere and for everything camp the very next second.
Ok someone claiming Navier Stokes millennium prize by end of year. Grabs popcorn šæ
0
0
1
Just as I was looking for houses in SF to be able to participate in all those AI events next year...
A large power outage is impacting San Francisco - only call 9-1-1 for life safety emergencies, avoid non-essential travel, treat down traffic signals as four way stops, keep refrigerator and freezer doors closed, and turn off major appliances to prevent surges. Never use gas
0
1
2
Most technical city in the world and the one where an electrical outage affects a quarter of it for hours. Make it make sense
Not to be outdone by their performance just two weeks ago, @PGE4Me has taken down power for almost a quarter of San Francisco today. This kind of operational excellence is what justifies us paying the highest energy rates in the Continental US.
0
0
0
OH: The best part about the idea of parallel universes is that there's somewhere where @MariahCarey is doing her shopping and is sick of hearing my song.
0
2
9
Trust and effective oversight for agents is so much more than trajectory transparency. I would argue that the bulk of that responsibility is with the vendor not with the user.
0
1
1
My proof of the Riemann hypothesis. Itās time I finally release it
37
922
15K
Metaās in the news for allegedly knowingly profiting from letting scammers run ads on their platform, but thereās a larger meta-level question (no pun intended) about the societal effects of the entire business of social media.
0
1
2
OpenSSF-funded work by @trailofbits is improving sigstoreās rekor-monitor to help maintainers detect malicious package releases and unexpected signing activity using transparency logs. https://t.co/kQXFIy1TF0
0
1
5
As 2025 comes to a close, weāre grateful for the people behind open source security. Thank you for your collaboration, commitment, and community spirit. š Explore the 2025 OpenSSF Annual Report: https://t.co/Ah9qpSviSK Happy Holidays from the #OpenSSFCommunity.
0
1
2
Microsoft killed Skype in May this year. I recall the downfall of Skype starting (inside MS) when Microsoft did not backfill Skype's CEO (Tony Bates) after him leaving: "merging" it into Microsoft. Hard to unsee the parallels with what is happening with GitHub. Also no backfill
30
43
530
All software should be AI generated and formally verified based on human wish! All new code should be formally verified before being merged. Everywhere. As an industry standard. Lets end debugging era and focus human brain on building real stuff and real creativity
5
7
54
More things than you think are actually just MapReduce! Transformers? MapReduce! Garbage collection? MapReduce! CSS selectors? MapReduce! Christmas potluck? Believe it or not...
3
2
62
I see a lot of complaints about untested AI slop in pull requests. Submitting those is a dereliction of duty as a software engineer: Your job is to deliver code you have proven to work
simonwillison.net
In all of the debates about the value of AI-assistance in software development thereās one depressing anecdote that I keep on seeing: the junior engineer, empowered by some class of ā¦
60
229
2K
Great take @hey_amandam Yes DevRel became weird when it became more about marketing than building. Devs sniff out nontechnical folks or people not doing the same work and then filter it out as noise
@GergelyOrosz I think devrel got "in a funk" when companies started colocating devrel with marketing. What I'm seeing is a swing back to devrel as builders who like to share. And companies that understand this and place devrel in eng are definitely hiring devrel/using the function properly imo
1
3
31
I think claude gave up at trying to understand my code
0
2
12
In almost 2026, try typing in any MS product "six a.m. that" and try to prevent it from auto-capitalising. I dare you. Normally you would backspace and it would revert to lowercase. Or move the cursor to 't', change. No. What you have to do is: - allow it to capitalise by
2
1
4
The reason for the recent rant (at https://t.co/r4JxGsWF7a)
mihai.page
And we'll enshittify everything to push you to it (and then enshittify the app too)
LinkedIn has a 2026 wrapped but only if you use their mobile app. Wonder why. I don't need it, in that case
0
0
1
And now I got a rant from this:
mihai.page
And we'll enshittify everything to push you to it (and then enshittify the app too)
0
0
0
In other words, human in the loop is still relevant. Or, just the developer that cares about quality over quantity (characters of code produced by AI)
1
1
1
@theodorvaryag @leothrix I swear people keep reinventing Nix every day :p
0
1
4