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

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

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

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

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

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

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

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

snen @snen.dev · 27/04/2025

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

040

Reposted by snen

Bevy @bevy.org · 24/04/2025

Bevy 0.16 is out now! It features GPU-Driven Rendering, Procedural Atmospheric Scattering, Decals, Occlusion Culling, Relationships, Better Spawning, Unified Error Handling, `no_std`, Faster Transform Propagation, and more! bevyengine.org/news/bevy-0-...

bevyengine.org

Bevy 0.16

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

225882

Reposted by snen

Ellie Huxtable @ellie.wtf · 22/04/2025

here we gooooo

2394

Reposted by snen

Predrag Gruevski @predr.ag · 22/04/2025

Atuin just keeps shipping pure gold 🔥📈

1224

Reposted by snen

John Last 🇮🇹 🇨🇦 @johnwlast.bsky.social · 08/04/2025

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

noemamag.com

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?

57618

snen @snen.dev · 07/04/2025

Was looking at the #bevy 0.16 milestone last night. really cool stuff in there. I toyed with the new relationship derive attributes and the new spawn APIs -- such huge convenience boosts

020

Reposted by snen

lincoln carpenter, skeleton @lincolnhello.bsky.social · 05/04/2025

a major issue with video games is that they produce a bunch of people who consider themselves brain geniuses for solving problems that were designed to be solvable. as a remedy, we should be making more games that are actively and irreconcilably hostile to the player. thank you

38104881948

Reposted by snen

George Pearkes @peark.es · 03/04/2025

I still have to confirm this but it looks optically right and yall…this is insane.

361570292

snen @snen.dev · 02/04/2025

this is, this breaks my brain. writing the alt text for this broke my brain. it's broken. #nintendo #switch2

A screenshot of the Mario Kart World announcement video showing a cow from moo-moo meadows grinding a rail on a motorcycle that looks like a boombox

020

Reposted by snen

Charlie Warzel @cwarzel.bsky.social · 31/03/2025

David is completely right here. I think this is also why there's so much distrust & resentment of institutions in general. There is a constant claim that institutions are a bulwark, that they must be saved/preserved/respected and yet many of them either fold to power or can't provide accountability

331944404

snen @snen.dev · 27/03/2025

#fatalfury #cotw is really fun so I'm gonna stream it for a bit today www.twitch.tv/snendev

000

Reposted by snen

Paris Marx @parismarx.com · 18/03/2025

Columbia Journalism Review tested eight generative AI search tools and found their answers were wrong 60% of the time, and the paid ones actually fared worse than the free ones. Meanwhile, millions of people trust the way they present total bullshit with confident language.

arstechnica.com

AI search engines cite incorrect sources at an alarming 60% rate, study says

CJR study shows AI search services misinform users and ignore publisher exclusion requests.

12045972431

Reposted by snen

Mark Copelovitch @mcopelov.bsky.social · 17/03/2025

Along with all of the other things that this is, it is also the direct & inevitable consequence of the failure to put a lot more senior executive branch officials in jail for a very long time for Watergate, Iran-Contra, torture, & all of the other things in the last 50 years.

322059496

snen @snen.dev · 17/03/2025

dang would be really cool if someone could chase away all the snakes right about now

000

Reposted by snen

Mark Copelovitch @mcopelov.bsky.social · 15/03/2025

👇🎯 Once again, everyone got really angry at @tompepinsky.com years ago for pointing this out. If these people are waiting for The Authoritarian Moment, they are going to be very sorry & it will be too late once they wake up & realize that it was January 6, 2021 & these first seven weeks of Trump II

vox.com

Life in authoritarian states is mostly boring and tolerable

Americans have an overly dramatic view what the end of democracy looks like.

514459

Reposted by snen

Molly White @molly.wiki · 15/03/2025

This is a good proposal, and it's weird to see people flaming BlueSky for it as though this is equivalent to them welcoming in AI scraping (rather than trying to add a consent signal to allow users to communicate preferences for the scraping that is already happening)

18990158

Reposted by snen

Mark Cuban @mcuban.bsky.social · 15/03/2025

Their bet is that if rates fall to 1%, mortgages get cheap, businesses borrow cheap , but more importantly for Elon and his boys, it's easy to raise capital. It's easy for PE to find capital to buy their businesses. Stocks go up. Business valuations go up. It's UBI for asset owners.

6555869

Reposted by snen

Ned Resnikoff @resnikoff.bsky.social · 14/03/2025

This is obviously just blatant racebaiting, but I feel honor bound to remind everyone that New York City is one of the safest places in the country.

131341247

Reposted by snen

David Roberts @volts.wtf · 14/03/2025

Holy shit. This is *the* gold-standard measurement of atmospheric CO2 -- the one in all the charts.

882071894

snen @snen.dev · 14/03/2025

TC on point as usual! I know a lot of people who get insulted if someone tells them information they already know. It's not an insult! It's okay not to know stuff -- and even if you did already know, it's very useful to establish common understanding.

000

Reposted by snen

Sharon 🪳🌹 @sharonk.bsky.social · 14/03/2025

with an electorate like this...

One participant who does home remodeling, worried about tariffs raising the price of wood and causing clients to drop their remodeling plans.

Another voter, who owns a health and weight loss business, said most of her clients are in the auto industry — if they're hit it could devastate her. One said she works in the auto industry and just got furloughed because "we are not building any cars right now."

Michael L., 43, of Commerce Township, said Trump "campaigned on lowering prices and making things more affordable for working-class people. He's moving in the opposite direction." He conceded that Trump had previewed tariffs during the campaign, but said "we didn't necessarily think it would be this much, this fast."

"I was voting for him based off of the economy the first time around and I'm seeing a significant decline," said Samantha S., 31, of Birmingham.

"I was expecting him to do things to better our country and I'm not seeing that," said Katelyn D., 26, of Woodhaven.

Several of the voters said they want Congress to push back.

Malea H., 34, of Clinton Township, said she fears "that this will eventually turn into a dictatorship... if the people that we elected to be his checks and balances don't check and balance him, then what are they there for?"

They disagreed with Trump freezing out Associated Press journalists from coverage in the Oval Office and Air Force One because the independent news organization hasn't gone along with his insistence that the Gulf of Mexico should be called the Gulf of America.

"It's just so childlike," said Shannon B.

On the other hand: Only one of the 10 Trump voters-turned-critics said they'd choose Kamala Harris for president if they could do it over.

3759761

Reposted by snen

Emily Tamkin @emilyctamkin.bsky.social · 14/03/2025

In this clip, Vance explicitly says that, *more* than being about national security, this is about "who do *we,* as an American public, decide gets to join our national community." Not to be Influence of Soros on this but this is antithetical to an open society www.foxnews.com/video/636998...

foxnews.com

JD Vance reveals whether more deportations of green card holders are coming | Fox News Video

Sneak peek: Vice President JD Vance discusses the rights of green card holders in an 'Ingraham Angle' exclusive.

2132477