I know grad school is always hard, but I really had three consecutive hard years: first a cruel situation at the intersection of work and my personal life that pushed me out of the state twice and almost caused me to drop out, and made me so depressed I had trouble surviving
Then just as my depression was getting better, a literal pandemic that led to my whole social support system and all of my coping mechanisms collapsing overnight, so a major relapse I also had trouble surviving at first, really
During the pandemic job search: an insurrection attempt, people I love testing positive for COVID, a serial harasser trying to use my mental illness to discredit my jobworthiness
It took a long time through all of this to even want the dream I initially had again, but then with the pandemic and everything I didn't think I'd be able to do it. I feel so blessed today

• • •

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!

PDF

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

12 May
TFW your life's work is export controlled lmao

bis.doc.gov/index.php/docu… Image
Let's just say my work is for proof developments up to 499,999 instructions long, but no longer Image
srsly when did they write this? Did they read my survey paper? Lol
Read 5 tweets
11 May
Image
CMU dude thesis included. Related work chapter of thesis done 😎

Just have one missing subsection left, then it's all cleanup
CMU dude was Frank Pfenning btw
Read 5 tweets
11 May
Hiring people to fill those roles might be pretty hard without repairing the damage done to those harmed last time around though

wsj.com/articles/googl…
Admirable to try to rebuild, but rebuilding needs to come after repairing, otherwise what is built will quickly collapse
Unless---big unless---this is what the AI Ethics team asked for as a form of repair. Just somehow I doubt it, though please correct me if I'm wrong
Read 5 tweets
10 May
Hi friends, I'm really excited to announce that I will start as an Assistant Professor at @IllinoisCS in October! I will be joining the already wonderful and huge @plfmse group 😊. Please apply to work with me if you're interested in building a world of proof engineering for all!
I want to acknowledge quickly that I was extremely lucky to have a difficult decision to make. I've really, really loved meeting with so many wonderful people and talking to all of you throughout the job search season, and I really do hope to stay in touch!
But I am also extremely excited about this opportunity! I'm also really excited to build connections to other midwest schools. @certifiablyrand and I have been talking about social and research connections between UIUC and UChicago!
Read 7 tweets
9 May
OK here's a subproblem: Fix the logic as the calculus of inductive constructions. Is the problem of determining whether a function is extensionally equal to the identity function at a given (but arbitrary) type undecidable?
So fix arbitrary X, and an arbitrary function:
f : X -> X
You want to write a program that determines whether:
forall (x : X), f x = x
Is that undecidable?
Note that in this logic, f must always terminate! But there may be infinitely many possible x : X
Read 4 tweets
9 May
Is the problem of factoring a function:
h : X -> Z
into g of f, where:
f : X -> Y, and
g : Y -> Z
for some unknown Y undecidable?
I assume it reduces to unification, since part of the problem is finding the unknown Y? Unification in the language I'm working with is undecidable.
I implemented this in PUMPKIN PATCH forever ago, but still don't know whether the problem is decidable
Read 14 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!

:(