I am Director of System Architecture at SCI Semiconductor and a Visiting Researcher at the University of Cambridge Computer Laboratory. I remain actively involved in the #CHERI project, where I led the early language / compiler strand of the research, and am the maintainer of the #CHERIoT Platform.
I was on the FreeBSD Core Team for two terms, have been an LLVM developer since 2008, am the author of the GNUstep Objective-C runtime (libobjc2 and associated clang support), and am responsible for libcxxrt and the BSD-licensed device tree compiler.
Opinions expressed by me are not necessarily opinions. In all probability they are random ramblings and should be ignored. Failure to ignore may result in severe boredom and / or confusion. Shake well before opening. Keep refrigerated.
Warning: May contain greater than the recommended daily allowance of sarcasm.
No license, implied or explicit, is granted to use any of my posts for training AI models.
@sjwrenlewis explores some reasons the Labour Govt. has not been doing so well.... including an unwillingness to say, outright, that Brexit has been a failure.
But, as he also notes, in opposition & now it 'was never realistic to think that better management could bring Western European levels of public service provision with substantially lower than Western European levels of tax'!
Well, Rachel Reeves looks likely to have to grasp that nettle pretty soon!
#politics
https://mainlymacro.blogspot.com/2025/07/everyone-knows-labour-has-made-mistakes.html
No, computers won’t replace humans to write code for themselves.
Please stop with this nonsense.
What we will see though is tremendous losses in productivity as deskilled programmers will get less and less education and practice—and take longer and longer to make broken AI-generated code work. Meanwhile, AI models will regress from eating their own generated shit when being trained on.
Eventually AI companies will finally run out of investors to scam—and when they disappear or get so expensive they become unaffordable, “prompt engineers” will be asked to not use AI anymore.
What’s gonna happen then?
We’re losing a whole generation of programmers to this while thought leaders in our field are talking about “inevitability” and are jerking off to sci-fi-nostalgia-fueled fantasies of AGI.
Is Keir Starmer's (political) problem that the policies of the first year of the Labour Govt. have gone against his election day commitment that Govt's 'should treat every single person in this country with respect'.
'[V]oters will want to know who this government stands for. Whose interests does it put first? What kind of people does it respect?
Much of the electorate thought they knew the answer to these questions one year ago. Now they’re not so sure'!
#politics
https://theconversation.com/nearly-two-thirds-of-voters-think-starmer-doesnt-respect-them-new-poll-260606
I'm with the British Medical Association here. Genocide enabler Palantir should be nowhere near our NHS.
#Palantir #NHS #BMA #UKPolitics
Palantir accuses UK doctors of choosing ‘ideology over patient interest’ in NHS data row | Palantir | The Guardian
https://www.theguardian.com/technology/2025/jul/08/palantir-technology-uk-doctors-patient-nhs-data
When you haven't been exposed to advertising for a while and it's no longer normalised, it's quite jarring. Not because it's annoying or shit, rarely lacking any artistic merit, begging and pleading and lying for attention and complicity - that bit you remember.
But because the only way this crap exists at all is through force, ramming it through devices without permission or consent. An entire industry based on tracking and surveillance to target assault.
It's fucking despicable.
There's a post going around LinkedIn about how easy it is to generate a fake photo with cheap GenAI tools that looks like a receipt and, oh no, people can lie on their expenses. And I think this panic really sums up the LinkedIn crowd:
The threat model doesn't make any sense because about half (and most of the high-value things) I claim on expenses have email receipts already. If someone wants to submit a fake receipt, there are much easier ways than using GenAI to create a fake picture.
But, more importantly, it assumes that your employees are willing to commit fraud for a few tens of dollars, in sufficiently large numbers for it to impact your company. If your relationship with your workforce has deteriorated to that extent, then you're in serious trouble.
Generative AI. So many great choices!
Google Gemini AI: Partly or completely wrong answers, sometimes dangerously so.
ChatGPT: Drives many users into depressive codependency.
Grok: Cosplaying Hitler.
Tom
allison
Emeritus Prof Christopher May
Thomas 🔭🕹️
JuneSim63
Tingo
Lauren Weinstein
ESUG Smalltalk Usergroup