iiinova — where your digital self keeps evolving

Molossus Spondee @molossus-spondee.bsky.social · 3h

Most people are completely happy with the relationship. It's so stupid. Religion is ultimately backed by the bribery of the rich and powerful disguised under the label of charity. Religion is ultimately an economic transaction, not a psychological thing.

000

Molossus Spondee @molossus-spondee.bsky.social · 3h

In the modern world, the function of religion is largely bribing proles to beat up minorities and disrupt class struggle. About 80% of the population enjoys taking the bribe. Do some silly ceremonies once in a while and bash minorities and you get a few extra benefits and job opportunities.

100

Molossus Spondee @molossus-spondee.bsky.social · 02/10/2026

Gay rights is bourgeois and that's a good thing. Gay rights is one of the last instances of the bourgeoisie being a progressive force. Abolishing the family is the end of liberalism and the beginning of Marxism.

000

Molossus Spondee @molossus-spondee.bsky.social · 30/09/2026

I think Land Back and calls for Indigenous treaty rights are more concrete. There are specific political organizations that can be referred to in these cases. People just talk in terms of vague generalities all the time.

000

Molossus Spondee @molossus-spondee.bsky.social · 30/09/2026

I don't think people actually engage with the specifics of nationalist movements in the imperial core. People speak of Indigenous nationalism, Black nationalism and other movements as abstractions. Precisely what organizations are we talking about?

101

Molossus Spondee @molossus-spondee.bsky.social · 29/09/2026

It's something silly like I want a map between the Lipschitz free space of a complete ordered family of equivalences and the Berkovich polydisk over 𝔽₂((t))

000

Molossus Spondee @molossus-spondee.bsky.social · 29/09/2026

Huh, I think I really just want to work in the sheaf topos over the Berkovich unit polydisk Sh(ℳ(𝔽₂((t))⟨x⟩)). The topos approach makes working with tree structures like magmas and abstract syntax trees a lot easier. The trouble is that it's hard to mechanize.

000

Molossus Spondee @molossus-spondee.bsky.social · 22/09/2026

As a transgender woman I'm pretty opposed to democracy, human rights and horizontalism. When people democratically vote to kill you, it makes you lose trust in democracy pretty quickly.

010

Molossus Spondee @molossus-spondee.bsky.social · 18/09/2026

I think the reality is that birth control alone is a big reason for the imperialists to hate trans women. :/

000

Molossus Spondee @molossus-spondee.bsky.social · 16/09/2026

yeah but what does Jesus have to do with any of that?

000

Molossus Spondee @molossus-spondee.bsky.social · 11/09/2026

No, you want ∇ : A(n) → Ω¹(n) ∇ u · (v dxₘ) = (∑ₙ [n odd] (u · xₘⁿ) xₘⁿ⁻¹) · v Although you actually want hyperderivations or Witt vectors

000

Molossus Spondee @molossus-spondee.bsky.social · 11/09/2026

No I think you just want a separate parameter for convergent series on top of the field. K = 𝔽₂((T)) R = K[[q]]{X} ⟦ - ⟧ : X → R ⟦ E ⟧ · (E' qⁿ) = [E =ₙ E'] A(n) = R{x₁, ..., xₙ} Ω(n) = Λ (A(n)ⁿ)* ∇ : A(n) → Ω¹(n) ∇ u · (v dxₖ) = T⁻¹ ([xₖ := T xₖ]u + u) · v

100

Molossus Spondee @molossus-spondee.bsky.social · 11/09/2026

Bleh I have my vectors and covectors the wrong way around

100

Molossus Spondee @molossus-spondee.bsky.social · 11/09/2026

