Tessera
Folgen

snen

@snen.dev

Hi, I'm Sean! I have lots of opinions about software, games, and life. Let's be kind to each other and build stronger connections. https://snen.dev

96 Posts247 Follower538 Folgt
Predrag Gruevski@predr.ag · 2mo ago

I wear many hats in the #rustlang community — today I get another one. OpenAI is contributing $600,000 to the Rust Foundation, to become a Platinum Member and support both Rust development and the broader ecosystem. As part of this, I'll have the honor of joining the Foundation board 🙇‍♂️

The Rust Foundation@rustfoundation.org · 2mo ago

[NEWS] OpenAI has joined the Rust Foundation as a Platinum Member & committed additional funding to programs across the Rust ecosystem. Sustaining a language like Rust requires this kind of support, and we are grateful to OpenAI for stepping up! 🎉 rustfoundation.org/media/rust-f... #rustlang #openai

rain 🌦️@sunshowers.io · 2mo ago

Update: iddqd is now formally verified*! * with limitations that are fundamental to this kind of formal verification, making it a complement to the existing layers of validation For more, see: oxide.computer/blog/iddqd-u...

Update 2026-06-16: Since publication, we’ve used Soteria to verify that iddqd's no-duplicate-index invariant holds under arbitrarily adversarial Hash and Ord implementations. Soteria is similar to Kani in spirit, though with different internals that make it more compatible with iddqd. Soteria is implemented as a symbolic execution engine that lets you declare points of nondeterminism in your code. (For example, within iddqd, we represent an adversarial Hash or Ord return value as nondeterministic, since we want to model adversarially bad user code.) Then, it: Compiles the Rust program into a form suitable for formal verification. Interprets this form until it reaches a point of nondeterminism, treating each such point as a symbol rather than a concrete value. Branches at each point where control flow depends on a symbol, validating that there is no UB and that the invariants specified by the program are upheld. A lot of the cleverness lies in how the possibility space is collapsed down to something manageable. For example, Soteria doesn’t have to enumerate every possible Hash value; rather, it only has to fork in places where control flow depends on the Hash value.
rain 🌦️@sunshowers.io · 2mo ago

iddqd, or the hardest kind of unsafe Rust. My first post for the @oxide.computer blog! Goes deep into the pitfalls of unsafe Rust and how to reason about it. A lot of labor went into the post -- please have a read! oxide.computer/blog/iddqd-u...

Karina Lunai@karinalunai.bsky.social · 2mo ago

Well said. It's also worth pointing out that even if we do miss the 2c target, hitting 2.1 is still better than 2.3. Climate tipping points are not all or nothing, there are multiple tipping points at different temperatures.

Bild
Djinn & Tonic 🇺🇦 🇨🇦 🇲🇽 🇬🇱@djinnandtonic.bsky.social · 2mo ago

The really unsexy truth about climate change is that we're doing Pretty GoodAll Things Considered and dooming about it is just sorta the Midwit Position now 4C was where we were heading prior to Paris. Worst case scenario on current policies is 2.7C. An unfathomable amount of harm has been averted

Predrag Gruevski@predr.ag · 2mo ago

Reflecting after the Rust All Hands: cargo-semver-checks is in a fascinating spot. We've never simultaneously had: - so many hard problems that must be solved at once - so many "this is hard but we're confident it'll work" solutions in flight at once Thrilling, but exhausting. But THRILLING 🦀

Ronen Tamari@ronentk.me · 4mo ago

"The properties that make AT Protocol compelling for social networking are the same properties the research community has been asking for" Exciting vision for the future of science publishing on ATProto @row1.ca @opensci.dev @nokome.bsky.social #ATScience

Scientific Documents as First-Class Objects on AT Protocol

OXA now defines an AT Protocol lexicon for publishing scientific documents to the Atmosphere. The `pub.oxa.*` namespace lets documents live in any Personal Data Server, making scientific content user-...

oxa.dev

shreyan (unusual)@shreyanjain.net · 4mo ago

