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.
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....
01.03.2026 14:01
π 6
π 1
π¬ 3
π 0
"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...
09.02.2026 22:56
π 2
π 1
π¬ 0
π 0
How can I communicate better with my mom?
YouTube video by Anthropic
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...
04.02.2026 20:02
π 3
π 1
π¬ 0
π 1
"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...
12.01.2026 14:44
π 3
π 0
π¬ 0
π 0
"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...
03.12.2025 18:13
π 1
π 1
π¬ 0
π 0
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...
"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...
30.11.2025 19:43
π 7
π 0
π¬ 0
π 1
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.
29.10.2025 23:34
π 7
π 0
π¬ 0
π 0
"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...
29.10.2025 22:03
π 3
π 1
π¬ 0
π 0
Black Arrow - Wikipedia
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...
28.10.2025 20:16
π 6
π 0
π¬ 0
π 0
Nobody will ever have nostalgia for the nGage.
07.10.2025 13:12
π 0
π 0
π¬ 0
π 0
Teaching a new dog old tricks
What the history of the Internet can teach the Internet of Things
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...
23.09.2025 17:05
π 2
π 0
π¬ 0
π 0
Pebble Time 2 Design Reveal!
YouTube video by Tick Talk w/ Eric Migicovsky
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...
13.08.2025 17:38
π 2
π 0
π¬ 0
π 0
Yes. Entirely normal to grieve its loss, even as it comes into the world... and congratulations.
20.07.2025 16:55
π 1
π 0
π¬ 0
π 0
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.
[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...
27.02.2025 09:53
π 4
π 0
π¬ 1
π 0
Flash generally wonβt start to loose synchronisation till you push past 260 to 270MHz.
20.02.2025 08:14
π 1
π 0
π¬ 1
π 0
Should just be a rebuild of the MicroPython binary with SYS_CLK_MHZ=200 set shouldn't it?
19.02.2025 12:27
π 1
π 0
π¬ 1
π 0
The Death of a Salesman
Have products like the Humane AI Pin or Rabbit R1 failed? Or are they the next underlying model around which our computing will be built?
Released into the wild in April last year, the Humane AI Pin, that's a $699 device, is dead less than a year after launch. Although the reality is that it's really been dead for six months or more. www.hackster.io/news/the-dea...
19.02.2025 11:34
π 4
π 0
π¬ 0
π 0
The Return ofΒ Pebble: You Can't Keep a Good WatchΒ Down!
Eight years after the demise of the both the watch, and the company behind it, the Pebble smart watch is coming back from the dead.
By me for @hacksterio.bsky.social, βThe return of Pebble: you canβt keep a good watch down!β Some thoughts on @ericmigi.comβs announcement and the return of #Pebble. www.hackster.io/news/the-ret...
18.02.2025 10:10
π 17
π 4
π¬ 1
π 1
PassMark sees the first yearly drop in average CPU performance in its 20 years of benchmark results
After the MHz and multi-core wars, performance drops.
So I'm unsurprised by the news that we're now seeing a drop in average CPU performance after 20 years of increasing benchmark results. Most people don't need more performance, and manufacturers know it. www.tomshardware.com/pc-component...
11.02.2025 20:53
π 3
π 1
π¬ 0
π 0
Capable Computing
Computing that is good enough.
About a decade ago I talked about what I called at the time capable computing, that is to say, computing that is βgood enough," aallan.medium.com/capable-comp....
11.02.2025 20:53
π 3
π 0
π¬ 1
π 0