Talia Ringer
@taliaringer.bsky.social
Reposted by Talia Ringer
Reposted by Talia Ringer
IDE for validating specifications
It uses #LeanLang #LeanProver
blog.atlascomputing.org/p/ide-for-va...
It uses #LeanLang #LeanProver
blog.atlascomputing.org/p/ide-for-va...
IDE for validating specifications
A reminder of our overarching vision
blog.atlascomputing.org
June 26, 2025 at 8:20 PM
IDE for validating specifications
It uses #LeanLang #LeanProver
blog.atlascomputing.org/p/ide-for-va...
It uses #LeanLang #LeanProver
blog.atlascomputing.org/p/ide-for-va...
Reposted by Talia Ringer
thx to @taliaringer.bsky.social and @natolambert.bsky.social for their sharp insights on the mechahilter incident as a turning point for AI norms and accountability
www.washingtonpost.com/technology/2...
www.washingtonpost.com/technology/2...
Grok’s Nazi tirade sparks debate: Who’s to blame when AI spews hate?
Antisemitic outbursts from the chatbot promoted by Elon Musk shows how AI companies often face minimal consequences when their projects go rogue.
www.washingtonpost.com
July 11, 2025 at 5:43 PM
thx to @taliaringer.bsky.social and @natolambert.bsky.social for their sharp insights on the mechahilter incident as a turning point for AI norms and accountability
www.washingtonpost.com/technology/2...
www.washingtonpost.com/technology/2...
Reposted by Talia Ringer
🤖 At #ICML? Come check out our position poster "Stop treating ‘AGI’ as the north-star goal of AI research", wherein we challenge the “it goes without saying” narrative that AGI is a great goal for AI research. Tomorrow (Thursday the 17th) between 11 and 13:30. I’ll be there with @graziul.bsky.social
July 16, 2025 at 3:13 PM
🤖 At #ICML? Come check out our position poster "Stop treating ‘AGI’ as the north-star goal of AI research", wherein we challenge the “it goes without saying” narrative that AGI is a great goal for AI research. Tomorrow (Thursday the 17th) between 11 and 13:30. I’ll be there with @graziul.bsky.social
ITP Matcha & Jenga
June 20, 2025 at 7:58 PM
ITP Matcha & Jenga
Proud that "Proof Repair across Quotient Type Equivalences" with Cosmo Viola and Max Fan was conditionally accepted to OOPSLA 2025! The current version is below; will post again when we have the camera-ready
June 18, 2025 at 6:09 PM
Proud that "Proof Repair across Quotient Type Equivalences" with Cosmo Viola and Max Fan was conditionally accepted to OOPSLA 2025! The current version is below; will post again when we have the camera-ready
Congrats to my incoming PhD student Jasper Lee on the NSF GRFP!
siebelschool.illinois.edu/news/illinoi...
siebelschool.illinois.edu/news/illinoi...
NSF GRFP recognizes thirteen CS students for 2025
NSF GRFP recognizes thirteen CS students for 2025
siebelschool.illinois.edu
June 16, 2025 at 8:13 PM
Congrats to my incoming PhD student Jasper Lee on the NSF GRFP!
siebelschool.illinois.edu/news/illinoi...
siebelschool.illinois.edu/news/illinoi...
I know it's a really tough time for research funding right now, but does anyone have openings for computer science postdocs in the US? Especially in formal proof, possibly (but not necessarily) intersecting with AI? I have two really great researchers looking
June 9, 2025 at 8:37 PM
I know it's a really tough time for research funding right now, but does anyone have openings for computer science postdocs in the US? Especially in formal proof, possibly (but not necessarily) intersecting with AI? I have two really great researchers looking
Why are OOPSLA and ICSE rebuttals literally the same exact time period? Seems silly, there is substantial overlap in both the author and the reviewer pool
May 28, 2025 at 12:01 AM
Why are OOPSLA and ICSE rebuttals literally the same exact time period? Seems silly, there is substantial overlap in both the author and the reviewer pool
Took Sarah to a lab event yesterday and she gave my student Hannah a hug 😭🥰😍
May 17, 2025 at 1:40 PM
Took Sarah to a lab event yesterday and she gave my student Hannah a hug 😭🥰😍
Fun fact: at least three authors of this paper became parents to new babies over the course of this project
Our new work deconstructing the concept of "AGI", led by the brilliant @borhane.bsky.social in collaboration with @graziul.bsky.social , Hananel Hazan, @shiridoshi.bsky.social +more co-authors below, has been accepted to ICML. 🤗 We discuss the many "traps" that... 🧵 1/
arxiv.org/abs/2502.03689
arxiv.org/abs/2502.03689
May 13, 2025 at 5:52 PM
Fun fact: at least three authors of this paper became parents to new babies over the course of this project
Reposted by Talia Ringer
Our work deconstructing AGI as a concept is also now a reference in www.aisnakeoil.com/p/agi-is-not....
If you're a podcast person, other coverage includes this podcast from @techpolicypress.bsky.social! www.techpolicy.press/should-agi-r...
If you're a podcast person, other coverage includes this podcast from @techpolicypress.bsky.social! www.techpolicy.press/should-agi-r...
May 8, 2025 at 6:14 PM
Our work deconstructing AGI as a concept is also now a reference in www.aisnakeoil.com/p/agi-is-not....
If you're a podcast person, other coverage includes this podcast from @techpolicypress.bsky.social! www.techpolicy.press/should-agi-r...
If you're a podcast person, other coverage includes this podcast from @techpolicypress.bsky.social! www.techpolicy.press/should-agi-r...
Reposted by Talia Ringer
I liked the title
"Stop treating `AGI' as the north-star goal of AI research"
"Stop treating `AGI' as the north-star goal of AI research"
Our new work deconstructing the concept of "AGI", led by the brilliant @borhane.bsky.social in collaboration with @graziul.bsky.social , Hananel Hazan, @shiridoshi.bsky.social +more co-authors below, has been accepted to ICML. 🤗 We discuss the many "traps" that... 🧵 1/
arxiv.org/abs/2502.03689
arxiv.org/abs/2502.03689
May 8, 2025 at 6:12 PM
I liked the title
"Stop treating `AGI' as the north-star goal of AI research"
"Stop treating `AGI' as the north-star goal of AI research"
Reposted by Talia Ringer
6) Normalizing exclusionary practices of who counts as the "most important people" for defining how technology is developed. 4/
May 8, 2025 at 6:06 PM
6) Normalizing exclusionary practices of who counts as the "most important people" for defining how technology is developed. 4/
Reposted by Talia Ringer
3) Presuming a tech system can be value neutral or value all-inclusive (benefitting all)
4) Progressing as though there's deep intellectual+societal merit behind who gets to define how "AGI" is developed
5) Relying on the vagueness of "general" to avoid defining what's actually being learned
3/
4) Progressing as though there's deep intellectual+societal merit behind who gets to define how "AGI" is developed
5) Relying on the vagueness of "general" to avoid defining what's actually being learned
3/
May 8, 2025 at 6:04 PM
3) Presuming a tech system can be value neutral or value all-inclusive (benefitting all)
4) Progressing as though there's deep intellectual+societal merit behind who gets to define how "AGI" is developed
5) Relying on the vagueness of "general" to avoid defining what's actually being learned
3/
4) Progressing as though there's deep intellectual+societal merit behind who gets to define how "AGI" is developed
5) Relying on the vagueness of "general" to avoid defining what's actually being learned
3/
Reposted by Talia Ringer
...AI researchers fall into when they set "AGI" as a north-star of research. This includes:
1) Assuming there's consensus on what "AGI" means
2) Grounding research on positive vibes and hype rather than scientific rigor
2/
1) Assuming there's consensus on what "AGI" means
2) Grounding research on positive vibes and hype rather than scientific rigor
2/
May 8, 2025 at 6:02 PM
...AI researchers fall into when they set "AGI" as a north-star of research. This includes:
1) Assuming there's consensus on what "AGI" means
2) Grounding research on positive vibes and hype rather than scientific rigor
2/
1) Assuming there's consensus on what "AGI" means
2) Grounding research on positive vibes and hype rather than scientific rigor
2/
Reposted by Talia Ringer
Our new work deconstructing the concept of "AGI", led by the brilliant @borhane.bsky.social in collaboration with @graziul.bsky.social , Hananel Hazan, @shiridoshi.bsky.social +more co-authors below, has been accepted to ICML. 🤗 We discuss the many "traps" that... 🧵 1/
arxiv.org/abs/2502.03689
arxiv.org/abs/2502.03689
May 8, 2025 at 5:56 PM
Our new work deconstructing the concept of "AGI", led by the brilliant @borhane.bsky.social in collaboration with @graziul.bsky.social , Hananel Hazan, @shiridoshi.bsky.social +more co-authors below, has been accepted to ICML. 🤗 We discuss the many "traps" that... 🧵 1/
arxiv.org/abs/2502.03689
arxiv.org/abs/2502.03689
Reposted by Talia Ringer
Authors include @struthious.bsky.social @elmhamdi.bsky.social @evijit.io @kat-heller.bsky.social Jacob Metcalf, Fabricio Murai, @eryk.bsky.social @andrewthesmart.bsky.social Todd Snider, Mariame Tighanimine and @taliaringer.bsky.social ! /end
May 8, 2025 at 6:11 PM
Authors include @struthious.bsky.social @elmhamdi.bsky.social @evijit.io @kat-heller.bsky.social Jacob Metcalf, Fabricio Murai, @eryk.bsky.social @andrewthesmart.bsky.social Todd Snider, Mariame Tighanimine and @taliaringer.bsky.social ! /end
I've had a visiting PhD student from China this year and so far it has been really amazing for everyone. Like, good for the student, good for me, and good for my lab. Mutually benificial for everyone. Very sad that this kind of thing might get harder under Trump.
May 12, 2025 at 7:54 PM
I've had a visiting PhD student from China this year and so far it has been really amazing for everyone. Like, good for the student, good for me, and good for my lab. Mutually benificial for everyone. Very sad that this kind of thing might get harder under Trump.
Reposted by Talia Ringer
how many courts need to rule your actions are unconstitutional before democratic leadership lets impeachment move forward
BREAKING: Federal judge rules that President Donald Trump's executive order targeting the Perkins Coie law firm — the first of several such orders — is unconstitutional and, accordingly, "null and void."
Background at Law Dork on the original TRO in the case: www.lawdork.com/p/perkins-co...
Background at Law Dork on the original TRO in the case: www.lawdork.com/p/perkins-co...
![IV. CONCLUSION
The U.S. Constitution affords critical protections against Executive action like that ordered
in EO 14230. Government officials, including the President, may not “subject[] individuals to
‘retaliatory actions’ after the fact for having engaged in protected speech.” Hous. Cmty. Coll. Sys.,
595 U.S. at 474 (quoting Nieves, 587 U.S. at 398). They may neither “use the power of the State
to punish or suppress disfavored expression,” Vullo, 602 U.S. at 188, nor engage in the use of
“purely personal and arbitrary power,” Yick Wo, 118 U.S. at 370. In this case, these and other
foundational protections were violated by EO 14230. On that basis, this Court has found that EO
14230 violates the Constitution and is thus null and void. For the reasons explained, plaintiff is
entitled to summary judgment and declaratory and permanent injunctive relief on Counts II
through IX of the Amended Complaint. The government’s motion to dismiss is denied.
An order consistent with this Memorandum Opinion will be entered contemporaneously.
Date: May 2, 2025
__________________________
BERYL A. HOWELL
United States District Judge](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:36eqtmzysqf7wsslczw4uxcd/bafkreiao7yxugdwnz4olk32epcxvgerj5kdhnzylfw6t74rlsuymhegl7q@jpeg)
May 3, 2025 at 12:14 AM
how many courts need to rule your actions are unconstitutional before democratic leadership lets impeachment move forward
It was a really good year for recruiting at Illinois Theorem Provers. We have five awesome PhD students joining in the fall! Going to do lots of collaborative projects and coadvising for sure; potential coadvisors feel free to reach out!
April 18, 2025 at 5:23 PM
It was a really good year for recruiting at Illinois Theorem Provers. We have five awesome PhD students joining in the fall! Going to do lots of collaborative projects and coadvising for sure; potential coadvisors feel free to reach out!
My Amazon book recommendations
April 14, 2025 at 8:37 PM
My Amazon book recommendations
Illinois Theorem Provers: We're so back
April 14, 2025 at 6:59 PM
Illinois Theorem Provers: We're so back
Reposted by Talia Ringer
This is the main tracker I know about: scienceimpacts.org
SCIMaP - Impacts of Federal Cuts to Science and Medical Research
Developed by an interdisciplinary research team, this website shows how funding cuts reduce economic activity and employment nationwide
scienceimpacts.org
April 9, 2025 at 1:27 AM
This is the main tracker I know about: scienceimpacts.org