Magos Logis Logan @jmw150@qoto.org

@cirnog

Can be done rigorously now, wasn't done so for decades. It was tolerated, because such problematic symbolism was used anyway in physics.

I think anyway, such an area had to be pushed for a long time to make it into convention. Philosophy, not being a moneymaker for math, has had less luck.

I wonder how analysis made it into mathematics. Now there is just a schism in the doctrine in a lot of places.

I think it is a "does it 'solve' problems I care about?” kind of thing. I think it is the foundation for validating inferences in math. The choice axiom went from, being considered problematic, to being mostly accepted because new problems from it did not hurt old problems.

@dqn

Step 2: be a boring person

@stux

It is being retweeted and commented on.

Much of the comments are smartphone recordings of the actual state of Ukraine right now. Also a lot of mocking and memes from Ukrainians and other westerners.

@zudn

The fact that #pleroma can be run on a raspberry pi is pretty attractive.

No idea why, but a lot of scientific books and journals are free to download right now through Springer.

Algorithms in Real Algebraic Geometry
https://link.springer.com/book/10.1007/3-540-33099-2

CoCoAlib (Computations in Commutative Algebra library)

This thing is actually nice. My tired-brain can understand C/C++. It is well documented and has tests and debugging procedures. Is that a Hilbert Algebra? I can has type PolyRing?

http://cocoa.dima.unige.it/cocoalib/index.shtml

Generic distractions and initial ideals (We played with CoCoA, got paid)

https://arxiv.org/abs/math/0308004

@johnabs

dreamcoder
https://arxiv.org/abs/2006.08381

Its actually a cutout of this guy's thesis.
https://www.cs.cornell.edu/~ellisk/documents/kevin_ellis_thesis.pdf

But the data is self referential. They have enumeration as a baseline. The timeout of which can be set for whatever their program can beat. Aside from that, the data used as input has been tailored over 4 years to make their program able to learn it. In the code tasks that are too tough are just commented out. So of course they have a near 100% learning rate.

There is also nothing to compare it to besides an older version of itself.

Ah... The fraudulent research coming out of MIT and Cornell, and my 4 hours of sleep, are not mixing well.

Neural networks are tensor sensors.

Happy Pi Day!

@chjara@mk.absturztau.be

C would more appropriately be an embedded dev next to a bench of electronics.

@chjara@mk.absturztau.be

Points that they knew of Chicken Scheme.

@setthemfree

Yep. Hopefully it means Putin is getting desperate, and will be deposed after draining the rest of Russia's military might on this.

@LaCrecerelle

Its a different scenario. Drawing this pattern first is also a form of racism.

@fortune

Engineers:

@fortune

Mechanical and electrical engineers still coding in Fortran and C.

Programming Language designers: ”Am I joke to you?”