Reposted by @myvardi.bsky.socialAmerican Association for the Advancement of Science @aaas.org · 21/09/2026Read the statement from AAAS CEO Sudip Parikh on reports about seizing political control of NIH research: www.aaas.org/news/statement-reports… 067
myvardi.bsky.social @myvardi.bsky.social · 20/09/2026In Sept. 2021, I gave this public lecture at Rice University. As you can see, it is quite critical of Rice. We are now five years later. Has Rice improved substantially? Please comment. www.youtube.com/watch?v=qPwC...youtube.comRice University in 2021 -- Lessons for the Second CenturyYouTube video by Moshe Vardi 001
myvardi.bsky.social @myvardi.bsky.social · 22/08/2026In 2001,Sharad Malik and his students at Princeton demonstrated the critical importance of data structures and search heuristics, which dramatically prune the search space in the implementation of CDCL solving, yielding a major performance boost. . cacm.acm.org/opinion/the-...cacm.acm.orgThe Sweeter Lesson – Communications of the ACM 010
myvardi.bsky.social @myvardi.bsky.social · 20/08/2026But Boolean reasoning proved to be a challenging problem. In 1971, Stephen Cook identified SAT, the Boolean Satisfiability Problem, as the ur-NP-complete problem. cacm.acm.org/opinion/the-...cacm.acm.orgThe Sweeter Lesson – Communications of the ACM 010
myvardi.bsky.social @myvardi.bsky.social · 18/08/2026But the huge success of “general methods that leverage computation” has obscured the huge success of domain-specific techniques in automated reasoning. cacm.acm.org/opinion/the-...cacm.acm.orgThe Sweeter Lesson – Communications of the ACM 010
Reposted by @myvardi.bsky.socialChef Rocky @chefrocky413.bsky.social · 17/08/2026THIS IS FANTASTIC…. for all humans !! 441117582879
myvardi.bsky.social @myvardi.bsky.social · 17/08/2026“Researchers seek to leverage their human knowledge of the domain,” Sutton argued, “but the only thing that matters in the long run is the leveraging of computation.” cacm.acm.org/opinion/the-...cacm.acm.orgThe Sweeter Lesson – Communications of the ACM 000
myvardi.bsky.social @myvardi.bsky.social · 15/08/2026The huge success of “general methods that leverage computation” has obscured the huge success of domain-specific techniques in automated reasoning. cacm.acm.org/opinion/the-...cacm.acm.orgThe Sweeter Lesson – Communications of the ACM 010
myvardi.bsky.social @myvardi.bsky.social · 14/08/2026Taking the Gloves Off: New Initiative Says ‘Enough’ to the Boycott of Israeli Academics jewishjournal.com/commentary/c...jewishjournal.comTaking the Gloves Off: New Initiative Says ‘Enough’ to the Boycott of Israeli AcademicsWe may be able to tolerate an irrational mob that goes after anything associated with Israel, but academics whose lives revolve around the search for truth and knowledge? 100
Reposted by @myvardi.bsky.socialAnuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 13/08/2026The stuff about Benjamin Zephaniah is just wild. I did not know that. www.theguardian.com/commentisfre...theguardian.comJason Arday is now the stick the right will use to beat back racial equality. Don’t let that happen | Afua HirschThe UK is far from equality in academia or society. You don’t need a Cambridge degree to see that Arday’s story is being used to stop any progress in its tracks, says journalist and academic Afua Hirs... 031
myvardi.bsky.social @myvardi.bsky.social · 10/08/2026This version of the anti-boycott petition is easier to sign: www.change.org/p/against-ac...change.orgSign the PetitionAgainst Academic Boycots 010
myvardi.bsky.social @myvardi.bsky.social · 10/08/2026Please consider signing this petition to express your support against academic boycotts: www.ipetition.com/petitions/ag...ipetition.comAgainst Academic BoycottsWe, the undersigned, Israeli-American and Israeli members of the U.S. National Academy of Sciences (NAS), National Academy of Engineering (NAE), and National Academy of Medicine (NAM), hereby express 000
myvardi.bsky.social @myvardi.bsky.social · 04/08/2026OpenAI’s Amazing–but Vastly Oversold–New Model Astra cacm.acm.org/blogcacm/ope...cacm.acm.orgOpenAI’s Amazing–but Vastly Oversold–New Model Astra – Communications of the ACM 000
Reposted by @myvardi.bsky.socialAmerican Association for the Advancement of Science @aaas.org · 26/06/2026AAAS reviewed the U.S. Office of Management and Budget's recently released proposed rule and identified three themes that would impact the scientific enterprise: OMB overreach, political control over grantmaking, and expanded restrictions on international cooperation. Here are the key takeaways ⤵️ 053
Reposted by @myvardi.bsky.socialAmerican Association for the Advancement of Science @aaas.org · 06/07/2026OMB needs to hear from scientists, engineers, educators, students and others who can explain how the proposed rule on federal grantmaking would have devastating effects on their communities and the nation. Here's how to format an impactful comment & critical steps to take to make your voice heard ⤵️ 11516
myvardi.bsky.social @myvardi.bsky.social · 30/06/2026We can recall the “Image Crisis” of the early 2000s. The computing field went through a perfect storm in those years: the dot-com and telecom crashes, the offshoring scare, and a research-funding crisis. cacm.acm.org/opinion/whit...cacm.acm.orgWhither Computing? – Communications of the ACM 000
myvardi.bsky.social @myvardi.bsky.social · 27/06/2026A new team will assume the leadership of ACM on July 1, 2026. I believe this team will have to grapple with existential questions about the future of computing as a science and a profession. cacm.acm.org/opinion/whit...cacm.acm.orgWhither Computing? – Communications of the ACM 030
myvardi.bsky.social @myvardi.bsky.social · 02/06/2026Just signed the AI Pledge for Humanity. The next time someone says AI will require UBI without doing anything about it, send them this. actionnetwork.org/petitions/th...actionnetwork.orgThe AI Pledge for HumanityI just signed the AI Pledge for Humanity and I want to tell you why. For fifty years, productivity has soared and wages haven't. Now AI is about to accelerate that pattern. The people building it say... 1115
myvardi.bsky.social @myvardi.bsky.social · 27/05/2026cacm.acm.org/news/in-memo...cacm.acm.orgIn Memoriam: Richard A. Tapia (1939-2026) – Communications of the ACM 000
myvardi.bsky.social @myvardi.bsky.social · 25/05/2026Pope Leo Warns of Risks From A.I. in 42,300-Word Encyclical www.nytimes.com/2026/05/25/w...nytimes.comPope Leo Warns of Risks From A.I. in 42,300-Word Encyclical 010
myvardi.bsky.social @myvardi.bsky.social · 24/05/2026Peter G. Neumann, Who Warned of Computer Security Risks, Dies at 93 www.nytimes.com/2026/05/17/t...nytimes.comPeter G. Neumann, Who Warned of Computer Security Risks, Dies at 93 010
myvardi.bsky.social @myvardi.bsky.social · 23/05/2026A profound loss to the world, to Rice, and t o me :-( news.rice.edu/news/2026/ri...news.rice.edu 021
Reposted by @myvardi.bsky.socialAmerican Association for the Advancement of Science @aaas.org · 21/05/2026"While an unconventional background is not necessarily disqualifying, it does require greater scrutiny of the nomination by Congress.” AAAS CEO Sudip Parikh urges the U.S. Senate Committee on Health, Education, Labor, & Pensions to hold an open hearing before voting to confirm James O'Neill. 01913
myvardi.bsky.social @myvardi.bsky.social · 04/05/2026Just signed the AI Pledge for Humanity. The next time someone says AI will require UBI without doing anything about it, send them this. actionnetwork.org/petitions/th...actionnetwork.orgThe AI Pledge for HumanityI just signed the AI Pledge for Humanity and I want to tell you why. For fifty years, productivity has soared and wages haven't. Now AI is about to accelerate that pattern. The people building it say... 1126
myvardi.bsky.social @myvardi.bsky.social · 24/04/2026www.youtube.com/watch?v=dUZM...youtube.comDr. Moshe Vardi, University Professor at Rice University | NexPulse Speaker SeriesYouTube video by Nexford University 000
Reposted by @myvardi.bsky.socialJon Cooper @joncooper-us.bsky.social · 24/04/2026This photo should be on the front page of every single newspaper in America today. 38514154716668
myvardi.bsky.social @myvardi.bsky.social · 23/04/2026A rich set of Q&A for the presidential candidates (Elisa Bertino and Jens Palsberg) in the current ACM Election. You are welcome to post more questions www.cs.rice.edu/~vardi/acmel...cs.rice.edu 2026 ACM Presidential Election 000
myvardi.bsky.social @myvardi.bsky.social · 23/04/2026www.youtube.com/watch?v=1Byw...youtube.comThe Scientific Legacy of Joseph “Joe” HalpernYouTube video by Cornell Bowers 010
myvardi.bsky.social @myvardi.bsky.social · 19/04/2026The response to the ACM DL tiering has been swift. A petition to re-open DL metadata has gathered more than 1,600 signatures by now. The comments accompanying the petition generally express outrage at how “100% open” can mean closed data services. cacm.acm.org/opinion/the-...cacm.acm.orgThe Centrality Fallacy and ACM – Communications of the ACM 000
myvardi.bsky.social @myvardi.bsky.social · 18/04/2026Ask the Candidates for ACM President! First batch of Q&A posted. www.cs.rice.edu/~vardi/acmel...cs.rice.edu 2026 ACM Presidential Election 000
myvardi.bsky.social @myvardi.bsky.social · 18/04/2026How did ACM decide tiering the DL is in the spirit of opening the DL? cacm.acm.org/opinion/the-...cacm.acm.orgThe Centrality Fallacy and ACM – Communications of the ACM 001
myvardi.bsky.social @myvardi.bsky.social · 05/03/2026The diversity problem colleges and universities are not talking about :-( www.nber.org/papers/w31492nber.orgDiversifying Society’s Leaders? The Determinants and Causal Effects of Admission to Highly Selective Private CollegesFounded in 1920, the NBER is a private, non-profit, non-partisan organization dedicated to conducting economic research and to disseminating research findings among academics, public policy makers, an... 000
myvardi.bsky.social @myvardi.bsky.social · 04/03/2026As the conference was approaching, Bob informed me, as well as a few other male researchers, that in his conference talk he did not intended to talk about his paper. cacm.acm.org/opinion/wher...cacm.acm.org 000
myvardi.bsky.social @myvardi.bsky.social · 05/02/2026Can AI contribute to the common good? Undoubtedly, but only if we amend our current, faulty reward function, I believe. That is techno-realism. dl.acm.org/doi/10.1145/...dl.acm.orgTechno-Optimism, Techno-Pessimism, and Techno-Realism | Communications of the ACM 000
myvardi.bsky.social @myvardi.bsky.social · 31/01/2026I applaud the authors for their efforts toward shaping AI for the common good, yet I still find the article deeply techno-optimistic. To understand my concern, I suggest going back to a 2016 essay “Faulty Reward Functions in the Wild”. dl.acm.org/doi/10.1145/...dl.acm.orgTechno-Optimism, Techno-Pessimism, and Techno-Realism | Communications of the ACM 030
myvardi.bsky.social @myvardi.bsky.social · 30/01/2026www.youtube.com/watch?v=KRSR...youtube.comMoshe Vardi: World Logic Day Lecture, Are AI Minds Genuine Minds?YouTube video by RiceCompSci 010
Reposted by @myvardi.bsky.socialAllison Gill @muellershewrote.com · 30/01/2026I don't think people understand that if you shut down the government, ICE and CBP do NOT shut down. They're funded by supplemental money from the BBB. That's why dems are separating the DHS funding bill and asking for restrictions. I want them to demand a rescission of that funding or shut DHS down 631228286462
myvardi.bsky.social @myvardi.bsky.social · 28/01/2026For a tech-pessimist manifesto, see for example, the AI 2027 report, which lays out a scenario for how AI models could become all powerful by 2027. dl.acm.org/doi/10.1145/...dl.acm.orgTechno-Optimism, Techno-Pessimism, and Techno-Realism | Communications of the ACM 000
myvardi.bsky.social @myvardi.bsky.social · 27/01/2026Marc Andreessen argued that “Technology is the glory of human ambition and achievement, the spearhead of progress, and the realization of our potential.” Well, I am not that kind of techno-optimist. dl.acm.org/doi/10.1145/...dl.acm.orgTechno-Optimism, Techno-Pessimism, and Techno-Realism | Communications of the ACM 000
Reposted by @myvardi.bsky.socialDan Izzo @izzos.net · 27/01/2026weather.com/storms/winte... Oh fuck no...come on!weather.comEast Coast Storm This Weekend Could Become Bomb Cyclone With More Snow, Wind | Weather.comOn the heels of Winter Storm Fern, a strong storm will form off the East Coast this weekend that could bring snow and wind. Here is our latest forecast with what we know and what could happen. 2622768677
myvardi.bsky.social @myvardi.bsky.social · 27/01/2026Today is International Holocaust Remembrance Day www.youtube.com/watch?v=6sGm...youtube.com"The Hungarian Holocaust" (Moshe Vardi)YouTube video by Boniuk Institute 010
myvardi.bsky.social @myvardi.bsky.social · 18/01/2026Institute for the Critical Study of Antizionism icsa.substack.com?r=4l1xen&utm...icsa.substack.comInstitute for the Critical Study of Antizionism | Andrew Pessin | SubstackTo promote the critical study of the most current manifestation of the world's oldest hatred. Click to read Institute for the Critical Study of Antizionism, by Andrew Pessin, a Substack publication wi... 000
Reposted by @myvardi.bsky.socialMarcel Böhme @mboehme.bsky.social · 14/01/2026Hopefully, it will allow us to refocus on what truly matters in science, on big problems, on intuition and insights, on theory building, and away from the brute mechanics of publishing and the bean counting that has put the breaks on true progress in science. hegemon.substack.com/p/the-age-of...hegemon.substack.comThe Age of Academic Slop is Upon Uswhat happens when AI automates "normal science"? 129918
myvardi.bsky.social @myvardi.bsky.social · 15/01/2026There's still time to RSVP for Moshe @Vardi 's #WorldLogicDay talk, Tues, Jan 20th! Join us in-person or online. He'll will discuss whether AI minds are genuine minds. Tues, Jan 20th @ 4pm CST (Reception following at 5pm) Rice Univ Duncan Hall RSVP: events.rice.edu/event/416255...events.rice.eduMoshe Vardi: World Logic Day LectureAre AI minds genuine minds? 000
Reposted by @myvardi.bsky.socialThe Watchdog Coalition @thewatchdogco.bsky.social · 01/01/2026Happy New Year To Everyone, Including the UNHINGED LOSER "Tiny" Mike Johnson, who—despite his best but pitiful efforts—will fail miserably to stop us from extending ACA tax credits in January. Now's the time to get loud about it:actionnetwork.orgTell Congress: Demand Speaker Johnson hold a vote IMMEDIATELY on the ACA tax credit extensionContact Congress today! 418124733451
Reposted by @myvardi.bsky.socialRon Filipkowski @ronfilipkowski.bsky.social · 01/01/2026Not Somali. 580180545446
myvardi.bsky.social @myvardi.bsky.social · 01/01/2026Please consider signing this petition! www.ipetitions.com/petition/res...ipetitions.comPetition Restore Fully Free and Open Access to the ACM Digital LibraryRestore Fully Free and Open Access to the ACM Digital Library 010
myvardi.bsky.social @myvardi.bsky.social · 28/12/2025What is the connection between the Bondi Beach massacre and Rice University, which is over 8500 miles away? medium.com/@vardi/from-...medium.comFrom the Rice University Campus to the Bondi Beach MassacreOn 14 December 2025, a terrorist mass shooting occurred at Bondi Beach in Sydney, Australia, in the early evening during a Hannukah… 000
myvardi.bsky.social @myvardi.bsky.social · 03/12/2025Federal Funding of Academic Research cacm.acm.org/section/fede...cacm.acm.orgFederal Funding of Academic Research – Communications of the ACM 010
Reposted by @myvardi.bsky.socialsher12.bsky.social @sher12.bsky.social · 05/11/2025This is how a real President is supposed to act 1051226843973
