Allo. I'm Xavier Van de Woestyne. I'm a wannabe software engineer who tweets in rough 🇫🇷 and catastrophic 🇬🇧! #ocaml I work at @tarides_ 🐫

Nantes
Joined May 2020
I'm really happy to present, with @tarides_ , #OCaml Eglot, an #Emacs (minor) mode for editing OCaml code, using LSP through Eglot, the built-in #LSP client of Emacs: github.com/tarides/ocaml-egl… Feedback, contribution and RT much appreciated
1
5
18
1,385
Xavier Van de Woestyne retweeted
🚨VEJA: Campeão brasileiro de ioiô mostra a diferença dos brinquedos e o preço de cada um.
162
572
314
17,266
1,583,412
Xavier Van de Woestyne retweeted
2Advanced Studios v4 website in 2003
6
9
2
127
7,926
what if the outline view was a fully bidirectional alternate editor?
14
39
5
547
21,714
My work over the last few months :) #OCaml #IDE #typing
Your editor can still tell you useful things about code that doesn't compile yet. That's Typing Recovery, and it used to live in Merlin's own patched copy of the OCaml front end. It now lives in OCaml itself tarides.com/blog/2026-10-15-…
2
10
408
"Lists that keep track of their reversal" #ocaml #fp My friend @grimfw wrote a small article about dealing with `cons`, `rev` and co with lists: grim.cargocut.org/a/rev-list…
3
90
Xavier Van de Woestyne retweeted
Metrophonic: Urban Soundscapes Field Recorder
9
96
7
745
21,702
Xavier Van de Woestyne retweeted
Tried golang once for an hour and I’ve seen enough to never touch it again.
73
3
1
178
19,256
Xavier Van de Woestyne retweeted
🎮 又发现一个宝藏级的开源游戏合集 open-source-games,想玩、想改的经典游戏,源码全给你分好类摆好了。 GitHub 上 1.4 万 star,一千多个 fork,从动作、冒险、解谜、赛车到即时战略、塔防、Roguelike,十几个类别一条条列清楚,每个项目后面直接跟着源码仓库地址。 以前想找一个能自己改着玩的老游戏,得在论坛和搜索引擎里翻半天,翻到的多半还是死链。现在 open-source-games 把 OpenTTD、OpenRCT2、OpenLoco 这些经典模拟经营的开源再实现、还有重写了《上古卷轴 3:晨风》引擎的 OpenMW 摆在一起,看中哪个点进去就是仓库首页,clone 下来就能自己动手。 想跑十几年前那批图形冒险游戏的,列表里收了 ScummVM 这种一个程序通吃一大批老游戏的项目;id Software 的 Doom、Quake 系列,还有 EA 放出来的《命令与征服》系列,官方开源的代码仓库也都在册。末尾还挂了几个同类资源站的链接,一份列表当索引用足够了。 周末想找点东西折腾,从这份列表里随便挑一个,都够玩上很久。 GitHub:github.com/bobeff/open-sourc…
6
153
3
927
57,012
Salut @waxzce ! J'ai regardé ton intervention sur #underscore avec @Micode et c'était intéressant. J'ai tout de même plusieurs questions, est-ce que tu préfères que je passe par un blog post interposé, par email ou par twitter?
3
2
607
Pour l'argument sur Rust, oké. Question naïve, est-ce que la "memory safety" (pas le seul argument que tu avances hein, je l'entend) est vraiment si importante ? L'installation de handler et de protection (affinité manuelle) semble globalement facile à tracker/reproduire?
98
Replying to @vdwxv @waxzce @Micode
Mon autre question : si on ne paie plus un développeur pour écrire du code (mais pour le maintenir) comment fait-on pour spéculer sur les coûts ? Qui sont totalement déterminés par une collection d'entités commerciales ? (Not an anti AI hein, juste curieux de la pérennité)
2
1
174
Et avoir des agents qui réalisent du code produit par des agents ça me semble inquiétant (peut être a tort)
1
167
Replying to @vdwxv @waxzce @Micode
Une première question, je découvre ce que vous appelez le "simulation Testing" et que j'appelais naïvement du fuzzing, et tu le présente comme mathématiquement prouvé. Je suis curieux et un peu néophyte, dans ce contexte, quelle est la nature "math formelle", qu'il y a une seed ?
1
1
239
Xavier Van de Woestyne retweeted
Flashback (1992)
45
73
22
1,093
27,003
Xavier Van de Woestyne retweeted
Who remembers these little pixel art pictures on their old mobile phone? No apps. No emoji packs. Just skulls, weed leaves, sexy logos and Madonna ringtones. The early 2000s were something else.
18
131
7
1,241
42,455
What a surprise, here is the Tshirt of the lady sitting next to me! #ocaml #international #fp
1
1
1
8
1,878
TRES IMPATIENT QUE CHATGPT 6 CONSTRUISE MA MAISON, FASSE MA VAISSELLE ET VIDE MES POUBELLES !
Il faut dire la vérité Avec les performances extraordinaires de ChatGPT 6, il est très difficile de trouver une utilité aux salariés qui ont moins de 130 de Quotient Intellectuel Que proposez vous ?
1
114
picoCAD 2 is a tiny modeler for tiny models * build low poly models * texture with built in pixel art editor * animate! Have you already tried it?
16
299
4
3,115
79,595
Xavier Van de Woestyne retweeted
子どもの頃にこの折り方知ってたらヒーローになれた...
83
4,241
106
26,718
1,599,352