Magos Logis Logan@[email protected]
Following
1
Followers
1
Posts
9
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)
Magos Logis Logan
Reply to @[email protected]
fribbledom - https://mastodon.social/@fribbledom pretty easy choice for me. Python is the language of choice for AI researchers these days.Also sympy, numpy, matplotlib make it mathematica and Matlab but free. It also replaces R, Javascript, and Java for most use cases.
muesli (@[email protected])
8.6K Posts, 3.6K Following, 28K Followers · I build open-source software and make little gadgets. From a time when email was cool. Hard to distinguish from a good programmer.
Magos Logis Logan
Reply to @[email protected]
fribbledom - https://mastodon.social/@fribbledom Google vs AT&T
muesli (@[email protected])
8.6K Posts, 3.6K Following, 28K Followers · I build open-source software and make little gadgets. From a time when email was cool. Hard to distinguish from a good programmer.
Magos Logis Logan
Reply to @[email protected]
fribbledom - https://mastodon.social/@fribbledom Didn't know what I was expecting. Most programmers are hobbyists.
muesli (@[email protected])
8.6K Posts, 3.6K Following, 28K Followers · I build open-source software and make little gadgets. From a time when email was cool. Hard to distinguish from a good programmer.
Magos Logis Logan
Reply to @[email protected]
fribbledom - https://mastodon.social/@fribbledom I would like to see Ada in the next vote. Now that is a safe and proven language actual engineers use, sometimes.https://barrgroup.com/embedded-systems/market-surveys/2018-safety-security - https://barrgroup.com/embedded-systems/market-surveys/2018-safety-security
muesli (@[email protected])
8.6K Posts, 3.6K Following, 28K Followers · I build open-source software and make little gadgets. From a time when email was cool. Hard to distinguish from a good programmer.
Magos Logis Logan
Reply to @[email protected]
fribbledom - https://mastodon.social/@fribbledom I would like to see Ada in the next vote. Now that is a safe and proven language engineers use, sometimes.https://barrgroup.com/embedded-systems/market-surveys/2018-safety-security - https://barrgroup.com/embedded-systems/market-surveys/2018-safety-security
muesli (@[email protected])
8.6K Posts, 3.6K Following, 28K Followers · I build open-source software and make little gadgets. From a time when email was cool. Hard to distinguish from a good programmer.
Magos Logis Logan
Reply to @[email protected]
fribbledom - https://mastodon.social/@fribbledom Let the flame war commence
muesli (@[email protected])
8.6K Posts, 3.6K Following, 28K Followers · I build open-source software and make little gadgets. From a time when email was cool. Hard to distinguish from a good programmer.
Magos Logis Logan
Reply to @[email protected]
fribbledom - https://mastodon.social/@fribbledom Let the flame war commence I guess
muesli (@[email protected])
8.6K Posts, 3.6K Following, 28K Followers · I build open-source software and make little gadgets. From a time when email was cool. Hard to distinguish from a good programmer.
Magos Logis Logan
Reply to @[email protected]
fribbledom - https://mastodon.social/@fribbledom Uh oh. A web browser language is about to go up against C.
muesli (@[email protected])
8.6K Posts, 3.6K Following, 28K Followers · I build open-source software and make little gadgets. From a time when email was cool. Hard to distinguish from a good programmer.
Magos Logis Logan
Maybe 100 years ago mathematicians could hide in ivory towers and treat the subject like a liberal art. But in 2021 engineers are right at the gate. Engineers want more algebras for their intricate software, more analysis for their haptic feedback systems, more topology and algebraic geometry for their robots and artificial intelligence systems.If mathematicians do not publish about it, engineers will publish. Where mathematicians refuse to be rigorous, engineers and logicians will invent languages that automate writing proofs.It is the end of an era. It is like seeing the Catholic religion split into the multitude of other Christian religions.