iiinova — where your digital self keeps evolving

snen @snen.dev · 05/10/2026

wow jj is really awesome

000

Reposted by snen

Eris ⌬ @eriskii.net · 09/09/2026

This your brain on TOKENS

1141

snen @snen.dev · 24/08/2026

in my experience it is unfortunately normal. I'm bad at reaching out, myself. I'm sure your friends are very appreciative (or haven't thought about it, or suck, but benefit of the doubt and all that)

010

snen @snen.dev · 18/08/2026

forgot the word "maybe" at the end there. lol. it's just odd to interact with a post and then immediately feel like I'm commenting on someone else's life in a way I would never mean to. like, it doesn't really matter what I think, does it?

020

snen @snen.dev · 18/08/2026

Now everything is so fractured. It doesn't feel like there is really a reason to be anywhere on social media anymore aside from... to be on social media. IDK, if I think of this as a place to scrawl thoughts, like these, it would be more valuable to me.

120

snen @snen.dev · 18/08/2026

Group chats / community servers a la discord are so much more rewarding to me for this reason. When I first started with social media -- Facebook -- it was about building your network of friends.

110

snen @snen.dev · 18/08/2026

There's so much modern discussion on social media and its impacts. Maybe I'm not the person to say hi out of nowhere in public, so I'm not the person to do it here. But these are spaces where it's almost definitionally appropriate to do so?

100

snen @snen.dev · 18/08/2026

it makes no sense to post this given the content but I still find participating in social media so strange and difficult. I want to participate. but 99% of the time it just feels like I'm inserting myself in someone else's life or community. even with a like. and that's ignoring my algorithm etc...

150

snen @snen.dev · 23/07/2026

what examples do you have in mind? I feel this way a lot. especially for mechanics that circumvent some game-defined restriction using some controller technique (source engine air strafing, wavedashing). maybe you have a different take on it though

000

snen @snen.dev · 24/06/2026

I used to do breakfast hotdogs in a drunk college kitchen type situation. usually for myself because no one took me up on them lmao

010

snen @snen.dev · 23/06/2026

Very thoughtful and superbly pragmatic. Thanks for writing.

020

Reposted by snen

Bevy @bevy.org · 19/06/2026

Bevy 0.19 is out now! It features Next Generation Scenes, Render Bigger Scenes Faster, Contact Shadows, More Feathers Widgets, Text Input, Richer Text, App Settings, Post Processing Effects, Improved Skinned Mesh Culling, and more! bevy.org/news/bevy-0-19

bevy.org

Bevy 0.19

Thanks to 261 contributors, 1185 pull requests, community reviewers, and our generous donors, we're happy to announce the Bevy 0.19 release on crates.…

7344129

snen @snen.dev · 17/06/2026

congrats predrag!

110

Reposted by snen

Predrag Gruevski @predr.ag · 17/06/2026

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 🙇‍♂️

9836

Reposted by snen

rain 🌦️ @sunshowers.io · 16/06/2026

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.

310312

Reposted by snen

antirez @antirez.bsky.social · 29/05/2026

"If you’re going to use an LLM to write me an email, I’d much rather you just send me the prompt; at least then I’d have an idea of what you actually meant to say." noperator.dev/posts/you-ca...

noperator.dev

You can just say it

There is a weird collection of arguments for appraising the value of humans and their creative artifacts. It usually goes something like this: In the age of AI, we should still prefer humans in certai...

18715

Reposted by snen

Karina Lunai @karinalunai.bsky.social · 25/05/2026

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.

5426121

Reposted by snen

Predrag Gruevski @predr.ag · 25/05/2026

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 🦀

1251

snen @snen.dev · 21/04/2026

Very cool. Now wondering if an old UI concept I had could be applied here. Glad to see there's a discord etc!

130

Reposted by snen

dame @dame.is · 19/04/2026

one of the biggest issues with interface design is the tendency for designers (and capital) to optimize for ease-of-use or conforming to the user’s existing mental model and muscle memory the user’s model, memory, & expectations were fabricated by silicon valley & often need to be disrupted/changed

4619

Reposted by snen

shreyan (wise) @shreyanjain.net · 17/04/2026

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

2243

Reposted by snen

𝕮 @chrisshank.com · 12/04/2026

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.

5448

snen @snen.dev · 07/04/2026

I have been prototyping a project related to this recently. Maybe I'm not the only one haha

030

Reposted by snen

Orual @nonbinary.computer · 30/03/2026

yeah. i did a demo of the beta version of my atproto library, jacquard, visualizing Jetstream, all events from atproto, using bevy. and it also doubled as my presentation. it watched a markdown file and displayed them as slides when I tapped a key. tangled.org/nonbinary.co...

tangled.org

nonbinary.computer/magic

A repository on Tangled

0111

Reposted by snen

Carter Anderson @cart.work · 18/03/2026

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

github.com

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

39018

snen @snen.dev · 29/10/2025

I was hoping to attend, but have to cancel :( Have fun! (Please do another!)

110

Reposted by snen

Bevy @bevy.org · 30/09/2025

Bevy 0.17 is out now! It features Raytracing, Improved Observers / Events, UI Widgets, Rust Hotpatching, Light Textures, DLSS, Tilemap Chunks, Web Assets, Reflect Auto-Registration, UI Gradients, Raymarched Atmosphere, Virtual Geometry BVH Culling, and more! bevy.org/news/bevy-0-17

bevy.org

Bevy 0.17

Bevy is a refreshingly simple data-driven game engine built in Rust. It is free and open-source forever!

422480

snen @snen.dev · 16/09/2025

the art of defining abstract skills :)

000

snen @snen.dev · 10/09/2025

Waluigi-themed Sneak King would rule

010

snen @snen.dev · 05/09/2025

sad that blitzcrank looks hilarious because I don't wanna play 2xko

000

snen @snen.dev · 24/08/2025

I'm bummed I can't make it... Have a great time!

140

snen @snen.dev · 04/08/2025

nah it was arbitrarily chosen, sorry (but wp for your guess)

120

snen @snen.dev · 04/08/2025

I may only have 0.7s till cooldowns are up but the party is GETTING that message

130

Reposted by snen

Grace @gracekind.net · 25/07/2025

What are the latest developments in the developer experience of experienced developers developing experiences?

6272

snen @snen.dev · 20/07/2025

does anyone know the actual name of the genre that only comes into my brain as "pixar jazz"

020

snen @snen.dev · 11/07/2025

think it's time for the dislike button

020

Reposted by snen

Gwen Snyder is uncivil @gwensnyder.bsky.social · 10/07/2025

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)

