home.social

#hol — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #hol, aggregated by home.social.

  1. 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: aitpm.github.io/

    #math #itp #theoremProving #isabelleHOL #lean #llm #ai #formal_mehods #agda #hol #mathematics

  2. 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

  3. 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

  4. @TCMuffin

    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...

  5. @HeyeBodo

    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.”

    #TTRPG #HOL #MechWarrior #Lifepath

  6. 🚨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: 👇🤬 38d.gs/qhjk #UKPolitics #HoL #ToryCriminals 🤬

  7. 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.

    #UKPOL #Ukpolitics #HoL #Law

  8. 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....

    theguardian.com/politics/2025/

    #HoL #UKPOL #UKpolitics

  9. 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

  10. IPP sentence: Top judge demands help for prisoners ‘left to rot’ under ‘morally wrong’ indefinite jail terms | The Independent
    independent.co.uk/news/uk/crim

    #HOL
    #IPP
    #IndefiniteJailTerms