Thank you!
19.02.2026 03:10
👍 1
🔁 0
💬 0
📌 0
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?
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.
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
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).
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.