In 1988 a company that made record turntables built its own CPU, because it hated its factory software. It failed. Every one of those ideas ships today. Hardware memory safety. Garbage collection in silicon. Persistent objects. Chips shaped to a workload. negroniventurestudios.com/2026/07/18/t...

The computer at the bottom of a canal

Somewhere at the bottom of the Forth and Clyde Canal, buried in the silt, there is a box of custom silicon that was right about almost everything. Back in 1988 a Scottish hi-fi company shipped a proce...

negroniventurestudios.com

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

"A Distribution of One," by me for @negroniventurestudios.com. App releases are surging but downloads are flat. The industry sees failure. I don't think so. Most of those apps were never looking for an audience. That was the point. #SaaS #AI negroniventurestudios.com/2026/06/09/a...

A distribution of one

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; and that it signals the end of the fifty-year comp...

negroniventurestudios.com

"It Wasn't Built for This," by me for @negroniventurestudios.com. GitHub built Copilot. Copilot drove agent adoption. Agent adoption broke GitHub. The feedback loop nobody wants to talk about. #GitHub #AI #Copilot negroniventurestudios.com/2026/05/27/i...

It wasn’t built for this

GitHub’s platform uptime over the last 90 days is 86.98%. That is not a typo. Marek Šuppa, who built an independent tracker because GitHub stopped publishing aggregate uptime numbers on its own status...

negroniventurestudios.com

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

agentlanguages.dev — Programming languages designed for AI agents to write

A community-edited catalogue of programming languages designed for AI agents to author code, organised around three philosophical camps: syntactic, verification, and orchestration.

agentlanguages.dev

"Three camps alike in dignity," by me for @negroniventurestudios.com. Seventeen languages for AI agents. Three diagnosis camps. One field that didn't exist six months ago. I built one of them and went looking for the others. #AI #ProgrammingLanguages #Vera negroniventurestudios.com/2026/05/20/t...

Three camps alike in dignity

In the last six months, programming languages designed for models rather than humans have started to appear. Work on most began entirely independently, initiated by people who had never heard of each ...

negroniventurestudios.com

"Documentation-First Programming," by me for @negroniventurestudios.com. 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/2026/05/19/d...

Documentation-first programming

I find it somewhat ironic that the part of the job that most developers hate is about to become the whole job. Because, at least as far as I can figure out, we are now in the era of documentation-firs...

negroniventurestudios.com

Know someone who should come to a future #dotastro event? Use our nomination form here anytime: dotastronomy.com/nominate

Expanded the Vera benchmark to 6 models, 3 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 their training data, no examples on GitHub or Stack Overflow. veralang.dev #AI

That's been a productive morning! github.com/aallan/vera/...

The #Vera v0.0.101 release makes LLM calls first-class 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 #LLM #Programming

I built a programming language you're not supposed to read, veralang.dev. Vera is designed for machines to write. No variable names. No style choices. Compiler errors are instructions for the model, not diagnostics for you. Go and point a model at it, negroniventurestudios.com/2026/02/28/a....

Vera — A language designed for machines to write

A programming language where verification is a first-class citizen. Mandatory contracts, algebraic effects, typed slot references, compiles to WebAssembly.

veralang.dev

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...

OpenAI's acquisition of OpenClaw signals the beginning of the end of the ChatGPT era

The move represents OpenAI's most aggressive bet yet on the idea that the future of AI isn't about what models can say, but what they can do

venturebeat.com

"The web just got a second audience," by me for @negroniventurestudios.com. Google shipped WebMCP in Chrome. Cloudflare shipped Markdown for Agents. Both quiet. Neither made the front page. But the web just forked its audience. negroniventurestudios.com/2026/02/18/t...

The web just got a second audience

Buried in a quiet announcement on a developer mailing list at the beginning of last week was a point of inflection, the point where the web stopped being just for humans. WebMCP lets websites declare ...

negroniventurestudios.com

"The valley and the monomyth," by me for @negroniventurestudios.com. 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/2026/02/09/t...

"The Ghost in the Statistical Machine," by me for @negroniventurestudios.com. We anthropomorphise #AI agents, give them names, identities, "souls." If we anthropomorphise them enough, do they start acting more like us? At what point does it matter? negroniventurestudios.com/2026/02/06/t...

The ghost in the statistical machine

