11 posts
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...
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...
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...
It's all about risks The maker of Keras argues that nothing has changed in SaaS Here's what's wrong in the argument - it's a contorted form of survivor bias. It's absolutely true that...
Maybe you're familiar with the concept of a triviality test in political debate. It's really simple - it involves asking yourself the question: Would anyone disagree with this? Think...
A couple of weeks ago Andrej Karpathy generated a ton of buzz with a talk where he presented the idea of Software 3.0 - describing LLMs as the next revolution of computers and...
