Talia Ringer Profile picture
Ph.D. Candidate with @uwplse at @uwcse. Proof engineering researcher. Passionate about mental health and justice. Active in diversity and outreach.
2 Dec
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.
Collecting pieces that resonated
The first few pieces fall into place. I lock in a few with glue.
Read 9 tweets
1 Dec
This collage poem, which I call "Proof," is an attempt to capture the way I feel when I think about type theory. Mathematical beauty and awe.

Sources: Anders Mortberg's lecture notes on cubical type theory, a cube from Carlo Angiuli's thesis, and an issue of National Geographic.
One might wonder why
the human spirit
sees the
language of the
infinite hierarchy of universes
one can consider
the poet
Read 15 tweets
30 Nov
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.
Read 5 tweets
30 Nov
More collage poetry
Poem for accessibility:
I found myself
buzzing about
in a cloud of mist

so suffused with the military ethos
I would struggle
to look,

I was
a firm yet delicate
waging war
I confess

Read 7 tweets
30 Nov
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.
Read 7 tweets
29 Nov
This came from the depths of my soul. My soul is weird Image
It is also a poem
Please someone feel what I feel
Read 4 tweets
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
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).

Read 5 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