Magos Logis Logan @jmw150@qoto.org

@solidsanek

The script also converts every other image type and spelling of jpeg to .jpg. It makes sorting downloaded images much easier when I can do mv *.jpg pictures

@stux

About a quarter of US engineers are Hindu?
https://www.hinduismfacts.org/hindu-symbols/swastika/

@solidsanek

I just run a script to convert all of mine to jpg.

Yeah, you can make a whole ideology out of algebra. Whitehead was great.

https://plato.stanford.edu/entries/process-philosophy/

@freeschool

@robby

Also that optimization these days is to solve a problem in the program, not from habit.

You could visually see the difference back in the 80's with a good compiler and algorithm. Asymptotic analysis made sense, because most people only had 1 core CPU for everything. These days a normal computer has: dozens of cores, vector registers, GPU and TPU compiler translations, and solid state drive with its own operating system.

@johnabs

Ah. I just played video games because I was out of ideas. Now I feel guilty. 😅

Convex algebraic geometry is both pretty, and really easy.

Also it is one of those areas that is a mix of algorithm analysis and optimization. So, super useful.

https://math.berkeley.edu/~bernd/feb19.pdf

@robby

That first one hits home. Research programmers never learn to document.

@volpeon

Works

@mayonesa@berserker.town @Comatoast @Kazak @cirnog

It is a pretty conventional definition for a triangle to have 3 sides and 3 edges.

Simplexes, the dimensional generalization of triangles, are pretty useful though. So maybe not acid, but a lot of engineering memes.

@stux

I'll take your word for it.

@theruran

Its fun to see software-only people squirm.

I do not get why Noam Chomsky dislikes structural linguistics. It seems to work just as well.

@cirnog @Comatoast @Kazak

If a person presented 4-sided triangles as a definition, I would be more curious if it behaved like a 4-simplex, or a square, or something else.

Personally, I can try to get what was meant from its implications, because most communication is fairly vague.

Math research papers are also vague. There is an established common overall process. So it can be pieced together most of the time. Formal computable math also relies on conventions on what things mean for the machines to process it, but it is purposely more stable and automatable. The description itself can be considered objective, if you assume intelligence is possession of a universal grammar, and some qualia was not described.

The ontology is not split on what is being described by the math, as far as I believe. But proofs do not count as metaphysical objects for everyone. So the proof statement being objective can be either true or false.

@Comatoast @sim @Hyolobrika@berserker.town

Really can define it based on function as well. Odd chromosome combinations have successfully had children, usually from duplicates, because missing some recipes is more lethal than having extra.

https://genetic.org/variations/

@academicalnerd

But agreed. Empathy matters.

@academicalnerd

@cirnog

Correct results? Ah you meant empirically. That in itself is has been argued as a basis by Putnam.

https://link.springer.com/chapter/10.1007/978-94-010-3381-7_5

It does not mean that there does not exist a constructive proof of alignment of JWST mirrors. Although a non-constructive proof of that last statement might be possible to give.

So no, not refusing to make them work. Saying we do not actually know how they work, or that they really do.

Empirical scientists and statisticians are satisfied with the mirrors. Some mathematicians are, others are calling everyone else too gullible. Solipsists refuse to entertain the existence of mirrors in the first place.

There isn't quite a consensus on the ontology. But the point is, that yeah, definitely seems that we are structuring our reasoning to get the answers that benefit us.

Putting our problems at the center does work though. Its a form of egoism and has been around almost as long as boolean algebra.

https://theanarchistlibrary.org/library/max-stirner-the-ego-and-his-own