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 \)
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.
We now have 8 billion humans.
"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
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/
Name a concept. There is probably some mathematical theory with the same name. 
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 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.
Magos Logis Logan
boosted
Could be interesting.
Actual statement
https://www.whitehouse.gov/ostp/ai-bill-of-rights/
Seeing how a set theory can be used through topology to talk about geometric notions such as connectedness of points, is fascinating.
It also solves a current debate about artificial neuron-based versus sbolic logical reasoning. No idea why topology is optional at my school.
Humans are cool.
I should be reading about automated reasoning logics. But cognitive stuff is good too.
https://www.frontiersin.org/articles/10.3389/fnins.2014.00265/full
Magos Logis Logan
boosted
My boss gave me 133 or so pages of math to read before Friday morning. I need to find something in this kind of logic to improve upon before then. Sleep should be happening now.
What’s Decidable About Program Verification Modulo Axioms?
https://arxiv.org/pdf/1910.10889.pdf
Decidable Synthesis of Programs with Uninterpreted Functions
https://arxiv.org/pdf/1910.09744.pdf
Decidable Verification of Uninterpreted Programs
https://arxiv.org/pdf/1811.00192.pdf
Magos Logis Logan
boosted
>C++ is authoritarian
Not even remotely you can code the way you like and use any feature you like whether it's from C++98 or C++20
>Rust is pretty liberal.
Lol not even remotely the complier is forcing you to code in a specific style
Not even remotely you can code the way you like and use any feature you like whether it's from C++98 or C++20
>Rust is pretty liberal.
Lol not even remotely the complier is forcing you to code in a specific style
Things are getting interesting. The book is only about 90 pages long.
But in summary, it becoming possible to make programs that are both bug free, and can cover a problem domain that cannot be feasibly solved with simple manual programming.
https://www.amazon.com/Neurosymbolic-Programming-Foundations-Trends-Languages/dp/1680839349
- 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
