iiinova — where your digital self keeps evolving

Reposted by Didier Plaindoux

xvw @xvw.lol · 30/06/2025

3 years later, I finally have a blog in English (to mumble, among other things, about #OCaml)! xvw.lol/en/ (The articles will continue in French and I'll try to provide translations as soon as possible).

xvw.lol

Index

English home of xvw.lol

031

Reposted by Didier Plaindoux

BOB Konferenz @bobkonf.de · 08/05/2025

Missed @xvw.lol's #BOB2025 talk "Beyond the Basics of LSP: Advanced IDE services for OCaml"? Watch the recording here: bobkonf.de/2025/woestyn...

bobkonf.de

BOB - Beyond the Basics of LSP: Advanced IDE services for OCaml

BOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.

0108

Reposted by Didier Plaindoux

Padre Pio @padrepio.bsky.social · 01/05/2025

Il n'y a pas 8 jours qu'un musulman était assassiné en pleine prière. Que Retailleau et le préfet s'en sont ostensiblement désintéressés. Et maintenant, ça. La haine des musulmans est au pouvoir Retailleau est un homme d'extrême droite. Il ne lui manque que l'étiquette, qu'il finira par prendre.

30867334

Reposted by Didier Plaindoux

KC Sivaramakrishnan @kcsrk.info · 25/02/2025

Is it possible to build a formally verified GC for OCaml that can be plugged into the compiler? We should how to in: "A Mechanically Verified GC for OCaml" kcsrk.info/papers/verif... This has been accepted to the Journal of Automated Reasoning. Code: github.com/prismlab/ver...

kcsrk.info

77323

Didier Plaindoux @dplaindoux.bsky.social · 16/02/2025

[Status] I'm working on Celma (github.com/d-plaindoux/...), an embedded language in Rust for parser definitions based on parser combinators. Bootstrapping Celma on Celma is in progress. The next stages are type-checking and compilation in Rust inspired by the paper www.cl.cam.ac.uk/~jdy22/paper....

cl.cam.ac.uk

000

Reposted by Didier Plaindoux

Geoffroy Couprie @geoffroycouprie.com · 26/01/2025

It is time! After 2 years, a new major release of nom, the rust parser combinators library! It comes with a lot of interesting points check it out unhandledexpression.com/nom-8/

unhandledexpression.com

Geoffroy Couprie – software security and architecture consultant

1248

Reposted by Didier Plaindoux

xvw @xvw.lol · 17/01/2025

I'm really happy to present, with @tarides.com , #OCaml Eglot, an #Emacs (minor) mode for editing OCaml code, using LSP through Eglot, the built-in #LSP client of Emacs: github.com/tarides/ocam... Feedback, contribution and RT much appreciated

github.com

GitHub - tarides/ocaml-eglot: An overlay on Eglot for editing OCaml code using LSP

An overlay on Eglot for editing OCaml code using LSP - tarides/ocaml-eglot

2167

Didier Plaindoux @dplaindoux.bsky.social · 07/12/2024

For my first post, I would like to share the material used for the talk "Dependent types: From Theory to Practice". Version for ScalaIO and Sunny-tech: d.plaindoux.free.fr/talks/depend... Version for FunctionalScala: d.plaindoux.free.fr/talks/functi...

d.plaindoux.free.fr

Dependent Types

A framework for easily creating beautiful presentations using HTML

021