Is the Microsoft Office Ribbon causing people to have fewer children? A provocative new working paper explores the persistent drop in birth rates since Office 2007 was introduced nearly two decades ago.

HATRA 2026 submissions are due on June 14! Looking forward to seeing all your papers. conf.researchr.org/home/splash-...

HATRA 2026 - Human Aspects of Types and Reasoning Assistants (HATRA 2026) - SPLASH/ISSTA 2026

Programming language designers seek to provide strong tools to help developers reason about their programs. For example, the formal methods community seeks to enable developers to prove correctness pr...

conf.researchr.org

@jonathanaldrich.bsky.social Do you know what's up with this new ACM DL Cloudflare requirement? I often get stuck for minutes or longer trying to get access to papers. Clicking the checkbox just spins and eventually asks me to check the box again:

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...

Florida Says It Plans to End All Vaccine Mandates

nytimes.com

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...

HATRA 2025 - ICFP/SPLASH 2025

Programming language designers seek to provide strong tools to help developers reason about their programs. For example, the formal methods community seeks to enable developers to prove correctness pr...

conf.researchr.org

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...

How Scientists Use Jupyter Notebooks: Goals, Quality Attributes, and Opportunities (ICSE 2025 - Research Track) - ICSE 2025

ICSE, the IEEE/ACM International Conference on Software Engineering, is the premier software engineering conference. It will be held April 27-May 3 2025 in Ottawa. Core conference days will be Wednesd...

conf.researchr.org

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?