



John Leeson, the actor who brought the iconic robot dog K9 to life in the long-running BBC series Doctor Who, has died at the age of 83. His family announced his passing on Sunday following a summer of illness, describing the end as peaceful, according to Bleeding Cool. "His family announced his passing on Sunday following a summer of illness, describing the end as peaceful." Leeson, whose real name was John Ducker, provided the distinctive voice for K9 throughout much of the show's history, a role that made the character a fan favourite across the series. The news was first reported on the Doctor Who News website and later picked up on Hacker News, where it drew attention from the fan community, according to ShortSingh. Bleeding Cool noted that Leeson was best known for voicing the robotic dog K9, a character that became a staple of the Doctor Who universe. The actor's contribution to the series left a lasting impression on generations of viewers who grew up with the metallic canine companion. ShortSingh reported that the announcement was shared with the show's fan community, though the source provided limited further detail on the date and circumstances of his death. The legacy of Leeson's work, however, remains a celebrated part of Doctor Who history.

★ Independent spotlight

Clean-room, AI-assisted, open-source, drop-in replacements for the SaaS giants. Apache-2.0. Self-hosted. No per-seat tax.
Yet machine-made patches ‘often get rewritten’









Table of contents
AI has made remarkable progress in mathematics, solving challenging problems with machine-checkable proofs in Lean, yet typically relying on predefined mathematical definitions and formal specifications. This raises a natural question: can it reason rigor

