Lotta people’s names show up in epstien’s email, quite a few times.
Again defragging my brain, now by dumping a bunch of certainly-not-new ideas about what type systems should do.
Again defragging my brain, now by dumping a bunch of certainly-not-new ideas about what type systems should do.
another attempt to get at "division of vectors" from a different direction but again in a logical and elementary order. It's quite tidy to write a scalar projection of vectors as b/a, and this is consistent with df/dx, actually... I think.
another attempt to get at "division of vectors" from a different direction but again in a logical and elementary order. It's quite tidy to write a scalar projection of vectors as b/a, and this is consistent with df/dx, actually... I think.
further attempts to define a sensible index notation for exterior algebra. Looks quite arcane. None of this should be so complicated...
further attempts to define a sensible index notation for exterior algebra. Looks quite arcane. None of this should be so complicated...
my first attempt to make sense of exterior algebra in an index notation I don't hate
I didn't really succeed but it might be nice as a reference, if it's correct
my first attempt to make sense of exterior algebra in an index notation I don't hate
I didn't really succeed but it might be nice as a reference, if it's correct
trying to derive linear algebra in a logical order without ever flipping into "undergraduate" math-education mode. It demands we define division, and we can, kind of.
trying to derive linear algebra in a logical order without ever flipping into "undergraduate" math-education mode. It demands we define division, and we can, kind of.
More on reaction networks, still following Baez. Noether's theorem is trivial in this context: factoring a space with an operator defines coordinates on the space; orbits which are conserved the operator conserve this coordinates, yes of course.
More on reaction networks, still following Baez. Noether's theorem is trivial in this context: factoring a space with an operator defines coordinates on the space; orbits which are conserved the operator conserve this coordinates, yes of course.
"Getting to S": (relatively) elementary derivations of the classical-mechanical action, without just throwing it up on the board and marveling that it works
"Getting to S": (relatively) elementary derivations of the classical-mechanical action, without just throwing it up on the board and marveling that it works
some of Baez' Reaction Networks theory in my own words and notation. I found this stuff extremely compelling as I was drifting away from grad school, as a prototype of about half of quantum mechanics + an interesting zoo of dynamical systems
some of Baez' Reaction Networks theory in my own words and notation. I found this stuff extremely compelling as I was drifting away from grad school, as a prototype of about half of quantum mechanics + an interesting zoo of dynamical systems
a small post where I disentangle some conflicting intuitions about entropy and generating functions of pdfs
a small post where I disentangle some conflicting intuitions about entropy and generating functions of pdfs
further defragging of the brain: trying to figure out exactly what a Partition Function in statistical mechanics is, and why it does what it does
further defragging of the brain: trying to figure out exactly what a Partition Function in statistical mechanics is, and why it does what it does
in which I try to put into words a sense of "dimensional reduction" as a thing you do to spaces rather than operators on them, whether vector spaces, phase space, or sample spaces
in which I try to put into words a sense of "dimensional reduction" as a thing you do to spaces rather than operators on them, whether vector spaces, phase space, or sample spaces
in which I attempt to defrag my brain from studying physics by making some sense of thermodynamic potentials and Legendre transforms
in which I attempt to defrag my brain from studying physics by making some sense of thermodynamic potentials and Legendre transforms
its completely ran through w conspiratorial sentiment, it's maddening
its completely ran through w conspiratorial sentiment, it's maddening
these kids minds are all like cars that are "being towed" by the school system
they're able to drive around at the campsite a little, so to speak, but nothing in school seems to incentivize them to set out on their own
it would be nice if it idid
these kids minds are all like cars that are "being towed" by the school system
they're able to drive around at the campsite a little, so to speak, but nothing in school seems to incentivize them to set out on their own
it would be nice if it idid
in one hour of tutoring these youths get more attention paid to their thoughts and emotions than I got in the first 20 years of my life
I arrive at a sociological theory, probably not novel
yknow "growth/fixed mindset" thing? didn't replicate I think
in one hour of tutoring these youths get more attention paid to their thoughts and emotions than I got in the first 20 years of my life
I arrive at a sociological theory, probably not novel
yknow "growth/fixed mindset" thing? didn't replicate I think
"Mental injury" is better. An injury suggests you do *certain* things, and, to learn not to hurt yourself (if you are responsible) or to keep yourself safe (if not)
"Mental injury" is better. An injury suggests you do *certain* things, and, to learn not to hurt yourself (if you are responsible) or to keep yourself safe (if not)
Why don't we store them by the door?
Why don't we store them by the door?