Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. Accidental privacy advocate.
Joined March 2008
- Tweets 47,471
- Following 942
- Followers 14,332
- Likes 5,999
6,288 Photos and videos
Pinned Tweet
Mar 1
I built a programming language you're not supposed to read. Vera is designed for machines to write, veralang.dev. No variable names. Compiler errors are instructions for the model, not diagnostics for you. Point a model at it. #AI #OpenSource negroniventurestudios.com/20…
5
8
1,118
Jun 12
Vera now has a language (LSP) server, so it gets the same editor support as any other language. A normal one checks whether your code parses. Vera's also checks whether it still proves, every contract re-verified by Z3 as you type. veralang.dev #AI #LLM
1
130
Jun 9
"A Distribution of One," by me for Negroni Venture Studios. Most of the software being built right now will never have more than one user. The industry thinks that is a failure. I think it is the entire point. #SaaS #AI #software negroniventurestudios.com/20…
1
107
May 27
"It Wasn't Built for This," by me for Negroni Venture Studios. GitHub's uptime over the last 90 days is 86.98%. The man who ran it for four years quit to build its replacement. The infrastructure wasn't built for agents. #GitHub #AI negroniventurestudios.com/20…
1
196
May 26
I don't think this is "adoption is slowing," instead I think this is people "abandoning the IDE" as the primary place where they work with code. negroniventurestudios.com/20…
May 26
It's clear that growth for coding tools such as Claude Code has decelerated from the pace it was since the start of the year.
It might be compute- constrain related or due to many clients blowing their full-year AI budgets.
Monitoring this trend very closely with all the alt data. I will provide regular updates.
1
325
May 20
Announcing agentlanguages.dev, a community-edited catalogue of the 21 programming languages designed for AI agents to emerge since late 2025. The most interesting thing to emerge? They fall into three philosophical camps that disagree on the underlying problem. #AI #LLM
1
2
235
May 20
"Three camps alike in dignity," by me for Negroni Venture Studios. Seventeen programming languages designed for AI agents have appeared in six months. They disagree about everything except the diagnosis. I catalogued them. #AI #ProgrammingLanguages #Vera negroniventurestudios.com/20…
1
3
987
May 19
"Documentation-First Programming," by me for Negroni Venture Studios, If AI writes the code, what does the human write? The part of the job most developers hate has now become the whole job. #LLM #AI #Documentation negroniventurestudios.com/20…
1
2
207
Apr 9
Expanded the Vera benchmark to six models, three providers. Kimi K2.5 got every Vera problem right while only managing 86% in Python and 91% in TypeScript. Flagship average: Vera and Python level at 93%. Yet there is no Vera in any training data. veralang.dev #AI #Vera
ALT VeraBench v0.0.7 benchmark results across four panels. Flagship tier: Kimi K2.5 scores 100% run_correct on Vera versus 86% Python and 91% TypeScript; Claude Opus 4 scores 88% Vera, 96% Python, 96% TypeScript; GPT-4.1 scores 91% Vera, 96% Python, 96% TypeScript. Sonnet tier: Kimi K2 Turbo scores 83% Vera, 83% Python, 79% TypeScript; Claude Sonnet 4 scores 79% Vera, 96% Python, 88% TypeScript; GPT-4o scores 78% Vera, 93% Python, 83% TypeScript. A horizontal bar chart shows Kimi K2.5 is the only flagship model where Vera beats both Python ( 14pp) and TypeScript ( 9pp). A fourth panel breaks out all four modes including Vera spec-from-NL, showing GPT-4.1's spec-from-NL score dropping to 50% while Kimi K2.5 holds at 100% across both Vera modes.
1,070
Mar 28
The #Vera v0.0.101 release makes LLM calls algebraic effects. An agent calling another model declares <Inference> in its type signature. Type-checked. Contract-verified. Every side effect explicit. As far as I know, no other language can do this! veralang.dev #AI
1
270
Feb 18
First signal for the end of what I’ve always called “the platform problem” for #AI. It’s not about the platform anymore, it’s about actions. It’s about AI acting, not chatting. venturebeat.com/technology/o…
1
1
264
Feb 18
"The web just got a second audience," by me for Negroni Venture Studios. Google shipped WebMCP in Chrome. Cloudflare shipped Markdown for Agents. Both quiet. Neither made the front page. But the web just forked its audience. #AI negroniventurestudios.com/20…
216
Feb 9
"The valley and the monomyth," by me for Negroni Venture Studios. Every pitch deck is a Hero's Journey. Silicon Valley's greatest export isn't technology, nit's storytelling. The facts don't change the world. The stories do. negroniventurestudios.com/20…
1
1
163
Alasdair Allan retweeted
Feb 5
8
68
420
190,113
Feb 6
"The Ghost in the Statistical Machine," by me for Negroni Venture Studios. We anthropomorphise #AI agents, giving them names, identities, "souls." But if we anthropomorphise them enough, do they start acting more like us? At what point does it matter? negroniventurestudios.com/20…
1
188
Feb 4
Someone watched the Mac vs PC ads back in the day. @AnthropicAI have gone on the offensive with adverts against ads, and they just buried @OpenAI without even mentioning them. theverge.com/ai-artificial-i… youtube.com/watch?v=FBSam25u…
1
434
Jan 12
"The new programmers? ," by me for Negroni Venture Studios. What does a programming language built for #AI look like? No syntax, no variable names, and no text, just components composed under formal contracts. Less like coding, more like hardware design. negroniventurestudios.com/20…
1
221
27 Dec 2025
😮
26 Dec 2025
We’re pleased to announce that @torybruno is joining Blue Origin as president, National Security, reporting to CEO Dave Limp. Tory will spearhead our newly formed National Security Group.
1
413
3 Dec 2025
"Technology does not solve problems," by me for Negroni Venture Studios. The best technology becomes invisible precisely because it's fundamental, it dissolves the old interaction model entirely. The worst adds friction while demanding attention. negroniventurestudios.com/20…
1
1
2
265