Meta's shit security always seems to make things worse, whatever the situation.
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
About a quarter of US engineers are Hindu?
https://www.hinduismfacts.org/hindu-symbols/swastika/
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.
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.
Yeah, you can really go ham here. It is like researcher city.
Only about a month left of this semester. Hang in there buddy.
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.
That first one hits home. Research programmers never learn to document.
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.
Ukraine: Dozens of bodies lie in a mass grave in Bucha
I'll take your word for it.
Its fun to see software-only people squirm.
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.
But agreed. Empathy matters.
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)