Thank you!

macOS 26.3, Safari 26.3.

It works in a different version of Safari but switching browsers is not a game I should need to play.

Update: two hours later, I still can't get access to the paper.

@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?

Florida Says It Plans to End All Vaccine Mandates

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

We rarely give Shakespeare credit for inventing alpha-conversion. “A rose by any other name…”

Sounds like you already have two trained classifiers!

But maybe also I pick a different Mastodon server.

Mastodon is too fragmented. I just focus on Bsky now.

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

I can understand that. But I stopped checking Twitter long ago, so for me, this is it.

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

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

Preprint of the paper, which my student Savitha Ravi will present: arxiv.org/pdf/2503.12309

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

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

Lots of great possibilities! Probably worth doing a study to see how various approaches would affect behavior.

What will you do to make the environmental costs of using this transparent?

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!

Test passed! Awesome!

Geaxhurccswzvy4vi2ftz;

You are right that the only way to be sure is to re-run the experiment.

The API delta between the fixed version and the one we used in the experiment is rather trivial, so we felt the results likely generalized. But of course re-running the experiment would be best.

Also as I understand it, the stack maps approach cannot be made thread safe, which is why I haven't felt motivated to finish this implementation; it still would not be of practical use. Really the whole GC implementation needs a redo.

On the other hand, the main branch's version has GC enabled. The problem with this is that the mark implementation only handles certain cases, so this is a much more serious unsoundness problem (which is also documented in the paper and the code).

Made as_ref and as_mut private. Removed Deref from GcRef. · mcoblenz/Bronze@34c1538

I think this is the relevant commit. Note it’s on a branch: I never got around to merging. Criticism is welcome. github.com/mcoblenz/Bro...

Sorry I should have read the whole thread before replying! Still getting used to the Bluesky UI.

The implementation would definitely need a from-scratch redo for real work.

Can you be more specific? We did fix some soundness problems post-experiment. And the implementation is a partial proof of concept and not a working GC.

They’re pretty similar, right? Both are about avoiding side effects.