Founder of https://xitter.cf/t.co/WRQdPdMrzc .
South Shields
Joined February 2009
- Tweets1.6K
- Following793
- Followers215
- Likes544
I am offering some tech debt free bespoke software (with maths proofs etc) , for a ( reasonable up to some way off absurd difficulty ) task . Send me a message or a reply saying why it should be you. You gotta go on youtube with me to discuss. Share / retweet
Fair warning: watching @getjonwithit on TOE cost me most of my Anthropic subscription. Couldn't stop until @lanyon_ai's advection & Burgers kernels were proven down to the IEEE-754 floats. Shared with love: github.com/the-dark-factory/…
I have a prose to code with proof engine, with mostly operates from qwen 3.8 but escalates to opus.
It designs in mascot and codes in spark Ada . github.com/the-dark-factory/…
for mac and linux.
Prose to Code with Proof - On large projects, mostly using Qwen 3.8 coder . The Dark Factory Ltd are pleased to announce Crucible 0.2 under the AGPL license. github.com/the-dark-factory/… will tell you how to connect to Claude and Codex with the MCP connector #AI #FormalMethods
Tony Gair retweeted
Massive regulations are coming for open weight AI.
They are going to take self-hosted intelligence away from us.
This will create a permanent underclass, split society into rigid castes, and turn people into slaves to API tokens.
No regulation will ever stop open source AI.
We have to win this.
vericoding benchmark - SPARK/Ada track
qwen3-coder-30B, one Radeon, no cloud.
their protocol: 0/26
our protocol: 25/26
ours, frozen prose, harder tier: 1/26
frontier models, Dafny: 79.9% easy, 33.8% hard
Not leaderboard-eligible #qwen #localLLM
thedarkfactory.co.uk/spark-b…
Its at thereef.ink .A new open source claw with secure private information and tiny attack surface made with proof carrying Spark Ada
@openclaw
@AdaCoreCompany
. Every extention is allowed by anyone subject to it carrying a proof.
A new open source claw with secure private information and tiny attack surface made with proof carrying Spark Ada @openclaw @AdaCoreCompany . Every extention is allowed by anyone subject to it carrying a proof.
Hi @Femi_sorry you said "anonymous interviewing" so this will now be my entry into the Google gemini hackathon.
Good Job Jeremy, we stand with you.
Tony Gair retweeted
🖥️ Enter for your chance to win an exclusive Elite Dangerous @OverclockersUK custom PC!
🔗 gleam.io/Vbk8E/win-an-elite-…
Tony Gair retweeted
I continue to milk this one but what can I say - it’s permanently relevant
#ThereseCoffey #TurnipCoffey #TurnipGate #ToriesDevoidOfShame #ToriesCostLives #Art
Where is Dorothy and the tin man? #hignfy
Tony Gair retweeted
Another day full of anti-migrant rhetoric
The Tories are attacking international students. Labour international workers
There is an alternative. A party focused on the real problems of the day
The climate crisis. Saving our NHS. The cost of living
👉 It’s @TheGreenParty
Tony Gair retweeted
A Daily Mail journalist asks Mick Lynch from the @RMTunion whether he's proud of being known as 'Mick Grinch'.
Micks answer,🎯
however he is keeping his job in the cabinet
This Post is from an account that no longer exists. Learn more
Tony Gair retweeted
1/ While disappointed by it I respect ruling of @UKSupremeCourt - it doesn't make law, only interprets it.
A law that doesn't allow Scotland to choose our own future without Westminster consent exposes as myth any notion of the UK as a voluntary partnership & makes case for Indy