Over the last two weeks we’ve all been capitvated by Moltbook, the social network for AI agents. Moltbook is built on top of Openclaw (née Moltbot, née Clawdbot, the project so good they named it thri...

negroniventurestudios.com

Someone watched the Mac vs PC ads back in the day. @anthropic.com have gone on the offensive with adverts against ads, and they just buried OpenAI without even mentioning them. www.theverge.com/ai-artificia... www.youtube.com/watch?v=FBSa...

How can I communicate better with my mom?

YouTube video by Anthropic

youtube.com

"The new programmers? ," by me for @negroniventurestudios.com. 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/2026/01/12/t...

"Technology does not solve problems," by me for @negroniventurestudios.com. 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/2025/12/03/t...

"We need a new Turing Test," by me for Negroni Venture Studios. The real test for artificial general intelligence isn't fooling humans, it's demonstrating flexible real-world competence that our token-prediction architectures fundamentally can't deliver. negroniventurestudios.com/2025/11/30/w...

We need a new Turing Test

Every time there is some sort of perceived advance towards a general artificial intelligence, we talk about it as a breakthrough, right up until we understand what it’s doing, how it’s “thinking”. The...

negroniventurestudios.com

AI is an assistive technology. It'll be a long time, if ever, before it's anything more than that. Anyone that tells you otherwise is trying to sell you something.

Carl Zimmer@carlzimmer.com · 9mo ago

AI agents tried to do graphic design, video editing, game development, and administrative chores like scraping data. "Even the best could perform less than 3 percent of the work, earning $1,810 out of a possible $143,991," writes @willknight.bsky.social www.wired.com/story/ai-age...

Resurfacing something I wrote for Hackster.io last year, "Dividing the Stack into Thirds," talking about the ongoing trade wars the splintering of our global approach to technology. www.hackster.io/news/dividin...

"Don’t build platforms, solve problems," by me for @negroniventurestudios.com. It turns out that #AI will commoditize the mediocre and automated, but amplify the value of the obsessive and hand-crafted. negroniventurestudios.com/2025/10/29/d...

On this day in 1971, the U.K. successful reached orbit using the Black Arrow launch vehicle lifting the Prospero satellite to orbit from Woomera, Australia. The U.K. remains the only country to reach orbit after already cancelling their launch programme. en.wikipedia.org/wiki/Black_A...

Black Arrow - Wikipedia

en.wikipedia.org

Anyone else getting nostalgia for the Nokia 3650? www.theverge.com/news/793136/...

Google Japan’s concept keyboard is inspired by rotary phones

Speedy touch typists might want to look away.

theverge.com

In Amsterdam for this year’s #thethingsconference. It’s fascinating to see how things have evolved in the LPWAN space over the last few years. It’s a very different conference than their first which one I keynoted in 2018. aallan.medium.com/teaching-a-n...

Teaching a new dog old tricks

What the history of the Internet can teach the Internet of Things

aallan.medium.com

Oh! Now I'm interested, ericmigi.com/blog/pebble-.... I far preferred the design of the Pebble Time to the original #Pebble. Always considered the death of Pebble as a real waste of potential. www.youtube.com/watch?v=pcPz...

Pebble Time 2 Design Reveal!

YouTube video by Tick Talk w/ Eric Migicovsky

youtube.com

"Commercial fusion is now just 20 years away…" yes, for about the last 50 years. 🤦‍♂️ hackaday.com/2025/03/05/c...

China Claims Commercial Nuclear Fusion By 2050 As Germany Goes Stellarator

Things are heating up in the world of nuclear fusion research, with most fundamental issues resolved and an increasing rate of announcements being made regarding commercial fusion power. China&#821…

hackaday.com

[Alexa] will know "almost [everything] in your life — your schedule, your smart home, your preferences, the devices you’re using, the people you’re connected [to and] the entertainment you [enjoy]…" they understand that most people don't think that's a *good* thing? techcrunch.com/2025/02/26/a...

Amazon unveils a new and improved Alexa, Alexa+ | TechCrunch

At an event in NYC, Amazon announced an upgraded Alexa experienced powered by generative AI tech.

techcrunch.com

The RP2040 has now been certified to run at a system clock of 200Mhz! See github.com/raspberrypi/....

Release 2.1.1 · raspberrypi/pico-sdk

This is a minor release of the SDK with many bug fixes and documentation improvements, along with some new features. Highlights are listed below, or you can see the full list of individual commits ...

github.com