zmgsabst

37 ms·

751.
by zmgsabst 2y ago
There’s a reason that I admire the federal system of the US: For all the US’s problems, devolving critical functions to layers of differing granularity has proven surprisingly robust to many faults. I suspect we’ll see economic equivalents,
752.
by zmgsabst 2y ago
They’re the same thing: A type theory has a corresponding geometric interpretation, per topos theory. And this is bidirectional, since there’s an equivalence. A geometric model of language will correspond to some effective type theory encod
753.
by zmgsabst 2y ago
So… because no faction had enough votes, they were forced to compromise to secure a coalition with enough votes? — that’s your idea of “obstruction”? You can just say you don’t like democracy.
754.
by zmgsabst 2y ago
> Polls consistently show that the majority of Americans want congress to work and they don't like the government shutdowns obstructionists cause. Those same polls show they believe their own representative is doing an adequate jo
755.
by zmgsabst 2y ago
> We have a lot of things that need doing in this country which can't get done when obstructionists stand in the way. I think calling people who oppose your policy ideas “obstructionists” is a neat ad hominem , as if the only reaso
756.
by zmgsabst 2y ago
Alternative: Quantum theories arise because the singularities in black holes create a topological regime within their vicinity — and for SMBs, that’s a whole galaxy. I think it’s interesting that different people feel different things are “
757.
by zmgsabst 2y ago
I don’t understand. You’re claiming that capitalism is “bad” because there’s a hypothetical you imagined where there could be better outcomes? Everything is “bad” by that standard. Eg, “Airplanes are bad because they don’t operate based on
758.
by zmgsabst 2y ago
There’s always been a sharp divide in ethos when it comes to involving others without their express consent and when you leave remnants behind.
759.
by zmgsabst 2y ago
Compared to who?
760.
by zmgsabst 2y ago
Homotopy type theory isn’t magic, but it nicely explores the difference between (strict) equality and context dependent equivalence. (Okay, technically that’s univalence.) I think HoTT nicely capstones the idea algebra and geometry are equi
761.
by zmgsabst 2y ago
This is generally true, about type theories: A type theory corresponds to a complex diagram, as outlined in topos theory. (Note: complex as in CW-complexes.) I think it’s fascinating LLMs ended up being a similar structure — but perhaps not
762.
by zmgsabst 2y ago
That period led to increasing ethnic tensions and a demand to restrict immigration to protect cultural continuity, as well. Eg, this. [0] Why are people surprised by a similar outcome this time? [0] - https://history.state.gov&#x
763.
by zmgsabst 2y ago
> Americans have only ever been afraid of "uncontrolled immigration" when it was non-white immigrants. This is racist revisionism. There was plenty of dislike of white migrants as well, eg, Irish, German, Polish, Italian, etc a
764.
by zmgsabst 2y ago
The volume of uncontrolled migration. Societies regulate the influx of strangers to protect their culture — and the rapid influx of people who don’t share cultural values has damaged American culture.
765.
by zmgsabst 2y ago
Tangent, but: Kip Thorne once commented that black holes are “bigger across” than we’d expect from their circumference. Which I think is what those cusp-on-sheet models are showing. Does that create a topological defect? I ask because a cir
766.
by zmgsabst 2y ago
> Personally, I find it curious that people talk about detecting single photons, but in these fractional charge experiments, nobody mentions detecting a single quasiparticle. You detect a single photon when it perturbs an apparatus like
767.
by zmgsabst 2y ago
> People have always been very clear that docker is not a security boundary, at least not with its default configuration. I’ve also used it since the beginning and that’s some mighty strong revisionism. Docker was compared to VMs — with
768.
by zmgsabst 2y ago
Docker has had security and isolation features since it was competing with LXC on who glued cgroups and namespaces together better — and discussed in those terms the whole time. While I agree that Docker as written isn’t good at security, y
769.
by zmgsabst 2y ago
I think the OPs point is that it’s bounded below at a point not-distant from the mean, and hence you have a one-tailed and not two-tailed distribution. That non-trivially changes the distribution. And then commented why: you have a finite a
770.
by zmgsabst 2y ago
I’ve never felt more staring at the Mandelbrot than, say, pendulum settlement patterns or random noise. Often less, in that the Mandelbrot set has much more regularity than those examples. I suppose we have different aesthetics.
771.
by zmgsabst 2y ago
Wavelets are arguably a fractal representation.
772.
by zmgsabst 2y ago
What do you mean by “mathematical form” here?
773.
by zmgsabst 2y ago
They’re closing schools but transferred millions to racist grifters on dubious grounds in violation of public funding laws. And that’s ignoring such race-based policies are explicitly illegal under Washington law.
774.
by zmgsabst 2y ago
This is taking money from hard working black people and giving it to a handful of racist grifters. Further, it deprives their schools, police, EMTs, etc of tax funding from the wider city to enrich grifters — and these are communities that
775.
by zmgsabst 2y ago
I’ve been having fun. This is like the Flat Earth equivalent in geopolitics — and getting people to explain why they think things is fascinating. I also like irony — so seeing Israel “prosecuted” for the lowest civilian casualty rate in mod
776.
by zmgsabst 2y ago
I’m a big proponent we should apply the value of a life — about $10M. Financial crimes should be scaled so the penalties for doing $10M in damage are equivalent to 1 dead person. Do a billion in damage? You’re going away forever, the same a
777.
by zmgsabst 2y ago
Isn’t that the intuition behind homotopy type theory — that equivalence is a path between types? (And related, eg, cubical type theory.)
778.
by zmgsabst 2y ago
> Anyway, this 'Rather, they just shallowly applied the same failings to different groups' is nonsensical when talking about postmodernism. In practice, postmodernists failed in precisely the way that I quoted in my post. You s
779.
by zmgsabst 2y ago
My understanding is that you do your math over some field F. But then when you choose a random point to test your polynomial, you randomly select from G = F[5^1/3], an extension of the original field. And test your polynomial using ari
780.
by zmgsabst 2y ago
> Specifically the gaps in meta-narratives and institutions in terms of what and who they don't apply to are self-evident and their mere existence is a powerful critique of [post]modernism. Postmodernism is precisely as guilty of th

More ›