Magos Logis Logan @jmw150@qoto.org
- 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
\( x^2 \)
@johnabs Neither. Let the facade drop between uninsightful professors and unmotivated students.
I have your address, nigga!
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.
Magos Logis Logan
boosted
Listening to Cal Newport on Sam Harris' latest pod and he's talking about the future of the internet moving away from the 'big 3' to fragmented, distributed, and weird, which is the 'net at its healthiest.
It is a bot. He can't hear you.
My feeling about life right now too.
We now have 8 billion humans.
You do so many random non-IE things for an industrial engineering grad. Lol
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
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. 
Magos Logis Logan
boosted
"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/
- 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
