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

opale !!@n1ark.acouphene.net · 2w ago

i wrote a blog post about a cool optimisation i did to make quadratic behaviour linear while remaining sound !! its a mix of pretty technical GC details and theoretical Rust stuff, which is the best of mixes imo, go read it !! ! !! soteria-tools.com/blog/meta-ga...

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

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.

soteria-tools.com

Our friends at AWS have used Soteria to teach AI how to reason about programs. We just published a blog post covering that research! soteria-tools.com/blog/teachin...

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.

soteria-tools.com

New Diablo title unlocked

Let’s gooooooooo

OCaml@ocaml.org · 2mo ago

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

✅

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

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

this bad boy can fit so much fuzzing

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

rain 🌦️@sunshowers.io · 2mo ago

Gosh I hate being reminded of how jank most language ecosystems are

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

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

Find bugs today. Teach AI to find them tomorrow.

soteria-tools.com

Introducing Soteria! soteria-tools.com/blog/introdu...

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

Find bugs today. Teach AI to find them tomorrow.

soteria-tools.com

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

L'article Acteurs publics : acteurspublics.fr/articles/la-...

La Cnaf fait le pari de l’open source pour reprendre la main sur le calcul des allocations

La Caisse nationale d'allocations familiales et l<span data-contrast="auto">’Institut national de recherche en sciences et technologies du numérique ont signé une convention de partenariat visant à dé...

acteurspublics.fr

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

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

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.

eventbrite.com

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

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

OCaml@ocaml.org · 2mo ago

please participate in the OCaml Users Survey 2026, still open until and including May 25, 2026! link below

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

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

YouTube video by Computerphile

youtube.com

#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 ❤️

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

The fact that there is no centralised hosting of packages for #OCaml means that if a single one of the 700 git hosts that my repo needs to ping to build a package is down, I'm not allowed to code today :(

This new #OCaml workplace will surprise you! Who did this??? 😱😱🐪🐪 ➡️ ocaml.org/jobs ... More serious news (in French) tomorrow, stay tuned :)

Here's my proposal for voluntary disclosure of AI tool usage in published OCaml code. Are any other language ecosystems doing this? I'd love to hear about them if so! https://anil.recoil.org/notes/opam-ai-disclosure

A Proposal for Voluntary AI Disclosure in OCaml Code

Proposing a voluntary, machine-readable AI content disclosure scheme for OCaml spanning opam packages, dune, and per-module attributes, aligned with the W3C AI Content Disclosure vocabulary.

anil.recoil.org

** Speaker announcement ** We’re taught to believe that iterators are zero cost. But what happens when they aren’t? Xavier Denis explains, at RustWeek 2026! Info & tickets: 2026.rustweek.org/talks/xavier/ See you in Utrecht May 18-23, 2026! @xavxav.bsky.social #rustweek2026 #rustlang

Used @xvw.lol's YOCaml to entirely rewrite my website (giltho.github.io) and CV so that they both come for the same source of truth and I don't have to update both constantly. Works like a charm. My only regret is that I still don't know how to use YOCaml

Can't go on holiday without having to choose between Rust and Camel again 😭

> Rust is famously "batteries not included" — the standard library is small My little #OCaml heart 💔 battery-pack-rs.github.io/battery-pack/

Some people collect Pokémon and me, well, I collect...

Fun #OCaml fact. `ppx_expect` is designed to warn the user if they have a backtrace in their expected output. This is deeply annoying when... testing a library made for pretty printing backtraces 😭 I guess we're not saying "Called from here" but "Bananad from here" in our tests