CTO & co-founder https://teapawt.org/t.co/HbnRuha320🚀 | master of AI https://teapawt.org/t.co/0rjJ9fDRhN | sup + snowboard + mtb addicted | surfer wannabe | nikon lover |
Here
Joined September 2008
- Tweets37K
- Following4.5K
- Followers1.3K
- Likes3.9K
andreabalducci retweeted
I had no accesso to Mythos / Fable 5.2 before tonight, but I wanted to check if a system recently checked by expert humans and updated had still issues. 20 minutes later there were two severe bugs uncovered. I'll not tell which project it is, it does not matter. Mythos is good.
andreabalducci retweeted
I really don't understand why people are still fighting against an incredible productivity boost like this.
Digital Divide will become impossible to fix.
andreabalducci retweeted
A huge amount of the Anti-AI code sentiment massively overestimates the quality of human code outside of a very small set of open source and high quality company codebases. Human Slop is everywhere and can trivially be improved on by any opus level model.
Current status: the new Jarvis.cloud site is being pushed while we travel toward Milan.
Vibes..
1
3
142
andreabalducci retweeted
Anthropic rewrote its Messages API in Rust. Zero Rust devs on the team.
Claude wrote the code. Humans wrote the plan and checked old vs new matched on real traffic. CPU dropped 40-50%.
Pretty sure "never do the big rewrite" is dead advice.
@katelyn_lesse on @latentspacepod
andreabalducci retweeted
One of the things I appreciate about LLM-driven coding: it obsoletes the useless "blameless review" culture that made conversations about why proposed code / architecture is bad extremely expensive to have.
Developers aren't emotionally attached to LLM-authored code the way they were to stuff they themselves wrote. We're all much more outcome-oriented and not output-oriented, which is how it always should have been.
We can just agree the code sucks now and redo it
andreabalducci retweeted
AI now finds bugs that survived decades of human review, and writes code that looks right but isn’t. Tests can’t keep up.
LeanCIL: formal verification for .NET
Proofs about compiled C# and F# (any dotnet lang), for every input, checked by @leanprover
github.com/NethermindEth/Lea…
andreabalducci retweeted
This doesn't replace engineering work. It's reshaping the work so fundamentally that the job starts to look like building for the moment or finding defendable layers against others. It requires more agency, flexibility and intuition, and strategical thinking.
Vibe coding in Prague on my second Mac, with my Nikon in tow.
Writing code, taking photos, and doing it all while traveling. Still blows my mind how much we can do with the tech we carry around.
What a time to be alive.
1
118