ITT I'm going to share photos of the five hour long process of discovering this collage poem. I documented it so you can get an idea of what's involved.
I know I'm in the academic elite because I gave up a job I needed to further my education and get a job I liked.
But there are so few labor options for my generation that for many, college was the only answer for stability. If stability makes one elite, our system is screwed.
Some of my friends didn't go to college because they had to support their parents financially. I get that not everyone even gets the chance of stability. But everyone ought to be entitled to it.
At the same time, some of my friends did go to college on student loans for a chance at stability they could not otherwise obtain, and are now food insecure. If they are "elite," what a mess we are in.
I feel very sad today, I think because I keep thinking about the surge in COVID cases from Thanksgiving that will happen starting a few days from now, and what will follow from this in December because of Christmas travel and gatherings.
I just want the goddamn vaccine to be out and accessible to everyone already.
People are starting to get sick from basic things like going to the pharmacy or getting groceries, since rates are so high. And that makes me worry about my parents a lot.
If someone is cruel to you, I really recommend taking the time to find clarity, and then standing up for yourself. Because if you do not stand up for yourself, you can continue to tell yourself that they are cruel only because they are ignorant, and this can be a dangerous lie.
I waited six months after a long period of cruelty to do this about one year ago, and looking back on what I wrote, I feel very proud of myself, and also glad that I can no longer maintain the lie that had kept me susceptible to such cruelty for such an extended period of time.
I think American society as a whole, maybe due to Christian influence, tells you that it is better to find peace within yourself and move on rather than stand up for yourself. But this leaves you susceptible to cruelty, and guarantees the unwitting cruel never learn.
Thinking more about academic advice and how it is often by men and intended for men. Some examples (thread):
Collaboration and credit: Advice for women needs to take into account the lack of credit that women get in collaborations relative to men.
Postdocs: Women are socially expected to contribute more to childcare if we choose to be parents, and also have on average more physical constraints that make delaying life in our 30s risky. A postdoc during a recession might be good advice for men more than for women on average.
Be sure to credit everyone who helps you in your research. But pay extra attention to giving credit to women, since both anecdotes and empirical evidence suggest that men are credited for their work more than women (unsure about other gender minorities).
OK, using a slight variation of @wilcoxjay's proof of eta_dep_constr_B_1, here is a PUMPKIN Pi repair config from (Vector.t T n) to (Fin.t n -> T), plus repaired caseS, hd, const, shiftin, take, append, rev_append_tail, map, fold_left, and fold_right.
It is a bit wonky because of some bugs with unification and universes. But you get the idea. Hopefully most of the pain will go away soon.
I haven't ported proofs yet; for those you'll need to make applications of iota_A_0 and iota_A_1 explicit which will suck a bit.
As with the change from nat to bin, this gives you slow versions (though they don't convert to vectors at any point!!!) and if you want fast versions you'll have to prove compatibility.
My roommate and I weren't sure what to think about CHAZ before we went, but now I think it is an extremely effective protest. I'll give you eight reasons ITT.
1. Keeping an area police-free but safe sends the message that we do not need so much policing.
2. Seattle is extremely segregated. That is the most interaction I've seen between BIPOC and white people in this city since I moved here. That alone is good for this movement.
I remember very clearly how alienating intro CS was in college. Everyone else knew what they were doing, and I'd never taken a CS class before.
The professor would say things like "if you know what arrays are, you can't use them" and everyone who took high school CS would groan and I'd be sitting there clueless like "guys what's an array"
At the end the lecturer said that if we get a B in this class, we will likely get a C in the second class and then fail the third, so we should probably just drop CS now. I had a B
