Michael Coblenz
@mcoblenz.bsky.social
📤 270
📥 219
📝 37
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...
loading . . .
Florida Says It Plans to End All Vaccine Mandates
https://www.nytimes.com/2025/09/03/us/florida-vaccine-mandates.html
2 months ago
0
1
0
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_...
loading . . .
Rust Learning Quiz
Help us learn more about Rust by taking this short and easy quiz!
https://ucsd.co1.qualtrics.com/jfe/form/SV_0cGoObGc7SpEIiG
4 months ago
0
9
3
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...
loading . . .
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...
https://conf.researchr.org/home/icfp-splash-2025/hatra-2025
5 months ago
0
7
1
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...
loading . . .
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...
https://conf.researchr.org/details/icse-2025/icse-2025-research-track/201/How-Scientists-Use-Jupyter-Notebooks-Goals-Quality-Attributes-and-Opportunities
7 months ago
1
3
0
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!
7 months ago
0
0
0
Hey,
@icseconf.bsky.social
: when do you expect to post the presentation schedule for the technical track?
9 months ago
0
4
0
you reached the end!!
feeds!
log in
