Hacker Newsnew | past | comments | ask | show | jobs | submit | IsTom's commentslogin

There is a way to look at mathematics as just a bunch of rewrite rules for things on paper. It might not be particularly inspiring, but it's a valid way to look at things.

Indeed, there's a way to get a semantics for free, based on the syntax alone. For example, in the first order logic this is the Herbrand interpretation

https://en.wikipedia.org/wiki/Herbrand_interpretation

The point of mathematical semantics is that for any given theory, we can have other interpretations that don't just interpret symbols as themselves.

So we could conceivably imagine an interpretation where ∞ doesn't just mean literally ∞ and nothing more.


Besides "secret" knowledge like the know-how at jobs, there's things like unwritten social etiquette (especially as it varies from place to place) or interfacing with physical world – reading about chopping tomatoes is different from experience acquired by actually chopping tomatoes.

Historically aristocracy was the military class. Nowadays in authoritarian societies it looks like it's mostly matter of time before military takes the lead.

> Nowadays in authoritarian societies it looks like it's mostly matter of time before military takes the lead.

See, e.g., Iran's IGRC. Counterexamples: China, Russia — and the U.S.?


China dervies a ton of authority and Legitmacy from the PLA (peoples liberation army) and Russia is run by from Inteligence service members of the KGB low level ones to be sure but I don't see how China and Russia are counter examples. The US isn't their yet we will see if the backslide happens in the next two years but I think its of a different qualia than we see in the "typical" Authorithian State.

Ironically I was watching Nuremberg last not and is is schocking how close some of the leaders of this country are to characters like Hermann Göring, or Hitler himself in talking points. They are certainly populists but the language they used is MGGA (make german great again) so to speak. And factually that were not particular that good at it either most of Germans recovery is really due to the liberal government that pass laws that built the Autobahn were laws not by the Nazi party. They certain jumped on them and accelerate them but effective governence is not really for the populist


In fact, the current administration, not headed by someone from the military (and VP has military credibility but not leadership) is not at all aligned to the military except in that their base appreciates the imprimatur of honorable military service. In fact, Trump 1 was in many ways a huge refutation to Trump of the idea that the military guys were leaders he could count on. Their brain-trust positions had more left-alignment than he maybe imagined. His administration, in 2025, fired high-ranking officers in a way that suggested he entered with the reverse conclusion: not military leaders as high-competence straight-shooters, but as all being suspect for having risen unstoppably in a system pervaded by partisan platitudes and shibboleths. Fortunately, the administration didn't take the Soviet approach of purging all those under suspicion.

They just finally had to fire their SecNav because reality butted heads with their ideological conclusion was that business experience was more conducive to military success. Unfortunately for their very-much-not-military-led plan, SecNav probably needs a bit more user experience from time in Navy leadership to successfully work within that labrythine bureaucracy.


A military coup in the U.S. is imaginable, which probably explains some of the top brass purges (until recently, where it's probably an attempt to deflect blame for the massive Iran fuck up).

Putin did it better; he kept the military weak and aggressively managed the risk via the FSB.


I don't think it's plausible, but an authoritarian president invoking emergency powers and deploying military and paramilitary forces to exert control on the streets is, on the basis it's already going on at a limited scale. All it takes is for that scale to gradually dial up over time until the frog's cooked.

The problem you have is these elected kings. Not just any king, pretty specifically the majority of the powers enjoyed by George III in the 1790s. The fact that you still have this, unreformed over 200 years later and still think that somehow your constitutional system is modern, is a matter for despair. Get yourselves a proper parliamentary system, with maybe a head of state as a figurehead.


>The problem you have is these elected kings. Not just any king, pretty specifically the majority of the powers enjoyed by George III in the 1790s. The fact that you still have this, unreformed over 200 years later and still think that somehow your constitutional system is modern, is a matter for despair. Get yourselves a proper parliamentary system, with maybe a head of state as a figurehead.

What a poorly thought out and questionably motivated take. It will no doubt be well received here.

In any case, reconstructing out legislature to copy european stuff isn't gonna change anything if the legislature still sees fit to vest so much power in the executive.


My point is precisely that the US system is substantially a copy of European stuff. It had some significant innovations for it's time of course, but it's really showing it's age. Meanwhile Parliamentary systems have significantly reformed and further innovated since.

Your main point is valid, but I'd argue it's less the power of the President and more the two-party system and the weakness of Congress that is the root of many American governance problems. Executive power has grown in the vacuum of Congressional impotence.

As far as reforms, we need more to be sure, but there's at least the 22nd Amendment, formalizing the two-term tradition that Washington initiated and FDR abrogated into a hard limit, that means Trump can't legally keep power past 2028.


I think, despite all the furor whipped up and attempts by high-ranking officials to foment a coup, the military is actually very unlikely to disobey Presidential orders; this is based on my frequent interactions with military officers over the last ten years. Do you perceive some other, more likely, coup scenario?

A coup from the same military that happily deployed foot soldiers into American cities to perform law enforcement duties they were not trained to perform? And is happily killing boat-people in the Caribbean? And ran a covert operation to kidnap a foreign head of state? And ran another covert operation to assassinate political leaders in another sovereign state and are now bombing that same state into rubble for no publicly disclosed reason?

Yeah, no coup is happening here. Our military is built around civilian control via the White House. That ain't changing any time soon. Ignoring the various uses of force above, when the generals were called before Hegseth to bend the knee, all but one of them did.


You can say the same about the US

And funnily recently many of the Big Serious Cloud Websites are shitting the bed of availability aggressively.

Well, they don't need to be highly available anymore. They've already cornered their respective markets.


Well, it's on web archive. So unless they got their hands on it almost a month early or escaped their light cone it wasn't.

Never had this issue with several cellphones I had in ye olden times when all cellphones had removable batteries. All it takes is a properly designed connector.

Yeah, none of my Nokias with a removable back cover and battery had that issue. What you realistically might've had was instead that you dropped your phone on the floor and the battery came flying out.

Or just using less electron and writing less shit code.

I think that CT is more akin to just a different language for mathematics than a solid set of axioms from which you can prove things. The most fact-y proof I've personally seen was that you can't extend the usual definition of functions in set theory to work with parametric polymorphism (not that just some constructions won't work, but that there isn't one at all).

Consider applying for YC's Summer 2026 batch! Applications are open till May 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: