Magos Logis Logan @jmw150@qoto.org

\( x^2 \)

@johnabs Neither. Let the facade drop between uninsightful professors and unmotivated students.

@book

Good

@book

I have your address, nigga!

@kim_harding

ha.ha.ha.

Yeah, robots are going to replace the underclasses.

@fourmajor

Switch to librewolf maybe. Firefox has telemetry and other creepy stuff on by default.

@jmw150@poa.st @mathman@bae.st @mathman@freespeechextremist.com @mathman@gleasonator.com

Whatever. Only I see the truth of things. You all are posers in light of the sacred way. Wasting time.

@Moon

Ever

We now have 8 billion humans.

@johnabs

You do so many random non-IE things for an industrial engineering grad. Lol

@wood

Soapbox is a lot better looking.

"My mind," he said, "rebels at stagnation. Give me problems, give me work, give me the most abstruse cryptogram or the most intricate analysis, and I am in my own proper atmosphere. I can dispense then with artificial stimulants. But I abhor the dull routine of existence. I crave for mental exaltation. That is why I have chosen my own particular profession, or rather created it, for I am the only one in the world" - Sherlock Holmes

@johnabs

So he found a decidable fragment. These are pretty common. But it is pretty neat that it is already part of Haskell's category flavored logic system.

@taylan @dave @Hyolobrika

Turing machines can simulate a universe of other machines. Humans are like Turing machines, they can simulate other animal social structures as needed.

I think of humaness as that universal grammar, which I can define formally, instead of intelligence, which sounds more like a magic wand of optimal behavoir. A lot of things are more optimal than human systems.

@Hyolobrika @dave @taylan

It's an intentional jab. But I don't know. Everyone in a country is complicit in its borders and overall structure. What is choice really?

At the scale for people, it is more like many species of ants. If an ant queen is moved by an ant keeper, the rest of the hive will follow to the new tank.