Sigh. I wanted to use that name for something.

What are neural networks? Tensor sensors on high dimensional real number objects.

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

I wish moigno were in 5e. I loved the programs as lifeforms idea.

https://www.mojobob.com/roleplay/monstrousmanual/m/moigno.html

"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/

The lower paragraphs of this have a design warning for C++, and it is kind of funny. If I could just define my own operators with their precedent, much of this code kludge could go away. Maybe in 2030, C++ will finally include that ability.

https://cocoa.dima.unige.it/cocoa/cocoalib/doc/html/00INTRODUCTION.html

I am pretty fond of the math sorcerer. So much optimism.

- 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