I wanted to share this again, to welcome all the newskies. It's great to have you here 🙂
Welcome to Bluesky! 💙🦋
1/3
25 years of pestering @2000ad.bsky.social to let me give it a shot, 3 years of production to make the thing & now… it’s DONE!
Can’t wait for you to see it.
So, so proud of our team.
We’ve made something a bit special.
❤️
25 years of pestering @2000ad.bsky.social to let me give it a shot, 3 years of production to make the thing & now… it’s DONE!
Can’t wait for you to see it.
So, so proud of our team.
We’ve made something a bit special.
❤️
A dude playing Dire Straits’s “Sultans of Swing” guitar solo on…a recorder.
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
I'll talk with the team building it. What would you like to know?
I'll talk with the team building it. What would you like to know?
Tom was, all round, a scholar and a gent. My dad envied his quietly perfect artist’s wardrobe and treasured his friendship. As did I.
Travel well. I hope the wine’s okay.
Tom was, all round, a scholar and a gent. My dad envied his quietly perfect artist’s wardrobe and treasured his friendship. As did I.
Travel well. I hope the wine’s okay.
Modern LLMs (GPT-5.1, Claude 4.5, Gemini 3) produce excellent code and can be a significant productivity boost to software engineers who take the time to learn how to effectively apply them - especially if used with coding agent tools
Modern LLMs (GPT-5.1, Claude 4.5, Gemini 3) produce excellent code and can be a significant productivity boost to software engineers who take the time to learn how to effectively apply them - especially if used with coding agent tools
This is not an industrial strategy.
And making this announcement just as AI bubble is about to burst is pure Starmer.
Configuration is mentioned 19 times.
lnkd.in/e-HTsxgE
** welcome to config hell **
Configuration is mentioned 19 times.
lnkd.in/e-HTsxgE
** welcome to config hell **
medium.com/@bgrant0607/...
#Kubernetes #GitOps
London is comfortingly wet with rain
London is comfortingly wet with rain
Find out why and how to get started
itnext.io/confighub-wh...
Find out why and how to get started
itnext.io/confighub-wh...