iiinova — where your digital self keeps evolving

Reposted by Vicent

Ian Coldwater 🧊🚫 @lookitup.baby · 25/09/2026

Everybody’s hating on this, but it’s legitimately useful information. If a workplace or a hiring manager is going to be cracking down arbitrarily on petty stuff that doesn’t matter, that’s a very good thing to know!

1335327

Reposted by Vicent

Aaron Patterson @tenderlove.dev · 15/09/2026

Apparently they're rolling out a change where you need 2FA just to use the crosswalk. That's right, you gotta have street creds

5302

Reposted by Vicent

cee @cee.wtf · 04/09/2026

throng.cee.wtf i've invented a new way to browse bluesky

35482011905

Vicent @vbosch.bsky.social · 28/08/2026

The web’s on fire with the OpenAI story, or at least its making the rounds on social media these last weekS. The real impact, for me, is on trust … not in AI usage as a whole but certain AI risk mitigation strategies… specially in Agentic Coding.

100

Reposted by Vicent

aly @aly.codes · 24/08/2026

re: omarchy trying to create parallel infra to subvert the linux community and kick trans/female/black people out i know some people think that sounds crazy but DHH literally is doing a podcast tour saying that is exactly what he's doing lol

4041564

Vicent @vbosch.bsky.social · 22/08/2026

Pretty far along on coding my ideas to use formal specification in the agentic era. Right now I have ensured that all spec is deterministically reviewed against the code generated ( I don’t let the LLM check its own homework). So much todo yet… but loving every minute of it.

Verdet desk tui splash screen. A torii gate with verdigris is shown with a form to enter the passphrase so you can access the reviewer. The splash screen reads:

VERDET
The gated review desk

Passphrase >
Enter to unseal . esc to cancel

All you need is attention … from the person
(As a joke on the paper)

010

Vicent @vbosch.bsky.social · 19/08/2026

Legacy code takes years to earn that name. A team disperses, memory erodes slowly until the system’s been quietly running for a decade. An agent-coded system skips all of that. It’s legacy on arrival, the day it ships, there was never a period of shared understanding on the reality of the system.

100

Vicent @vbosch.bsky.social · 16/08/2026

Finding out whether existing research is applicable for a new system you have in mind has never been easier. Ask an agent, it’ll find the paper (do read the paper , don’t do a “good will hunting”). Applying it correctly is a different question. Making sure it stays applied is a third one entirely.

100

Vicent @vbosch.bsky.social · 14/08/2026

A metallurgy for agentic coding. Closed die forging: a press supplies raw force. A die shapes it. Neither one alone makes the part. Agents are the press. Cheap, enormous, undirected force. A spec is the die. It doesn’t do the work. It bounds it.

210

Reposted by Vicent

Mara Bos @mara.bsky.social · 13/08/2026

Curious how we've been improving Rust at Hexcat? Starting with June, our monthly updates are now publicly available on our website: hexcat.nl/updates/ #rustlang

hexcat.nl

Hexcat

Rust compiler engineering

1637

Reposted by Vicent

Adolfo Neto @adolfoneto.elixiremfoco.com · 12/08/2026

I did not watch it, but it is an in-person interview with Leonardo de Moura, the creator of #LeanLang youtu.be/KzdYKeAqWhY?...

youtu.be

Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura

YouTube video by Ryan Peterman

021

Vicent @vbosch.bsky.social · 11/08/2026

Really enjoyed this. The regeneration test is the cleanest cut through the spec/code debate I’ve read. But two things still feel unsolved, and I say this running a system built on exactly this architecture: the cost of deciding, and the loop.

231

Vicent @vbosch.bsky.social · 05/08/2026

Can’t wait to have something actually showable 🤩

Verdet spec explorer showing from the general spec drilling down to features and finally to formal pairs of prose and dafny

verdet kanban board with current status of specs

020

Reposted by Vicent

Patricia Aas 🐢🏳️‍🌈 @patigallardo.bsky.social · 04/08/2026

I’m enjoying these experienced political actors giving campaign advice to a guy with a trashcan on his head.

youtu.be

Rory Stewart and Alastair Campbell Interview Count Binface.

YouTube video by The Rest Is Politics: Leading

3243

Vicent @vbosch.bsky.social · 23/07/2026

I keep thinking that I or the people that I listen to / read / appreciate can’t be more intelligent than everyone else. Yet time and time again we give predictions , the market / VCs / traditional media / consulting companies … tells us we are dumb. Then life ends up showing we were right.

110

Reposted by Vicent

amos @fasterthanli.me · 06/07/2026

me: SHA-256 my dictation app:

31419

Reposted by Vicent

Patricia Aas 🐢🏳️‍🌈 @patigallardo.bsky.social · 30/06/2026

Centrists complaining about the left need to retire, you clearly don’t understand what we’re up against or the stakes.

2192

Reposted by Vicent

Andrew Gallant @burntsushi.net · 03/06/2026

I was recently diagnosed with a rare autoimmune disorder called anti-NMDA receptor encephalitis. It's a "disease of chaos" that completely upturned my life for a couple months. I wrote a blog about it that goes into more detail and discusses prognosis. :-) burntsushi.net/encephalitis/

burntsushi.net

Encephalitis - Andrew Gallant's Blog

1312443

Reposted by Vicent

