The AI acceleration has given a lot of software orgs fairly dramatic balancing problems; the coding output is vastly higher - but that means that every other process in the life cycle of software also needs rescaling and reconsidering - it's exactly like the fact that traffic...
Potentially an exciting development in the world of AI - Typesafe AI with the oddly named Jev model - seems to be the first serious attempt at what I've previously called Software 3.5....
Now that the robots have started attacking the Clay Mathematics millenium problems it's interesting when they'll get to P vs NP - you might ask, when they'll take this interest in...
So as hard as this is to take in - news like the last post, the spate of mathematical proofs using big AI for formal verification or Anthropic's admission they had their own HuggingFace...
So one of the biggest AI stories of the year is clearly the first very well documented IT crime, carried out by OpenAI researchers, instrumented through some AI agents they were testing....
Amazon is ending Amazon Mechanical Turk which seems like a branding mistake of the same order as Google shutting down Google Reader and getting rid of the "I'm feeling lucky" button -...
When Github ended it's life as an independent company and became just a product in Microsoft's AI business last fall it all seemed a bit premature - Github an AI product? Why cannibalise...
A few months back I wrote a comment on LinkedIn to a young person who was giving up on learning to be a software professional - I suggested that it was to soon to give up on software -...
The year is 2040 and the ARC Prize make the following exciting announcement: "We are pleased to announce ARC-AGI 16, the next evolution of the ARC Prize. Current frontier models score...
Last week I had the privilege to join Henrik Føhns in a conversation (in Danish) about software agents in general, Open Claw, but also more specifically coding agents. There's no...
