** 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
Heh for some reason I thought it was you 😅 and can’t edit a post 🙃
The thing is entirely LLM generated from my previous website and cv, and from ingesting the entirety of the YOCaml tutorial which is apparently so well written that Sonnet 4.5 got made the website + CV in one shot after reading it
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/
A GitHub Actions pipeline that runs Clippy, format, test, documentation, Soteria proofs, fuzzing with AFL++, Creusot proofs, and Verus proofs.
Some people collect Pokémon and me, well, I collect...
I don’t maintain that project, I’m just contributing 😉
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
I'd be curious if, using Soteria, you could've avoided the rewrite from Vec. If you had time to play with it, do let us know 😁
The Call for Presentations of TPSA26 colocated with POPL is open
popl26.sigplan.org/home/tpsa-2026
Come and present your work, even in progress, whether you are an academic or in industry!
