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
How like a pot cat to...
Humans at a similar number to the wolf packs would act more like a tribe than a nation. There would be territorial borders, which would be less formally defined and less stable.
How European to not acknowldge social hierachy but still follow it.
Have guns, lots of guns.
Ah yes, inheritence tax does not exist for royalty.
I guess philosophy owns that one. lol
Name a concept. There is probably some mathematical theory with the same name. 
Yep. It just works.
I wonder how much that thing cost.
Portal joke. Tehe
Magos Logis Logan
boosted
RT @GreensEFA@twitter.com
Did you know that Italy has banned facial recognition software?🇮🇹
We are in Milan this week to find out how they did it.👀
#BiometricSurveillance limits freedom & violates privacy. That's why we want the EU to ban it.
Learn more: https://greens.eu/3PoAQsW
Things I would not see on a chalk board. Your exponent is a whole binary tree? 
I thought they were literally a shell company for military robots.
I miss neuroscience. This is stuff so simple, but still thought provoking.
https://www.cell.com/trends/cognitive-sciences/fulltext/S1364-6613(17)30221-8
I am pretty envious of Linus having a whole decade to develop Linux in his grad program.
The speed of growth is pretty different.
Not a lot of famous people, that are not followed because they are a developer or server admin of an instance.
😐 I am having fun today.
Magos Logis Logan
boosted
Could be interesting.
Actual statement
https://www.whitehouse.gov/ostp/ai-bill-of-rights/
These are opinions that please the machine spirit.
- 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
