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
Favorite Theorem: Fermat's Last Theorem
There is just so much culture and memes behind that 300 year old problem. Also it was solved with algebraic geometry. Algebraic geometry is pretty neat. 
Strange issues on mine. So zoom is just jailed, then killed when I am done.
Or looking at the global feed. It is like bots screaming into the void.
Sigh. There is programming language research and new research language systems with provably unique logics...
And then there are the corporate sponsored propagandized common languages. They feel like everyone is hyper-political about which color of paint to use. It is not strong sapir-whorf. These are not actually DSLs. Art is what they are, mostly.
Confirmed in the movie that came out. Not dead.
Same. Just works. Very easy to install.
I really like reading Hartshorne's Algebraic Geometry honestly.
Took 4 hours just to get through 2 pages. But there is a lot of good content there. I do not get why everybody is so afraid of starting algebraic geometry with this book.
Hardware is diversifying. Moore's law kind of ended. And electrical engineering generally costs a lot more to develop.
Hylang would be a more solid example, since it is a literal lisp that does just that.
Machine learning security is still mostly a research field.
I had to go through a stack of resumes the other day for a computer engineering position that was looking for graduate degree holders. Just about everybody had C/C++ and Matlab, of course. But I was surprised to see a lot of Python. Felt like about half of them.
I am guessing it was mostly from tensorflow and scipy related research and projects though. Basically no one had it from web development experience. 
Yeah, different kind of lisp. Doesn't tell you how to live, but cares about its surface level appearance a lot.
A real language standard would reveal all of the warts underneath. Python only looks like a simple language. The community goes through pains to keep the interface simple. It is one of the reasons Python has the number 1 spot.
The other reason is the C/C++ interface allows actual work to get done underneath. So unlike closure, computational scientists and old fashioned engineers are never really told no.
Pip also allows macros, or other languages like hylang and pytov. The AST is really easy to get at.
Fun. It is a really common language for engineers now.
Python namespaces by default. So you would see where exactly from example code you would need a library. It is also massive, and goes by inmplementation-as-lang-standard. So everything common is part of the core language.
>> People understanding the math on my shirt
>> Instant dopamine boost
Aaaaaaaaaaaaaaaaaaaaaaaaaaa!
@eren And operating systems sometimes. Languages can be anywhere.
We use a supercomputer to host our website. lol
Compiler theory and machine learning have a lot of potential and connections with each other.
Been upper or lower right since the start.
Haven't even touched Windows until I was a senior at the university. And web development does not sound fun or important at all.
by and for mathematicians
https://msp.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
