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

Good

I have your address, nigga!

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

Ever

It is a bot. He can't hear you.

My feeling about life right now too.

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

Soapbox is a lot better looking.

"Not sure if I’ve seen this one here before"

submitted by MattRubin

https://reddit.com/r/ProgrammerHumor/comments/y9a161/not_sure_if_ive_seen_this_one_here_before/

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.

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.

- Background
- Logic, Mathematics, Electronics

- Hobbies
- Philosophy, Programming, Video Games

I am pretty curious about how to use automated reasoning systems to help discover new things, use and verify old ideas, and generally make my life easier.

Current events I try to keep up on

- Math Logic community (The Journal of Symbolic Logic)

- Statistics community (JASML, AoS)

- Algebra community (JoA, JoAG, JoPaAA, SIGSAM)

- Formal Methods community (CAV/TACAS)

Passing the learning curve up to current events

- Abstract Algebra (Dummit, Foote)

- Commutative Algebra (Eisenbud)

- Algebraic Geometry (Hartshorne)

- Mathematical Logic (Mendelson)

- Model Theory (Marker)

Joined Aug 2020