Lawrence Paulson
@LawrPaulson
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the other place.
Tesla skepticism continues to grow, robotaxi demo fails to impress Austin - Ars Technica arstechnica.com/cars/2025/07/t…
Conspiracy theorists don’t realize they’re on the fringe - Ars Technica arstechnica.com/science/2025/0…
Alabama Governor Signs New ‘Heartbeat Bill’ Lowering State’s Age Of Consent theonion.com/alabama-govern…
‘Twinned with Epstein Island’ sign placed on Trump golf course independent.co.uk/tv/news/trump-…
This guy keeps using vegetables as insults
“How did they do this” This may sound a bit far fetched Pat but maybe just maybe that’s perfectly normal cloud cover you wilted turnip. 😭
British person: “I beg your pardon?” Translation: “What the fuck did you just say, you fucking cunt?”
It’s “frighteningly likely” many US courts will overlook AI errors, expert says - Ars Technica arstechnica.com/tech-policy/20…
Called off of work bc my mom wasn’t feeling well, I took her to urgent care and my boss texting me saying he was disappointed in me, I told him you’re only disappointed bc I do all the work and everyone else is lazy as shit. Waiting for him to text me back lol it’s been 3 hours
Before we started chemtrail operations Yorkshire was a paradise of Mediterranean style weather. Tigers roamed the countryside. Surfers rode the waves off the coast of Filey and bronzed locals lounged in the pub after a long day harvesting tea and coconuts. Look at it now.
We really do live in the dumbest timeline
THEY’RE CLOUDS NAOMI ! NAOMI, THEY’RE CLOUDS ! CLOUDS , THEY ARE NAOMI ! THEY ARE FUCKING CLOUDS !
New in the AFP: Löb's theorem, by Janis Bailitis Löb's theorem states that if Provable(“φ”) → φ is formally provable then so is φ itself. It is a generalisation of the 2nd incompleteness theorem. Added to the end of an existing entry: isa-afp.org/entries/Incomp…
Cocky cop jailed for stealing bitcoins had log of his crypto theft in his office - Ars Technica arstechnica.com/tech-policy/20…
