Magos Logis Logan @jmw150@qoto.org

I live

\( 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.