916434

Reposted by snen

Predrag Gruevski @predr.ag · 05/07/2025

New blog post + cargo-semver-checks v0.42 is out ✨ I found some unexspected sharp edges in the `#[target_feature]` attribute. They are getting fixed (teamwork! 🤜🤛), and cargo-semver-checks now also has lints to save you from footguns! predr.ag/blog/unsound...

predr.ag

Unsoundness and accidental features in the #[target_feature] attribute

Making Rust better for everyone while working on `cargo-semver-checks`

1275

snen @snen.dev · 18/06/2025

Especially since in a game project there will frequently be >3 different kinds of macros on a given struct

110

snen @snen.dev · 18/06/2025

I often do separate lines for derives by source -- e.g. std, bevy, serde on different lines, in a consistent order. Makes it much easier to understand what is implemented at a glance.

110

snen @snen.dev · 03/06/2025

I would like to formally request that all apps please stop being everything apps and be, instead, only-one-thing apps

020

snen @snen.dev · 24/05/2025

Bummer - I'm traveling during the #bevyjam this year :( good luck to all participants!

010

Reposted by snen

Molly White @molly.wiki · 20/05/2025

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.

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

131089326

Reposted by snen

Ed Zitron @edzitron.com · 20/05/2025

every single AI reporter has to watch this youtu.be/fJGNqnq-aCA?...

youtu.be

AI Has Us Between a Rock and a Hard Place

YouTube video by Internet of Bugs

928757