This world is a comedy to those that think, a tragedy to those that feel. Most tweeting to this personal account takes place on thinking days. he/him.
England
Joined June 2008
- Tweets9.6K
- Following638
- Followers707
- Likes4.1K
Pinned Tweet
I am here less and less often, better to follow me on Bluesky. @johnwithbeard.bsky.social
Owen Jones: many of the people who voted for Mandami are socially conservative, but they responded to his clear message which focused on the people at that the top that were working against the masses
Very grateful for the bloke in @AskNationwide fraud dept who cheerfully helped sort out a fraudulent transaction on my credit card this morning, especially since I had reported their original text as probable spam 🤭
Dave Rich, writing in the @guardian today , theguardian.com/commentisfre…, has given me a lot to think about.
Am grateful to station employee at Edinburgh who, when he saw us waiting for @PassAssistance , went to see the driver. And thanks to the woman passenger who spotted the @lner person with wheelchair, at the other end of the carriage, busy reading their phone, & got them to see us
My granddaughter, in S2, has just told me that you @myglasgowcc @glasgow_live block @libbyapp on her school iPad. She does use the @BorrowBox app, but is used to using Libby at home as well. Is this blockage justified? ≠disappointed
Guess I need another tee shirt
ALT Fermat’s last Tee shirt with Andrew Wiles proof of the last theorem
Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help.
Last month, Claude completed the first formalized proof of Fermat’s Last Theorem, one of the most famous theorems of all time. This was a project experts thought would take many years. It is the largest Lean proof ever written.
Fermat’s Last Theorem was first proven in 1995 by Sir Andrew Wiles, more than 350 years after it was conjectured. Our proof, which totals over 13 million lines of code, provides machine verification. More importantly, it proves over 29,000 other theorems that the proof requires, across many areas of math which had never before been formalized.
We see this as a major step in the long process of firming up the core of mathematical knowledge, building on work from three centuries of mathematicians and hundreds of contributors to Lean and Mathlib. We are optimistic that AI-assisted verification of mathematical proofs will help reduce the burden of refereeing mathematics in an era where more proofs are being produced than ever before.
You can read about the process on our Science Blog: anthropic.com/research/forma…
And see the complete proof on GitHub: github.com/anthropics/fermat…
Just a year later, I find that Apple pay is an option. Sooo much easier than keying a credit card number. So WELL DONE @LNER and thank you for responding. Excellent customer service ❤️
Enjoyed a meal at Zhug, zhug.co.uk , many thanks to Jules #insta #thenottinghamfoodguide who told me about it
Have decided to follow @Joanna__Hardy for some legal wit and wisdom, now that @BarristerSecret has gone quiet. Hmm, perhaps he has a job in government, might peruse the list of recent appointments
Just booked our family visit to the Panto at @NottmPlayhouse . Same seats in same circle row as last year. #happy
John retweeted
How to understand every Claude feature in 5 mins:
(even if you've only ever used the basic chat)
Chat = texting a stranger who forgets you.
Features = hiring a team that already knows the job.
Full Setup = training Claude that runs without you.
Layer 1: The basics you already know
✦ Chat: Open Claude. You type. You get an answer.
✦ High Effort: It reasons deeper.
✦ Fable 5: The smartest model (for complex tasks).
✦ That's where 95% of people stop.
✦ Claude 101: how-to-claude.ai.
Layer 2: The features that remember you
✦ Projects: Upload file & instructions. It remembers.
✦ Scoped Memory. Prompt "do like & it knows it.
✦ Context Files: Drop everything you know into files
✦ about-me .md: A Skill with what you do & think.
✦ Download my Skills at how-to-ai.guide (for free).
✦ Don't pay anything. It's free in the welcome email.
Layer 3: The features that work for you
✦ Skills: Long instructions living inside the AI.
✦ Skill Creator: It interviews you to build the Skills.
✦ SKILL .md: Trigger file, description & instructions.
✦ Negative Triggers: The "Do NOT use for..." lines.
✦ Claude Skills 101: ruben.substack.com/p/claude-…
Layer 4: The features that replace your workflow
✦ Cowork: It reads, creates, and executes.
✦ Cowork Projects: Memory that persists.
✦ Global Instructions (I personally left it empty).
✦ Scheduled Tasks: Claude runs tasks automatically
✦ Dispatch: Control Claude from your phone.
✦ Claude Cowork 101: claude-co.work
Layer 5: The features that connect everything
✦ Connectors: Plug into Granola, Calendar & Gmail.
✦ Plugins: Build and upload your own app.
✦ Claude Computer: Clicks, browse & operates Mac
✦ Claude Code: English is the new code to ship fast
✦ AskUserQuestion: Interactive form to prompt you.
✦ Gamma: Claude for brief. Gamma for slides.
✦ CLAUDE .md: A memory file for Claude Code.
✦ Claude Code 101: ruben.substack.com/p/claude-…
That's all 25 features. On one page.
I turned this into a full visual infographic you can save, print, or send to your team.
To download all of my Claude infographics:
Step 1. Go to how-to-ai.guide.
Step 2. Subscribe for free. Don't pay anything.
Step 3. Open my welcome email (most skip this).
Step 4. Hit the automatic reply button inside.
Step 5. Download my infographics from my Notion.
♻️ Repost this to help someone use Claude in 2026.
Flying visit by Berlin resident granddaughter, 2 days. Invoke standard agenda:
ride double decker bus ✅
Kiddicino at Okende ✅
playground at WB park ✅
Still to come:
photo on the mounting steps
Lunchbox at #LittleGreen cafe
Evening meal at #Wagamama
It was a real pleasure to be treated at the urgent care centre / QMC A&E this morning for my hip pain after a bike crash [spoiler: not fractured]. Everyone — receptionists, nurses, doctors — were all lovely and kind. #thankyouNHS