"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

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

#elmar4594

🇳🇴 von #Hol, Richtung #Vossestrand

https://m.youtube.com/watch?v=2dh8ehUVveI

**Theorem proving with the real numbers**
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-408.html
by John Robert Harrison
November 1996

The author used #HOL to formalise real numbers, including metric, sequences and limits, continuity and differentiation, power series and transcendental functions, integration.

There is also a #CAS and IEEE floating standard verification tools.

#ProofAssistant #Math #FormalVerification #Logic #PLT

Why a Digital Clock is Decidable
Finite State System: A digital clock has a finite, albeit large, number of possible states . A typical clock tracks seconds (0-59), minutes (0-59), hours (0-23 or 1-12 with AM/PM), and potentially date information. The total number of unique configurations (states) is finite. Systems with a finite number of states are generally decidable [3].
Deterministic Behavior: The clock's transitions between states are predictable and governed by fixed rules (e.g., after 59 seconds, the seconds reset to 0, and the minutes increment by 1) . This determinism allows for predictable analysis of its behavior.
Programmatic verification of a digital clock typically involves treating it as a finite state machine (FSM) or using formal verification techniques Modeling as a Finite State Machine /Model Checking
Theorem Proving: Use interactive theorem provers (e.g., #Coq, #Isabelle / #HOL) to mathematically prove the clock's implementation adheres to its formal specification
#academia folks need be motivated and paid for this and by them I mean anyone , who can do it , which means many people who couldn't pursue , this need be a #udemy course

50 years of proof assistants
https://lawrencecpaulson.github.io//2025/12/05/History_of_Proof_Assistants.html

#ProofAssistant #Isabelle #Coq #Rocq #LCF #HOL

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 7, 2025. https://jaalonso.github.io/vestigium/posts/2025/12/08-readings_shared_12-07-25 #CoqProver #FunctionalProgramming #HOL #Haskell #ITP #IsabelleHOL #LeanProver #LogicProgramming #Math #Prolog #Python

50 years of proof assistants. ~ Lawrence Paulson. https://lawrencecpaulson.github.io//2025/12/05/History_of_Proof_Assistants.html #ITP #IsabelleHOL #CoqProver #HOL

I’m just surprised the Gruaniad has not noticed this before. Wealth talks and influences, votes far less so in an environment in which Labour, Conservative and Reform party’s votes are bought. Sometimes subtly, sometime not so.

https://www.theguardian.com/politics/2025/nov/27/ultra-rich-unelected-power-reshaping-british-politics-equality-trust-report

#UkPol #Wealth #Dominance #HoL #Parliament

We all know it, but here is a commissioned report confirming that the Oligarchs are taking over.

https://www.theguardian.com/politics/2025/nov/27/ultra-rich-unelected-power-reshaping-british-politics-equality-trust-report

#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

Old White Men with a lot of Privilege....can't trust 'em!

https://www.theguardian.com/politics/2025/nov/24/house-of-lords-peers-richard-dannatt-david-evans-suspended-breaking-lobbying-rules

#HoL #UKPOL #UKPOLITICS #RIchardDannatt #DavidEvans #Lobbying

Ospreys apologise to Scarlets investors after controversial fan question appears online

Question sparks backlash at Swansea fan event

The incident took place at a fan engagement evening held at the Patti Pavilion in Swansea on 23 September, led by Ospreys chief executive Lancy Bradley.

Supporters were invited to submit questions via a live Q&A app. One attendee posed the question: “Are HOL con men?” — referring to House of Luxury Group, the Scarlets’ new investment partner.

The question appeared briefly on a large screen during the event and was later visible in background images posted to the Ospreys’ social media channels.

In a statement released late on Saturday night, the club said:

“We apologise to the House of Luxury Group for the distress and upset caused by the publication of these photos, to the House of Luxury Group Board, and those connected with the company.”

Investment tensions amid WRU restructure

The apology comes as Welsh rugby faces a major shake‑up, with the WRU expected to reduce the number of professional teams from four to two or three by the end of October.

House of Luxury (HOL) began its partnership with the Scarlets in August, with its sports division now overseeing the club’s off‑field operations. If the Scarlets survive the restructure, HOL is expected to take a 55% shareholding, subject to WRU due diligence.

Simon Kozlowski, HOL’s chief experience officer, has publicly stated that if only one team remains in the west, it should be the Scarlets — citing their infrastructure and history.

The firm is led by Kirsti Jane Baker, 36, originally from Pontypridd. HOL is registered in Montana, USA, and not required to disclose financial accounts or ownership details under local law.

Rivalry intensifies as future hangs in balance

The apology follows months of friction between the regions. Carmarthenshire politicians and Scarlets supporters previously objected to the Ospreys’ plans to redevelop St Helen’s, which the Swansea‑based club sees as central to its long‑term future.

The WRU board is expected to make a final decision on the professional game’s future structure by the end of the month — a move likely to trigger instability and recriminations across the regional landscape.

Related stories from Swansea Bay News

Scarlets pump £17m a year into Carmarthenshire economy
New report highlights the club’s economic impact amid WRU restructuring plans.

Scarlets investor slammed WRU leadership weeks before deal announced
Kirsti Jane Baker criticised governance in Welsh rugby ahead of HOL’s investment partnership.

Scarlets secure landmark US investment deal
House of Luxury Group takes control of off‑field operations as WRU prepares for major changes.

Ospreys finalise lease to make St Helen’s their new home
Swansea‑based region secures long‑term future at historic ground.

Council leader welcomes planning approval for Ospreys stadium redevelopment
Plans for St Helen’s backed as Ospreys seek stability amid WRU reforms.

#HoL #HouseOfLuxury #Ospreys #Rugby #Scarlets

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

@deinol @HeyeBodo HOL, and the Buttery Wholesomeness systems, are the best thing in the history of gaming. Master lessons in design and setting. How to make vibrant characters. The Bestiality!

And to this day I'm playing Freebase. Fighter/Magic-User. <taps elbow>
#ttrpg #hol

@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

Scarlets investor slammed WRU leadership weeks before deal announced

Kirsti Jane, who leads the US-based luxury asset agency behind Scarlets’ strategic partnership, published a scathing critique of Tierney’s leadership on LinkedIn, describing Welsh rugby as “rotting” and accusing the WRU of “years-long failure” and a lack of vision.

Her comments, made prior to any public confirmation of HOL’s involvement with Scarlets, now read as a signal of intent — laying out the frustrations and ambitions that underpin the group’s move into Welsh rugby.

“No guts, no direction”

In the post, Kirsti Jane accused the WRU of failing to address the root causes of decline:

“Welsh rugby is in crisis. Not a new one. Not a one-off. Years-long cycle of failure, masked by PR spins and empty gestures. The WRU gave notice to Ospreys and Scarlets months ago. Yet here we are with no direction. No guts.”

She criticised Tierney’s reliance on consultants and questioned the WRU’s ability to lead meaningful reform:

“A CEO who can’t seem to make a single executive decision without cutting another cheque to consultants who tell her what she should already know. That’s not leadership or vision. That’s survival mode.”

The post also took aim at the WRU’s internal culture, referencing past governance failures and the union’s handling of recent crises:

“Accountants in growth roles. Accountants in creative roles. Because apparently, all the talent you ever need is just down the corridor.”

WRU prepares to reveal preferred restructure

Tierney has defended the WRU’s approach, saying the union will publish its preferred model in the coming weeks before launching a six-week consultation with clubs, coaches, politicians and supporters. A final decision is expected in October.

“We want to consult on an option rather than just go out there with everybody having different views,” Tierney told the BBC. “We’re paid to make decisions, so it’s important we take the opportunity of a leadership position on this.”

She insisted the WRU is open to challenge and that no final decision has been made:

“We’ve come up with what we think will work, based on a huge amount of feedback and input, but I’m under no illusion we’ve got it all right.”

The WRU says it will not name which clubs may be cut, only the number and principles behind the restructure. If clubs cannot agree to merge voluntarily, the union may go out to tender for regional licences.

“We’ll be the wolf blowing your house down”

Kirsti Jane’s post concluded with a stark warning:

“So WRU, if you’re ever ready for real change… knock on our door. And if you don’t? We’ll be the wolf blowing your house down.”

The remarks have sparked debate across Welsh rugby, with some fans praising her candour and others questioning the tone. Scarlets have not commented publicly on the post, but sources close to the club say HOL remains fully committed to the investment deal and is working with the Board to finalise documentation.

The WRU has confirmed it will conduct its own due diligence once formal paperwork is submitted.

A wider reckoning

The WRU’s leadership has faced mounting scrutiny in recent months. An independent review last year found the organisation to be “unforgiving, even vindictive,” with a toxic workplace culture and serious governance failings. Tierney, appointed in the wake of those findings, has pledged to implement all 36 recommendations and rebuild trust.

But critics say progress has been slow, and the national team’s record-breaking losing streak — 18 consecutive defeats before a win over Japan — has only intensified pressure.

Scarlets and Ospreys continue to push for clarity, with both clubs warning that uncertainty is damaging the game. Ospreys have secured planning permission to redevelop Swansea’s historic St Helen’s ground, while Scarlets have announced their partnership with HOL as a strategic lifeline.

Whether the WRU’s “optimal solution” will satisfy stakeholders — or deepen the divide — remains to be seen.

Related stories from Swansea Bay News

Scarlets secure landmark US investment deal as Welsh rugby faces critical crossroads
HOL’s entry into Welsh rugby confirmed amid WRU restructure uncertainty.

WRU to scrutinise Scarlets deal as ‘optimal solution’ looms for Welsh rugby shake-up
Union confirms due diligence process ahead of regional restructure announcement.

WRU may scrap half of Wales’ rugby regions in radical restructure
Union’s preferred model could reduce funded teams from four to two.

Political backlash as MPs show fury over WRU U-turn
Cross-party criticism mounts over WRU’s handling of regional funding.

Ospreys and Scarlets united in response to WRU funding debate
Privately owned clubs push back on union’s restructure proposals.

WRU announcement leaves rugby regions in limbo over future
Clubs await clarity as union delays decision on regional model.

#AbiTierney #HoL #HouseOfLuxury #KirstiJane #Rugby #Scarlets #WRU

Scarlets secure landmark US investment deal as Welsh rugby faces critical crossroads

The agreement, announced this week, will see House of Luxury (HOL) acquire a 55% controlling stake in Scarlets and assume leadership of the club’s non-rugby operations. The deal brings immediate financial stability and a long-term vision for growth, while safeguarding the club’s identity, heritage and community roots.

Scarlets will continue to play at Parc y Scarlets, retain their badge and colours, and uphold supporter ownership principles and Welsh language commitments. Rugby operations will remain under local control, with HOL focusing on commercial strategy, global partnerships and off-field development.

A strategic lifeline amid national uncertainty

The timing of the deal is significant. Welsh rugby is undergoing a period of intense upheaval, with the Welsh Rugby Union (WRU) actively considering a radical restructure that could reduce the number of professional teams from four to just two. The WRU has issued a two-year notice to terminate its current agreement with the regions, citing financial pressures and the need for reform.

Scarlets and Ospreys have refused to sign the WRU’s proposed Professional Rugby Agreement (PRA25), arguing that the new terms would destabilise the game and undermine their independence. In contrast, WRU-owned Cardiff and Dragons have signed the deal, prompting fears of a two-tier system that favours union-controlled clubs.

The WRU insists the restructure is a “once-in-a-generation chance to get this right for Wales,” but critics warn that cutting teams could damage the sport’s competitiveness and alienate fans. No Six Nations team with fewer than four professional clubs has ever finished higher than third in the championship.

Against this backdrop, Scarlets’ partnership with HOL offers a strategic lifeline. It positions the club to weather the uncertainty and potentially emerge stronger, with the resources and leadership needed to thrive in a reshaped rugby landscape.

Who is House of Luxury?

House of Luxury LLC is a Montana-based global luxury asset agency with expertise in ultra-prime real estate, sport, automotive and rare collectibles. Its sports and entertainment division is led by former WRU and NZRU CEO David Moffett, who brings decades of rugby leadership experience.

Moffett is joined by a high-profile team of directors including 112-cap Welsh international Dan Biggar, brand strategist Andy Golding, and Leanne Batts, innovation lead for NZ Rugby. Together, they aim to position Scarlets as a high-performance club with global reach and deep community impact.

HOL will assume all current financial liabilities and lead off-field operations in partnership with the Scarlets Board. The club’s new partners will be responsible for commercial growth, strategic planning and future investment, while working towards a full equity transaction.

A shared ambition for growth

Scarlets Executive Chairman Simon Muderack said the deal marks the beginning of a new era for the club:

“Scarlets is a rugby club that has been at the forefront of Welsh rugby and an integral part of the community of west Wales for more than 150 years. We are all fiercely proud of what this club stands for and will continue to protect that legacy. This partnership is the start of a new era for our club, strengthening our position with new investment, new ideas and a shared ambition to return the Scarlets to the top of European rugby.”

HOL Chief Executive Kirsti Jane echoed that sentiment:

“This is one of the most storied rugby clubs in the world and we believe it should be competing and winning at the highest level. We’re here to make that happen and help drive the Scarlets’ future success and protect its unique identity and legacy.”

Chief Experience Officer Simon Kozlowski added:

“We’re not just here to preserve Scarlets’ incredible rugby heritage — we’re here to transform this club into a powerful engine for community prosperity. This partnership will create jobs, attract international investment to west Wales, and deliver an amazing experience for our fans.”

Implications for the wider game

The Scarlets deal could have far-reaching implications for Welsh rugby. It signals that independent clubs are willing to seek outside investment to secure their futures — and that global capital is willing to back them. It also raises questions about the WRU’s long-term strategy and whether its proposed centralisation model can accommodate clubs with external ownership and commercial ambitions.

If successful, the Scarlets–HOL partnership could serve as a blueprint for other regions seeking financial independence and strategic autonomy. It may also force the WRU to reconsider its approach, especially if the union’s preferred model leads to reduced competitiveness or alienates key stakeholders.

The deal also underscores the growing tension between tradition and transformation in Welsh rugby. Scarlets have pledged to retain their badge, colours, stadium and cultural values — including Welsh language commitments — while embracing a new commercial model. It’s a delicate balancing act, but one that could redefine what it means to be a professional rugby club in Wales.

Ospreys push ahead with St Helen’s redevelopment

While Scarlets secure new investment, Ospreys are forging ahead with plans to redevelop Swansea’s historic St Helen’s ground. Swansea Council recently approved the club’s planning application, which includes a new 3G pitch, reoriented playing surface, upgraded stands, and a fan zone with retractable roof.

Council leader Rob Stewart welcomed the decision, saying it was vital for sport and the local economy:

“We’ve done all we can to support the Ospreys to get them to this point. We now hope the WRU will end the uncertainty hanging over the regions and support the Ospreys in continuing top-flight rugby in Swansea.”

The Ospreys aim to play their first match at the revamped St Helen’s in December, marking a return to the venue for the first time since 2005.

A turning point for Welsh rugby?

The coming months will be critical. The WRU is expected to make a final decision on its restructure in October, and the new season begins with clubs still unsure of their long-term futures. Political tensions are rising, with Carmarthenshire-based politicians clashing over the Ospreys redevelopment and fans demanding clarity from the union.

In this climate, the Scarlets–HOL deal stands out as a proactive move — one that could reshape the power dynamics of Welsh rugby and offer a new path forward. Whether it sparks broader reform or deepens the divide remains to be seen. But one thing is clear: the future of the professional game in Wales is no longer just a matter for the WRU.

Related stories from Swansea Bay News

WRU may scrap half of Wales’ rugby regions in radical restructure
The WRU outlines plans to reduce the number of professional teams, sparking widespread concern.

Political backlash as MPs show fury over WRU U-turn
Welsh politicians react angrily to the WRU’s funding reversal and its impact on regional clubs.

Ospreys and Scarlets united in response to WRU funding debate
The two independent clubs issue a joint statement opposing the WRU’s proposed agreement.

WRU announcement leaves rugby regions in limbo over future
Clubs face uncertainty as the WRU begins formal consultation on restructuring the game.

Council leader welcomes planning approval for Ospreys’ St Helen’s stadium redevelopment
Swansea Council backs the Ospreys’ plans to return to their historic home ground.

Planning approved for Ospreys redevelopment of St Helen’s
Full details of the approved redevelopment scheme and timeline for completion.

#featured #HoL #HouseOfLuxury #investment #Rugby #Scarlets #WelshRugby #WRU