@evacchi
Account based inItaly
About this account
- Account based in
- Italy
- Connected via
- Italy Android App
Account-level information from X, not a live location or the device used for a specific post.
Programming Language Nerd, PhD in CS — Principal ML Engineer @RedHat — prev: (Chicory, wazero) @Dylibso @Tetrateio @RedHat — @PapersWeLoveMI organizer
Italy, Milan
Joined June 2010
- Tweets9K
- Following908
- Followers1.4K
- Likes12.5K
am I the only one or the the agents are amazing at finding subtle bugs in PRs, but they NEVER suggest to rewrite the patch even when the code is an unreadable mess
I guess SKILL.MD issue on my end but today I tried a few LLMs with a real rust codebase and I understood why DHH says he doesn't ever want to look at it
Edoardo Vacchi retweeted
I guess SKILL.MD issue on my end but today I tried a few LLMs with a real rust codebase and I understood why DHH says he doesn't ever want to look at it
Edoardo Vacchi retweeted
I see your VirtIO devices you clone 20000x/hour and jam into namespaces across nodes just to read a file,
And raise you a light, elegant, virtual stack that pops and pushes tiny ops, with code and data respectfully separate, which only, by design, is cognizant of the simplest of imports and exports, possibly fleeted to a fraction of the overall footprint of the above to accomplish the same fidelity.
Yes, we can dramatically improve the Unix process model, by orders of magnitude, in terms of resource use, speed, and safety, while keeping the exact same semantics.
People think some of these things are so sacrosanct there is nothing to improve there, when it is quite the opposite.
(blog post on above dropping Friday, hopefully 🤞)
boxer.dev / blog – at San Francisco, CA
Edoardo Vacchi retweeted
so we really are accelerating 100x because I thought it would take them weeks, instead in the last 3 days people have realized that their “enhanced productivity” really is burnout-speedrunning
My cofounder is @intellijidea
Heard a software engineer say: "my cofounder is Claude" about a project they built + shipped.
I am baffled by people humanizing AI, given it's just a tool. The same way my keyboard is not my cofounder (though I could not write @Pragmatic_Eng without it!) but a means to an end
Edoardo Vacchi retweeted
Today I am releasing KillSwitch: a new programming language designed to be difficult for LLMs to write, edit and understand.
It makes for a great benchmark suite for LLM models and is a lot of fun to program in.
Check it out 👇
killswitch-lang.org
Edoardo Vacchi retweeted
I'm looking for my next role, in Montreal or remote! My background spans compilers, systems, and AI research.
I'd welcome introductions, leads, or a repost to help spread the word ❤️
More details about my experience and what I'm looking for: pointersgonewild.com/2026-09…
maybe if hollywood fast-tracks a christopher nolan blockbuster about the labs they'll backtrack a little from the whole doomsday schtick wdyt
well the prompt is definitely shorter than one page
Sam Altman says Trump and Xi would win the Nobel Peace Prize for a one-page AI agreement
“I think Presidents Trump and Xi would get the Nobel Peace Prize together if they could agree on something that should be easy to agree to. And it would be wonderful.”
“I think that clearly the two countries are going to compete in lots of ways, and this is going to be important socioeconomically, geopolitically. But they should be able to agree that no one should be taking a certain level of risk with the development process of this.”
“And even if just the US and China could agree on some shared standards and testing for development of this technology, I think that'd be a wonderful accomplishment that the two of them can deliver.”
“I don’t think this is hard. This is like a one page document.”
this weekend on the news is one plot twist after the other absolute cinema almost as good as sama being fired
Edoardo Vacchi retweeted
Correct take but also extremely tech-bubbly take
Software is not dead. The market of selling to tech people is (mostly) dead
There are billions to be made in the next few years by solving normie software problems for normies
A plumbing business will not be vibe coding PlumbCRM
I just saw this @ycombinator's batch literally only has harness startups or hardware startups
So the proof is in the pudding
In the most early adopting tech pioneering place that's Silicon Valley new startups aren't even building software anymore
And it's debatable if anyone will actually need a custom harness or it won't just be generically offered by the AI frontier companies
So software is mostly dead and hardware it is
