That's been a productive morning! https://github.com/aallan/vera/pull/415

The #Vera v0.0.101 release makes LLM calls first-class algebraic effects. An agent calling another model declares <Inference> in the signature. Type-checked, contract-verified, impossible to call from pure functions. Postconditions constrain model output at runtime. Empty string? Contract violation, not silent garbage. Compose <Http, Inference> to fetch content, then reason. Every side effect declared. As far as I know, no other language can do this! https://veralang.dev #AI #LLM #Programming

I built a programming language you're not supposed to read, https://veralang.dev. Vera is designed for machines to write. No variable names — typed De Bruijn indices instead. No style choices. Every function contract verified by Z3 SMT solver. Compiler errors are fix instructions for the model, not diagnostics for you. Pure by default, all effects explicitly declared and tracked. Point a model at it. #AI #LLM #OpenSource #Agent
https://negroniventurestudios.com/2026/02/28/a-language-designed-for-machines-to-write/

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. https://venturebeat.com/technology/openais-acquisition-of-openclaw-signals-the-beginning-of-the-end-of-the

"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 announcements. Neither made the front page. The web just forked its audience, and the infrastructure is already being rebuilt to serve both halves. #AI #MCP #WebMCP https://negroniventurestudios.com/2026/02/18/the-web-just-got-a-second-audience/

"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. https://negroniventurestudios.com/2026/02/09/the-valley-and-the-monomyth/

"The Ghost in the Statistical Machine," by me for Negroni Venture Studios. We anthropomorphise #AI agents, give them names, identities, "souls." But if we anthropomorphise them enough, do they start acting more like us? And if they do, at what point does the distinction between acting conscious and being conscious become meaningless? At what point does it matter? #Moltbook #OpenClaw https://negroniventurestudios.com/2026/02/06/the-ghost-in-the-statistical-machine/

Someone watched the Mac vs PC ads back in the day. @claudeai have gone on the offensive with adverts against ads, and they just buried OpenAI without even mentioning them. https://www.theverge.com/ai-artificial-intelligence/873686/anthropic-claude-ai-ad-free-super-bowl-advert-chatgpt https://www.youtube.com/watch?v=FBSam25u8O4

"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. https://negroniventurestudios.com/2026/01/12/the-new-programmers/

"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. You shouldn’t have to market your startup as “doing X with Y,” because just “doing X” should be enough. https://negroniventurestudios.com/2025/12/03/technology-does-not-solve-problems/