mcontrac

5 ms·

1.
by mcontrac 5mo ago
Cool method but I hate that "digital twin" is really catching on in terms of nomenclature. See it constantly in comp neuro papers nowadays
2.
by mcontrac 5mo ago
Beautiful writing. In my highest impression of (pure) math I've always thought of it as an art. We would think of AI-generated classical music as a waste, at least philosophically speaking--the point of writing music is to experience i
3.
by mcontrac 5mo ago
The trouble is that if you want math to be standardized/able to be described in a sort of "objective" manner (what mathematicians call a proof), you'd like to start out with a set of axioms that are not themselves provab
4.
by mcontrac 5mo ago
What people might not be understanding is that mathematics is inherently built... ZFC was pored over for years and eventually the community concluded it was a good system to (a) preserve most, if not all, of the mathematics that had already
5.
by mcontrac 5mo ago
Find it funny that PromptArmor needed to reach out 3 times in a row to get a nearly month-late response that the issue "was resolved"
6.
by mcontrac 5mo ago
Math is particularly nice in that whole papers can be discussed/compressed into a single conversation, unlike, a scientific experiment which requires many figures and controls to confirm or deny one's hypothesis. It's why tea
7.
by mcontrac 5mo ago
I think the author is really just getting at the fact that humans are by nature intelligent and by nature tend to think of similar ideas. So you can either unknowingly complete a project which is inevitably in some sense a replication of an