Magos Logis Logan @jmw150@qoto.org

That is a pretty paper

Program Synthesis with Equivalence Reduction

https://pages.cs.wisc.edu/~aws/papers/vmcai19.pdf

Yep math and philosophy theorems. That shit still works in most universes. That is why I spend time on it. Counterfactuals are just better.

https://causalai.net/r60.pdf

Sigh. I wanted to use that name for something.

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

https://github.com/prinshul/tensorsensor

Just got back from a research poster-board session. About 90% of research, in just general engineering, seems to involve machine learning right now.

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

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

I can always tell something was designed as a Microsoft product first.

I load the application, and then move it to the background. If it is for MS users, it will then spam popups and interrupt what I was doing, instead of loading quietly in the background.

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

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

The new internet is a lot more corporate than innovative. I am kind of tired of fortune 500 tech companies to be honest.

https://youtu.be/NT7_SxJ3oSI

A pretty charming lecture. :)

https://youtu.be/dvp17QM69Ug

Got a process philosophy book for my birthday. 😊

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

If you cannot run your text display website without amazon or google "necessary" cookies/trackers, then your service is crap and you are a crap programmer.

When reading a math proof