the normal form: Matios the Frobenius

BG:@atrinassa TwitterArtDirector JxRConsulting FlatSun ABSORBMORELASER RadicalCentrist SpacePaladin OCEANTRUTHER Matriot CalTrad MaineFrameworksTwitter DTA

[the normal form: Matios the Frobenius @MatiosTV]

CORDUROY: CHECK
JAVIER SOLÍS: CHECK

[Grant Broggi @GrantSSC]

Still seems like it’s before 5 @MatiosTV

[the normal form: Matios the Frobenius @MatiosTV]

@pw_mcgovern @stephenwitt What a strange interpretation

[Jeff @elektronenjager]

We will make energy cheaper and more abundant in the universe than ever before.

[NAZAL KARADAN @NAZALKARADAN]

This is why we've been working hard for mimic the bone (among other scale rich structures in nature).

[Mathematica @mathemetica]

Sixteen ways two statements can relate form one perfect diamond.

From the tautology at the top (true for every combination of A and B) to the contradiction at the bottom (true for none), every Boolean operation sits in its unique place. NAND, OR, implication, XOR, AND and the rest occupy ranks according to how many of the four truth cases they accept. Green marks the self-dual pair XOR and equivalence; blue marks the pure atoms and their negations.

Each small Venn diagram shows exactly which region that connective claims, so the inclusion arrows become visible geometry rather than abstract rules.

All of binary logic collapses into a single ordered lattice.

[the normal form: Matios the Frobenius @MatiosTV]

Horrible take, Germans are Black

[Quetzal Writes 🇺🇲| 🇬🇹 @QuetzalThoughts]

The level of psychosis social media is inflicting on African American's psyche will become a major flashpoint. This sort of thing doesnt end well. Its anti-vax levels of denial with the added conflicts of race. Great

[Mathematica @mathemetica]

All of linear algebra is index gymnastics.

Dot product contracts every shared index into a scalar. Outer product leaves indices free, expanding two vectors into a full matrix.

Matrix-vector and matrix-matrix products contract only the connecting index. Trace closes both loops, summing the resulting diagonal.

One notation shows every contraction pattern at once.

[the normal form: Matios the Frobenius @MatiosTV]

@cuntsmithBitch Oh fuck genuinely did not consider this

[the normal form: Matios the Frobenius @MatiosTV]

I need to put it here so I can point later and say “see I got taste”: Cornell Notes are the future of UI

[the normal form: Matios the Frobenius @MatiosTV]

@wakingblonde Lmao, old tbh

[the normal form: Matios the Frobenius @MatiosTV]

I love that Earth is constantly life-mogging other planets

[the normal form: Matios the Frobenius @MatiosTV]

@lhommedauphin @Qivshi1 Lmao wow, very fair

[Qivshi @Qivshi1]

Nobody

Biologists - see that stuff? Its a stuffome

[the normal form: Matios the Frobenius @MatiosTV]

@fsafety_llc Lmao!!! IMA DO IT THIS WEEKEND

[Foundation Safety @fsafety_llc]

LinkedIn crossover: tagging @MatiosTV with these until he relents and watches 𝐴𝑙𝑝ℎ𝑎𝑣𝑖𝑙𝑙𝑒

[the normal form: Matios the Frobenius @MatiosTV]

@wakingblonde 🙏 🙏 🙏 whoa!! Blessings!!!!

[the normal form: Matios the Frobenius @MatiosTV]

Need to find out which earthly materials and which flowers are in resonance with which galaxies and which stars

[Arantxa Štefan @malnote]

I just saw an exact simulation of an eternal abstract being mixing up an herbal energy blend at the breasts of wisdom.

[Zyan🔸 @zyansheep]

working on linear interaction net stuff, still allegedly reflective but decided to drop the tree calculus (since binder encoding has a lot of overhead👀)
in this language erasing and copying are explicit agents that have to be designed in and if you don't use them everything should *in theory* be reversible. my intuition is that once I implement this on a cellular automata, there should hopefully be obvious further simplifications able to be made around turning certain kinds of agent-agent reductions into just like strait adiabatic reversible logic circuit-type thingies, and anything irreversible changes the logic gate/cell configuration itself. aaaaaaahhh i'm so excited!!! :3

JustWrite Nov 10

[the normal form: Matios the Frobenius @MatiosTV]

Lmfao

[Dr. Mike Israetel @misraetel]

‘Waymo is basically like when you are pretty good at basketball and then all of a sudden you play a black person. and then you realize you’re not good at basketball at all that’s kind of like what’s happening with Waymo and Tesla right now.’

- A friend of mine who lives in Austin 🤣🤣🤣🤣🤣

[𝓡 @Extrachelle]

Would a 40-hour week help German factories sell more? If orders are piling up and staff are stretched, extra hours can help. If demand stays flat, a longer week could mean fewer workers are needed to fill the same orders, so more layoffs? Where would the extra sales come from?