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).
Post about the research that is more readable:…

• • •

Missing some Tweet in this thread? You can try to force a refresh

Keep Current with Talia Ringer

Talia Ringer Profile picture

Stay in touch and get notified when new unrolls are available from this author!

Read all threads

This Thread may be Removed Anytime!


Twitter may remove this content at anytime! Save it as PDF for later use!

Try unrolling a thread yourself!

how to unroll video
  1. Follow @ThreadReaderApp to mention us!

  2. From a Twitter thread mention us with a keyword "unroll"
@threadreaderapp unroll

Practice here first or read more on our help page!

More from @TaliaRinger

18 Oct
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.
Read 4 tweets
16 Oct
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.
Read 10 tweets
16 Oct
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.
Read 5 tweets
14 Jun
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.
Read 10 tweets
30 Nov 19
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
Read 12 tweets

Did Thread Reader help you today?

Support us! We are indie developers!

This site is made by just two indie developers on a laptop doing marketing, support and development! Read more about the story.

Become a Premium Member ($3/month or $30/year) and get exclusive features!

Become Premium

Too expensive? Make a small donation by buying us coffee ($5) or help with server cost ($10)

Donate via Paypal Become our Patreon

Thank you for your support!

Follow Us on Twitter!