That's trailing and mighty impressive. However when you decided to quote Q1 earnings. $62bn of Q1 earnings ends up at only $10bn. The LTM numbers are less relevant.
Perhaps requiring webauthn credential for any post/comment with a whitelist of permitted webauthn hardware devices which must have touch/interaction enabled.
I'd have to read the FIDO specs, however the only place I've seen webauthn hardware pinning in the wild is with Azure AD/Entra which is ostensibly based on token GUID. If this is the only enforcement mechanism available, it's spoofable.
> And that if there is a clear and direct contradiction between the Supreme Court and the president, the former trumps (no pun intended) the latter.
The extent to which members of the executive branch adhere to their oaths is not written down. Ofc the oath is written and its power may partly derive from its written nature (clear; predictable; well publicised etc) but there is a lot more than its written nature that might cause a general to refuse to follow a Presidential order to arrest all people suspected of voting for their opponent.
> The lack of arbitrary rule... is emphatically not [a defining feature of both]
I guess it depends on whether you (or most reasonable people) would call countries like Russia a 'constitutional republic'. Of course there are plenty of dysfunctional and dictatorial countries which superficially describe themselves as XYZ but it lacks substance.
While there may be a textbook answer, I strongly suspect it is debatable within the field and comes down (like so many things) to how you define your terms. Do you define 'constitutional' as attaching more to the codified and written nature of any rules or whether it is more to do with predictable and enforceable rules limiting arbitrary government. My view is that it attaches more the latter.
If you go into the etymology of the term, I don't think codification is baked in - that you can find a large number of books discussing the English or UK constitution (using that term) is testament to the fact that it's not just some niche view. I do suspect the influence of US popular culture (e.g. Hollywood) has biased the term towards the US' arrangement vs. the alternatives.
Tighter (read better) integration with VSCode and Github than what you could get running claude code on the side.
Your question does raise a valid point - Github Copilot's value proposition is fairly limited in my opinion. Not to say worthless but limited and clearly varies depending on how Githubbey your dev workflows are.
> It's a fundamentally substantive difference in the two structures
Yes, it is a substantive difference but it does not follow that this difference provides the 'constitution' property.
> one of these has an indisputable source of truth... the foundations are not the same
They are so similar as to be almost the same and if an 'indisputable source of truth' exists anywhere, it is not in the written documents or their structure but unwritten norms and rituals sit beneath both.
What stops a President from simply choosing to ignore a Supreme Court ruling and what prevents the King from returning to personal rule?
The lack of arbitrary rule is a defining feature of both and relies on something that emerged rather than something imposed from without by written words.
Some special amendment procedure is not the only or even defining feature of constitutional law. There is non-constitutional law that has this property and there is constitutional law that does not.
Repo hosting is the kind of thing that ought to be distributed/federated.
The underlying protocol (git) already has the cryptographic primitives that decouples trust in the commit tree (GPG or SSH signing) with trust in the storage service (i.e. github/codeberg/whatever).
All you need to house centrally is some SSH and/or gpg key server and some means of managing namespaces which would benefit from federation as well.
You'd get the benefits of de-centralisation - no over-reliance on actors like MS or cloudflare. I suppose if enough people fan out to gitlab, bitbucket, self hosting, codeberg, you end up with something that organically approximates a formally decentralised git repo system.
Nor will you be immune from AMD Vitis/Vivado sideloading crap into the bitstream.
Sadly, you have to fab your own chips using sovereign facilities if you want security. Individuals simply cannot access genuinely high assurance product and there's no major government in the world with the slightest interest in changing their stance on this policy. There are simply too many governments long on SIGINT to go down such a route.
AI-related capex is one hell of a drug.