#hol — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #hol, aggregated by home.social.
-
RE: https://mastodon.scot/@Fife4Europe/116934978993262355
Greens didn't get a peerage either, feels strange they're leaving Caroline Lucas out to dry, she's done a lot for her local community but then Labour hates the Greens for taking all the Left Wing votes they don't want....fuck Labour
Remember how Starmer said he wouldn't do this Lords crap when he came into power? Yeah, fuck Labour.
#Labour #Greens #GreenParty #UKPol #UKpolitics #HoL #KeirStarmer #Starmer
-
RE: https://mastodon.scot/@Fife4Europe/116934978993262355
Greens didn't get a peerage either, feels strange they're leaving Caroline Lucas out to dry, she's done a lot for her local community but then Labour hates the Greens for taking all the Left Wing votes they don't want....fuck Labour
Remember how Starmer said he wouldn't do this Lords crap when he came into power? Yeah, fuck Labour.
#Labour #Greens #GreenParty #UKPol #UKpolitics #HoL #KeirStarmer #Starmer
-
Mid-20th Century Christmas Gathering Photos Highlight Vintage Holiday Traditions
📰 Original title: 40 Fascinating Photos Capturing Cozy Christmas Gatherings in the Mid-20th Century
🤖 IA: It's clickbait ⚠️
👥 Users: It's clickbait ⚠️ -
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
-
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
-
Want to learn more about the latest developments on using AI and (interactive) theorem proving in Mathematics? Wait no longer!
We have a great line-up of speakers at our online Workshop on AI and Theorem Provers in Mathematics. The workshop will be held online from 8th to 10th of April and attendance is free (registration required). For more details, visit the workshop website: https://aitpm.github.io/
#math #itp #theoremProving #isabelleHOL #lean #llm #ai #formal_mehods #agda #hol #mathematics
-
Want to learn more about the latest developments on using AI and (interactive) theorem proving in Mathematics? Wait no longer!
We have a great line-up of speakers at our online Workshop on AI and Theorem Provers in Mathematics. The workshop will be held online from 8th to 10th of April and attendance is free (registration required). For more details, visit the workshop website: https://aitpm.github.io/
#math #itp #theoremProving #isabelleHOL #lean #llm #ai #formal_mehods #agda #hol #mathematics
-
"Oh please let me keep the Peerage, I'll make it worth your while......"
"OK Peter, because we love you."
#Labour #PeterMandelson #UKPOL #UKPOLITICS #HouseOfLords #HoL
-
"Oh please let me keep the Peerage, I'll make it worth your while......"
"OK Peter, because we love you."
#Labour #PeterMandelson #UKPOL #UKPOLITICS #HouseOfLords #HoL
-
Go all the way and make it an elected 2nd house. But not shit like the American one, obvs....there are other countries in the World...
#UKPOL #UKPOLITICS #HoL #KeirStarmer #Labour #Starmer #Tories #PeterMandelson #Epstein #JeffreyEpstein #ClanOfPaedophiles #HouseOfLords
-
Go all the way and make it an elected 2nd house. But not shit like the American one, obvs....there are other countries in the World...
#UKPOL #UKPOLITICS #HoL #KeirStarmer #Labour #Starmer #Tories #PeterMandelson #Epstein #JeffreyEpstein #ClanOfPaedophiles #HouseOfLords
-
Hey British democracy fans, this is what will happen if the Lords aren't reformed sharpish.....so this is what WILL happen as Labour fails....
#UKPOL #UKPOLITICS #HoL #Democracy #ReformUK #ClanOfPaedophiles
-
Hey British democracy fans, this is what will happen if the Lords aren't reformed sharpish.....so this is what WILL happen as Labour fails....
#UKPOL #UKPOLITICS #HoL #Democracy #ReformUK #ClanOfPaedophiles
-
Readings shared December 9, 2025. https://jaalonso.github.io/vestigium/posts/2025/12/10-readings_shared_12-09-25 #AI #FunctionalProgramming #HOL4 #HOL-Light #Haskell #ITP #IsabelleHOL #LeanProver #Math
-
Readings shared December 9, 2025. https://jaalonso.github.io/vestigium/posts/2025/12/10-readings_shared_12-09-25 #AI #FunctionalProgramming #HOL4 #HOL-Light #Haskell #ITP #IsabelleHOL #LeanProver #Math
-
50 years of proof assistants. ~ Lawrence Paulson. https://lawrencecpaulson.github.io//2025/12/05/History_of_Proof_Assistants.html #ITP #IsabelleHOL #CoqProver #HOL
-
50 years of proof assistants. ~ Lawrence Paulson. https://lawrencecpaulson.github.io//2025/12/05/History_of_Proof_Assistants.html #ITP #IsabelleHOL #CoqProver #HOL
-
We all know it, but here is a commissioned report confirming that the Oligarchs are taking over.
#EatTheRich #Oligarchs #HoL #UKPOL #UKPOLITICS #NoBillionaires
-
We all know it, but here is a commissioned report confirming that the Oligarchs are taking over.
#EatTheRich #Oligarchs #HoL #UKPOL #UKPOLITICS #NoBillionaires
-
This is one of the two corrupt Lords exposed as taking cash for questions, or in other words CORRUPTION.
Isn't about time we threw American meddling out of our politics? They do not mean us well, only Traitors to the nation will side with the Trump regime....seeing as some are talking about Treason and Sedition.
#PalestineAction #UKPOL #UKPOLITICS #Trump #treason #Sedition #USPOL #USPOLITICS #Colonialism #FreeSpeech #HoL
-
This is one of the two corrupt Lords exposed as taking cash for questions, or in other words CORRUPTION.
Isn't about time we threw American meddling out of our politics? They do not mean us well, only Traitors to the nation will side with the Trump regime....seeing as some are talking about Treason and Sedition.
#PalestineAction #UKPOL #UKPOLITICS #Trump #treason #Sedition #USPOL #USPOLITICS #Colonialism #FreeSpeech #HoL
-
Old White Men with a lot of Privilege....can't trust 'em!
#HoL #UKPOL #UKPOLITICS #RIchardDannatt #DavidEvans #Lobbying
-
Old White Men with a lot of Privilege....can't trust 'em!
#HoL #UKPOL #UKPOLITICS #RIchardDannatt #DavidEvans #Lobbying
-
they must at least try... best bet for me is flatten #HoL and #westminster and build the first one right on the Thames embankment... and leave enough room for parking trident subs...
-
they must at least try... best bet for me is flatten #HoL and #westminster and build the first one right on the Thames embankment... and leave enough room for parking trident subs...
-
I like a good life path. Helps give background to characters and being them to life right from the start.
Other examples I can think of include Mechwarrior and HOL.
My favorite HOL random event is “God blamed you, personally, for the death of his only son. You are cursed.”
-
I like a good life path. Helps give background to characters and being them to life right from the start.
Other examples I can think of include Mechwarrior and HOL.
My favorite HOL random event is “God blamed you, personally, for the death of his only son. You are cursed.”
-
VMware Cloud Foundation 9.0 Hands-on Labs sind jetzt live!
Entdecke die neuesten Innovationen, 100% kostenlos und on-demand!
- AI-GPU-Management
- Tiered Memory
- Souveräne Domain-Kontrolle
- Erweiterte Automatisierung
- Und mehr!https://blogs.vmware.com/cloud-foundation/2025/06/19/vmware-cloud-foundation-9-0-hands-on-labs-dive-in-and-unlock-your-potential/
#VMware #VCF #HOL #vExpert -
🚨18 months ago, Michelle Mone admitted she lied to the media about her links to a PPE firm that profited during the #pandemic. #EnoughIsEnough. Sign the #Petition to demand she’s expelled from the House of Lords: 👇🤬 https://38d.gs/qhjk #UKPolitics #HoL #ToryCriminals 🤬
-
🚨18 months ago, Michelle Mone admitted she lied to the media about her links to a PPE firm that profited during the #pandemic. #EnoughIsEnough. Sign the #Petition to demand she’s expelled from the House of Lords: 👇🤬 https://38d.gs/qhjk #UKPolitics #HoL #ToryCriminals 🤬
-
Technology & Friends - Laurent Bugnion on Coordinating Hands on Labs with host David Giard.
https://davidgiard.com/laurent-bugnion-on-coordinating-hands-on-labs
-
Technology & Friends - Laurent Bugnion on Coordinating Hands on Labs with host David Giard.
https://davidgiard.com/laurent-bugnion-on-coordinating-hands-on-labs
-
just found from researchgate
#metaphysics #ontological_proof
#modal_logic #HOL #Kurt_Gödel #Dana_Scottthis open access paper may be of interest to rather everyone in the field
https://link.springer.com/article/10.1007/s00605-025-02078-x
-
just found from researchgate
#metaphysics #ontological_proof
#modal_logic #HOL #Kurt_Gödel #Dana_Scottthis open access paper may be of interest to rather everyone in the field
https://link.springer.com/article/10.1007/s00605-025-02078-x
-
I like the idea of a reformed House of Lords being full of experts in their field, so they knock back populist shit like this.
-
I like the idea of a reformed House of Lords being full of experts in their field, so they knock back populist shit like this.
-
New Artist announced for Sziget Festival 2025: 🔥 Hol! 🔥
🎶 Listen to the current LineUp on YouTube and Spotify: https://fyrefestivals.co
🎟️ Get your Tickets now: https://prf.hn/l/EJnYMdO#Sziget_Festival_2025 #Hol #fyre_festivals #livemusic #youtube #spotify #music #musicfestivals #playlist #tickets #announcement
-
And this is why people think Labour are not on their side
-
And this is why people think Labour are not on their side
-
More of this sort of thing
Americans, imagine if the Senate weren't elected but appointed by the Government and you had Hereditary Senators dating back way too long ago, and 'Lords Spiritual'.....well you're kinda heading there now really,so....
-
More of this sort of thing
Americans, imagine if the Senate weren't elected but appointed by the Government and you had Hereditary Senators dating back way too long ago, and 'Lords Spiritual'.....well you're kinda heading there now really,so....
-
Corruption for foreign nations is treason.
But only if you're poor and don't have the right friends, obviously.... -
Corruption for foreign nations is treason.
But only if you're poor and don't have the right friends, obviously.... -
Imagine being so fucking racist, you'd Protest Vote for a traitor who will sell out this country to Russia and America.
How many Russian assets are in the House of Lords btw?
#NigelFarage #ProtestVote #Oligarchs #Treason #UKPOL #UKpolitics #HoL
-
Imagine being so fucking racist, you'd Protest Vote for a traitor who will sell out this country to Russia and America.
How many Russian assets are in the House of Lords btw?
#NigelFarage #ProtestVote #Oligarchs #Treason #UKPOL #UKpolitics #HoL
