You know what's not right in this "America First" world we live in now? I have to scroll past other countries after I type "U" to get to "United States" (for example, "United Arab Emirates" comes first). I think we need to immediately change our country's name to "_United States". Who's with me?

Will FL health insurance companies raise their rates? www.nytimes.com/2025/09/03/u...

We'd really appreciate help with our study of Rust programming! If you know Rust, please take about 20-30 minutes to help us find out how to make Rust programmers more effective: ucsd.co1.qualtrics.com/jfe/form/SV_...

Reminder about the upcoming HATRA deadline, if you're interested in making fancy type systems and reasoning assistants more effective for people! conf.researchr.org/home/icfp-sp...

At #ICSE2025 and want to know why scientists use Jupyter despite its limitations (e.g., out of order execution, lack of reproducibility)? Come to our talk at 11:45 today! conf.researchr.org/details/icse...

For the record, ChatGPT is happy to take over the job of an air traffic controller. Looks like Musk et al. can save a lot of money on actual ATC staff!

Hey, @icseconf.bsky.social: when do you expect to post the presentation schedule for the technical track?