#hol — Public Fediverse posts

Readings shared April 24, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/25-readings_shared_04-24-26 #AI4Math #Autoformalization #CompSci #CoqProver #FunctionalProgramming #HOL #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #Nqthm #RocqProver

Readings shared April 24, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/25-readings_shared_04-24-26 #AI4Math #Autoformalization #CompSci #CoqProver #FunctionalProgramming #HOL #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #Nqthm #RocqProver

Readings shared April 24, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/25-readings_shared_04-24-26 #AI4Math #Autoformalization #CompSci #CoqProver #FunctionalProgramming #HOL #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #Nqthm #RocqProver

Readings shared April 24, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/25-readings_shared_04-24-26 #AI4Math #Autoformalization #CompSci #CoqProver #FunctionalProgramming #HOL #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #Nqthm #RocqProver

Readings shared April 24, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/25-readings_shared_04-24-26 #AI4Math #Autoformalization #CompSci #CoqProver #FunctionalProgramming #HOL #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #Nqthm #RocqProver

Why not just use Lean?. ~ Lawrence Paulson. https://lawrencecpaulson.github.io//2026/04/23/Why_not_Lean.html #ITP #Nqthm #HOL #CoqProver #IsabelleHOL #LeanProver #AI4Math

Technology & Friends - Laurent Bugnion on Coordinating Hands on Labs with host David Giard.

https://davidgiard.com/laurent-bugnion-on-coordinating-hands-on-labs

#msbuild #podcast #devcommunity #learning #hol #microsoft

IPP sentence: Top judge demands help for prisoners ‘left to rot’ under ‘morally wrong’ indefinite jail terms | The Independent
https://www.independent.co.uk/news/uk/crime/ipp-sentence-lord-thomas-prison-b2631771.html

#HOL
#IPP
#IndefiniteJailTerms

Rwanda Bill wrangling continues as peers inflict fresh Government defeat | Evening Standard
https://www.standard.co.uk/news/politics/house-of-lords-government-prime-minister-rwanda-mps-b1151897.html

#Rwanda
#RwandaBill
#HOL
#Peers
#Sunak
#SafetyOfRwandaAsylumAndImmigrationBill
#InternationalLaw
#HumanRights
#UKGov

Lords tell Sunak: Don’t send Afghan heroes to Rwanda | The Independent
https://www.independent.co.uk/news/uk/home-news/rwanda-lords-bill-small-boats-afghan-mps-b2506644.html

#AfghanRefugees
#AfghansWhoWorkedWithBritish
#Rwanda
#SmallBoats
#HOL
#GeorgeOrwell1984
#AfghanMilitary
#Triples
#IllegalMigrationAct
#IllegalMigrationBill

Rwanda bill ‘not fit for purpose’ | Morning Star
https://morningstaronline.co.uk/article/rwanda-bill-not-fit-for-purpose

#Rwanda
#RwandaBill
#HOL
#Lords
#Tories
#AsylumSeekers
#Sunak
#RwandaNotSafe
#Tugendhat
#LegalFiction
#LegalLies
#Chakrabarti
#Labour
#RwandaTreaty
#Hailsham
#NoDeterant
#Moulsecoomb
#Green
#SalisburyConvention
#Welby
#InternationalLaw
#Clarke
#StandUpToRacism
#SafetyOfRwandaAsylumAndImmigrationBill
#SafetyOfRwandaBill
#OneLifeToLive
#Care4Calais
#SupremeCourt

Liberty takes Home Office to court over Public Order Act 2023 | openDemocracy
https://www.opendemocracy.net/en/home-secretary-liberty-court-anti-protest-laws-james-cleverly-suella-braverman-palestine/?utm_source=All%20UK%20Contacts%20in%20Weekly%20List&utm_medium=email&utm_campaign=The%20UK%20government%20is%20getting%20SUED&_kx=Xku3CuTVfvJvWrKmPGcGLexvP_ylT3QHPER5MFvOQqxUks80d5eeQosUxA8e_RtM.YjCYwm

#Liberty
#PublicOrderAct
#PublicOrderAct2023
#Court
#ProPalestinianMarches
#ProPalestinianMarchers
#ProPalestinianProtests
#ProPalestinianProtesters
#Cleverly
#Braverman
#HomeAffairsSelectCommittee
#HomeAffairsCommittee
#MPsSafety
#Ceasefire
#Gaza
#Harassment
#Abuse
#Protests
#Conflated
#HOL
#Parliament
#HomeOffice

Rwanda: House of Lords must block immigration bill, over 250 charities write | The Independent
https://www.independent.co.uk/news/uk/home-news/rwanda-bill-lords-sunak-charities-treaty-b2485340.html

#Rwanda
#HOL
#RwandaBill
#AsylumSeekers
#SafetyOfRwandaAsylumAndImmigrationBill
#GoodFridayAgreement
#GFA
#HumanRights
#ECHR

Speaker talking about the problem of Foreign Secretary, LORD Cameron, not being a member of HOC but HOL and the ability to scrutinise the Foreign Secretary when there are so many foreign concerns.
#HOL
#HOC
#ForeignSecretary
#Cameron
#ParliamentaryScrutiny

Small boats bill ripped apart in Lords as peers say government living ‘in cloud cuckoo land’ | The Independent
https://www.independent.co.uk/news/uk/politics/rwanda-migrants-unlawful-small-boats-bill-b2368668.html

#SmallBoats
#IllegalMigrationBill
#AsylumBan
#HOL
#Peers
#PregnantWomen
#Children
#LGBT
#LGBTQIA
#AsylumSeekers
#ModernSlavery
#CloudCuckooLand
#CourtOfAppeal
#HomeOffice
#Rwanda
#Deportation
#DeportationAgreements