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
There is a saying, "the proof is in the pudding". It is a reference to that.
@ceruds@mstdn.starnix.network
Waiting on nano-augmentation
I am a free person. I do not have to work horrible hours.
I find more value in my math and philosophy pursuits, personally and its long term benefit to others, over software applications.
But that is a benefit of social platforms like this. Other people, like yourself, can specialize in other things, and keep each other current.
@nerdtronics@mstdn.starnix.network @luke @luke_channel
Luke - based CS grad school dropout
Luke clones - gullible, bachelors or less
I filled in the car at a different gas station.
No, I would not just steal gas from a gas station. This one, and many others have cameras on them. Stealing consumable resources is parasitic.
I am not interested in a proprietary phone like an Iphone.
Ah, new unasked for software on old hardware...
I tried to buy gas. The Apple and Google pay services (which load even though I did not ask to use them) took so much computing power, that the gas pump crashed instead of letting me buy gas.
The whole gas station is down. Lol
Nobody really does
Use less caps though. I am already feeling too old for quickly changing tech stack. I am not going to keep up to date on everything, because my work is more theoretical and consumes all of my time. 
Neat. Thanks freeschool.
I almost ripped this video to a personal mp4 and uploaded to peertube. But I am glad there is a working open source front end, so I do not have to.
Magos Logis Logan
boosted
Upper level math feels a bit extra sometimes.
Me: Hey, what da ring doin'?
God or whatever: Oh, lattice stuff again. (And a dozen other things I won't make obvious.)
GoW: This is how your universe has to work by the way. You cannot avoid it.
Me: I just... thanks, I guess.
Me: Hey, what da ring doin'?
God or whatever: Oh, lattice stuff again. (And a dozen other things I won't make obvious.)
GoW: This is how your universe has to work by the way. You cannot avoid it.
Me: I just... thanks, I guess.
The new internet is a lot more corporate than innovative. I am kind of tired of fortune 500 tech companies to be honest.
Server code needs some method of open audit or hashing for proven correctness that the code listed is the code used.
This also relates to the problem of downloading binaries directly. It requires a level of trust, much like closed source systems have, earned or not.
Data as code is a big one. Some level of consumer hardware also needs to be open.
Not the end all be all of ethical software, and not the only things people need these days from software.
The survey book by Nicholas Rescher
Got a process philosophy book for my birthday. 😊
Vectors are not just for multivariate calculus. Most languages use something vector-like for basic reasoning.
- 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
