Talia Ringer 🟣 🎗️ Profile picture
Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
4 subscribers
Aug 30, 2024 7 tweets 2 min read
With the caveat that I think what the Israeli student did was shitty, and previous fart spray uses have actually gotten people really sick, I still can't believe people believe conspiracy theories about Israelis in the US like this (that a soldier sprayed skunk). Like, no, he wasn't a soldier. Yes he served in the past, so you can say "former soldier" if you want to, though this emphasis is rare for people from other countries that have mandatory service. And no, he didn't have access to skunk or any chemical weapons.
Aug 15, 2024 8 tweets 1 min read
Some things that are missing from the common American discourse on systemic oppression: 1. The legal and economic systems are far from the only two systems in our lives in which oppression can manifest.
Jul 19, 2024 9 tweets 2 min read
It really looks to me like the Israeli government is just going for full official annexation of the West Bank as quickly as possible because of the ICJ ruling before people can react, and I am angry that this is happening and that people are not freaking out about this Like first you have the formal vote against a 2SS, which I thought was performative at first: haaretz.com/israel-news/20…
Jun 20, 2024 6 tweets 1 min read
Why I am still so mad about that one guy on here denying Algeria's role in the exodus of almost all of its 200,000 Jews: It's really painful and hard to speak out against atrocities committed by one's own state. I do this relentlessly. I feel angry when others don't reciprocate. It makes it clear to me that, if they too were Israelis, they would be in denial like so many of my friends are. It makes their politics seem shallow, like one of friend versus enemy rather than actual principles and love of humanity.
Jun 20, 2024 8 tweets 1 min read
Remember when Algeria classified all of the 15000 Jews who chose to remain in an independent Algeria as "European" and forced them to seek citizenship through a different process?

