Xavier Van de Woestyne

Nan mais j'tolerais pas non plus roh

Nan mais je suis d'accord que c'est un détail, mais leur sermon permanent pour au final rater l'impression d'un flyers...

C'est vraiment des exemples de l'incompétence purée. J'ai envie de les balayer lol (ce que je ne ferai pas hein mais ow)

On rigole, on rigole, mais le pire est effectivement ce qui a été imprimé au dos, sans erreur : le programme.

Still need a hotel room for the conference? We've been notified there's someone who's unable to attend with an (1) uncancellable reservation at the Scandic Potsdamer Platz 12.-14. March. If you can use this, dm us; we'll put you in touch! Offer is good as long as the message is up.

Welcome to a World of OCaml OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety.

Wow... I was reading random pages on Wikipédia and ... i found a very beautiful, impressive and cool language ! It's called #OCaml !
I'll try it soon as possible ! Good tooling, cool community, cool features... WOAH !

ocaml.org

Any opinions/advises/insight?

So cool 😍

After lunch, tutorial track B at #BOBkonf2026 continues with @lyrm.bsky.social and Sudha Parimala's "Parallelism without panic: a user’s guide to multicore safety in OCaml".

Find out more here: bobkonf.de/2026/morel.h...

On my way to #berlin for @bobkonf.bsky.social !
😎🚄

Mirage or... Something else !
But at least, our goal is to create an Unikernel !

Wow Eliom + Wasm Of OCaml is released (thanks to the @ocsigen.org toolchain) !

discuss.ocaml.org/t/eliom-12-c...

#OCaml #ocsigen #wasm

Of course #BOBkonf2026 wouldn't be BOBkonf without tutorials, and we have eight of them again this year!

Starting off tutorial track A is Peter Thiemann with his hands-on introduction to Agda "Agda by Example: Programming and Proving with Dependent Types"

Read more: bobkonf.de/2026/peter-t...

Neocaml got mentioned on HackerNews yesterday news.ycombinator.com/item?id=4718...

I hope this will inspire more people to check it out!

#Emacs #OCaml

The final talk on #BOBkonf2026 track A is Nicolas Rinaudo's "Encoding Effects as Capabilities" that discusses various features of Capabilities as implemented in Scala.

Find out more: bobkonf.de/2026/rinaudo...

No worries, iam a strong YOCaml ambassador :)

To be fair I am not the author of YOCaml, just a regular contributor :)

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

Wow ! So cool !
I hope that the tutorial (yocaml.github.io/tutorial/) can give some insight about how to use YOCaml with fun and profit!

So cool !
(And sorry to be so picky about my current habit related to tuared... I'll close the OCaml-eglot issue related to Neocaml, it's working well. Congrats and thanks!)

"Package Managers à la Carte, A Formal Model of Dependency Resolution" preprint out today: a new package calculus to describe the cambrian explosion of systems that exist today arxiv.org/pdf/2602.18602 lead by @ryan.freumh.org

Very cool and very interesting!
One day, we should do some real benchmarks for YOCaml, which, from experience, is really fast (even if it could be even faster): yocaml.github.io/tutorial/

Darmanin démission

What would be the best way to start playing with unikernels?

Probably with Vifu!

Using #mirageOS, obviously!

On est en 2026 et on conseille aux gens de ne pas sortir dans la troisième plus grande ville de France, un samedi après-midi, parce que des néo-nazis défilent avec la bénédiction du ministre de l'intérieur.

Pour citer l'autre Clément, rappelons que "les nazis c'est les méchants"

J'ai mis les slides annotés en ligne

cltdl.fr/talks/

Teaching Firefox About slack:// URLs There is nothing like finally taking the time to fix an annoyance that’s been puzzling you for 5 years.

Blogged something out of frustration today 😅

Puis bon, prendre des leçons de gastronomie de la part de britanniques, ça me fait rire mon petit Monsieur ! Peut être que notre rayon chips vous semble décadent, mais c'est toute votre gastronomie qui m'effraie ! (Dit le Belge, lol)