R.I.P. C.A.R. Hoare 😢:
“Tony Hoare (1934-2026)”, Computational Complexity (https://blog.computationalcomplexity.org/2026/03/tony-hoare-1934-2026.html).
On HN: https://news.ycombinator.com/item?id=47324054
On Lobsters: https://lobste.rs/s/lyktdk/tony_hoare_1934_2026
#Hoare #RIP #Obituary #ComputerScience #CS #CARHoare #TonyHoare
Tory campaign to deselect Caroline Nokes as MP launched | Daily Echo
https://www.dailyecho.co.uk/news/24235159.tory-campaign-deselect-caroline-nokes-mp-launched/
#Tories
#RomseyAndSouthamptonNorth
#Romsey
#Southampton
#Nokes
#GE
#NonConservativeConservatives
#LetterOfNoConfidence
#Mak
#ConservativeValues
#Afolami
#Kearns
#Elwood
#Gale
#Hoare
#Atkins
#Trott
Labour MP Abena Oppong-Asare claims parking fine on expenses | The Independent
https://www.independent.co.uk/news/uk/politics/parking-fine-mp-expenses-abena-oppong-asare-b2383886.html
#OppongAsare
#ParkingFine
#Expenses
#MP
#Labour
#MPs
#IPSA
#Starmer
#Tories
#Ministers
#Solloway
#Afolami
#Hoare
#Doogan
#SNP
#Graham
#Debbonaire
#ULEZ
#CostOfLivingCrisis
#BusinessExpenses
A Tory minister and three other MPs claimed hundreds of pounds of driving fines on expenses – despite it being against the rules. They are now being contacted and asked to repay the money. Amanda Solloway, a minister in the energy department who used to serve under Suella Braverman at the Home Office, was one of the […]
Awesome Collection of #computerscience references, mainly related to #programming #languages. Some of the texts can be found inside the #digital #library of the #acm and, as one might imagine, there are gems that are worth reading. I specially recommend the Axiomatic Basis for #computer #programming by #Hoare and The next 700 programming languages by Landin.
Watch "Could computers understand their own programs - Tony #Hoare" on YouTube - https://youtu.be/v8rZOl6jeeo
Could I understand my own tweet
रञ्जित (Ranjit Mathew)
BjoernD
AutisticMumTo3
Michael
Donnys2
Andres
xameer