jta.org/archive/algeri… Literally all non-Muslims in Algeria were stripped of citizenship at that time
Jun 7, 2024 4 tweets 1 min read
I have to admit that I really hate this place recently. The racism towards Jews is through the roof, does not take into account our opinions at all, and results in an onslaught of dehumanizing comments and threats every day. Then like five Jews are held up as the Only Good Jews Non-Jews step into internal community matters like "is it reasonable to criticize JVP if you're part of the anti-apartheid, anti-war, anti-occupation Jewish Left" and like, frankly it is none of your business and you having an opinion on that is wildly cringe
Jun 6, 2024 5 tweets 1 min read
Antisemite logic I've seen a lot on here: First treating Zionism as pluralistic (e.g., encapsulating even a binational single state) to call Jews they don't like "Zionists." Then yelling about how that makes them genocidal by subsequently saying Zionism is not pluralistic That way they can call Jews they don't like who want a one-state solution and identify as non-Zionist or anti-Zionist "Zionists," and then say they are just as bad as the Kahanists or whatever because they secretly support genocide or something
Jun 2, 2024 5 tweets 1 min read
Can he read before he talks? My grandfather got monetary reparations directly, even if it was much later than it should have been. We need to care about justice now, but not use it as a means to "atone" for previous atrocities. Reparation is the only way to atone. Atonement in Jewish culture at least is always supposed to be focused on the people you harmed, first and foremost. Not repeating similar bad things in the future is part of it, but it's the last part, meaningless without reparation.
Jun 1, 2024 4 tweets 1 min read
Cannot begin to believe how many people I know personally, typically those ostensibly interested in racial justice, who have made gaslighting Jews and denying our experiences of antisemitism half of their personality on here We know how this goes. Phase one, a Jewish person or organization or state does a bad thing. Phase two, people concoct conspiracy theories that, over time, come to implicate all Jews. Phase three, people carry out violence against Jews in the name of those conspiracy theories
May 29, 2024 4 tweets 1 min read
Somehow every time I call someone out for demonstrated antisemitism, they somehow manage to misconstrue it as being about their opinions on Israel and Gaza and then paint me as pro-Israel and pro-war. Like no it's about regurgitating racist tropes in a way that endangers Jews Weirdly extra racist to assume that due to my national origin and ethnicity, when I call out racism against us, it must be because I am in favor of Israel's actions, though
Apr 28, 2024 4 tweets 1 min read
I'm in favor of students protesting on campus, and at the same time very strongly against unaffiliated non-student protestors taking charter busses from out of town to join student protests, which is happening here. That seems like it can introduce bad actors very quickly. If you're not affiliated with the university, can't you like, protest somewhere that isn't a university? I don't like the idea of strangers from outside the university coming here to join student protests, I am scared it will put students (including the protestors) in harm's way.
Apr 27, 2024 6 tweets 2 min read
In school growing up we did one of those "make a poster about your family background and somewhere your family is from." I was about to make one about Poland, then had it very clearly explained to me that we're not Polish, we're Jewish---Polish people hated us even before WWII Like, Saba used to get beat up every day for being Jewish before the war even started. And then when the war started, the Nazis invaded and of course they were way worse. They enslaved him and murdered his family, and tried to murder him too
Mar 5, 2024 5 tweets 1 min read
I still can't get over the fact that the psychopath behind the "protests" blocking aid to Gaza is an American who fled to Israel to escape charges for his suspected role in the murder of Alex Odeh, a Palestinian in the US. @JoeBiden could literally extradite him and stop this. Doing so would simultaneously help with justice for Alex Odeh and aid for Gaza. How hard can it be to extradite him? He is an American who is already wanted for murder in an act of domestic terrorism. Extradite Andy Green, @JoeBiden!
Jan 7, 2024 14 tweets 3 min read
I think few people know what this symbolism is, so it's worth noting that this is the flag of Kach, a Kahanist symbol. Kahanism is the genocidal ideology of Itamar Ben-Gvir and his ilk. It strives for a solely Jewish state from the river to the sea, and views all Arabs as enemies Image Wikipedia article on Kahanism: en.wikipedia.org/wiki/Kahanism
Dec 30, 2023 6 tweets 2 min read
So I was in Morocco for the past two weeks. I didn't say anything about it publicly because of the Level 3 travel warning for Israeli citizens, and my very public Israeli-American identity and many posts about Israel/Palestine the last few months. It was amazing, I love Morocco I'll post photos and details soon. The coolest thing I did was eat in Maimonides' house in Fez. With my boyfriend's Muslim family! But a lot of my posts the past two weeks will make more sense knowing I was in Morocco lol
Dec 20, 2023 8 tweets 2 min read
Not just saw---it was. The Soviets who liberated death camps just gave survivors a few pennies and a horse and sent them on their ways. My grandpa said many died shortly after liberation by the Soviets from the abrupt transition And then they came back to see their property and wealth stolen, and their entire extended families wiped out. Those who tried to repatriate often faced extreme violence in response, especially in Eastern Europe
Dec 15, 2023 21 tweets 3 min read
This is one of these things that is hard to say tactfully, but I think it's really important, so I will try anyways; please be kind. On Israeli-Palestinian friendship, or even plain old conversation🧵: I never met a Palestinian for the first several decades of my life. Nor spoke to a Palestinian online.
Dec 5, 2023 15 tweets 3 min read
The reason I care so much about folks from MENA countries outside of Palestine acknowledging the ethnic cleansing of Jews from those countries is not because it changes anything about Israel/Palestine, but rather because it changes the power dynamic of these conversations. It's one reason why I have less trouble talking to Palestinians about this than talking to folks from other MENA countries who deny or minimize this ethnic cleansing, or blame it on Israel.
Dec 1, 2023 6 tweets 2 min read
We just learned that our paper Baldur: Whole Proof Generation and Repair with Large Language Models got a Distinguished Paper Award at ESEC/FSE! Emily First is first author, with Markus Rabe, me, and Yuriy Brun. Come to Emily's talk next Wednesday!

2023.esec-fse.org/details/fse-20… There is a preprint here:

Will post the published version once it is availablearxiv.org/abs/2303.04910
Jul 18, 2023 19 tweets 3 min read
Terry Tao and I spoke over coffee for like two hours yesterday, in part about diversity in how people think about math. We both agreed that people who hit these walls early mostly don't learn the way of thinking about math that works for them. It's an educational failure The educational system for some reason gives people the impression that if they cannot think about math in the way they are taught to think about it, they are just bad at math. But often they just need a different way of thinking about it
Jul 14, 2023 69 tweets 6 min read
Am I supposed to be able to hear anything in this xAI Twitter Space thing I'm just here to hear updates from @ChrSzegedy and @Yuhu_ai_ 😭