Martin Keegan's blog

What is to be done about the SRCF?

RTM: implementing a lower threshold It could be done in a one-clause bill: omit subsections (3) (4) and (5) of section 79 of the Commonhold and Leasehold Reform Act 2002, and the cross-reference to those subsections made in section 85 This would remove the

Removing another restriction on Right To Manage In England there is a no-fault collective right for the owners of flats in a block to have the management of the block transferred to a company they control, called a Right To Manage company or RTMco.

Dispatches from FUN Ocaml 2025 I have just got my sleep pattern restored after a superb two days at the FUN OCaml conference in Warsaw.

Extensibility and weekend projects tl;dr: There is a binary choice between a protocol being inextensible, or that protocol ending up controlled by a small number of Big Tech organisations.

The Commonhold White Paper is good news for leasehold reform.

What did Labour actually promise on leasehold?

The Right To Manage allows the owners of flats to appoint the manager for their apartment block.

For common ownership of blocks of flats in England and Wales, there are only two viable solutions: share-of-freehold, and reformed commonhold.

Who would be upset by abolishing leasehold?

I recently surveyed the UK's resident management companies (RMCs).

Commonhold in the UK is a system of land ownership that can be used as an alternative to leasehold.

Please note, this blog post has been significantly extended and updated since it was first circulated.

There's a recurring problem I've observed in voluntary organisations: potential volunteers have different levels of ability and experience, across different areas.

I loved email.

A few weeks ago I experimented with CompCert, a C compiler from INRIA, written largely in Coq, with chunks in OCaml; this allows the Coq parts of CompCert to be formally verified (see below for more on this).

We're often reminded that Churchill supported the ECHR or European integration more broadly, as though there were no better argument in favour or against these things.

Today is the anniversary of the Roswell Incident, which is the subject of various conspiracy theories.

Scientific and mathematical reasoning are much more different from each other than people intuitively realise: they differ in what sort of ideas they start with, what consequence erroneous reasoning has, and the structure of the network of ideas they crea…

Anyone watching the Microsoft anti-trust or SCO litigation would have concluded that competition policy and the judicial system are so slow as to be ineffectual.