Adriana Villela 🇨🇦 🇧🇷 @adrianamvillela.bsky.social · 13/05/2026

Did I have the bestest time talking about AI assisted coding with @cassidoo.co, @elchefe.me, Jeff Blankenburg, and @joshleecreates.bsky.social on @geekingout_pod.bsky.social? Yes. Yes I did. Catch their episode now! 🎧: buff.ly/BviWskf 📺: buff.ly/bXpjieo

0155

Vicent @vbosch.bsky.social · 14/05/2026

They port it to Rust, then they port it back to Zig and then they compare to their implementation and figure out all the memory bugs

130

Reposted by Vicent

Anil Dash @anildash.com · 13/05/2026

So, every organization that makes software or manages technology has a backlog of bugs they want to fix, or features that they (or their customers) wish they could implement. It’s often super frustrating to have to deprioritize things you _want_ over things you are _obligated_ to do…

519215

Reposted by Vicent

Hacker News Best @hnbest.bsky.social · 12/05/2026

CUDA-oxide: Nvidia's official Rust to CUDA compiler nvlabs.github.io/cuda-oxide/index.h… comments #nvlabs.github.io

011

Reposted by Vicent

Patricia Aas 🐢🏳️‍🌈 @patigallardo.bsky.social · 07/05/2026

Listen this might just be my bisexuality talking but this is the hottest Tom Holland has ever been imo

2151

Reposted by Vicent

Patricia Aas 🐢🏳️‍🌈 @patigallardo.bsky.social · 14/04/2026

The world wasn’t always this absurd, right?

2351

Reposted by Vicent

Patricia Aas 🐢🏳️‍🌈 @patigallardo.bsky.social · 14/04/2026

I guess we should all post f in chat for Trump who had to delete a post, an AI picture where he depicted himself as Jesus, on his own social media platform, which he created after being banned from Twitter for instigating an insurrection, after pissing off the Knights Templar and the Vatican.

191

Reposted by Vicent

Chad Fowler @chadfowler.com · 10/04/2026

Great post by @evanphx.dev I'm finding much of the wisdom I accepted over the past 30 years of being a software developer applies with a multiplier as I move into agent-driven software development. Here's another example. miren.dev/blog/agile-i...

miren.dev

Agile in the Age of AI - Miren

The principles haven't changed. The participants have.

0102

Reposted by Vicent

Patricia Aas 🐢🏳️‍🌈 @patigallardo.bsky.social · 07/04/2026

My heart goes out to the Iranian people, and all who have loved ones in Iran. The Iranian people have been made to suffer at the hands of extremists, both domestic and foreign for generations. Whatever happens tonight, you all deserved so much better from all of us.

1254100

Reposted by Vicent

Orhun Parmaksız @orhun.dev · 03/04/2026

I've shared ~800 Rust terminal projects over the last 3 years 🦀 I just published a blog post to highlight the Top 99! 🏆 ➡️ Read it here: blog.orhun.dev/800-rust-pro... #rustlang #ratatui #tui #blog #post #socialmedia

15410

Reposted by Vicent

Orhun Parmaksız @orhun.dev · 02/04/2026

New Rust TUI framework in town! 📢🥳 🦀 eye-declare — A declarative inline TUI rendering library 🔥 React-like components, top-tier viewport + scrollback support 🐭 Built on top of @ratatui.rs ⭐ GitHub: github.com/atuinsh/eye-... #rustlang #ratatui #tui #framework #library #cli #react #opensource

0202

Vicent @vbosch.bsky.social · 26/03/2026

I am doing a editor to annotate printed tables from the 1900s…. If you think people back then were real artisans and took pride in their work not like the AI slop we have… do I have news for you. Quality is not about tool usage but of taking time to review things and redoing things if necessary

000

Reposted by Vicent

SwiftOnSecurity @swiftonsecurity.com · 19/03/2026

The machine will never be horny and that is why it cannot be human. It can only reproduce horny. It cannot be horny itself. It will never yearn to rut.

1719836

Reposted by Vicent

Wiredferret! @wiredferret.bsky.social · 19/03/2026

Shout out to @grimalkina’s Claude Code tutorials. And Raspberry Pi teaching modules. To understand code, we need to get past the production line mentality and stop confusing the output of work with the work itself.

141

Reposted by Vicent

Ian Coldwater 🧊🚫 @lookitup.baby · 18/03/2026

Looking at you, St. Paul. Si, se puede

210613

Vicent @vbosch.bsky.social · 12/03/2026

We will not go to Eurovision due to Israel and at this point I am expecting to no go to the world cup due to the US… demand it even.

020

Reposted by Vicent

Patricia Aas 🐢🏳️‍🌈 @patigallardo.bsky.social · 12/03/2026

I honestly think this is where centrists constantly fall for the fascism. They think they can find a middle ground where there is none. Human rights are not something you bestow on only parts of the population. Trans rights are human rights. There is no middle ground. The «other side» is fascism.

12511

Vicent @vbosch.bsky.social · 12/03/2026

You can not be tolerant with the intolerant. The end does not justify the means. Trans rights are human rights.

020

Vicent @vbosch.bsky.social · 07/03/2026

Claude did … rm -Rf did … you used the tool , you gave it permission (implicitly or explicitly) … you did it , it does not matter what tool is used . You are still responsible for how you use your tools be them AI powered or not.

082