Xavier Van de Woestyne
@xvw.lol
Allo. I'm Xavier Van de Woestyne from 🇧🇪, living in Nantes. I'm a wannabe software engineer who tweets in rough 🇫🇷 and catastrophic 🇬🇧! I'm interested in functional programming (with statically typed languages).
🇫🇷 https://xvw.lol, 🇬🇧 https://xvw.lol/en
🇫🇷 https://xvw.lol, 🇬🇧 https://xvw.lol/en
Tu as essayé Container ?
December 3, 2025 at 4:58 AM
Tu as essayé Container ?
In fact, YOCaml cheats :)
We do not notify the server, we just regenerate everything at each http request. But since YOCaml is pretty decent to just generate what is needed, it is fast :D
We do not notify the server, we just regenerate everything at each http request. But since YOCaml is pretty decent to just generate what is needed, it is fast :D
November 19, 2025 at 1:09 PM
In fact, YOCaml cheats :)
We do not notify the server, we just regenerate everything at each http request. But since YOCaml is pretty decent to just generate what is needed, it is fast :D
We do not notify the server, we just regenerate everything at each http request. But since YOCaml is pretty decent to just generate what is needed, it is fast :D
Using SMT solvers to relax some part of typechecking (a la F*) ?
November 15, 2025 at 10:34 AM
Using SMT solvers to relax some part of typechecking (a la F*) ?
And obviously, thanks to @abailly.bsky.social for taking care of @lambdanantes.bsky.social ! What a Master Of Ceremony!
November 14, 2025 at 2:39 PM
And obviously, thanks to @abailly.bsky.social for taking care of @lambdanantes.bsky.social ! What a Master Of Ceremony!