iiinova — where your digital self keeps evolving

Reposted by Sacha Ayoun

Advanced Research + Invention Agency (ARIA) @aria-research.bsky.social · 07/10/2026

With the capability to coordinate securely, AI agents could act reliably on our behalf, unlocking a whole range of interactions that were previously inaccessible. Meet the first teams we’re backing to build the open-source tools to make it happen: link.aria.org.uk/ST-Creators

aria.org.uk

Funded projects | Scaling Trust

Explore the projects we're funding in the Scaling Trust opportunity space.

083

Reposted by Sacha Ayoun

Advanced Research + Invention Agency (ARIA) @aria-research.bsky.social · 24/09/2026

AI-enabled cyber attacks are getting faster + going further. But what if AI-enabled formal methods could make high-assurance cyber defence practical at unprecedented speed + scale? We’re funding eight teams with £22m to test that idea. Meet them here: link.aria.org.uk/SAI-TA2-Crea...

022

Sacha Ayoun @giltho.bsky.social · 01/10/2026

In this new era where I can just make the app I need in an afternoon, Apple is going to have to up its game and let me load my own apps on my iPhone much more easily than whatever the current bullshit is.

010

Reposted by Sacha Ayoun

amos @fasterthanli.me · 28/09/2026

I think we should simply stop PL people from naming things until we can figure out what's going on.

0396

Sacha Ayoun @giltho.bsky.social · 16/09/2026

Something something AI-generated clown wanting to cache 8 or 9 tabs

010

Sacha Ayoun @giltho.bsky.social · 04/09/2026

i.e. "as explained by the website, it's too specialised to have reviews, so it's normal that we can't find any trace that it is legitimate" ???

100

Sacha Ayoun @giltho.bsky.social · 04/09/2026

Trying to poke gemini at telling me if this is legit, it seems that some *heavy* prompt engineering is happening in there. It tells me "Of course it's legit!" with 7 sources, ALL from the website. I asked "find external sources" and it said this

100

Sacha Ayoun @giltho.bsky.social · 04/09/2026

That's so interesting though. I think this is the exact same thing as what's pointed out in this article: henryaj.substack.com/p/the-sloppi... I think the entire website is slop aimed to be ingested by LLMs to promote products, and pushing these packages is basically weird LLM-oriented SEO?

henryaj.substack.com

The sloppification of peptides

Nobody in the comments is real

210

Sacha Ayoun @giltho.bsky.social · 18/08/2026

I've been to lazy to actually move my entire workflow to @zed.dev for too long and now VSCode has.. ads?????? Well, excited to properly dive into Zed then

030

Sacha Ayoun @giltho.bsky.social · 09/08/2026

Would be curious to know how many of these downloads are because of your Obsidian skill :)

000

Sacha Ayoun @giltho.bsky.social · 08/08/2026

It’s hosted on index.crates.io now to avoid the equivalent of “opam update” taking 30s now

index.crates.io

The crates.io package index

130

Sacha Ayoun @giltho.bsky.social · 22/07/2026

I live in Cambridge. They haven’t heard of optical fiber yet 😭

000

Sacha Ayoun @giltho.bsky.social · 22/07/2026

Posts like this make me miss France

110

Sacha Ayoun @giltho.bsky.social · 20/07/2026

You would not believe the crazy stuff this woman has done to make Soteria Rust faster

020

Reposted by Sacha Ayoun

opale !! @n1ark.acouphene.net · 01/07/2026

<work> you must be DYING to know how symbolic execution relates to ai ! well wait no more because there was a paper about it and we explain what the paper is about in our latest blog post !! ai !! llms !!! all the stuff people scream about !!! wow ! </work> soteria-tools.com/blog/teachin...

soteria-tools.com

Teaching AI to Reason About Software - Soteria

A team at AWS taught a small language model to catch bugs in C by training it on Soteria’s symbolic execution traces, beating a model four times its size. We look at what they did and why it matters.

3257

Sacha Ayoun @giltho.bsky.social · 27/06/2026

New Diablo title unlocked

Diablo character with the title “Rusted Researcher”

000

Sacha Ayoun @giltho.bsky.social · 19/06/2026

Soteria now supports running your symbolic tests through nextest! Thanks to @sunshowers.io for the idea / help towards implementing this 😁 You can now just run: cargo soteria nextest run

0131

Sacha Ayoun @giltho.bsky.social · 17/06/2026

"would be cool" is an understatement, it would be so amazing!! 😮

020

Sacha Ayoun @giltho.bsky.social · 17/06/2026

I've released `cargo soteria` (crates.io/crates/soter...) with a readme that should help setting things up! I'll update the documentation on the main soteria repo and website tomorrow. Thank you so much for your feedback, this is so incredibly useful!

