Lawrence Paulson
@lawrpaulson.bsky.social
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications.
Just out: Functional Data Structures, edited by Tobias Nipkow
November 25, 2025 at 12:48 PM
Just out: Functional Data Structures, edited by Tobias Nipkow
From the Guardian
September 15, 2025 at 6:40 PM
From the Guardian
Overwhelmingly they prefer the English flag, which is not the British flag. Maybe because it's easier to draw a cross. And maybe because
August 31, 2025 at 11:00 AM
Overwhelmingly they prefer the English flag, which is not the British flag. Maybe because it's easier to draw a cross. And maybe because
More remarkable is what does NOT leave them aghast
August 26, 2025 at 7:22 AM
More remarkable is what does NOT leave them aghast
The real reason they are painting red crosses
August 25, 2025 at 8:27 AM
The real reason they are painting red crosses
My bingo card just caught fire
August 23, 2025 at 7:46 PM
My bingo card just caught fire
Hugo Rifkind in the Times, on London
August 7, 2025 at 8:28 AM
Hugo Rifkind in the Times, on London
Seems they are all doing it now
July 28, 2025 at 7:43 AM
Seems they are all doing it now
A stupid law. Good riddance
July 21, 2025 at 6:03 PM
A stupid law. Good riddance
