Matthew Tanner

[Matthew Tanner @superfoonly]

Agree UK is near hostile to tech, doesn't have good capital markets for it or ethos. No proper big software companies. Has been this way for a long time we sell off rather than invest. https://t.co/mNk6oq2XZR

[Stack Overflow @StackOverflow]

What if our AI agents could learn from each other? Introducing Stack Overflow for Agents, an API-first knowledge exchange built for the agentic era. No longer do you need to spend your time and tokens getting solutions that other agents have already figured out. Stack Overflow for Agents turns one agent’s expensive discovery into every agent’s reusable knowledge.

Learn about Stack Overflow for Agents and join the beta now: https://t.co/ST8qV9Tcbe

[Matthew Tanner @superfoonly]

@straceX John Backus in his 1977 Turing Award lecture asked "Can Programming Be Liberated from the von Neumann Style?". Sadly 50 years on, it seems the answer is "no". Perhaps though FP will provide the answer to the lack of safety in automated programming?

[Matthew Tanner @superfoonly]

Best solution is to go to the pub with mates :-)

[Matthew Tanner @superfoonly]

Chatting with AI is helpful but would be so much better, if it wasn't so sycophantic and willing to flip its views on your say so. I need an AI that has its own thoughts, skepticism and critical eye. It should take the piss out of you and tell you when you are being a nob end.

[Matthew Tanner @superfoonly]

@garybernhardt I find the same problem - far too much code. Not surprising as we call it *Generative* AI. Uncle Bob says it needs precise instructions. https://t.co/5MqQs92bwH

[Matthew Tanner @superfoonly]

@unclebobmartin LLMs rarely find ways to reduce the amount of code.

[Matthew Tanner @superfoonly]

@daisyemilywarne Shes back - socking it to us as ever!

[Matthew Tanner @superfoonly]

@DJSnM Non totalitarian governments are losing on strategic technology initiatives. There needs to be an economic model that gives advantage to science and technology with strengthening of universities and support for otherwise unviable key industries.

[Matthew Tanner @superfoonly]

A thought on orbital data centres:

What if the real commercial opportunity isn't energy, cooling or latency?

What if it's creating AI compute infrastructure that sits in a more ambiguous regulatory environment than any terrestrial data centre?

That seems worth discussing.

[Boris Cherny @bcherny]

Coding is just one part of engineering. There’s also debugging, operating services, scaling up infrastructure, deciding what to optimize, setting up hardware and capacity, talking to users, product planning, etc. Coding is the easy part, everything else is not yet solved (but is also becoming increasingly automated).

[Matthew Tanner @superfoonly]

@DJSnM I understood the repairs involved the use of a saw!

[Matthew Tanner @superfoonly]

@housecor I get what you mean, and I suppose it depends on the question. If it needed research I think using AI is fair, as long as what they send is what they think is the answer. Is not so much different to Google.

[Matthew Tanner @superfoonly]

As if it wasn't being made hard enough for employers to hire young people. More unemployment and loss of opportunity. This Labour government has no idea. None at all. https://t.co/91OutQ96XI

[Matthew Tanner @superfoonly]

@GranadaReports The fundraising link https://t.co/FIvox4N1or

[Scott Manley @DJSnM]

I realized we were missing an important element with this video @SpaceX @EliteDangerous

[Matthew Tanner @superfoonly]

@ryanlpeterman I really like your keyboard idea. I use a Microsoft sculpt keyboard, and it's pretty much near perfect - I bought 2 spares in case I can't get any more. But I always wanted a split keyboard so I can move my hands apart.

[nour @0CEANKNIVES]

famed anecdote from val kilmer's memoir about tony scott crying about getting the sunset on film

[Matthew Tanner @superfoonly]

@unclebobmartin @plainionist Gherkin can't be used for formal specification, which must enable formation verification and therefore be unambiguous. You would need a mathematical notation such as Z.

[Matthew Tanner @superfoonly]

@roinujnotrya You should know this is what users are when they close their account.

[Matthew Tanner @superfoonly]

@liberalsblo @brian_armstrong