It certainly makes me question why people got into twitter. It is a bad twitter clone, char limits and all.
It is kind of gross that I only see about 30 boosts on a science server that blocks pretty much no one.
Which means a free speech server, in which most of its members have a PhD or are working on one, and is not responsible for hate speech as a rule, is being blocked by maybe 4/5ths of fedi.
Something is sadly broken with the fediverse, or human psychology. :/
rating boost counts on masto:
0 boosts - these posts are the backbone of fedi, braver than any us marine
1-3 boosts - ideal number of boosts, sharing stuff w/ ur friends
4-10 boosts - your post got a lil attention! nice job!
10-20 boosts - wow it's really making the rounds. good in moderation
30-60 boosts - they're still boosting that huh. hope they stop soon
60-120 boots - too many boosts, i want off of mr bone's wild ride
120+ boosts - uh oh. oh no. no thank you
Microsoft has always been a bit extra.
Belonging is overrated. And, expecting to form attachments is similar to believing true love exists.
You can learn to accept this is how you are around people. Nobody has a right to judge you for being yourself.
If you can find some happiness, then you are doing fine.
I wish moigno were in 5e. I loved the programs as lifeforms idea.
https://www.mojobob.com/roleplay/monstrousmanual/m/moigno.html
Huh? Where is proof for 1, 2, 4, 6, and 9?
@inference @pete @AmpBenzScientist @404zzz @thebiologist1117 @futureisfoss
I am fortunate to have never understood windows. As a kid I was not too poor to have access to MacOS. As an adult, I am not too incompetent to use an open operating system.
I am that guy's older brother. lol
"But, by the current model, the infinite number of times are a continuous set. So there is a neighborhood of times that is unambiguous. You are not in that neighborhood of times that would be considered "on time", Mr X."
"The Ph.D. program of the Harvard Department of Mathematics is designed to help motivated students develop their understanding and enjoyment of mathematics. Enjoyment and understanding of the subject, as well as enthusiasm in teaching it, are greater when one is actively thinking about mathematics in one’s own way. For this reason, a Ph.D. dissertation involving some original research is a fundamental part of the program. The stages in this program may be described as follows:
- Acquiring a broad basic knowledge of mathematics on which to build a future mathematical culture and more detailed knowledge of a field of specialization.
- Choosing a field of specialization within mathematics and obtaining enough knowledge of this specialized field to arrive at the point of current thinking.
- Making a first original contribution to mathematics within this chosen special area.
Students are expected to take the initiative in pacing themselves through the Ph.D. program. In theory, a future research mathematician should be able to go through all three stages with the help of only a good library."
https://www.math.harvard.edu/graduate/guide-to-graduate-study/
Hehe.. I am tempted.
As said at Harvard: "In theory, a future research mathematician should be able to go through all three stages with the help of only a good library."
https://www.math.harvard.edu/graduate/guide-to-graduate-study/
Held each week, or weakly held?
The essence of what makes people interested in new stuff is that it is in context of what they already know and like. I feel like I have gallobs of algebra lore that makes this more interesting.
This presenter does lack the ability to tell a consistently good story though. But at least the pictures are nice. Lol
In 2022 and onward? By program synthesis, hopefully.
Hmm, then again maybe not. I do not know.
TTY change would cause a recheck and possible reboot of related drivers. Sudden random failure without user interaction likely means the program reacted poorly to something in its environment that changed.
I am not sure why that driver would need concerns about heap though, on second thought. But, these days you can fit a whole OS on small hardware, like SSDs have one. The hardware shop could have a check to see that they are working on a licensed board, or whatever. Plenty of space for random nonsense.
Sounds like a crash from a memory leak.
But really this implies something else. It states that the existence of pudding is proven by eating it. Lol
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)