Michael Coblenz
@mcoblenz.bsky.social
Assistant Prof. at UC San Diego. Helping people write better software.
Will FL health insurance companies raise their rates? www.nytimes.com/2025/09/03/u...
Florida Says It Plans to End All Vaccine Mandates
www.nytimes.com
September 3, 2025 at 7:18 PM
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_...
Rust Learning Quiz
Help us learn more about Rust by taking this short and easy quiz!
ucsd.co1.qualtrics.com
July 2, 2025 at 5:08 PM
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
June 26, 2025 at 7:49 PM
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...
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
May 1, 2025 at 12:53 PM
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!
April 4, 2025 at 6:25 PM
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?
@icseconf.bsky.social: when do you expect to post the presentation schedule for the technical track?
February 24, 2025 at 12:37 AM
Hey,
@icseconf.bsky.social: when do you expect to post the presentation schedule for the technical track?
@icseconf.bsky.social: when do you expect to post the presentation schedule for the technical track?