the solution, in other words, is to accurately explain how things work without silly metaphors, but in a way that is accessible to people so that they can actually build core knowledge without having to get deep into the sauce

𝕮@chrisshank.com · 4mo ago

A defining aspect of building on a post-app protocol is that we can start shaping rich digital spaces around a community’s needs instead of forcing constant context-switching between apps because “the market” only thinks it’s profitable to hyperscale siloed media experiences through network effects.

Rude1 Haunted Badness. ⁂@rude1.blacksky.team · 4mo ago

An atproto browser makes this easier to pitch and explain in my experience. things like webtil.es could make atproto more legible to folks and provide a clear value difference. "Join a community -> stream/go live, etc" in 1 app @stream.place in Blacksky demo as an example

Carter Anderson@cart.work · 5mo ago

At long last, my Next Generation Scenes PR is out for review! This will be a huge step forward for the flexibility and usability of Bevy scenes. Stoked to finally get this in the hands of the people! github.com/bevyengine/b...

Next Generation Scenes: Core scene system, `bsn!` macro, Templates by cart · Pull Request #23413 · bevyengine/bevy

After much iteration, designing and collaborating, it is finally time to land a baseline featureset of Bevy's Next Generation Scene system, often known by its new scene format name ... BSN (Bev...

github.com

Gwen Snyder is uncivil@gwensnyder.bsky.social · last yr.

The bigger issue here is that phones and touchscreen devices in general encourage informational passivity. They invite you to consume, not to do research & creative knowledge work (breaking down informational sources, combining disparate pieces of info from different sources, reconstituting)

Gwen Snyder is uncivil@gwensnyder.bsky.social · last yr.

See, I think this is exactly the reason kids need to learn file systems, both analog and digital. Creative knowledge work isn't just knowing how to FIND information, it's understanding how to organize and sort & reconstitute information in new ways. Systematic categorization is a key part of that.

Molly White@molly.wiki · last yr.

In April, Coinbase announced changes to its user agreement that added two clauses limiting class action lawsuits and requiring lawsuits to be filed in New York. The changes apply to disputes initiated after May 15. On May 14, Coinbase disclosed a data breach.

Coinbase logo  4/12/2025 Update to the Coinbase User Agreement We are emailing you about an important upcoming update to the Coinbase User Agreement. This update will revise our Arbitration Agreement with you. We made these updates to streamline the process for resolving disputes. You can read the entire agreement here. The revised terms are in sections 9.9, 9.10 and Appendix 6. These terms apply only to disputes that you or we initiate after May 15, 2025. The current terms will continue to apply until May 15. Please make sure you read the updated User Agreement. Thank you for being part of the crypto economy! Team Coinbase9.9. Class, Collective, Representative, and Mass Action Waiver and Jury Trial Waiver. You and Coinbase agree that, except as specified in the Batch Arbitration Provision set forth above, each of us may bring claims against the other only on an individual basis and not on a class, representative, or collective basis or as part of a mass action (such as a mass arbitration), and the parties hereby waive all rights to bring or to participate in such actions in arbitration or in court to the maximum extent permitted by applicable law. This provision does not prevent you or Coinbase from participating in a class-wide settlement of claims. YOU AND WE AGREE TO WAIVE OUR RIGHTS TO A JURY TRIAL. To the extent that any Dispute proceeds in court, and to the maximum extent permitted by applicable law, you and we agree to waive any right to a jury trial and have such matter resolved by a judge (also known as a bench trial). 9.10 Forum Selection. Unless you and Coinbase agree otherwise, to the maxim
snen@snen.dev · last yr.

Said goodbye in a call with my parents and waved at nothing in real life. On a crowded street. 🫠

John Last 🇮🇹 🇨🇦@johnwlast.bsky.social · last yr.

I wrote about this recently for Noema! That time was also defined by the fruits of an activist, interventionist and progressive government — one that changes the market, not with tariffs, but with research and guidelines that make life in consumer society better. www.noemamag.com/the-good-soc...

The Good Society Department | NOEMA

Once upon a time, there was a federal government department that helped design and distribute tools for living the good life. What happened to that vision?

noemamag.com