120

Sacha Ayoun @giltho.bsky.social · 17/06/2026

Parallel execution within tests is slightly more difficult because OCaml doesn't make it easy to write safe parallel code. We're working on it but we'll do this carefully. However, I slapped some glue code in `cargo soteria` to parallel test execution work.

120

Sacha Ayoun @giltho.bsky.social · 16/06/2026

Thank you very much for trying Soteria ❤️

010

Reposted by Sacha Ayoun

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

Thanks to @sacha.soteria-tools.com, @n1ark.acouphene.net, and the rest of the Soteria team for building something quite awesome

3101

Reposted by Sacha Ayoun

opale !! @n1ark.acouphene.net · 16/06/2026

this bad boy can fit so much fuzzing

8 simultaneously open Z3 processes, all taking >90% of the CPU

0141

Reposted by Sacha Ayoun

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

Okay, enough complaining. Soteria is actually quite awesome, and I've been able to prove some interesting invariants on iddqd with it. It is a tool in the toolbox -- it won't replace the extensive model-based tests -- but it can prove things across all possible kinds of adversarial inputs

2284

Sacha Ayoun @giltho.bsky.social · 12/06/2026

Agreed! We're working on other bug finding approaches than model checking as well though 👀 Model checking is just the "easiest" to implement.

030

Sacha Ayoun @giltho.bsky.social · 12/06/2026

It's on our list! Will fix soon :)

020

Sacha Ayoun @giltho.bsky.social · 12/06/2026

Tell me about it 😭 Here's a challenge: rewrite Soteria in Rust. I've tried very hard, didn't manage :/ That being said, we've done everything we could so you wouldn't have to install OCaml at all, anything I can help with? :)

000

Reposted by Sacha Ayoun

opale !! @n1ark.acouphene.net · 10/06/2026

self promo we did a blog post to launch the startup thing we're working on ^-^ i do the rust stuff it's cool you should try it out if you like unsafe rust ill probably do a blog post on some fun performance work i did on tree borrows #soon! soteria-tools.com/blog/introdu...

soteria-tools.com

Introducing Soteria: A New Generation of Static Analysis for Rust - Soteria

Find bugs today. Teach AI to find them tomorrow.

2338

Sacha Ayoun @giltho.bsky.social · 09/06/2026

Another day of making Soteria Rust 2x faster than it was the day before ✅ Can't wait to write a blog post about that one

130

Sacha Ayoun @giltho.bsky.social · 04/06/2026

Thanks to everyone who came to our second edition of Caml in the Capital yesterday, we had a blast! Thanks to Jane Street for hosting us as well! #OCaml See you some time in September for the next edition

2214

Sacha Ayoun @giltho.bsky.social · 26/05/2026

Caml In The Capital is happening again! Our #OCaml meetup is open to anyone: user, researcher, outsider who happens to be interested :) This time, we'll be hosted at the JaneStreet office in London. Please register here if you'd like to attend: www.eventbrite.com/e/caml-in-th...

eventbrite.com

Caml In The Capital - June

Caml in the Capital is London's OCaml meetup group. We bring together developers, researchers, and enthusiasts to discuss OCaml.

0123

Sacha Ayoun @giltho.bsky.social · 24/05/2026

Ok, I’ll say it too, Rust Week was insanely good

120

Sacha Ayoun @giltho.bsky.social · 24/05/2026

I’m only learning about this today, fill this if you have time!

000

Sacha Ayoun @giltho.bsky.social · 18/05/2026

My friend (𝚊̶𝚗̶𝚍̶ ̶𝚋̶𝚘̶𝚜̶𝚜̶) Azalea is on Computerphile! So so cool www.youtube.com/watch?v=E3hv...

youtube.com

Why Multi-Threaded Code Can Sometimes Misbehave (Weak Memory Concurrency) - Computerphile

YouTube video by Computerphile

120

Sacha Ayoun @giltho.bsky.social · 17/05/2026

#OCaml 5.5 is an absolute banger and I can't wait for it to be released. The upgrade will be merged day 1 in Soteria, the PR is ready ❤️

030

Sacha Ayoun @giltho.bsky.social · 12/05/2026

Late for the VeTSS event this morning but still had to stop to take a picture of this

110

Sacha Ayoun @giltho.bsky.social · 27/04/2026

Oh that is very good to know! I guess it'd have saved me some time. Thanks a lot!!

000

Sacha Ayoun @giltho.bsky.social · 27/04/2026

A single point of failure is a part of the system that prevents the entire system from working if it fails: en.wikipedia.org/wiki/Single_... In opam, *each remote repository* is a spof. And not all of those are designed to be resilient. In contrast, we could have one replicated central repo.

en.wikipedia.org

Single point of failure - Wikipedia

120