I still don't have it right but I think you want something stupid simple like K = 𝔽₂((T)) R = K{X} ⟦ - ⟧ : X → R ⟦ E ⟧ · (E' Tⁿ) = [E =ₙ E'] T(n) = R{x₁, ..., xₙ} Ω(n) = Λ (T(n)ⁿ)* ∇ : T(n) → Ω¹(n) ∇ u · (v dxₖ) = T⁻¹([xₖ := T xₖ]u + u) · v Still seems ick

101

Molossus Spondee @molossus-spondee.bsky.social · 11/09/2026

Huh so mapping into rigid analytic spaces is actually very easy, you just want a transport functor out of the path groupoid into square matrices of convergent series. K = 𝔽₂((T)) tr: Path(X) → B(K{X}) tr(n, p: E =ₙ E') = Tⁿ (E ⊗ E') Something like that.

000

Molossus Spondee @molossus-spondee.bsky.social · 08/09/2026

youtu.be/bxQgqeF4Cqw I feel like Trump's push against "DEI" is in part because the big AI and ATS companies didn't want lawsuits on hiring discrimination. It's so stupid.

youtu.be

Yes, You ARE Getting Auto-Rejected

YouTube video by Urgently Firing

011

Molossus Spondee @molossus-spondee.bsky.social · 04/09/2026

You can't fight for trans rights until you start fighting for your own rights as workers and the oppressed.

020

Molossus Spondee @molossus-spondee.bsky.social · 04/09/2026

You can't stop guns being shipped to Israel until you start grassroots organizing labor unions. Same thing goes for trans women.

120

Molossus Spondee @molossus-spondee.bsky.social · 04/09/2026

If you're a women, organize a rifle association. So on and so forth.

120

Molossus Spondee @molossus-spondee.bsky.social · 04/09/2026

I don't think you can be a transgender ally until you start fighting against your own exploitation and oppression. The best thing most working people can do to fight for trans rights is to organize a labor union.

120

Molossus Spondee @molossus-spondee.bsky.social · 04/09/2026

I have decided that Marx was wrong. People have to fight for their own freedom before they can fight for others. It's not possible for the imperial core to fight for the periphery until the workers fight for their own freedom. The imperial core just has this weird charity ethic.

120

Molossus Spondee @molossus-spondee.bsky.social · 03/09/2026

This idea that it is somehow pacifying and less radical to move from becoming a beggar at the margins of society to becoming a wage slave in the mainstream of society is anti-Marxist.

010

Molossus Spondee @molossus-spondee.bsky.social · 03/09/2026

It's stupid how bigoted leftists attack queer people for being assimilationists and for being lumpen apart from the class struggle. The demand to assimilate into the proletariat is a proletarian demand.

100

Molossus Spondee @molossus-spondee.bsky.social · 02/09/2026

For working with domain theory and bisected ultrametric spaces, I think I want something like synthetic differential geometry but for affinoid spaces (so probably a sheaf topos over 𝔽₂((t))-fp-AffSp). I just don't understand the maths involved.

000

Molossus Spondee @molossus-spondee.bsky.social · 01/09/2026

Even in the deformed revolutions of the past, the communists have driven some of the greatest in urbanization and industrialization.

000

Molossus Spondee @molossus-spondee.bsky.social · 01/09/2026

I think that the development of the productive forces will eventually abolish the family. And it is mostly for this reason that I support the communists. But I am under no illusion that the workers as they are today won't continue in the social murder of transgender people.

110

Molossus Spondee @molossus-spondee.bsky.social · 01/09/2026

I don't think a dictatorship of the proletariat will stop cisgender workers slaughtering transgender people. I do think the development of the productive forces inevitably weakens misogyny overtime, though slowly and with great resistance by the reactionaries and the bourgeoisie.

110

Molossus Spondee @molossus-spondee.bsky.social · 01/09/2026

Marxism is not about whether the proles are good people or not. The Marxist understanding of history is that the workers will be compelled to rebel as exploitation intensifies. This in no way means that the working class will not have whatever ignorant and petty faults.

110

Molossus Spondee @molossus-spondee.bsky.social · 29/08/2026

Idk there's some connection between alternating algebras and cylindric algebras.

000

Molossus Spondee @molossus-spondee.bsky.social · 29/08/2026

It's poo but you need some doubling up somewhere to handle characteristic 2. Some silliness like R[δₘₖ | m < n, k < n]/( δₖₖ (δₘₖδₖₙ - δₘₙ) ) Might be the way to do it.

100

Molossus Spondee @molossus-spondee.bsky.social · 29/08/2026

No you want R[eₖ, δₘₖ | m < n, k < n]/( (eₖ²) (δₘₖeₖ - eₘ)(δₖₖ - 1)(δₘₖδₖₙ - δₘₙ)) For juggling indices

100

Molossus Spondee @molossus-spondee.bsky.social · 29/08/2026

I think you might want a variation on the exterior algebra something like the following for characteristic 2 Basically, you want a diagonal R[eₖ, δₘₖ | m < n, k < n]/((eₘ eₖ δₘₖ)(δₖₖ - 1))

100

Molossus Spondee @molossus-spondee.bsky.social · 28/08/2026

It's not really so different from shitty Southerner honor culture. It's a real problem that must be dealt with but it's not an impossible barrier.

000

Molossus Spondee @molossus-spondee.bsky.social · 28/08/2026

Clan patriarchs and matriarchs aren't really detached from the issue of misogyny either. Under a variety of clan systems, women are communal property to be bought and sold for the benefit of the family.

100

Molossus Spondee @molossus-spondee.bsky.social · 28/08/2026

People get really weird about marginalized people being sexist. Revolutionaries have had to navigate literal blood feuds between clans that have been killing each other for generations. Some bullshit petty superstitions are not so different.

100

Molossus Spondee @molossus-spondee.bsky.social · 26/08/2026

The thing about job search advice is that nobody is going to admit they got a job through nepotism. They're going to refer to a good portfolio or obliquely to the importance of networking.

010

Molossus Spondee @molossus-spondee.bsky.social · 25/08/2026

I think I probably just want some modules over rings along the line of S = R ⊕ ⨁ n. R[h]/(hⁿ⁺² - h) S = R ⊕ ⨁ n. R[ε]/(εⁿ⁺²) for playing with derivatives And then after that I might use Λ S and similar constructions.

000

Molossus Spondee @molossus-spondee.bsky.social · 25/08/2026

I think I want some nonsense along the lines of PSh((⨁ n. 𝔽₂[h]/(hⁿ⁺¹ - h))-fp-Mod) or PSh((⨁ n. 𝔽₂[ε]/εⁿ⁺¹)-fp-Mod)

000

Molossus Spondee @molossus-spondee.bsky.social · 25/08/2026

I think you want some silliness like Λ ℤ[h]/(h² - h) or Λ 𝔽₂[h]/(h² - h) for doing calculus with discrete differences. I can see it being useful for working with Abelian groups. This has got to have been worked out in some electrical engineering or signals stuff.

000

Molossus Spondee @molossus-spondee.bsky.social · 24/08/2026

idk it's just really frustrating as a queer person

001

Molossus Spondee @molossus-spondee.bsky.social · 24/08/2026

That the most gender equal countries tend to be racist is simply a consequence of the town-country contradiction. If you do not have densification then you cannot provide the care services and socialization of labor needed to implement gender equality.

100

Molossus Spondee @molossus-spondee.bsky.social · 24/08/2026

I think by the Dold Kan correspondence I just want a presheaf topos over finitely presented simplicial Boolean algebras Something like PSh([Δ, fp-BoolAlg]) That's similar enough to PSh([Δ, fp-CRing]) which ought to capture DGCAs.

000

Molossus Spondee @molossus-spondee.bsky.social · 24/08/2026

But this seems ideal to analysing bisected ultrametric spaces.

000

Molossus Spondee @molossus-spondee.bsky.social · 24/08/2026

Characteristic 2 is also just nonsense in its own ways

100

Molossus Spondee @molossus-spondee.bsky.social · 24/08/2026

𝔽₂((x)) gets you an internal sigma-complete Boolean algebra. But then to tear it apart you want a notion of differential form over it. The point is to enrich formal specs over it and then do futzy nonsense with it.

100

Molossus Spondee @molossus-spondee.bsky.social · 24/08/2026

I think I want something messy like a presheaf topos over the subcategory of finitely presented differential commutative graded algebras over 𝔽₂((x)), so 𝔽₂((x))-dgCAlg. But the math just gets so jargony. :/

100

Molossus Spondee @molossus-spondee.bsky.social · 23/08/2026

The trouble is that the natural numbers don't make a good analogy to the real interval. The conatural numbers are a bit better but messed up in other ways. I think something like the following might be the discrete analogy F: [ℕ ∪ ∞, X] → ℝ-Vect F(-) = ℝ F(p, x) = inf ∑ n. 2^-[p(n) ⟶ p(n + 1)]

000

Molossus Spondee @molossus-spondee.bsky.social · 23/08/2026

000

Molossus Spondee @molossus-spondee.bsky.social · 23/08/2026

I think it boils down to that you want silliness along the lines of the following F: Path(X) → ℝ-Vect F(-) = ℝ F .map(p, x) = ∑ₙ x 2^-[p(0) =ₙ p(1)] for a bisected ultrametric space.

000